Building a Debugger • Sy Brand & Tim Misiak
buzzsprout.com·9h·
Discuss: r/programming
👁️System Observability
Everything you need to know about monorepos, and the tools to build them
monorepo.tools·3h·
Discuss: Hacker News
🔄Reproducible Builds
Evals in the Age of Jarvis
lesswrong.com·19h
🎮Verification Games
How We Cut Telemetry Queries to Under 10 Milliseconds
thenewstack.io·54m
👁️System Observability
A Developer's Guide to Negative API Testing
blog.dochia.dev·4h·
Discuss: Hacker News, r/programming
💎Refinement Types
Garbage Collection (GC) Pauses: A "stop-the-world" GC pause in a critical service
howtech.substack.com·21h·
Discuss: r/programming
👁️System Observability
Towards Robust Agentic CUDA Kernel Benchmarking, Verification, and Optimization
arxiv.org·3d
💎Refinement Types
Effect Systems vs. Print Debugging: A Pragmatic Solution
blog.flix.dev·1d·
Discuss: Hacker News
🔬Static Analysis
MLOps Fundamentals: 6 Principles That Define Modern ML Operations (from the author of LLM Engineering Handbook)
javarevisited.substack.com·2d·
Discuss: r/programming
🔄Reproducible Builds
Sneaky Code Bites Back
architecture-weekly.com·3h·
Discuss: r/programming
💎Refinement Types
Tips for Working with Legacy Code
esveo.com·1h·
Discuss: Lobsters, Hacker News
🔬Static Analysis
Method Tracing in Async-Profiler
github.com·3d·
Discuss: Hacker News
👁️System Observability
I built a live LLM regression monitor for coding tasks, what broke, what worked, and what i learned. It made 1 mil views in 1 week
aistupidlevel.info·3h·
Discuss: r/programming
👁️System Observability
Hacking with AI SASTs: An Overview of 'AI Security Engineers' / 'LLM Security S
joshua.hu·1d·
Discuss: Lobsters, Hacker News
🛡️seL4
Fail loudly: a plea to stop hiding bugs
alejo.ch·2d·
Discuss: r/programming
🔍Formal Verification
My experience with AI as a front end developer
frontendundefined.com·7h·
Discuss: Hacker News
💎Refinement Types
Show HN: Ida Swarm – Multi-agent AI system for automated reverse engineering
github.com·10h·
Discuss: Hacker News
🛡️seL4
Replay - Time Travel Browser DevTools
replay.io·2d·
Discuss: Hacker News
👁️System Observability
Transforming Recursion into Iteration for LLVM Loop Optimizations
dspace.mit.edu·21h·
Discuss: Hacker News
⚙️PL Implementation
Biconnected components
emi-h.com·16h·
Discuss: Hacker News
🧮Lambda Calculus