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 empath-nirvana on Thursday February 15, 2024 @06:43AM (#39381557)
It's been _incredibly_ useful for bringing new Rust devs up to speed here.
[ Parent | on HN ]

There are no comments on this comment yet.