C++ Instrumentation with Memory Sanitizer
systemsandco.dev·2h·
Discuss: Hacker News
🐫Embedded OCaml
When Your Database Lives in CPU Cache (Because Why Not?)
blog.canoozie.net·3h·
Discuss: Hacker News
🔬Unikernels
Show HN: We built an internal MCP to improve Plaid engineering's productivity
plaid.com·1d·
Discuss: Hacker News
🛡️seL4
Development with GenAI: Boardroom vs reality
pdole.ga·23h·
Discuss: r/programming
🔄Reproducible Builds
Show HN: We Built a Serverless GPU Platform with Fast Cold Starts
dat1.co·17h·
Discuss: Hacker News
🔬Unikernels
Why build a domain-specific agent for front end tasks?
kombai.com·17h·
Discuss: Hacker News
🔤DSLs
Launch HN: Gecko Security (YC F24) – AI That Finds Vulnerabilities in Code
news.ycombinator.com·15h·
Discuss: Hacker News
🛡️seL4
RePaCA: Leveraging Reasoning Large Language Models for Static Automated Patch Correctness Assessment
arxiv.org·1d
🔬Static Analysis
Show HN: Code Beacon – A non-AI dev tool (HUD?) for Ruby
marketplace.visualstudio.com·15h·
Discuss: Hacker News
🔄Reproducible Builds
You, Your Tools, and Your Team of AI Agents – By Owen Zanzal
medium.com·10h·
Discuss: Hacker News
⎈Kubernetes
Show HN: Bug which took months to debug
sumantopal07.medium.com·2d·
Discuss: Hacker News
📦Unikernel Systems
Computer Networking a Top-Down Approach, 9th Edition
gaia.cs.umass.edu·41m·
Discuss: Hacker News
📡Network Protocol Design
Go Assembly Mutation Testing
words.filippo.io·14h·
Discuss: Lobsters, Hacker News, r/programming
🧪Property-Based Testing
A Periodic Table of System Design Principles
github.com·2d·
Discuss: Hacker News
⚙️Operating System Design
Our first outage from LLM-written code
sketch.dev·12h·
Discuss: Lobsters, Hacker News
🔬Static Analysis
MLCommons Releases MLPerf Client v1.0
mlcommons.org·21m·
Discuss: Hacker News
🐫Embedded OCaml
If the Goal Is Resiliency, Defensive Programming Is Your Enemy
jola.dev·1d·
Discuss: Hacker News
🛡️seL4
Are Cyber Defenders Winning? – Lawfare
lawfaremedia.org·4h·
Discuss: Hacker News
🛡️seL4
From Frustration to Power: What We Learned at Nixcademy
niteo.co·17h·
Discuss: Lobsters, Hacker News
❄️Nixified Development
Maybe the Fastest Disk Usage Program on macOS
healeycodes.com·1d·
Discuss: Hacker News, r/programming
🍎XNU Internals