Elektrine lite

← Feed

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

  • View post

    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.

  • View post

    And, just like that, I am once more out of salty liquorice

  • View post

    Well, I no longer have undiagnosed ADHD

  • View post

    I'm in the mood to help friends assemble IKEA furniture. I should get more local friends.

  • View post

    How smart is Agda's compiler at erasing coinduction fuel at runtime

  • View post

    One's bullshit is the best thing to be back on