tensegrist

> ParticleDB’s home page advertised that ParticleDB was “formally proven” with a TLA+ proof. However, during our collaboration no TLA+ specification was available. It is unclear what properties might be proven, or whether they described ParticleDB as built.

in my over a decade of using nix i have never really managed to get into using the repl because every time i have it's been … weird in some way or another

php2shell was overblown perhaps but this is being blown quite correctly

perhaps you could add optional magnetic rails for extra support

or even 3d-printed "grids" of arbitrary shapes, with magnets embedded at the junctions, to interface with the keys' magnets while being separate from them

i suspect there is an article under all of the ads but i don't have the patience to look for it

for what, chess.com?

doctolib mcp

i was at the manchester art gallery last weekend and they had a bunch of lovely t&h (and other) books on colour in the gift shop

that's astrish not claudish

beside-device inference

that's how you know it's good. bad apps have rather smaller daily user-bashing numbers