Stop using nix-env
stop-using-nix-env.privatevoid.net·3d·
Discuss: Lobsters, Hacker News
❄️Nixified Development
ANN: Miso-lynx, create iOS apps with Haskell and LynxJS
github.com·1d·
Discuss: Hacker News
🌐NetworkProtocols
Personal Reflections on Immutable Linux
hackaday.com·15h
🔬Unikernels
OS choice for just a NAS
reddit.com·13h·
Discuss: r/homelab
🏠HomeLab
Monitoring My Homelab, Simply
b.tuxes.uk·21h·
Discuss: Lobsters, Hacker News
👁️System Observability
Guixotic, a Guix/Guile worker cooperative
lists.gnu.org·1d·
Discuss: Hacker News
📦Unikernel Systems
Sound Interval-Based Synthesis for Probabilistic Programs
arxiv.org·1d
🤖Program Synthesis
Systemd's Nuts and Bolts
medium.com·1d·
Discuss: r/programming
⚙️Operating System Design
Just Works
linuxmint.com·7h·
Discuss: Hacker News
🔬Unikernels
You don't have to use Nix to manage your dotfiles
jade.fyi·3d·
Discuss: Lobsters, Hacker News
❄️Nixified Development
ATC/OSDI'25 Technical Sessions
muratbuffalo.blogspot.com·1h·
Discuss: Hacker News
👁️System Observability
The XINU Page
xinu.cs.purdue.edu·8h·
Discuss: Hacker News
📦Unikernel Systems
Practical Bitwise Tricks in Everyday Code (Opinioned)
maltsev.space·10h·
Discuss: r/programming
🔬Static Analysis
Secure Your Keys with Keyand.me
thasso.xyz·39m·
Discuss: Hacker News
🛡️seL4
Binding Application in Idris
andrevidela.com·9h·
Discuss: Hacker News
🔠Type-Level Programming
Synology masters both ease and control with BeeStation and DiskStation
9to5mac.com·1d
🏠HomeLab
I created a programming language in Go with built-in BDD testing. Looking for feedback and contributors!
reddit.com·10h·
Discuss: r/programming
🐫OCaml
Systemd has been a complete, utter, unmitigated success
osnews.com·1d·
Discuss: Hacker News
🔬Unikernels
Realbasic (2000)
joelonsoftware.com·4h·
Discuss: Hacker News
💾Retro Computing
The REM-arkable Misadventures of LIST
masswerk.at·3d·
Discuss: Hacker News
🐫Embedded OCaml