Redesigning my server trays into touch-capable LED panels with real-time stats and synced media display
preview.redd.it·16h·
Discuss: r/homelab
💾Retro Computing
AWS Challenges – Verifying the Rust standard library
model-checking.github.io·1d·
Discuss: Hacker News
🔬Static Analysis
Using Gemini and Claude for SQL Analytics
benjaminwootton.com·3d·
Discuss: Hacker News
✓Automated Theorem Proving
Guixotic, a Guix/Guile worker cooperative
lists.gnu.org·2d·
Discuss: Hacker News
❄️Nix
The Era of Full Stack Chip Designers
chipinsights.substack.com·5d·
Discuss: Substack
🐫Embedded OCaml
Building Seamless User Journeys: Your Guide to React Onboarding with OnboardJS
onboardjs.com·2d·
Discuss: Hacker News
🔄Finite State Machines
Java Criminally Underhyped? Not Back in 1997. (2021)
dylanbeattie.net·2d·
Discuss: Hacker News
🔬Static Analysis
guile lab notebook: on the move!
wingolog.org·3d·
Discuss: Lobsters, Hacker News, r/programming
👁️System Observability
KSAT
corrode.dev·2d·
Discuss: Hacker News
⎈Kubernetes
The Koala Benchmarks for the Shell: Characterization and Implications
usenix.org·3d·
Discuss: r/programming
🔬Unikernels
Domain adaptation of large language models for geotechnical applications
arxiv.org·3d
🔤DSLs
AutoTriton: Automatic Triton Programming with Reinforcement Learning in LLMs
arxiv.org·3d
🔄Finite State Machines
How I build software quickly
evanhahn.com·4d·
Discuss: Lobsters, Hacker News, Hacker News
🔄Reproducible Builds
evortran: a modern Fortran package for genetic algorithms with applications from LHC data fitting to LISA signal reconstruction
arxiv.org·3d
🐫OCaml
Show HN: I built tinyORM, a minimal, database-agnostic TypeScript ORM
github.com·4d·
Discuss: Hacker News
🛡️seL4
Show HN: Cactus – Ollama for Smartphones
news.ycombinator.com·1d·
Discuss: Hacker News
🐫OCaml
How to Build an Agent
blog.langchain.com·2d·
Discuss: Hacker News
🤖Program Synthesis
Bastille 1.0 – Bastille Day 2025
github.com·1d·
Discuss: Hacker News
📦Unikernel Systems
NeoBabel: A Multilingual Open Tower for Visual Generation
arxiv.org·3d
🐫OCaml
Object Oriented Programming is an expensive disaster which must end
medium.com·3d·
Discuss: Hacker News
🔬Static Analysis