@sanityinc@hachyderm.io
@sanityinc@hachyderm.io avatar

sanityinc

@sanityinc@hachyderm.io

I optimise software and human systems, and make them happier.
🇬🇧🇱🇺🇩🇪🇳🇿🇫🇷🇮🇪

This profile is from a federated server and may be incomplete. Browse more on the original instance.

mykhaylo, to random
@mykhaylo@fosstodon.org avatar

If you listen to yourself carefully you might notice that under the usual load of regrets and anxiety there's an entire "quiet world". And in this world you can enjoy yourself as long as you like and almost for free. The only entrance fee is having internal silence of negative emotions.

sanityinc,
@sanityinc@hachyderm.io avatar

@mykhaylo and it's always still there even while the other things come and go

sanityinc, to random
@sanityinc@hachyderm.io avatar

"Fintech" is an appropriate term when there are so many sharks.

vwbusguy, to writing
@vwbusguy@mastodon.online avatar

Fountain pens are awesome. Pass it along.

sanityinc,
@sanityinc@hachyderm.io avatar

@vwbusguy co-signed, in Iroshizuku

gvwilson, to random
@gvwilson@mastodon.social avatar
  1. Is SpatiaLite still the recommended SQLite geospatial extension?
  2. If so, is there an up-to-date tutorial somewhere that I've overlooked?
  3. If not, what should I use instead?
    Thanks
sanityinc,
@sanityinc@hachyderm.io avatar

@gvwilson you might also consider duckdb's spatial support, since duckdb can do lots of fun thing that SQLite can't, like reading from S3 or other DBs. https://duckdb.org/docs/extensions/spatial.html

glyph, to random
@glyph@mastodon.social avatar

oof. inbox zero is gonna be a challenge this morning

sanityinc,
@sanityinc@hachyderm.io avatar

@glyph extra coffee may be required

sanityinc, to random
@sanityinc@hachyderm.io avatar

I've got a sunny outdoor space that is 61.8% as large as the house. It's the golden patio.

sanityinc, to NewZealand
@sanityinc@hachyderm.io avatar

Few programmers still remember the early #NewZealand supercomputer called the Hamiltron, which used quaternary logic instead of binary. Each "but" (instead of bit) could have a value in the set {nahnah, yeahnah, nahyeah, yeahyeah}.

nathanlovestrees, (edited ) to random
@nathanlovestrees@disabled.social avatar

Been listening to all morning. I was introduced to him by my high school best friend's loving dad. I've been a huge fan since (in the sense that I love all his late instrumental and vocal stuff maybe even more than ). I appreciate his technical ability, sure, but more than that I appreciate how it's always subservient to the composition, to what is needed in the piece. He isn't showy just to be showy.

Speaking of Neil: https://open.spotify.com/track/5VwZ0WGDGpjUrDmByIXYtj?si=CtTLrT4vRJ6yGgy4bTBV_w

sanityinc,
@sanityinc@hachyderm.io avatar

@nathanlovestrees clicked through to your profile from the daoism hashtag and now I'll have to follow you! I have an enormous soft spot for Michael Hedges.

sanityinc,
@sanityinc@hachyderm.io avatar

@nathanlovestrees he was wired into greater things with an unusual directness

sanityinc,
@sanityinc@hachyderm.io avatar

@nathanlovestrees I grew up with a lot of complex electric guitar music and was always surprised when a human with an acoustic would hijack my emotions

gvrooyen, to programming
@gvrooyen@c.im avatar

I'm evaluating for use in a project where the client requires a scriptable expert system for risk management.

I'm pretty thankful for my recent deep-dive into , since a better understanding of functional languages is certainly a good stepping stone to logic programming (a generalisation of functional programming).

For example, one of the "aha!"s in OCaml for me was that you can create most list processing functions from 1st principles with a tail-recursive cons, and that once you've derived fold you've got the Swiss army knife of data processing.

Similarly, this beautiful little Prolog program by Erik Schierboom on was an "aha!" for me, because it shows how succinct a fold can be. Here he's converting a string of binary numbers into its decimal equivalent as an integer.

Coming from the type inference here is sweet. Since foldl/4 has an integer as third parameter in the binary predicate, Dec must be an integer too for it to hold. Type inference seems to come almost as a given in logic programming. If it doesn't quack like a duck it isn't a duck, and the predicate is false.

sanityinc,
@sanityinc@hachyderm.io avatar

@gvrooyen you might enjoy @krisajenkins's recent interview of Simon Peyton Jones, who discusses blending logic and types for the Verse language: https://m.youtube.com/watch?v=UBgam9XUHs0

sanityinc, to random
@sanityinc@hachyderm.io avatar

I propose the following board stages:

  • TO DO (requested)
  • NO GO (blocked, cancelled)
  • FO SHO (doing it)
  • OH NO (testing)
  • YOLO (released)
