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·10h·
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
RoboMonkey: Test Time Compute for Robotics
robomonkey-vla.github.io·2d·
Discuss: Hacker News
🔄Finite State Machines
Key Lessons from Using Java 21 Virtual Threads in Production
tech.cashfree.com·2d·
Discuss: Hacker News
👁️System Observability
Chatlas: Guide to building LLM apps with less effort and more clarity
posit-dev.github.io·2d·
Discuss: Hacker News
🐫OCaml
Using Protobuf to make Jira Cloud faster
atlassian.com·3d·
Discuss: Hacker News
🔄Reproducible Builds
guile lab notebook: on the move!
wingolog.org·4d·
Discuss: Lobsters, Hacker News, r/programming
👁️System Observability
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·13h
🔬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·5d·
Discuss: Lobsters, Hacker News, Hacker News
🔄Reproducible Builds
Show HN: I built tinyORM, a minimal, database-agnostic TypeScript ORM
github.com·4d·
Discuss: Hacker News
🛡️seL4
How Unified Orchestration Helps Cut Cloud Costs by 40%
thenewstack.io·1d
🔄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