Quick thoughts written before leaving Seattle| siliconreckoner.substack.com
Grading the June workshop on "AI to Assist Mathematical Reasoning"| siliconreckoner.substack.com
