News for hackers. Stuff that matters.

A comment on Terence Tao, "Machine Assisted Proof" [video]. Parent comment

Re:Terence Tao, "Machine Assisted Proof" [video] by baq on Thursday February 15, 2024 @03:59AM (#39380524)
https://en.wikipedia.org/wiki/Sic

> in full: sic erat scriptum, "thus was it written"

[ Parent | on HN ]

There are no comments on this comment yet.