gvwilson, to random
@gvwilson@mastodon.social avatar

My thanks to Andi Albrecht (http://andialbrecht.de/) for (a) writing a SQL parser in Python, (b) making it open source, and (c) answering a question from a random stranger that gave me exactly the solution I needed.

sanityinc,
@sanityinc@hachyderm.io avatar

@gvwilson You might also be interested in sqlglot, which may be somewhat overpowered for what you're doing, but it's pretty impressive overall.

sanityinc, to emacs
@sanityinc@hachyderm.io avatar

29.2 is out and I've therefore updated:

✅ nix-emacs-ci and the Setup Emacs GitHub Action
✅ package-lint, so it knows about added/removed symbols

nobodyinperson, to python
@nobodyinperson@fosstodon.org avatar

I have been struggling hard doing proper :python: development on :nixos: .

pip install'ed binary packages (numpy et. al) don't work (i.e. don't find system libraries like libz libstdc++ etc.), making scientific data analysis completely impossible. The workarounds (using the nixpkgs versions or setting LD_LIBRARY_PATH) are not viable.

With this flake template (the clue is preferWheels=true) it seems I can finally work properly:

https://gitlab.com/nobodyinperson/flakes/-/tree/main/poetry2nix

sanityinc,
@sanityinc@hachyderm.io avatar

@publicvoit @nobodyinperson Are the dependency syntaxes different? ie. can you not do something like the following?

while IFS= read -r req; do poetry add "$req"; done < requirements.txt

sanityinc, to random
@sanityinc@hachyderm.io avatar

Be the strange you want to see in the world.

sanityinc, to random
@sanityinc@hachyderm.io avatar

Some folks think that quietly working around unexpected cases is "defensive programming", but real defensive programming is failing fast and loudly when something seems off.

sanityinc,
@sanityinc@hachyderm.io avatar

@dabeaz Saw an instance of "let's just use a safe fallback value in case this arg isn't a supported value" and I was picturing the days-long debugging session that would lead back to that code sooner or later.

kellogh, to random
@kellogh@hachyderm.io avatar

my programming hot take of the day is that single letter variable names are fine in extremely small scopes

e.g. students.filter(x => x.not_smart).fail()

sanityinc,
@sanityinc@hachyderm.io avatar

@kellogh cosign

sanityinc, to random
@sanityinc@hachyderm.io avatar

Well done, technologists, for inventing watches with screens that only display the time at random or in response to taps and artificial movements. Literally had one job.

sanityinc,
@sanityinc@hachyderm.io avatar

In this way my new Garmin (Vivoactive 5) is infinitely more annoying than the last one (Forerunner 645) for 99% of the time, while also being unquestionably more advanced.

nedbat, to python
@nedbat@hachyderm.io avatar

Happy New Year!

sanityinc, (edited )
@sanityinc@hachyderm.io avatar

@nedbat And in :

alexzeitler, to random
@alexzeitler@mastodon.social avatar

There's something that makes me more and more curious to try OCaml but I don't know what it is.

sanityinc,
@sanityinc@hachyderm.io avatar

@alexzeitler There's never been a better time to try !

sanityinc, to random
@sanityinc@hachyderm.io avatar

The root of so many problems in software: reflexively upscaling capacity instead of addressing efficiency. Once you see it, it's everywhere.

  • Process running out of memory? Don't just give it more, find out why first, and reduce how much it allocates.

  • Team delivering too slowly? Don't just expand the team, find out what's slowing them down.

  • Too much work to track? Don't just buy Jira and curate a huge backlog, identify the essentials instead, and keep a simple list

janvhs, to random
@janvhs@hachyderm.io avatar

My new favourite open source mastodon client is https://phanpy.social by @cheeaun.
It is a web app, but can be added to your Home Screen like any other app (even on iPhone).

The attention to detail and minimalist, yet playful, UI is just out of this world. Whenever I use my other client, I wish for their features.

My absolute favourite feature is using different colours to highlight replies, private messages, boosts and hashtags.

sanityinc,
@sanityinc@hachyderm.io avatar

@janvhs @cheeaun Elk.zone is similar, and is my primary Mastodon client at this point, but phanpy looks super nice

  • All
  • Subscribed
  • Moderated
  • Favorites
  • megavids
  • kavyap
  • DreamBathrooms
  • thenastyranch
  • magazineikmin
  • osvaldo12
  • ethstaker
  • Youngstown
  • mdbf
  • slotface
  • rosin
  • everett
  • ngwrru68w68
  • khanakhh
  • JUstTest
  • InstantRegret
  • GTA5RPClips
  • Durango
  • normalnudes
  • cubers
  • tacticalgear
  • cisconetworking
  • tester
  • modclub
  • provamag3
  • anitta
  • Leos
  • lostlight
  • All magazines