News for hackers. Stuff that matters.

A comment on Neural programmer better than Quicksort. Parent comment

Re:Neural programmer better than Quicksort by adrianN on Friday July 10, 2020 @05:53AM (#23789776)
The kernel of an automatic proof checker is much easier to test and verify than the programs you verify using a proof checker though.
[ Parent | on HN ]
Re:Neural programmer better than Quicksort by chrisandchips on Friday July 10, 2020 @06:49AM (#23790125)
+1 verification tends to be the easy part.
[ Parent | on HN ]
Re:Neural programmer better than Quicksort by infinity0 on Friday July 10, 2020 @10:29AM (#23791776)
Sure, not all bugs are kernel bugs though.
[ Parent | on HN ]