Sanity check: New hardware for DIY NAS
reddit.com·1d·
Discuss: r/homelab
🔬Unikernels
Phospholipid head govern area per lipid and emergent elasticity of bilayer(2018)
cell.com·17h·
Discuss: Hacker News
🐫OCaml
Impulse, Airbnb’s New Framework for Context-Aware Load Testing
infoq.com·1h·
Discuss: r/programming
📊Runtime Verification
Terminating elegantly: a guide to graceful shutdowns
packagemain.tech·36m·
Discuss: Hacker News
⎈Kubernetes
What Is a Modular Monolith And Why You Should Care? 🔥
thetshaped.dev·1d·
Discuss: r/programming
🧱Immutable Infrastructure
Richard Feynman and the Connection Machine
longnow.org·16h·
Discuss: Hacker News
🔄Finite State Machines
You Can Just Do Things
elite-ai-assisted-coding.dev·22h·
Discuss: Hacker News
✓Automated Theorem Proving
A Short Introduction to Tor
spec.torproject.org·2d·
Discuss: Hacker News
🌐NetworkProtocols
Using Linters to Direct Agents
factory.ai·1d·
Discuss: Hacker News
🔄Reproducible Builds
Trial and Error Driven Development
stevenoxley.com·18h·
Discuss: Hacker News
🎮Verification Games
Go Is the Language of Vibe Coding
sinwoobang.notion.site·3d·
Discuss: Hacker News
💎Refinement Types
Cutting-Edge AI vs. Solid Architecture: Which Will Transform Your Business?
blog.mangoteque.com·16m·
Discuss: Hacker News
👁️System Observability
Scaffolding for production vibe coding
interjectedfuture.com·1d·
Discuss: Hacker News
🔬Static Analysis
Hnfm: Building a local-first AI podcast generator for Hacker News
briancaffey.github.io·1d·
Discuss: Hacker News
🐳Containerization
Ban&Pick: Achieving Free Performance Gains and Inference Speedup via Smarter Routing in MoE-LLMs
arxiv.org·2d
🐫OCaml
Massively Parallel Agentic Simulations with Ray
anyscale.com·12h·
Discuss: Hacker News
⚙️Operating System Design
Deploying AI to the Balkans
hapseer.com·2d·
Discuss: Hacker News
🩹Self-Healing Systems
Idle thoughts about how we replace keyboards
interconnected.org·1d·
Discuss: Hacker News
🍎Apple
Rootly joins Groq OpenBench with an SRE-focused benchmark
rootly.com·3d·
Discuss: Hacker News
👁️System Observability
On the Bit Size of Sum-of-Squares Proofs for Symmetric Formulations
arxiv.org·2d
🧮Lambda Calculus