❄️ NixOS

Declarative Configuration, Immutable Infrastructure, Package Management, Reproducible Builds

Evals in the Age of Jarvis
lesswrong.com·17h
📊Runtime Verification
Using Yubikey FIDO2 to Login in Debian/GDM
4rknova.com·16h·
Discuss: Hacker News
📦Unikernel Systems
Project management when the project is data
blog.datadef.io·1d·
Discuss: Hacker News
👁️System Observability
Building a Blockchain in Zig
blog.mariodev.xyz·1d·
Discuss: Hacker News
🛡️seL4
MongoDB AMP
redmonk.com·13h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Nix in the Wild (nixcon2025)
cdn.media.ccc.de·3d
❄️Nix
The Ultimate Guide to Linux Default Package Managers
maketecheasier.com·5d·
Discuss: Hacker News
🐳Containerization
Prompt Strategies for Terraform Test Generation
masterpoint.io·11h·
Discuss: Hacker News
🤖Program Synthesis
A field guide to Nix at the Corporate (nixcon2025)
cdn.media.ccc.de·3d
❄️Nix
Hackaday Links: September 21, 2025
hackaday.com·14h
🐳Containerization
Show HN: Building an AI-native mini-OS for developers
vibemind.space·3d·
Discuss: Hacker News
🔧Unikernel Development
Internet scale routing with NixOS (nixcon2025)
cdn.media.ccc.de·3d
📡Network Protocol Design
Silly booby traps in FreeBSD and NetBSD
rubenerd.com·3d·
Discuss: Hacker News
🔬Unikernels
New Release: Tails 7.0
blog.torproject.org·4d·
Discuss: Hacker News
🔧Unikernel Development
Lapsoss: Vendor-neutral error tracking for Rails apps
telebugs.com·5d·
Discuss: Hacker News
👁️System Observability
ECMAScript 2025 Language Specification
262.ecma-international.org·3d·
Discuss: Hacker News
🐫OCaml
Solving Impossible Problems
aha.io·3d·
Discuss: Hacker News
📊Runtime Verification
I built a 'feeder' for Paperless-NGX. Its called dropbox-consumer!
reddit.com·2d·
Discuss: r/homelab
🐳Containerization
Fail loudly: a plea to stop hiding bugs
alejo.ch·2d·
Discuss: r/programming
🔍Formal Verification
Taking a Stroll Down the Home Lab Rabbit Hole — Software-Focused, AI-Driven, and Just Getting Started
reddit.com·2d·
Discuss: r/homelab
🏠HomeLab