divyaranjan@mathstodon.xyz
@divyaranjan@mathstodon.xyz
Mathematics, Philosophy and Libre Software.
Lives inside GNU Emacs. GNU Guix package maintainer.
Lisps, Haskell, Rust, and occasionally C.
Formal verification, theorem proving, compilers, and anything that can intersect with philosophy, mathematics and logic.
Reputation
0
Profile views
1
Joined
Last Online
Email
divya@subvertising.org
Website
www.phimulambda.org
PGP Fingerprint
F0B3 1A69 8006 8FB8 096A 2F12 B245 10C6 108C 8D4A