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
npub13xjzd2st6ppljuv3qvh2wypj79c2y739le5fy3jx5dxu2zuq2m8ssx43caNIP-05 Address
taneb_at_hacksrus.xyz@momostr.pinkProfile Code
nprofile1qqsgnfpx4g9aqslewxgsxt48zqe0zu9z0gjlu6yjger2xnw9pwq9dncssyxurPublishing to
relay.momostr.pinkAuthor Public Key
npub13xjzd2st6ppljuv3qvh2wypj79c2y739le5fy3jx5dxu2zuq2m8ssx43ca