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·22h·
Discuss: Hacker News
🌐NetworkProtocols
OS choice for just a NAS
reddit.com·3h·
Discuss: r/homelab
🏠HomeLab
Systemd's Nuts and Bolts
medium.com·1d·
Discuss: r/programming
⚙️Operating System Design
Monitoring My Homelab, Simply
b.tuxes.uk·11h·
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·18h
🤖Program Synthesis
You don't have to use Nix to manage your dotfiles
jade.fyi·3d·
Discuss: Lobsters, Hacker News
❄️Nixified Development
Practical Bitwise Tricks in Everyday Code (Opinioned)
maltsev.space·16m·
Discuss: r/programming
🔬Static Analysis
Synology masters both ease and control with BeeStation and DiskStation
9to5mac.com·23h
🏠HomeLab
I created a programming language in Go with built-in BDD testing. Looking for feedback and contributors!
reddit.com·23m·
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·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·2h·
Discuss: r/golang, r/programming
🍎XNU Internals
A Refreshing SQL Injection Discovery in Z-Push
xbow.com·5h·
Discuss: Hacker News
🛡️seL4
Being a Script
raphaelbastide.com·6h·
Discuss: Hacker News
🛡️seL4
Curated List of Windows Utilities
orga.cat·2d·
Discuss: Hacker News
🔬Unikernels
DeCSS (2000)
decss.zoy.org·1d·
Discuss: Hacker News
🌐NetworkProtocols
Introducing Rudy: A Toolchain for Rust Debuginfo
samjs.io·8h·
Discuss: Lobsters, Hacker News, r/programming
🐫Embedded OCaml