shachaf shachaf@gts.y.la

Just a LWish dude.

I make podcasts that I think are worth recommending: if you like hearing about AI x-risk research, check out AXRP (the AI X-risk Research Podcast, axrp.net), and if you like random interviews with whoever I want to talk to, check out The Filan Cabinet (thefilancabinet.com).

🎇 Somehow Is A C Expert ✨ Smooches Unicode-kun 💕 The C Standard Cannot Be Replaced And Will Never Be Destroyed. 🧟‍♀️ Pixel Art is Cool ✨

I'm just a little landfish I don't belong here I belong in the sea

I like understanding stuff; I like making things; I like it when people get what they want; I like it when the world doesn't end.

I’m just a little landfish I don’t belong here I belong in the sea

theorems, types, tunes, typefaces, terms-of-art, tropes, technicalities. [en/eo, +ε es/zh/fr/pl/jp]

I write Haskell for a living, Agda for fun, Nix for self-improvement, OpenSCAD to make pretty shapes. I sometimes post about maths. I sometimes think about genealogy. I might even post about other things, too.

┌┐┌┐·┌┐┌┐
└┘└┘·└┘└┘ ᴬᴹ

computer programmer