On Having the Patience To Solitaire
brainbaking.com·13h·
Discuss: Hacker News
🎮Verification Games
Git’s hidden simplicity: what’s behind every commit
allvpv.substack.com·1d·
Discuss: r/programming
🔄Reproducible Builds
FFmpeg – The Ultimate Guide
img.ly·3d·
Discuss: Hacker News
🍎XNU Internals
Exclusive: Google wants to make Android phones safer by switching to ‘risk-based’ security updates
androidauthority.com·1d·
Discuss: Hacker News, r/Android
🔧Unikernel Development
AI Prompts for Self-Reflection
josecasanova.com·2d·
Discuss: Hacker News
🎮Verification Games
The Bill Gates Interview (1994)
tech-insider.org·2d·
Discuss: Hacker News
💾Retro Computing
Show HN: Paasword – a password vault that never stores your passwords
github.com·7h·
Discuss: Hacker News
🍎Apple
How did you deploy redundant storage across multiple servers? (k8s, CEPH, JBOD)
reddit.com·1d·
Discuss: r/homelab
⎈Kubernetes
Zaku: Fast, open-source API client with fangs
github.com·1d·
Discuss: Hacker News
🍏Darwin
Larry Wall – Present Continuous, Future Perfect (2006)
perl.org.il·2d·
Discuss: Hacker News
📚Automata Learning
Kerberoasting
blog.cryptographyengineering.com·4d·
Discuss: Lobsters, Hacker News
🛡️seL4
Stop Coding. Start Writing
rgoldfinger.com·1d·
Discuss: Hacker News
🔬Static Analysis
When Is MCP Actually Worth It?
thenewstack.io·4d
🖥️Self-hosted Infrastructure
A layered architecture for log analysis in complex IT systems
arxiv.org·3d
👁️System Observability
Writing effective tools for LLM agents–using LLM agents
anthropic.com·3d·
Discuss: Hacker News
💎Refinement Types
Show HN: Implementation and ablation of the Hierarchical Reasoning Model (HRM)
github.com·4d·
Discuss: Hacker News
🧠Automated Reasoning
Graduated, No Job, Built AI Apps and Full-Stack Projects
news.ycombinator.com·23h·
Discuss: Hacker News
💻CS
Design of Reliable and Resilient Electric Power Systems for Wide-Body All-Electric Aircraft
arxiv.org·2d
🩹Self-Healing Systems
Gemini tops App Store; Grok 4 Fast ships; ChatGPT gets harder to trick
lightcapai.medium.com·5h·
Discuss: Hacker News
🎮Verification Games
Why scaling is profitable, and fast takeoffs will look slow on AI benchmarks
lesswrong.com·1d
🐫OCaml