Pursuing a Trick a Long Way Just to See Where It Goes, with Simon Peyton Jones
popovit.ch·44m·
Discuss: Hacker News
💻Programming languages
Deterministic Chaos: Guiding Robots with Predictable Flow Fields
dev.to·6h·
Discuss: DEV
🔲Cellular Automata
Klartag improves the sphere-packing constant
quomodocumque.wordpress.com·1h
⚽Sphere Packing
An Afternoon at the Recursive Café: Two Threads Interleaving
ipfs.io·4h·
Discuss: Hacker News
🔲Cellular Automata
The Capability-Tractability Tradeoff (2023)
buttondown.com·1d·
Discuss: Hacker News
💧Liquid Types
Faux Type Theory: three minimalist OCaml simple proof checker implementations
github.com·1d·
Discuss: Hacker News
🔤Type Theory
Charles Sanders Peirce, George Spencer Brown, and Me • 19
inquiryintoinquiry.com·4d
🔤Type Theory
Haskell Interlude: 70: Phil Wadler
haskell.foundation·13h
🧬Functional Programming
Does Space-Time Really Exist?
scitechdaily.com·4h
⏰Time Crystals
A Shadow of Triality?
golem.ph.utexas.edu·1d
🔲Proof Irrelevance
Blog Roundup (September 14, 2025)
virtualmoose.org·5h
🕹️Retro Gaming
Helping Define This Thing We Feel Lacking in LLM Responses
daniel.industries·5h
📼Cassette Linguistics
Maria-Romina Ivan and Sean Jaffe: The saturation number for the diamond is linear
gilkalai.wordpress.com·1d
💎Information Crystallography
No Peeking Ahead: Time-Aware Graph Fraud Detection
towardsdatascience.com·5h
🌳Archive Merkle Trees
Helen DeWitt says, “programming occupies a place similar to that of literacy in mediaeval England.”
statmodeling.stat.columbia.edu·6h
📜Medieval Computing
Quantum Information Supremacy
scottaaronson.blog·2d
⚛️Quantum Tape
A New Type of Computing
news.ycombinator.com·2d·
Discuss: Hacker News
⚛️Information Physics
Joy & Curiosity #54
registerspill.thorstenball.com·15h
⚙️Proof Engineering
Day 7 of My Quantum Computing Journey: Completing Week 1 & First Steps into Quantum Programming
dev.to·8h·
Discuss: DEV
🔐Quantum Cryptography
Calculus Made Easy by Silvanus P. Thompson
calculusmadeeasy.org·13h·
Discuss: Hacker News
📐Document Calculus