Designing the Ultimate Star Wars Car
blog.patrickhulce.com·6h·
Discuss: Hacker News
💾Retro Computing
Fastest Sites Run on Fastly
fastly.com·1d·
Discuss: Hacker News
⚙️Operating System Design
Brutal freelance economics: respond fast or lose
distill.io·17h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Bcachefs to be removed from mainline Linux kernel
lore.kernel.org·1d·
Discuss: Hacker News
🔬Unikernels
Aligning our prices and packaging with the problems we help customers solve
blog.cloudflare.com·1d·
Discuss: Hacker News, Hacker News
🖥️Self-hosted Infrastructure
GitHub Code Search is the real MVP
fzakaria.com·1d·
Discuss: Hacker News
🔄Reproducible Builds
Lisa Su Runs AMD—and Is Out for Nvidia’s Blood
wired.com·17h·
Discuss: Hacker News, r/hardware
💾Retro Computing
Vercel Goes All in on Vibe Coding Web Apps
thenewstack.io·1d·
Discuss: Hacker News
📦Unikernel Systems
Achieving Fair-Effective Communications and Robustness in Underwater Acoustic Sensor Networks: A Semi-Cooperative Approach
arxiv.org·23h
📡Network Protocol Design
Vibe coding is not the AI utopia it seems
northpodie.blogspot.com·3d·
Discuss: Hacker News
🐫Embedded OCaml
About Time (WHY2025)
cdn.media.ccc.de·12h
📡Network Protocol Design
Testing PowerSync with Jepsen for Causal Consistency and More
github.com·6d·
Discuss: Hacker News
🔄Reproducible Builds
SKATE, a Scalable Tournament Eval: Weaker LLMs differentiate between stronger ones using verifiable challenges
arxiv.org·1d
🎮Verification Games
GPT-5 on SWE-bench: Cost and performance deep-dive
mini-swe-agent.com·4d·
Discuss: Hacker News
🛡️seL4
Robust-Sub-Gaussian Model Predictive Control for Safe Ultrasound-Image-Guided Robotic Spinal Surgery
arxiv.org·23h
🔄Finite State Machines
ISPC: Implicit SPMD Program Compiler
github.com·1d·
Discuss: Hacker News
⚙️PL Implementation
Understanding Users' Privacy Perceptions Towards LLM's RAG-based Memory
arxiv.org·23h
🔬Unikernels
Superfast Low Rank Approximation
arxiv.org·23h
🐫OCaml
Efficient and Reliable Hitting-Set Computations for the Implicit Hitting Set Approach
arxiv.org·23h
✓Automated Theorem Proving
Taking the Garbage Out of Data-Driven Prediction Across Climate Timescales
arxiv.org·23h
🔄Reproducible Builds