Home | Notifications | New Note | Local | Federated | Search | Logout

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.
Joined: 2026-08-05 23:01:01
1 notes, 0 following, 0 followers

Taneb@Taneb@hacksrus.xyz (2026-08-05 21:21:05)
You should hire me to think very hard and program in Haskell (or a similar programming language) for you