A New Bridge Links the Strange Math of Infinity to Computer Science
quantamagazine.org·1d·
Discuss: Hacker News, r/compsci
📐Mathematical Art
Flag this post
The Easiest Way to Build a Type Checker
jimmyhmiller.com·13h·
Discuss: Hacker News
⬌Bidirectional Typing
Flag this post
No Deus ex Machina
thestoicprogrammer.substack.com·23h·
Discuss: Substack
🔩Systems Programming
Flag this post
Olmo 3 is a fully open LLM
simonwillison.net·8h
🌀Brotli Internals
Flag this post
ACM Gordon Bell Prize Awarded for Tsunami Prediction Simulation
acm.org·19h·
Discuss: Hacker News
🔲Cellular Automata
Flag this post
Indefiniteness makes lattice reduction easier
arxiv.org·2d
🔗Combinatory Logic
Flag this post
World Record Broken: 50-Qubit Quantum Computer Fully Simulated for the First Time
scitechdaily.com·10h
⚛️Quantum Tape
Flag this post
POPL Paper—Hyperfunctions: Communicating Continuations
doisinkidney.com·5d
💻Programming languages
Flag this post
The Machine Learning Roadmap
github.com·9h·
Discuss: Hacker News
🎵Audio ML
Flag this post
LLM on AWS with Bedrock and Understanding Non-Determinism in Generative Models
dev.to·14h·
Discuss: DEV
💻Local LLMs
Flag this post
Safeguarded AI (Part 2)
johncarlosbaez.wordpress.com·3d
⚙️Proof Engineering
Flag this post
Show HN: Makefiles, Metalanguages, and Matrioshka Automata
robot-wranglers.github.io·1d·
Discuss: Hacker News
🦀Rust Macros
Flag this post
Lang’s theorem — Pt. IV: a mixed-characteristic variant
ayoucis.wordpress.com·11h
λLambda Encodings
Flag this post
Where "Simulation" Came From
decomposition.al·2d·
Discuss: Hacker News
🔤Type Theory
Flag this post
Notes for November 17-22
taoofmac.com·10h
🌀Brotli Internals
Flag this post
Understanding intrinsically disordered protein regions and their roles in cancer
phys.org·1d
⚙️ABNF Mining
Flag this post
Set theory with types
lawrencecpaulson.github.io·2d·
Discuss: Hacker News, Hacker News
🔤Type Theory
Flag this post
Architecting Uncertainty: Designing Reliable Systems on Top of LLMs
medium.com·1d·
Discuss: Hacker News
🧩WASM Components
Flag this post
Mad drunk on the mead of poetry
blog.zarfhome.com·1d
🧪CBOR Fuzzing
Flag this post
Rethinking C++: Architecture, Concepts, and Responsibility
blogs.embarcadero.com·3d·
Discuss: Hacker News
🛠Language Design
Flag this post