Mathematics solves problems by pen and paper. CS helps us to go far beyond that
🎯Performance Proofs
Flag this post
Scalable Static Analysis Framework – hardening large C++ codebases (LLVM/Apple)
📊Static Analysis
Flag this post
Building an AI Code Helper Agent with Mastra Framework and Telex.im Integration
⚡Proof Automation
Flag this post
Just Write Tests
🔄Reproducible Builds
Flag this post
Show HN: Claude Code disrupted programming. Bringing that power to office worker
🤖Archive Automation
Flag this post
Building a Smart Recipe Agent with Telex & FastAPI — Daily Tips, Ingredient Parsing, and Smart Conversions
🧮Algorithmic Cooking
Flag this post
Building Resilient Go Services: Context, Graceful Shutdown, and Retry/Timeout Patterns
🌊Streaming Systems
Flag this post
How I Built gemini-imagen: A CLI for Google Gemini Image Generation
🤖Archive Automation
Flag this post
Building an AI-Powered Migration Pathways Agent with Go and the A2A Protocol
🦋Format Metamorphosis
Flag this post
How I Built an AI Coworker for Telex.im
🌀Brotli Internals
Flag this post
Quoting Barry Warsaw
simonwillison.net·4h
🦀Rust Macros
Flag this post
DDD and the Simplicity Gospel
📏Code Metrics
Flag this post
A Thesis and Playbook for Edge AI
🌊Streaming Systems
Flag this post
Loading...Loading more...