Personal Reflections on Immutable Linux
hackaday.com·7h
🔬Unikernels
Stop using nix-env
stop-using-nix-env.privatevoid.net·3d·
Discuss: Lobsters, Hacker News
❄️Nix
I created a programming language in Go with built-in BDD testing. Looking for feedback and contributors!
reddit.com·2h·
Discuss: r/programming
🐫OCaml
Flox Build and Publish
flox.dev·2d·
Discuss: Hacker News, Hacker News
🔄Reproducible Builds
You don't have to use Nix to manage your dotfiles
jade.fyi·3d·
Discuss: Lobsters, Hacker News
❄️Nix
Show HN: I built an AI tool to retrieve technical achievements from your GitHub
git-achievements.com·9h·
Discuss: Hacker News
🔄Reproducible Builds
ANN: Miso-lynx, create iOS apps with Haskell and LynxJS
github.com·1d·
Discuss: Hacker News
❄️Nix
Monitoring My Homelab, Simply
b.tuxes.uk·13h·
Discuss: Lobsters, Hacker News
👁️System Observability
Software Reverse Engineering Bookshelf
mcgrewsecurity.com·5h·
Discuss: Hacker News
💾Retro Computing
Updating an old Ubuntu to a supported version
anonymoushash.vmbrasseur.com·1h·
Discuss: Hacker News
🔬Unikernels
We Bundled and Saved 50% on Cold Starts of Our TypeScript SDK
dagger.io·6h·
Discuss: Hacker News
🔄Reproducible Builds
zkSDK: Streamlining zero-knowledge proof development through automated trace-driven ZK-backend selection
arxiv.org·1d
🔄Reproducible Builds
Publish all your crates everywhere all at once
tweag.io·1d·
Discuss: Hacker News
⎈Kubernetes
Orca Build System
orca-app.dev·11h·
Discuss: Lobsters, Hacker News, r/programming
📦Unikernel Systems
Building an AI app builder with an AI app builder built with an AI app builder
rhett.info·4h·
Discuss: Hacker News, r/webdev
🔄Reproducible Builds
Systemd's Nuts and Bolts
medium.com·1d·
Discuss: r/programming
⚙️Operating System Design
Specification Grounding: The Missing Link in Vibe Coding
unstract.com·7h·
Discuss: Lobsters, Hacker News
🔍Formal Verification
An almost catastrophic OpenZFS bug and the humans that made it
despairlabs.com·10h·
Discuss: Lobsters, Hacker News
🔬Unikernels
The XINU Page
xinu.cs.purdue.edu·59m·
Discuss: Hacker News
📦Unikernel Systems
OS choice for just a NAS
reddit.com·6h·
Discuss: r/homelab
🏠HomeLab