❄️ NixOS

Declarative Configuration, Immutable Infrastructure, Package Management, Reproducible Builds

Disentangling the Dual Role of NIC Receive Rings
usenix.org·3d·
Discuss: Hacker News
⚙️Operating System Design
ECMAScript 2025 Language Specification
262.ecma-international.org·3d·
Discuss: Hacker News
🐫OCaml
Effect Systems vs. Print Debugging: A Pragmatic Solution
blog.flix.dev·1d·
Discuss: Hacker News
🔬Static Analysis
Are you an experienced software buyer? I could use some help.
charity.wtf·2d·
Discuss: Hacker News
🛡️seL4
SWE-Bench Pro
github.com·2h·
Discuss: Hacker News
📦Unikernel Systems
Solving Impossible Problems
aha.io·4d·
Discuss: Hacker News
📊Runtime Verification
Show HN: Building an AI-native mini-OS for developers
vibemind.space·4d·
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·19h·
Discuss: Hacker News, Hacker News
🔄Reproducible Builds
On It, Boss
github.com·4h·
Discuss: Hacker News
✓Automated Theorem Proving
OpenWRT vs. RDK vs. PrplOS
pyjamabrah.com·2d·
Discuss: Hacker News
🔬Unikernels
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·2d·
Discuss: Hacker News
🛡️seL4
S1ngularity/nx attackers strike again
aikido.dev·6d·
Discuss: Hacker News
📦Unikernel Systems
Embarrassingly parallel evaluations (nixcon2025)
cdn.media.ccc.de·4d
❄️Nixified Development
What's the NAS / storage node equivalent of a Protectli?
reddit.com·1d·
Discuss: r/homelab
🏠HomeLab