3 ms·
About smaller models finding bugs ... The openBSD bug cost 20k to find, maybe a weaker model would do it for a 100k if rerun many times
by hoppp 6mo ago
About smaller models finding bugs ... The openBSD bug cost 20k to find, maybe a weaker model would do it for a 100k if rerun many times