Redesigning my server trays into touch-capable LED panels with real-time stats and synced media display
preview.redd.it·1d·
Discuss: r/homelab
💾Retro Computing
AWS Challenges – Verifying the Rust standard library
model-checking.github.io·2d·
Discuss: Hacker News
🔬Static Analysis
Using Gemini and Claude for SQL Analytics
benjaminwootton.com·3d·
Discuss: Hacker News
✓Automated Theorem Proving
AI is "a shabby, boring and evil thing" – discuss
paulkingsnorth.substack.com·5h·
Discuss: Substack
🔬Unikernels
Guixotic, a Guix/Guile worker cooperative
lists.gnu.org·3d·
Discuss: Hacker News
❄️Nix
The Era of Full Stack Chip Designers
chipinsights.substack.com·5d·
Discuss: Substack
🐫Embedded OCaml
Chatlas: Guide to building LLM apps with less effort and more clarity
posit-dev.github.io·2d·
Discuss: Hacker News
🐫OCaml
guile lab notebook: on the move!
wingolog.org·4d·
Discuss: Lobsters, Hacker News, r/programming
👁️System Observability
KSAT
corrode.dev·2d·
Discuss: Hacker News
⎈Kubernetes
Leveraging Elixir's hot code loading capabilities to modularize a monolithic app
lucassifoni.info·4d·
Discuss: Hacker News
🧱Immutable Infrastructure
What Makes GNOME So Appealing?
thenewstack.io·8h
🔬Unikernels
LISPy things you can do in 64K bytes of core
t3x.org·5d·
Discuss: Hacker News
🐫Embedded OCaml
How I build software quickly
evanhahn.com·4d·
Discuss: Lobsters, Hacker News, Hacker News
🔄Reproducible Builds
Bastille 1.0 – Bastille Day 2025
github.com·2d·
Discuss: Hacker News
📦Unikernel Systems
NeoBabel: A Multilingual Open Tower for Visual Generation
arxiv.org·3d
🐫OCaml
How to Build an Agent
blog.langchain.com·2d·
Discuss: Hacker News
🤖Program Synthesis
Object Oriented Programming is an expensive disaster which must end
medium.com·3d·
Discuss: Hacker News
🔬Static Analysis
🔐 Secure Multi-language Code Execution API – One REST Call to Run Code in 14+ Languages
reddit.com·4d·
Discuss: r/programming
🔄Reproducible Builds
Programming Like It’s 1986, For Fun and Zero Profit
hackaday.com·3d
💾Retro Computing
Measuring the Impact of AI on Experienced Open-Source Developer Productivity
metr.org·2d·
Discuss: Lobsters, Hacker News, r/programming
👁️System Observability