Dependent Types, Proof Assistant, Type-driven Development, Verification
My first book is out in paperback!
disconnect.blog·19h
15.03 Life Admin System
johnnydecimal.com·2d
A week with Cursor Agent CLI
joshtronic.com·4d
Transurban Group Stapled Securities (TRAUF) FY 2025 Earnings Call Transcript
seekingalpha.com·21h
Microsoft AI CEO says AI models that seem conscious are coming. Here's why he's worried.
businessinsider.com·15h
Linux Current Task Dump - Debian Bugs
blog.raymond.burkholder.net·3d
Small Commits, Big Wins: How Atomic Changes Transform Developer Life
hackernoon.com·1d
Loading...Loading more...