I’m excited to stop writing code and start writing machine-readable specifications of precise intended behavior March 12, 2024, 6:35 pm