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 pramodbiligiri on Monday July 26, 2021 @10:44AM (#27959992)
When you say that state machine problems are basically solved, are you referring to any tools that you're using to reason about them?
[ Parent | on HN ]
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 ]