Articles by evankhoury
2

I Program on the Subway (scd31.com)

10 hours ago evankhoury scd31.com
247

AI will make formal verification go mainstream (kleppmann.com)

9 hours ago evankhoury kleppmann.com