News for hackers. Stuff that matters.
Re:Lean4 helped Terence Tao discover a small bug in his rece... by shusaku on Friday October 27, 2023 @09:45PM (#38046285)
Part of this is that ad infested AI generated blog spam is flooding Google! But it’s also my go to. I also really liked GPT to bring me up to speed on a libraries I’ve never used.

There are no comments on this comment yet.