I'm Ananth. I used to write code in TypeScript (and, before that, JavaScript—oh, the horror!), Python, and R. I suspect this will give me an ample supply of security vulnerabilities to fix. I later discovered Haskell and realized that it is the one true language (this is a mathematically proven fact). Programming in Haskell (or theorizing, in this case) has the added benefit of giving you whitepapers for free. Learning Haskell has taught me to make sense of philosophical tautologies regarding the current state of the universe, like:
"A monad is a monoid in the category of endofunctors, what's the problem?"
—Saunders MacLane
In order to remain sane when not writing Haskell, I am continuously configuring and optimizing my NixOS system. This allows me to continue theorizing about monadic software deployment as I complete what should be trivial system tasks. I also believe that software should work well out-of-the-box, be updated regularly to support bleeding-edge features, and still allow for additional customization. Promoting user control over software and enabling free software distribution are key to achieving these goals. I support software that meets the following three pillars of freedom:
- "Free" (gratis) as in "free beer" 🍺
- "Free" (libre) as in "free speech" 💬
- "Free" (decentralized) as in "open source" 🌐
When I'm not trying to understand category theory, the basis of modern mathematics, or mathematical applications in computer science, I'm likely exploring mathematical economics and related fields, especially social choice theory and optimal taxation theory. I'm also quite interested in linguistics and computational linguistics in particular.
- 🔭 I’m currently developing a sane system configuration in Nix
- 📚 I’m currently learning category theory
- 🌱 Feel free to contribute to any of my projects
- ❓ I’m looking for help redesigning Proto, a language-learning application
- 💬 Ask me to explain what a monad is, why most voting systems are wrong, or how elliptic curves are truly magical
- 📫 My email is [email protected] (encrypt your message with my PGP key if possible—you can use free software like Thunderbird to do this)
- ⚡ Fun fact: My profile photo depicts a chiral, aperiodic monotiling of the plane using strange objects called "Spectres"—to repeat that in English, this is a puzzle piece that can be used to cover any surface without repeating the same pattern forever
Below is a collection of banners associated with my profile, in no particular order:
Above left: licensed under CC BY-SA 2.5 by the Artist Collective Superflex. Middle: licensed under CC BY 4.0 by the Free Software Foundation. No changes were made to either of the above images.
Below: licensed under CC BY-ND 3.0 by the Free Software Foundation. No changes or additions were made to this image.
