Reproducing the AWS Outage Race Condition with a Model Checker
🔄Protocol State Machines
Flag this post
What are you doing this weekend?
💬Interactive REPLs
Flag this post
The Development of Pie
📝Rope Editors
Flag this post
Replication: from bug reproduction to replicating everything (a mental model)
✨Effect Inference
Flag this post
Linux Troubleshooting: These 4 Steps Will Fix 99% of Errors
linuxblog.io·2d
🔧Error Recovery
Flag this post
Cloudflare Raves About Performance Gains After Rust Rewrite
developers.slashdot.org·19h
🦀MIR Optimization
Flag this post
7 AI Study Workflows Developers Use to Learn Faster (Prompt Recipes Included)
💬Interactive REPLs
Flag this post
Detecting XZ in Debian with Otto Kekäläinen
opensourcesecurity.io·1h
📦Package Managers
Flag this post
The Hidden Ledger of Code: Tracking the Carbon Debt Inside Our Software
hackernoon.com·1d
📊Code Metrics
Flag this post
🚀 Exploring Go’s Core Features in Depth
🐹Go Internals
Flag this post
Show HN: KeyLeak Detector – Scan websites for exposed API keys and secrets
🛡️Parser Security
Flag this post
I switched from LM Studio/Ollama to llama.cpp, and I absolutely love it
xda-developers.com·2h
⚡Live Coding
Flag this post
A portable picokernel for async I/O
🤖Embedded Go
Flag this post
Andrew Shindyapin: AI’s Impact on Software Development
skmurphy.com·2d
🎭Program Synthesis
Flag this post
Loading...Loading more...