Stories by gsf_emergency

Terence Tao: Formalizing a proof in Lean4 with Claude and o4 [video]

Armies that still ride animals into battle (2021)

Juggling Gears

Many a grad a moment: your subject's technical debt is beyond your chops

An American techie on China (not what the interviewer expected– Video)

Creating New Utopias in Portugal

Korean Assembly Speaker's adherence to procedure key to making troops stand down

Analysis: South Korean airport design was 'unbelievably awful'