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·13h
🔬Unikernels
OS choice for just a NAS
reddit.com·11h·
Discuss: r/homelab
🏠HomeLab
Monitoring My Homelab, Simply
b.tuxes.uk·19h·
Discuss: Lobsters, Hacker News
👁️System Observability
Sound Interval-Based Synthesis for Probabilistic Programs
arxiv.org·1d
🤖Program Synthesis
Guixotic, a Guix/Guile worker cooperative
lists.gnu.org·1d·
Discuss: Hacker News
📦Unikernel Systems
Systemd's Nuts and Bolts
medium.com·1d·
Discuss: r/programming
⚙️Operating System Design
Just Works
linuxmint.com·6h·
Discuss: Hacker News
🔬Unikernels
You don't have to use Nix to manage your dotfiles
jade.fyi·3d·
Discuss: Lobsters, Hacker News
❄️Nixified Development
The XINU Page
xinu.cs.purdue.edu·6h·
Discuss: Hacker News
📦Unikernel Systems
Practical Bitwise Tricks in Everyday Code (Opinioned)
maltsev.space·8h·
Discuss: r/programming
🔬Static Analysis
Binding Application in Idris
andrevidela.com·7h·
Discuss: Hacker News
🔠Type-Level Programming
Synology masters both ease and control with BeeStation and DiskStation
9to5mac.com·1d
🏠HomeLab
Realbasic (2000)
joelonsoftware.com·2h·
Discuss: Hacker News
💾Retro Computing
I created a programming language in Go with built-in BDD testing. Looking for feedback and contributors!
reddit.com·8h·
Discuss: r/programming
🐫OCaml
Systemd has been a complete, utter, unmitigated success
osnews.com·1d·
Discuss: Hacker News
🔬Unikernels
The REM-arkable Misadventures of LIST
masswerk.at·3d·
Discuss: Hacker News
🐫Embedded OCaml
The Koala Benchmarks for the Shell: Characterization and Implications
usenix.org·2d·
Discuss: r/programming
🔬Unikernels
Go Internals: How much can we figure by tracing a syscall in Go?
csunderthehood.substack.com·10h·
Discuss: r/golang, r/programming
🍎XNU Internals