Quoting Steve Krouse
simonwillison.net·19h
📦Folly
Flag this post
How Deductive AI saved DoorDash 1,000 engineering hours by automating software debugging
venturebeat.com·22h
🎭Program Synthesis
Flag this post
Local, multi-model AI that runs on a toaster. One-click setup, 2GB GPU enough
🖥️SerenityOS
Flag this post
Hierarchical Strategic Decision-Making in Layered Mobility Systems
arxiv.org·7h
🏗️System Design
Flag this post
Tony Hoare and negative space
✓Formal Verification
Flag this post
The Transformer and the Hash: building blocks of 21st century political science
🔒Digital Privacy
Flag this post
Matrix Arcade
📐Linear Algebra
Flag this post
Raft Consensus in 2k Words
🗳️Raft Consensus
Flag this post
Plan Slow, Act Fast
🌳Git
Flag this post
How I repurposed async await to implement coroutines for a Game Boy emulator
⏳Async Rust
Flag this post
Investigating CoT Monitorability in Large Reasoning Models
arxiv.org·1d
🦙Ollama
Flag this post
Loading...Loading more...