quantum9innovation Goto Github PK

Skip to projects ⬇️

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 (or theorizing, in this case) in Haskell 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 Arch Linux system.¹ Unlike most Arch users, I seek to maximize my use of well-designed GUIs and minimize reliance on primitive TUI infrastructure (perhaps one day I will write my own set of reasons to use Arch). 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 working on rewriting repositories in Haskell
• 📚 I’m currently learning category theory
• 🌱 Feel free to contribute to any of my projects
• ❓ I’m looking for help with 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.