Arithmetic that doesn’t terminate is not mathematics. / It’s wishful thinking with symbols…
MUTH Club: Math as Engineering, not Science
Diaphorum 0: Feynman’s Markovian Spacetime Replacement Problem (MSRP)
Alright, you clowns. You've spent a hundred years polishing spacetime like it's some sacred crystal. Minkowski this, Markov that. But nature—real, messy, experimental nature—keeps coughing up data that doesn't fit your pretty, memoryless picture…
Humanity As Rationalizing The Irrational: The HARTI Hypothesis
The HARTI hypothesis situates humanity’s uniqueness not in pure logic, speech, or play, but in the general-purpose ability to transform the irreducible into the intelligible. / Whether viewed as the root of our greatness or the source of our downfall, rationalization remains central to any account of what it means to be human.
ABCs of ADD: A Cultural Compass for Accountability-Driven Development
How we thrive in a world of abundance.
ADD the Beat: Accountability-Driven Development in an AI World
AI can generate code faster than any human I've met. But it often lacks what we might call EQ for engineering: it doesn't know when to stop, it forgets promises, it drifts from context. That's not malice--it's the nature of the tool. The burden falls back on us to create a structure where AI's speed doesn't outrun our ability to review.
Tuna Dreams: Healing the Brain Without Sleep
This suggests tuna may run the “maintenance programs” of sleep — like synaptic repair and clearance — while awake. Uncovering these adaptations could open new paths to protect the human brain from not only sleep deprivation, but also from cognitive decline caused by injury, aging, or disease.
Grammagraph: How Typed AI Compresses Syntax into Semantics
Grammagraphs offer a formal, compositional, and learnable structure that bridges syntax and semantics, allowing AI systems to extract low-dimensional meaning from high-dimensional expression—guided by types, structured by categories, and compressed via geometry.
Making Math Learn: Bauer vs Spivak on a Type Theory for AI
Not trained, Andrej. Learned. As in: the structure is fixed—types, arrows, limits— and the learning fills in the terms. A child writes in crayons over the architect’s blueprint.
Designing your own Schgaguler
The process he describes is sufficiently profound, important, and under-explored that I've started calling it "Designing your own Schgaguler": 1. Identify an experience that creates a compelling sublime feeling 2. Collect items that remind you of that feeling 3. Work with the universe to own a context for creating that feeling 4. Patiently build it 5. Tell others about the journey, using the result as an example
Reconstructing Spacetime: A New Spin on Angular Momentum
"We’ve all pondered why the universe doesn’t just collapse into a giant blob. On one end, angular momentum prevents gravitational collapse, stabilizing galaxies. On the other, electron degeneracy pressure stops stars from imploding. These phenomena seem unrelated, yet spin ties them together. Could spin be the key to a deeper unifying principle of stability across scales?"
iHack, therefore iBlog 
You must be logged in to post a comment.