News for hackers. Stuff that matters.
Re:Ask HN: Physicists of HN, what are you working on these d... by Retric on Wednesday March 27, 2019 @11:07AM (#19501544)
Manual verification is likely just as tedious as doing it by hand in the first place.
Re:Ask HN: Physicists of HN, what are you working on these d... by fabiomaia on Wednesday March 27, 2019 @12:07PM (#19502344)
Probably. But maybe he'll get a kick out of modeling and automating it. Challenging his intellect seems to be the key point here.