❄️ NixOS

Declarative Configuration, Immutable Infrastructure, Package Management, Reproducible Builds

How Fairblock Is Unlocking Confidential Payments and Auctions on Arbitrum
blog.arbitrum.io·1h·
Discuss: Hacker News
🌐NetworkProtocols
Disentangling the Dual Role of NIC Receive Rings
usenix.org·4d·
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
Silly booby traps in FreeBSD and NetBSD
rubenerd.com·3d·
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
On It, Boss
github.com·6h·
Discuss: Hacker News
✓Automated Theorem Proving
Embarrassingly parallel evaluations (nixcon2025)
cdn.media.ccc.de·4d
❄️Nixified Development
The LLM Lobotomy
learn.microsoft.com·2d·
Discuss: Hacker News
🛡️seL4
OpenWRT vs. RDK vs. PrplOS
pyjamabrah.com·2d·
Discuss: Hacker News
🔬Unikernels
The Fink Project
finkproject.org·5d·
Discuss: Hacker News
🍏Darwin
S1ngularity/nx attackers strike again
aikido.dev·6d·
Discuss: Hacker News
📦Unikernel Systems
What's the NAS / storage node equivalent of a Protectli?
reddit.com·1d·
Discuss: r/homelab
🏠HomeLab
Are We Chasing Language Hype Over Solving Real Problems?
dayvster.com·2d·
Discuss: Hacker News, r/linux
🔤DSLs
Transcript of What went wrong (& what went right) with AIO with Andres Freund
talkingpostgres.com·2d·
Discuss: Hacker News, Hacker News
🔄Reproducible Builds
I was going to start a VC fund, but instead got hooked on vibe coding
fredbenenson.com·5h·
Discuss: Hacker News
📊Runtime Verification
Hammerspoon: A tool for powerful automation of OS X
github.com·5h·
Discuss: Hacker News
🍎Apple
Vogte: The Agentic TUI for Go codebases ;)
github.com·2d·
Discuss: Lobsters, Hacker News, r/golang, r/programming
🔄Reproducible Builds
Let's look at the structure of Vec<T>
marma.dev·2d·
Discuss: Lobsters, Hacker News, r/rust
🐫OCaml
Tackling Review Fatigue by Document Driven Agentic Coding
chezo.uno·1d·
Discuss: Hacker News
🤖Program Synthesis