Pursuing a Trick a Long Way Just to See Where It Goes, with Simon Peyton Jones
popovit.ch·6h·
Discuss: Hacker News
💻Programming languages
A Dumb Introduction to z3. Exploring the world of constraint solvers with very simple examples.
asibahi.github.io·4h·
Discuss: r/programming, r/rust
🧮Z3 Solver
Mathematics Discovering Its Consciousness: Lasso Estimator as Cosmic Backdoor
zakelfassi.com·3h·
Discuss: Hacker News
🧮Kolmogorov Complexity
An Afternoon at the Recursive Café: Two Threads Interleaving
ipfs.io·9h·
Discuss: Hacker News
🔲Cellular Automata
ISO C++ committee has a new chief sheep herder
shape-of-code.com·3h
📜Proof Carrying Code
The Capability-Tractability Tradeoff (2023)
buttondown.com·2d·
Discuss: Hacker News
💧Liquid Types
Quantum Composition: Teaching AI to 'Understand' Like Humans
dev.to·8h·
Discuss: DEV
🕸️Tensor Networks
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
Klartag improves the sphere-packing constant
quomodocumque.wordpress.com·7h
⚽Sphere Packing
Haskell Interlude: 70: Phil Wadler
haskell.foundation·18h
🧬Functional Programming
A Kevin week
blog.mitrichev.ch·4h·
Discuss: blog.mitrichev.ch
📐Linear Algebra
A Shadow of Triality?
golem.ph.utexas.edu·1d
🔲Proof Irrelevance
Does Space-Time Really Exist?
scitechdaily.com·10h
⏰Time Crystals
Planarizing matchings
11011110.github.io·7h
🎨Graph Coloring
Helping Define This Thing We Feel Lacking in LLM Responses
daniel.industries·11h
📼Cassette Linguistics
Maria-Romina Ivan and Sean Jaffe: The saturation number for the diamond is linear
gilkalai.wordpress.com·2d
💎Information Crystallography
Quantum Information Supremacy
scottaaronson.blog·2d
⚛️Quantum Tape
Python, Deep Learning, and LLMs: A Crash Course for Complete Beginners
python2llms.org·2h·
Discuss: Hacker News
💻Local LLMs
Joy & Curiosity #54
registerspill.thorstenball.com·21h
⚙️Proof Engineering