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·7h
🔬Unikernels
OS choice for just a NAS
reddit.com·5h·
Discuss: r/homelab
🏠HomeLab
Monitoring My Homelab, Simply
b.tuxes.uk·12h·
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·20h
🤖Program Synthesis
Systemd's Nuts and Bolts
medium.com·1d·
Discuss: r/programming
⚙️Operating System Design
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·24m·
Discuss: Hacker News
📦Unikernel Systems
Practical Bitwise Tricks in Everyday Code (Opinioned)
maltsev.space·1h·
Discuss: r/programming
🔬Static Analysis
Binding Application in Idris
andrevidela.com·1h·
Discuss: Hacker News
🔠Type-Level Programming
Synology masters both ease and control with BeeStation and DiskStation
9to5mac.com·1d
🏠HomeLab
Systemd has been a complete, utter, unmitigated success
osnews.com·1d·
Discuss: Hacker News
🔬Unikernels
I created a programming language in Go with built-in BDD testing. Looking for feedback and contributors!
reddit.com·2h·
Discuss: r/programming
🐫OCaml
The REM-arkable Misadventures of LIST
masswerk.at·2d·
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·3h·
Discuss: r/golang, r/programming
🍎XNU Internals
A Refreshing SQL Injection Discovery in Z-Push
xbow.com·6h·
Discuss: Hacker News
🛡️seL4
Being a Script
raphaelbastide.com·8h·
Discuss: Hacker News
🛡️seL4