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
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...