❄️ NixOS

Declarative Configuration, Immutable Infrastructure, Package Management, Reproducible Builds

Evals in the Age of Jarvis
lesswrong.com·15h
📊Runtime Verification
Using Yubikey FIDO2 to Login in Debian/GDM
4rknova.com·14h·
Discuss: Hacker News
📦Unikernel Systems
Project management when the project is data
blog.datadef.io·22h·
Discuss: Hacker News
👁️System Observability
Ts-base: TS library template with release-please and tsdown
bengubler.com·4d·
Discuss: Hacker News
🔄Reproducible Builds
GWSC Three Factor Authentication RFC (Draft-GWC-27001-3A)
gwsc-3fa.org·3d·
Discuss: Hacker News
🌐NetworkProtocols
My Hacking Simulator runs on a Cyberdeck
tiniuc.com·1d·
Discuss: Lobsters, Hacker News
💾Retro Computing
What happens when coding agents stop feeling like dialup?
martinalderson.com·23h·
Discuss: Hacker News
🧱Immutable Infrastructure
Building a Blockchain in Zig
blog.mariodev.xyz·1d·
Discuss: Hacker News
🛡️seL4
Fail loudly: a plea to stop hiding bugs
alejo.ch·2d·
Discuss: r/programming
🔍Formal Verification
MongoDB AMP
redmonk.com·11h·
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·9h·
Discuss: Hacker News
🤖Program Synthesis
Lapsoss: Vendor-neutral error tracking for Rails apps
telebugs.com·5d·
Discuss: Hacker News
👁️System Observability
A field guide to Nix at the Corporate (nixcon2025)
cdn.media.ccc.de·3d
❄️Nix
Hackaday Links: September 21, 2025
hackaday.com·12h
🐳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·2d·
Discuss: Hacker News
🔬Unikernels
New Release: Tails 7.0
blog.torproject.org·4d·
Discuss: Hacker News
🔧Unikernel Development