News for hackers. Stuff that matters.
Re:Terence Tao, "Machine Assisted Proof" [video] by thatguysaguy on Thursday February 15, 2024 @03:50AM (#39380466)
Completely agreed on this one, although it's maybe more like 70% for me. I did leave an exception for that specifically in my original comment.

There are no comments on this comment yet.