Taneb
Taneb@hacksrus.xyz
I write Haskell for a living, Agda for fun, Nix for poking at computers. I sometimes post about maths. I sometimes think about genealogy. I might even post about other things, too. For some reason I keep trying to write actual programs in Agda.
Posts
-
Post #2611519
I would like to read research on organizing a software library. I'm sure there must be such a thing, going back decades, but I don't know how to find it.
-
Post #2611518
And, just like that, I am once more out of salty liquorice
-
Post #2611517
Well, I no longer have undiagnosed ADHD
-
Post #2104129
I'm in the mood to help friends assemble IKEA furniture. I should get more local friends.
-
Post #2104126
How smart is Agda's compiler at erasing coinduction fuel at runtime
-
Post #2104123
One's bullshit is the best thing to be back on