Last updated on 11th Jun 10:43pm, GMT+8

I do research-ish stuff for the qualia they bring forth. Here are some stuff I’ve done & are working on.

**pdf on arxiv** A weak reduction of the Erdös-Szekeres conjecture into a constraint unsatisfiability problem regarding certain multisets (2015)

**pdf on arxiv** A double-inductive proof of Moessner’s theorem (2016)

**preorder book** Meta-circular Interpreter and 4 lessons from PLT that help me to code more productively (2022)

A new proof for Moessner’s Theorem in Coq using Pascal’s Triangle (2022)

The following is a list of books and papers that have impacted my life profusely. I hope one day I too will have the knowledge and insights to produce work that would inspire and impact people.

The Grand Design (2010) - Stephen Hawking and Leonard Mlodinow

This was the book that gave me the courage to drop out of school at 16. The realization that no one truly undestands how the fabric of our reality works is awe-inspiring. In the face of reality and its strangeness and eerily mathematical elegance, dropping out of school becomes a trivial decision one has to make to regain the autonomy of their adolescent life.

On formally undecidable propositions of Principia Mathematica and related systems I (1962) - Kurt Gödel

Tao Te Ching (400BC) - Lao Tzu

Self-Reliance (1841) by Ralph Waldo Emerson

A combinatorial problem in geometry (1935) by Paul Erdös and George Szekeres

Do Androids Dream of Electric Sheep? (1968) - Philip K. Dick

Axiomatic Set Theory (1972) by Patrick Suppes

Mathematical Logic (1961) by Stephen Cole Kleene

Zero to One (2014) - Peter Thiel

I-Ching (900BC) - ?

Computational Complexity: A Modern Approach (2007) - Boaz Barak and Sanjeev Arora

DMT: The Spirit Molecule: A Doctor’s Revolutionary Research into the Biology of Near-Death and Mystical Experiences (2000) - Rick Strassman

Learn You a Haskell for Great Good! (2011) - Miran Lipovaca

Fear and Loathing in Las Vegas (1971) - Hunter S. Thompson

The Tao of Programming (1987) - Geoffrey James

The Diamond Sutra (420) - ? and Kumārajīva

Set Theory and the Continuum Hypothesis (1966) by Paul Cohen

P ?= NP (2011) - Scott Aaronson

On Language: Chomsky’s Classic Works: Language and Responsibility and Reflections on Language (2014) - Noam Chomsky and Mitsou Ronat

Interality as a Key to Deciphering Guiguzi: A Challenge to Critics (2016) - Hui Wu & C. Jan Swearingen

The Mind Illuminated : A Complete Meditation Guide Integrating Buddhist Wisdom and Brain Science for Greater Mindfulness (2015) - John Yates

The Difference Engine: Charles Babbage and the Quest to Build the First Computer (2002) - Doron Swade

Proofs from THE BOOK (1998) - Martin Aigner and Günter M. Ziegler

Genius: The Life and Science of Richard Feynman (1992) - James Gleick

An Analytical Approach to Programs as Data Objects (2006) - Olivier Danvy

Zhuangzi (300BC) - Zhuang Zhou

Theories of Programming Languages (1998) - John C. Reynolds

The Shadow of the Wind (2001) - Carlos Ruiz Zafón

A Mathematician’s Lament (2009) - Paul Lockhart

On Intelligence (2004) - Jeff Hawkins & Sandra Blakeslee

Aurora (2015) - Kim Stanley Robinson

Nexus (2012) — Ramez Naam

Homotopy Type Theory: Univalent Foundations of Mathematics (2013) - The Univalent Foundations Program

Sutra of Forty-two Chapters (67) - ? and Kāśyapa Mātaṇga and Dharmaratna