❄️ NixOS

Declarative Configuration, Immutable Infrastructure, Package Management, Reproducible Builds

Evals in the Age of Jarvis
lesswrong.com·19h
📊Runtime Verification
Esprimo D757 only reaching PC2
reddit.com·1h·
Discuss: r/homelab
🏠HomeLab
Lapsoss: Vendor-neutral error tracking for Rails apps
telebugs.com·5d·
Discuss: Hacker News
👁️System Observability
I built a 'feeder' for Paperless-NGX. Its called dropbox-consumer!
reddit.com·2d·
Discuss: r/homelab
🐳Containerization
ECMAScript 2025 Language Specification
262.ecma-international.org·3d·
Discuss: Hacker News
🐫OCaml
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
Effect Systems vs. Print Debugging: A Pragmatic Solution
blog.flix.dev·1d·
Discuss: Hacker News
🔬Static Analysis
Agentic Feature Flags
reflag.com·3h·
Discuss: Hacker News, r/programming
🔄Reproducible Builds
Are you an experienced software buyer? I could use some help.
charity.wtf·2d·
Discuss: Hacker News
🛡️seL4
Solving Impossible Problems
aha.io·3d·
Discuss: Hacker News
📊Runtime Verification
Show HN: Building an AI-native mini-OS for developers
vibemind.space·3d·
Discuss: Hacker News
🔧Unikernel Development
The Ultimate Guide to Linux Default Package Managers
maketecheasier.com·6d·
Discuss: Hacker News
🐳Containerization
How I Would Have Built Laravel Cloud
juststeveking.com·5d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Silly booby traps in FreeBSD and NetBSD
rubenerd.com·3d·
Discuss: Hacker News
🔬Unikernels
Python packaging with nixpkgs, pyproject.nix & uv2nix (nixcon2025)
cdn.media.ccc.de·4d
❄️Nixified Development
FreeBSD vs. SmartOS: Who's Faster for Jails, Zones, and bhyve VMs?
it-notes.dragas.net·3d·
Discuss: Lobsters, Hacker News, Hacker News
🔬Unikernels
Why is modern data architecture so confusing? And what made sense for me
exasol.com·17h·
Discuss: Hacker News, Hacker News
🔄Reproducible Builds
Less is safer: how Obsidian reduces the risk of supply chain attacks
obsidian.md·3d·
Discuss: Lobsters, Hacker News, r/ObsidianMD
🔄Reproducible Builds
The LLM Lobotomy
learn.microsoft.com·1d·
Discuss: Hacker News
🛡️seL4