Taneb
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.
Public Key
npub1fqyej9ay34zmglju55rrcyfkv0lpnenwrw4nwec49y28tf7fmw0qu3wsqnNIP-05 Address
Taneb_at_hacksrus.xyz@mostr.pubProfile Code
nprofile1qqsyszvez7jg63d50ew22p3uzymx8lseuehph2ehvu2jj9r45lyah8sc0lk06Author Public Key
npub1fqyej9ay34zmglju55rrcyfkv0lpnenwrw4nwec49y28tf7fmw0qu3wsqn