News for hackers. Stuff that matters.

A comment on Some stuff I found interesting about number theory research. Parent comment

Re:Some stuff I found interesting about number theory research by mhh__ on Monday July 26, 2021 @04:24PM (#27964954)
By solved I really mean "in commercial use", there's probably a lot of research let to be done, but people are already verifying TLA+ specs all day everyday.
[ Parent | on HN ]

There are no comments on this comment yet.