We Bundled and Saved 50% on Cold Starts of Our TypeScript SDK
dagger.io·2h·
Discuss: Hacker News
👁️System Observability
zkSDK: Streamlining zero-knowledge proof development through automated trace-driven ZK-backend selection
arxiv.org·1d
🔤DSLs
Recommend CPU+Mobo for a do-it-all home server
reddit.com·56m·
Discuss: r/homelab
🏠HomeLab
Data-Star.dev – v1 and Beyond
data-star.dev·6h·
Discuss: Hacker News
🧱Immutable Infrastructure
Flox Build and Publish
flox.dev·2d·
Discuss: Hacker News, Hacker News
❄️Nixified Development
Modular Automation Core in Go Inspired by Apache/nginx Architecture
reddit.com·4h·
Discuss: r/programming
📦Unikernel Systems
Show HN: Please check out my Free OpenAPI audit tool
devunus.com·29m·
Discuss: Hacker News
🌐NetworkProtocols
Specification Grounding: The Missing Link in Vibe Coding
unstract.com·4h·
Discuss: Lobsters, Hacker News
🔍Formal Verification
KSAT
corrode.dev·21h
⎈Kubernetes
Kubernetes Complexity Realigns Platform Engineering Strategy
thenewstack.io·1d
⎈Kubernetes
Reframe – Open‑Source ISO20022 Message Transformer in Rust
github.com·7h·
Discuss: Hacker News
🔤DSLs
Migration Testing Your Docker Builds
zach.codes·9h·
Discuss: Hacker News
⎈Kubernetes
Orca Build System
orca-app.dev·7h·
Discuss: Lobsters, Hacker News, r/programming
📦Unikernel Systems
Show HN: I rebuilt few years old project and now it covers my expenses
hextaui.com·7h·
Discuss: Hacker News
❄️Nixified Development
Open-Source Security Paradox: More Code, More Validation
onekey.so·1d·
Discuss: Hacker News
🧱Immutable Infrastructure
Measuring how changes in code readability attributes affect code quality evaluation by Large Language Models
arxiv.org·1d
🔬Static Analysis
Publish all your crates everywhere all at once
tweag.io·21h·
Discuss: Hacker News
⎈Kubernetes
Every AI Integration Is Held Together with Parsing Logic and Prayer
blog.dottxt.co·9h·
Discuss: Hacker News
🤖Program Synthesis
Software Reverse Engineering Bookshelf
mcgrewsecurity.com·2h·
Discuss: Hacker News
💾Retro Computing
(Attempting to) Engineer the chaos out of AI agents
trunk.io·1d·
Discuss: Hacker News
🧪Property-Based Testing