❄️ NixOS

Declarative Configuration, Immutable Infrastructure, Package Management, Reproducible Builds

Show HN: Twilio made SMS complicated. We made it 5-minute simple
resms.dev·17h·
Discuss: Hacker News
🌐NetworkProtocols
Realtime Raytracing in Bevy 0.17 (Solari)
jms55.github.io·2d·
Discuss: Hacker News
📦Unikernel Systems
Updates to the pf packet filter in FreeBSD and pfSense software
netgate.com·4d·
Discuss: Hacker News
📦Unikernel Systems
What if we treated Postgres like SQLite?
maragu.dev·13h·
Discuss: Hacker News
🧱Immutable Infrastructure
Vulkan Graphics in OCaml vs. C
roscidus.com·2d·
Discuss: Lobsters, Hacker News
🐫OCaml
Tutorial Introduction to Guile
gnu.org·2d·
Discuss: Hacker News
✓Automated Theorem Proving
When efficiency isn’t wasteful
jessitron.com·1d·
Discuss: Hacker News
🔬Unikernels
"Transgender lesbians please dm me" (torvalds/linux#1354)
github.com·2d·
Discuss: Hacker News
❄️Nixified Development
I'm dealing with post-exit depression. Helpful tips
blog.kalo.me·2d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
We have outgrown the Process model
sidhion.com·4d·
Discuss: Lobsters, Hacker News, r/programming
⚙️Operating System Design
Linux Ready To Upstream Support For Google's PSP Encryption For TCP Connections
phoronix.com·1d·
Discuss: Hacker News
🌐NetworkProtocols
Thoth Blueprint: software to visualize and modify database schema
github.com·1d·
Discuss: Hacker News
🔄Reproducible Builds
Systems Software in the Large
oxide.computer·4d·
Discuss: Hacker News
👁️System Observability
Is NixOS ready for the CRA? (nixcon2025)
cdn.media.ccc.de·4d
❄️Nix
I Spent Three Nights Solving Listen Labs Berghain Challenge (and Got #16)
kuber.studio·1d·
Discuss: Hacker News
🎮Verification Games
DKMS Packages For Bcachefs Are Now Available On Debian & Ubuntu
phoronix.com·2d·
Discuss: Hacker News
🔧Unikernel Development
MLOps Fundamentals: 6 Principles That Define Modern ML Operations (from the author of LLM Engineering Handbook)
javarevisited.substack.com·3d·
Discuss: r/programming
🔄Reproducible Builds
Accelerando as a "Slow, Reasonably Nice Takeoff" Story
lesswrong.com·36m
🔬Unikernels
Raspberry Pi cluster vs enterprise server for compile workloads, thoughts?
reddit.com·1d·
Discuss: r/homelab
🔧Unikernel Development
Systemd 258
lists.freedesktop.org·5d·
Discuss: Hacker News
📦Unikernel Systems