My attempt to formalize "Buddhist" reality
I'm interested in Buddhist philosophy, and specifically studying Nāgārjuna's Middle Way gave me inspiration to formalize it mathematically and see what would emerge as a result. (My background: engineer/co-founder (Qualcomm/Adreno GPU, Bumble, Stereo), 16 years of meditation practice, 2+ years in Southeast Asian monasteries and silent retreats) Starting from one Buddhist-inspired axiom—recursive duality E={E⁻,E⁺} - I derived: 1) Boolean logic (from period structure of minimal couplings) 2) Universal computation (closure enables Turing-completeness) 3) Memory (pattern persistence…
My attempt to formalize "Buddhist" reality launched on January 15, 2026 with 5 votes, #3,400 of 14,584 launches that month and more than 75% of that year's launches.
What it does
In the maker’s words, at launch
I'm interested in Buddhist philosophy, and specifically studying Nāgārjuna's Middle Way gave me inspiration to formalize it mathematically and see what would emerge as a result. (My background: engineer/co-founder (Qualcomm/Adreno GPU, Bumble, Stereo), 16 years of meditation practice, 2+ years in Southeast…
Does a similar job
all alternatives →
Formalizing Principia Mathematica using Lean2025 · github.com · ▲188This project aims to formalize the first volume of Prof. Bertrand Russell’s Principia Mathematica using the Lean theorem prover. Throughout the formalization, I tried to rigorously follow Prof. Russell’s proof, with no or little added statements from my side, which were only necessary for the formalization but not the logical argument. Should you notice any inaccuracy (even if it does not necessarily falsify the proof), please let me know as I would like to proceed with the same spirit of rigour. Before starting this project, I had already found Prof. Elkind’s formalization of the Principia…
How not to be wrong: the power of mathematical thinking2016 · amazon.com · ▲70The hidden beauty and logic of the world
The Fabric of Reality: The Science of Parallel Universes2015 · amazon.com · ▲53Evolution, Theoretical Physics and Computer Science
FateGuideNov 2025 · suanmingzhun.com · ▲12Hi HN! This is my second submission today about *FateGuide*. My project, *suanmingzhun.com*, is an attempt to use *TypeScript* and *AI* not just to calculate, but to model the interpretation logic of complex Chinese Metaphysics systems. The core engineering challenge here is converting *qualitative wisdom into quantitative data*—a problem I think many engineers dealing with unstructured data can relate to. 1. *Modeling Interpretation Logic:* How do we turn the qualitative rules of *Bazi* (Five Elements interaction) and *Ziwei Doushu* (star combinations across 12 Palaces) into clean,…
More life & fun this month
the category →
A free city-building game in your browser. You are the mayor. You know what the city needs. Now get it past the zoning board, the neighbors, the appeals court and the next election.
Life & fun · 2d ago · permit.petercai.com
- IV
Life & fun · 14d ago · tanzaniaeducationproject.org
Turn a phone, tablet or TV into a sign. Type a message and it fills the screen: welcome signs, timers, Wi-Fi passwords and more. No app, no account, free.
Life & fun · 15d ago · bigwords.page
Play a free virtual guitar online with your keyboard or by touch. Slow songs down and see every chord, string and strum. Acoustic, classic, electric and bass.
Life & fun · 9d ago · guitoro.com
Carrier settings from iPhone, Pixel and Galaxy firmware, decoded and compared: APNs, VoLTE, 5G and Wi-Fi Calling per carrier, and what each build changed.
Life & fun · 13d ago · carrierexplode.com
Life & fun · 23d ago · space.bl2.net
Source: Show HN post ↗ · launch text quoted in part
Launched alongside, January 2026
the whole month →- IN
Hey HN! I wanted to share something I built over the last few weeks: isometric.nyc is a massive isometric pixel art map of NYC, built with nano banana and coding agents. I didn't write a single line of code. Of course no-code doesn't mean no-engineering. This project took a lot more manual labor than I'd hoped! I wrote a deep dive on the workflow and some thoughts about the future of AI coding and creativity: http://cannoneyed.com/projects/isometric-nyc
AI · Jan 2026 · cannoneyed.com
Automatic AI-powered code reviews the moment you open a PR
Dev tools · Jan 2026 · kilo.ai
