2025 Area Code Games: Day Three Wrap
d1baseball.com·1d
🧮Programming Language Theory
‘A Few Quick Matches’ Creates Brutal Battles for Stick Figures
indiegamesplus.com·4h
💾Retrocomputing
Generic Containers in C: Safe Division Using Maybe
uecker.codeberg.page·1d·
Discuss: Hacker News, r/programming
🔍Static Analysis
Games We Can't Win
cognition.cafe·13h·
Discuss: Hacker News
⚖Algorithmic Game Theory
Autarkie - Instant grammar fuzzing using Rust macros (WHY2025)
cdn.media.ccc.de·1d
🦀Rust
Einstein Fields: A Neural Perspective to Computational General Relativity
arxiviq.substack.com·14h·
Discuss: Substack
🎲Probabilistic Programming
No Limit for Better
kk.org·19h·
Discuss: Hacker News
⚖Algorithmic Game Theory
11 août - Stream of Consciousness
reddit.com·13h·
Discuss: r/UnifiedSignalTheory
🧮Programming Language Theory
Create 3D Game Worlds with AI
dev.to·1d·
Discuss: DEV
🤖Sci-Fi
Run-time Steering Can Surpass Post-Training: Reasoning Task Performance
lesswrong.com·1d
🎲Probabilistic Programming
Sparse Variational Student-t Processes
arxiv.org·11h
🎲Probabilistic Programming
Social Welfare in Battery Charging Games
arxiv.org·1d
⚖Algorithmic Game Theory
Selective Contrastive Learning for Weakly Supervised Affordance Grounding
arxiv.org·11h
🎲Probabilistic Programming
GPT-5s Are Alive: Outside Reactions, the Router and the Resurrection of GPT-4o
lesswrong.com·2h
🧭SMT Solvers
DNA polymerase actively and sequentially displaces single-stranded DNA-binding proteins
nature.com·13h
🤝Protocol Design
I finally understand how AI can handle legal paperwork better than humans.
threadreaderapp.com·1d
🧩Theorem Proving
Random... ish... numbers
dansdata.com·4h
🔐Cryptography
Uncertainty-Driven Reliability: Selective Prediction and Trustworthy Deployment in Modern Machine Learning
arxiv.org·11h
🎲Probabilistic Programming
Towards a quality control framework for cerebral cortical organoids
nature.com·1d
💾Retrocomputing
Autonomous Dynamic Voltage Scaling via Reinforcement Learning for Power Efficiency in High-Performance Computing
dev.to·19h·
Discuss: DEV
🎲Probabilistic Programming