From Frustration to Power: What We Learned at Nixcademy
niteo.co·4h·
Discuss: Lobsters, Hacker News
❄️Nix
Python and NixOS: A match made in hell
crescentro.se·3d·
Discuss: Hacker News
❄️Nix
RePaCA: Leveraging Reasoning Large Language Models for Static Automated Patch Correctness Assessment
arxiv.org·13h
🔬Static Analysis
My first Home Server !
reddit.com·19h·
Discuss: r/homelab
🏠HomeLab
Turning VS Code into a Product Framework: Progrium.xyz
progrium.xyz·4h·
Discuss: Hacker News
🧱Immutable Infrastructure
What Makes NixOS Different (and Why It's Better)
dashdot.me·4d·
Discuss: Hacker News
❄️Nix
I Built an Vibe Coding Misalignment Detector (and Used It to Build Itself)
github.com·1h·
Discuss: Hacker News
🧪Property-Based Testing
Linux 6.16 brings faster file systems, improved confidential memory, & more Rust
zdnet.com·1d·
Discuss: Hacker News, r/programming
🔬Unikernels
Reverse engineered 90 legacy builder tools – created a YARA corpus
news.ycombinator.com·3d·
Discuss: Hacker News
🔄Reproducible Builds
Go Assembly Mutation Testing
words.filippo.io·29m·
Discuss: Hacker News
🧪Property-Based Testing
Still Up. Still Evil
vulncheck.com·3h·
Discuss: Hacker News
📦Unikernel Systems
Which open source firewall suits my project the best?
cybersecuritynews.com·7h·
Discuss: r/homelab
📦Unikernel Systems
Minimal Scala Container Images Using Nix
blog.aiono.dev·3d·
Discuss: Hacker News
🔬Unikernels
The single version rule is good for Google and bad for you (2024)
josnyder.com·2d·
Discuss: Hacker News
🔄Reproducible Builds
Open source PDF reader built with Rust, Dioxus and PDFium
github.com·1h·
Discuss: Hacker News
💾Retro Computing
Rust Support in Socket
socket.dev·35m·
Discuss: Hacker News
🛡️seL4
Sync primitives are Functionally Complete
kprotty.me·7h·
Discuss: Lobsters, Hacker News
🐫OCaml
Documented my journey from monolith hell to event-driven bliss (with actual code, not just pretty diagrams)
reddit.com·1d·
Discuss: r/programming
🔄Reproducible Builds
Firebase Studio Has Me Second-Guessing My Opinion on Developing With AI
thenewstack.io·19h
🔄Reproducible Builds
GenosDB (GDB) – Decentralized P2P Graph Database
npmjs.com·22h·
Discuss: Hacker News, Hacker News
🔄Reproducible Builds