Show HN: Infragram – C4 style interactive architecture diagrams for Terraform
marketplace.visualstudio.com·5h·
Discuss: Hacker News
🔄Reproducible Builds
Void, the Bluesky bot that remembers everyone
cameron.pfiffer.org·5h·
Discuss: Hacker News
🎮Verification Games
Software Engineer (Platform Infrastructure)
kaleido.io·1d·
Discuss: Hacker News
⎈Kubernetes
Rethinking Object-Oriented Programming in Java Education
max.xz.ax·6h·
Discuss: Hacker News, r/programming
🔬Static Analysis
Flox Build and Publish
flox.dev·3d·
Discuss: Hacker News, Hacker News
🔄Reproducible Builds
UGREEN NAS preferred OS - migrating PROXMOX
reddit.com·12h·
Discuss: r/homelab
🏠HomeLab
This Homebrew CPU Got Its Start in the 1990s
hackaday.com·11h
💾Retro Computing
I'm more proud of these 128 kilobytes than anything I've built since
medium.com·2h·
Discuss: Hacker News
🔬Unikernels
RFC 9309 – Robots Exclusion Protocol
datatracker.ietf.org·1d·
Discuss: Hacker News
📡Network Protocol Design
AI Native Software Factories
heavybit.com·4d·
Discuss: Hacker News
⎈Kubernetes
Prompt Engineering for Requirements Engineering: A Literature Review and Roadmap
arxiv.org·18h
🔍Formal Verification
No more disks: the architecture behind stateless compute in ClickHouse Cloud
clickhouse.com·2d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Introducing Rudy: A Toolchain for Rust Debuginfo
samjs.io·1d·
Discuss: Lobsters, Hacker News, r/programming
🐫Embedded OCaml
Rsyslog Goes AI First – A New Chapter Begins
rsyslog.com·3h·
Discuss: Hacker News
👁️System Observability
ANN: Miso-lynx, create iOS apps with Haskell and LynxJS
github.com·1d·
Discuss: Hacker News
❄️Nix
Realbasic (2000)
joelonsoftware.com·18h·
Discuss: Hacker News
💾Retro Computing
Adding a UI to a Container Registry Is Not Simple
molnett.com·4d·
Discuss: Hacker News
⎈Kubernetes
Sandboxing AI Agents
noek.net·4d·
Discuss: Hacker News
🛡️seL4
I created a programming language in Go with built-in BDD testing. Looking for feedback and contributors!
reddit.com·1d·
Discuss: r/programming
🐫OCaml
Understanding Everything as Code: A Taxonomy and Conceptual Model
arxiv.org·3d
🔬Static Analysis