Ordering
theprogrammersparadox.blogspot.com·17h·
Discuss: theprogrammersparadox.blogspot.com
🔗Topological Sorting
Learning to read code is more important than learning to write it (2018)
letterstoanewdeveloper.com·18h·
Discuss: Hacker News
📏Code Metrics
Semcheck: Spec-Driven Development Using LLMs
labs.rejot.dev·19h·
Discuss: Hacker News
⚡Proof Automation
I tried DSPy and now I get why everyone won't shut up about it
pedramnavid.com·4h·
Discuss: Hacker News
🔄Burrows-Wheeler
rustc_codegen_gcc: Progress Report #37
blog.antoyo.xyz·1d·
Discuss: r/rust
🦀Rust Macros
An amusing blind spot in Go's static analysis
gaultier.github.io·1d·
Discuss: Hacker News, r/golang
🧪Binary Fuzzing
Discrete optimization for on-call scheduling (2021)
rainforestqa.com·1d·
Discuss: Lobsters, Hacker News
🧮Compute Optimization
How SeatGeek eliminated flaky container builds with a custom Buildkit operator
chairnerd.seatgeek.com·22h·
Discuss: Hacker News
📦Container Security
Signal Relays
pzuraq.com·17h·
Discuss: Hacker News
✨Effect Handlers
AI Is in a Weird Spot
samjarman.co.nz·5h·
Discuss: Hacker News
⚙️Proof Engineering
Better Control over Your Copilot Code Suggestions
devblogs.microsoft.com·13h·
Discuss: Hacker News
🪟Awesome windows command-line
Fine-tune OpenAI GPT-OSS models using Amazon SageMaker HyperPod recipes
aws.amazon.com·1d
🔄Burrows-Wheeler
Mastering Go Garbage Collection: Triggers, Tuning, and Real-World Wins
dev.to·1d·
Discuss: DEV
🧠Memory Allocators
From Idea to Code: My First Project
dev.to·19h·
Discuss: DEV
👁️System Observability
The AI Stack Paradox: Why Tool Polygamy Is Killing Your Build Velocity
zakelfassi.com·1d·
Discuss: Hacker News
⚡Incremental Computation
What it took to make a multi-agent trading simulation durable and observable
union.ai·1d·
Discuss: Hacker News
⚡Proof Automation
How Unforgiving Tools Help Your Programming Discipline with Michael Feathers
youtube.com·2d
🏗️Compiler Archaeology
Asynchronous CLI Agents in GitHub Actions (Claude, Gemini, Opencode)
elite-ai-assisted-coding.dev·12h·
Discuss: Hacker News
🔓Open Source Software
🔥 Simulating Course Schedules 600x Faster with Web Workers in CourseCast
dev.to·1d·
Discuss: DEV
🌊Streaming Systems
Understanding Bootstrapping: How Go’s Compiler Is Written in Go
dev.to·23h·
Discuss: DEV
🏗️Compiler Archaeology