War in Ukraine: An essential but largely unproductive meeting in Washington
lemonde.fr·45m
📝ABNF Parsing
Predicament
xkcd.com·1d
🖋Typography
AI’s backyard: A map of the 21st-century gold rush
english.elpais.com·2d
🖥️Self-hosted Infrastructure
Weird SEGA facts
anderegg.ca·3d
🏺Gaming Archaeology
Friday 10 October 2025 - 11am
informatics.ed.ac.uk·19h
🧠Machine Learning
weeknotes, 33/25
meiadeleite.com·1d
🎵Audio Codecs
The reliability crisis
buildingslack.com·19h
💾Persistence Strategies
Direct File died under Trump. Meet the creators planning for its second life
fedscoop.com·23h·
Discuss: Hacker News
🚀Indie Hacking
Structured (Synchronous) Concurrency
fsantanna.github.io·11h·
Discuss: Lobsters, Hacker News
📞Session Types
AMI Aptio BIOS: Rights expansion enables firmware manipulation
heise.de·23h
🔒Secure Boot
Let's Talk About AI Workflows
rkayg.com·15h·
Discuss: Hacker News
🗣️Domain-Specific Languages
Researcher: We can build safer tunnels with artificial intelligence
phys.org·13h
🧠Intelligence Compression
Show HN: Stateful LLM inference (no cost for input tokens, not prompt-caching)
news.ycombinator.com·19h·
Discuss: Hacker News
💻Local LLMs
Automated Logical Proof Verification via Hybrid Symbolic-Numerical Analysis
dev.to·11h·
Discuss: DEV
🎯Performance Proofs
Practice Makes Perfect: How AI Interview Simulation Changed My Go Game
dev.to·2d·
Discuss: DEV
🎯Emulator Accuracy
Stand Up Reminder!
hackster.io·1d
🏠Home Automation
Amazon is still struggling to stem the flood of AI-generated fake books
the-decoder.com·1d
📰RSS Reading Practices
How to Think Like a Prompt Engineer (Even Without Coding)
dev.to·5h·
Discuss: DEV
📐Proof Assistants
Disable Console Bell Globally in DragonFly BSD
discoverbsd.com·1h
🔌Operating system internals
Optimality of Linear Policies in Distributionally Robust Linear Quadratic Control
arxiv.org·5h
📈Linear programming