Re:Terence Tao, "Machine Assisted Proof" [video]
by yodsanklai on Wednesday February 14, 2024 @09:01PM
(#39378251)
Asking for code snippets has replaced most of my Stack Overflow usage. I'd say 90% of the cases, it answers something usable. Maybe it's not relevant for an NLP researchers, but for a regular SWE like me, it's handy several times per day.
[ Parent
| on HN ]
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.