ATC/OSDI'25 Technical Sessions
muratbuffalo.blogspot.com·27m·
Discuss: Hacker News
👁️System Observability
zkSDK: Streamlining zero-knowledge proof development through automated trace-driven ZK-backend selection
arxiv.org·2d
🔤DSLs
I created a programming language in Go with built-in BDD testing. Looking for feedback and contributors!
reddit.com·9h·
Discuss: r/programming
🐫OCaml
We Bundled and Saved 50% on Cold Starts of Our TypeScript SDK
dagger.io·13h·
Discuss: Hacker News
👁️System Observability
Flox Build and Publish
flox.dev·2d·
Discuss: Hacker News, Hacker News
❄️Nixified Development
Prompt Engineering for Requirements Engineering: A Literature Review and Roadmap
arxiv.org·3h
🔍Formal Verification
My First Long-Term Homelab Build: 9U Rack, 3-Node K3s Cluster, Ubiquiti & GitOps
reddit.com·10h·
Discuss: r/homelab
🏠HomeLab
From Cloud Native to AI Native: Why Your AI Architecture Needs a Reality Check
brianchristner.io·10h·
Discuss: Hacker News
🧱Immutable Infrastructure
Reframe – Open‑Source ISO20022 Message Transformer in Rust
github.com·17h·
Discuss: Hacker News
🔤DSLs
Show HN: Please check out my Free OpenAPI audit tool
devunus.com·10h·
Discuss: Hacker News
🌐NetworkProtocols
Specification Grounding: The Missing Link in Vibe Coding
unstract.com·14h·
Discuss: Lobsters, Hacker News
🔍Formal Verification
Show HN: I rebuilt few years old project and now it covers my expenses
hextaui.com·17h·
Discuss: Hacker News
❄️Nixified Development
Orca Build System
orca-app.dev·18h·
Discuss: Lobsters, Hacker News, r/programming
📦Unikernel Systems
Migration Testing Your Docker Builds
zach.codes·19h·
Discuss: Hacker News
⎈Kubernetes
ClickOps Is a Disgrace
thenewstack.io·19h
🧱Immutable Infrastructure
Data-Star.dev – v1 and Beyond
data-star.dev·16h·
Discuss: Hacker News
🧱Immutable Infrastructure
Google Cloud Creates 3 Levels Of Agentic Software Coding
forbes.com·9h·
Discuss: r/programming
🖥️Self-hosted Infrastructure
Trace LLM workflows at your app's semantic level, not at the OpenAI API boundary
engineeringideas.substack.com·13m·
Discuss: Substack
🔍Formal Verification
Open-Source Security Paradox: More Code, More Validation
onekey.so·1d·
Discuss: Hacker News
🧱Immutable Infrastructure
Publish all your crates everywhere all at once
tweag.io·1d·
Discuss: Hacker News
⎈Kubernetes