30

Choosing learning over autopilot (anniecherkaev.com)

11 hours ago evakhoury anniecherkaev.com

52

Are two heads better than one? (eieio.games)

11 hours ago evakhoury eieio.games

36

I program on the subway (scd31.com)

3 weeks ago evakhoury scd31.com

263

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

4 weeks ago evakhoury kleppmann.com