FFmpeg – The Ultimate Guide
img.ly·3d·
Discuss: Hacker News
🍎XNU Internals
Git's hidden simplicity: what's behind every commit
allvpv.substack.com·23h·
Discuss: Substack
🔄Reproducible Builds
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·1d·
Discuss: Hacker News
🎮Verification Games
The Bill Gates Interview (1994)
tech-insider.org·2d·
Discuss: Hacker News
💾Retro Computing
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
Orc Protocol: Heavier than IRC, lighter than XMPP
github.com·3d·
Discuss: Hacker News
🌐NetworkProtocols
LLM-Generated Rules Engines for LLM Explainability
brain.co·2d·
Discuss: Hacker News
🧠Automated Reasoning
Best option to move a zfs pool from 3.5 HDDs to nvme ?
reddit.com·7h·
Discuss: r/homelab
🏠HomeLab
Memory Integrity Enforcement: A complete vision for memory safety in Apple devices
security.apple.com·5d·
Discuss: Lobsters, Hacker News, r/hardware, r/programming
🐫Embedded OCaml
OpenSSF Experts Weigh in on CISA’s SBOM Minimum Elements Update
thenewstack.io·1d
🔤DSLs
Running Code On a PAX Credit Card Payment Machine
hackaday.com·1d
🔧Unikernel Development
Hardware Acceleration of Kolmogorov-Arnold Network (KAN) in Large-Scale Systems
arxiv.org·5d
🐫Embedded OCaml
You Can Just Do Things
elite-ai-assisted-coding.dev·3d·
Discuss: Hacker News
✓Automated Theorem Proving
Show HN: Paasword – a password vault that never stores your passwords
github.com·2h·
Discuss: Hacker News
🍎Apple
Zaku: Fast, open-source API client with fangs
github.com·1d·
Discuss: Hacker News
🍏Darwin
Writing effective tools for LLM agents–using LLM agents
anthropic.com·2d·
Discuss: Hacker News
💎Refinement Types
Show HN: Implementation and ablation of the Hierarchical Reasoning Model (HRM)
github.com·4d·
Discuss: Hacker News
🧠Automated Reasoning
Stop Coding. Start Writing
rgoldfinger.com·1d·
Discuss: Hacker News
🔬Static Analysis