The world is awful. The world is much better. The world can be much better
ourworldindata.org·8h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Water Hidden Within Lunar Soil Could Make Life on the Moon Possible
discovermagazine.com·4h·
Discuss: Hacker News
⎈Kubernetes
Benben: An audio player for the terminal, written in Common Lisp
chiselapp.com·6d·
Discuss: Hacker News
📦Unikernel Systems
Read post
allenai.org·1d·
Discuss: Hacker News
🔬Static Analysis
Commentary: AI Reasoning on IMO(International Math Olympiad)
jonaskgomo.com·3h·
Discuss: Hacker News
✓Automated Theorem Proving
Why I said "no" for a year: rethinking dev-to-prod environment promotion · Logto blog
blog.logto.io·4d·
Discuss: r/programming
🧱Immutable Infrastructure
How TPMs Work and Why We Added Support in Bottlerocket
molnett.com·4d·
Discuss: Hacker News, r/linux
💾Retro Computing
Rethinking "Progress": A Hard Look at Sustainability
news.ycombinator.com·19h·
Discuss: Hacker News
📡Network Protocol Design
To be a better programmer, write little proofs in your head
the-nerve-blog.ghost.io·6d·
Discuss: Hacker News, r/programming
🧪Property-Based Testing
2025 One-Hertz Challenge: HP Logic Probe Brought Into The Future
hackaday.com·3d
💾Retro Computing
Hypothetical: what would you charge to be a homelab mentor for someone with a learning disability?
reddit.com·2d·
Discuss: r/homelab
🏠HomeLab
Thoughts on AI and software development - Part 5
ufried.com·3d·
Discuss: Hacker News
🤖Program Synthesis
Reading Between the Lines: Combining Pause Dynamics and Semantic Coherence for Automated Assessment of Thought Disorder
arxiv.org·13h
🔬Static Analysis
Show HN: Anemos – CLI tool to manage Kubernetes manifests using JavaScript
github.com·4d·
Discuss: Hacker News
⎈Kubernetes
I want to make just a few key containers highly available, and I want advice on how it'd be possible with the less suck
reddit.com·6d·
Discuss: r/homelab
⎈Kubernetes
Thoughts on Building with AI
gouthamve.dev·6d·
Discuss: Hacker News
🔄Reproducible Builds
China proves that open models are more effective than all the GPUs in the world
theregister.com·2d·
Discuss: Hacker News
🔬Unikernels
Early thoughts on Kiro, Amazon's new agentic IDE/VSCode fork
trunk.io·5d·
Discuss: Hacker News, r/programming
🧱Immutable Infrastructure
As companies race to add AI, terms of service changes are going to freak a lot of people out
theregister.com·3d·
Discuss: Hacker News
📦Unikernel Systems
From Novelty to Imitation: Self-Distilled Rewards for Offline Reinforcement Learning
arxiv.org·3d
🎮Verification Games