Terence Tao: Formalizing a proof in Lean4 with Claude and o4 [video]youtube.com·3 pts·gsf_emergency·0
Many a grad a moment: your subject's technical debt is beyond your chopstwitter.com·1 pts·gsf_emergency·4
An American techie on China (not what the interviewer expected– Video)youtube.com·2 pts·gsf_emergency·0
Korean Assembly Speaker's adherence to procedure key to making troops stand downaljazeera.com·9 pts·gsf_emergency·0