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
The Bill Gates Interview (1994)
tech-insider.org·3d·
Discuss: Hacker News
💾Retro Computing
AI Prompts for Self-Reflection
josecasanova.com·2d·
Discuss: Hacker News
🎮Verification Games
Show HN: I built an operating file system for my agent (CRUD)
youtube.com·5d·
Discuss: Hacker News
🐳Containerization
Beyond package management: How Nix refactored my digital life
jimmyff.co.uk·6d·
Discuss: Hacker News, r/programming
❄️Nixified Development
Best option to move a zfs pool from 3.5 HDDs to nvme ?
reddit.com·15h·
Discuss: r/homelab
🏠HomeLab
Larry Wall – Present Continuous, Future Perfect (2006)
perl.org.il·2d·
Discuss: Hacker News
📚Automata Learning
Zaku: Fast, open-source API client with fangs
github.com·1d·
Discuss: Hacker News
🍏Darwin
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
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·8h·
Discuss: Hacker News
🎮Verification Games
How to tell your co-workers that they suck at InfoSec and actually get away with it (mrmcd25)
cdn.media.ccc.de·2d
🛡️seL4
Why scaling is profitable, and fast takeoffs will look slow on AI benchmarks
lesswrong.com·1d
🐫OCaml
Using RPI 5 Compute Module for FPGA Test
hackster.io·6d·
Discuss: Hacker News
🐫Embedded OCaml
Program management update — August 2025
blog.rust-lang.org·3d·
Discuss: Hacker News, r/rust
🐫OCaml