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…
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 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 across computational steps) 4) Three-dimensional space (stabilized projection of structure) 5) Quantum-like behavior (pre-spatial compatibility constraints) 6) Gravity-like effects (stability gradients in hierarchical structure) The logic/computation part is rigorous. I've worked out a formal derivation with proofs. The quantum/gravity parts are more exploratory. I discovered Spencer-Brown's Laws of Form late in this process. His approach encodes Boolean structure through chosen rewrite laws. My derivation differs: no free parameters, canonical constructions only, truth tables computed rather than designed. I'm seeking: - arXiv endorsement (first-time submitter, need referral for cs.LO or math.LO) - your feedback of my book (it's free on Kindle: https://theplusminus.xyz if for some reason doesn't work can send a PDF) The book is illustrative/accessible. The technical paper with rigorous proofs needs 1-2 more days of polishing before I'm ready to share. If you're interested in endorsing, I can prioritize sending you an early draft.
Does the same job
all alternatives →- AAAsciiDots – a 2D esoteric language inspired by circuits2017 · github.com · ▲148
- AEAn encoding of the UK's self-isolation rules in Prolog2021 · github.com · ▲108
- DTDependently typed language for proofs that you can implement in one day2021 · github.com · ▲138
- AHAngelic-hierarchy, a game about Turing machines, philosophy, and math2017 · modalduality.org · ▲95
- SAState Algebra, new algebraic framework for logic, an alternative to BDDSep 2025 · arxiv.org · ▲5
Hey HN, My co-author and I just published a paper on arXiv that formalises a framework we've been using successfully in probabilistic logic for many years. We decided it was time to properly lay out its foundations for classical propositional logic. We cast propositional logic into a formal algebra where logical formulas are represented by sparse matrices. State Algebra isn't an algorithm in itself, but rather a language for manipulating Boolean functions. It provides a new set of tools that lets you express and reformulate existing optimization heuristics (like those from modern SAT…
- HAHeresy, a BASIC-inspired functional Lisp2014 · github.com · ▲34
More life & fun this month
the category →- TL
Life & fun · 10d ago · louisabraham.github.io
Photosynthesis fires two of your iPhone
Life & fun · 28d ago · photosynthesis.camera
SoloUno▲310Take control of hair pulling, nail biting & skin picking
Life & fun · 28d ago · solouno.io
Scroll through all 43,252,003,274,489,856,000 reachable Rubik's Cube permutations.
Life & fun · 26d ago · everycube.alen.is
Hi HN, I built Eigendrum, a web tool that solves the 2D wave equation for arbitrary shapes so you can hear what they sound like as drums. How it works: * Solves -∇²u = λu using finite element analysis (Kφ = λMφ) on a triangle mesh. * Validated to <0.1% error against closed-form solutions for circles (Bessel zeros) and rectangles. * Sound model factors in strike location, Rayleigh damping, and mallet width. * Includes Kac drums I & II to demonstrate identical sound spectra from different geometries. * No frameworks, build steps, or dependencies. Repo and tests:…
Life & fun · 26d ago · baselashraf81.github.io
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
