A Storm of Wings
🧫Cellular Automata
Flag this post
Learning to trust with Hanabi
bojidar-bg.dev·23h
🧩Theorem Proving
Flag this post
‘I had a year to write it from scratch’: the 2025 Booker finalists on the stories behind their novels
theguardian.com·4h
🤝Protocol Design
Flag this post
QA/Dev Report: October 2025
qa.blog.documentfoundation.org·2d
📝Text Editors
Flag this post
Dive into Systems
🧩Theorem Proving
Flag this post
Physically-bounded distributionally robust chance-constrained dispatch approach for power system with renewable power-to-ammonia
sciencedirect.com·26m
🎲Probabilistic Programming
Flag this post
[Tips, very lenghty] What your language should probably need to be able to communicate effectively.
🔗Parser Combinators
Flag this post
No AI in Agents
⚖Algorithmic Game Theory
Flag this post
HACI: A Haptic-Audio Code Interface to Improve Educational Outcomes for Visually Impaired Introductory Programming Students
arxiv.org·1d
👐Open Source Software
Flag this post
Numerical boundary flux functions that give provable bounds for nonlinear initial boundary value problems with open boundaries
arxiv.org·1d
⚙Functional Programming
Flag this post
Minimizing Loss ≠ Maximizing Intelligence
lesswrong.com·1d
🎲Probabilistic Programming
Flag this post
Large Language Models Do NOT Really Know What They Don't Know
🎲Probabilistic Programming
Flag this post
Loading...Loading more...