undefined | Better HN

0 pointsjstanley11mo ago0 comments

And if you can't mathematically prove it correct, you're better off doing it in your head?

0 comments

No but the time it would take to build the assembler and validate its output would take more time than just writing the patch by hand. It’s for a craft that isn’t going to last more than 5 more years tops anyway.

j / k navigate · click thread line to collapse

0 pointsjstanley11mo ago0 comments

And if you can't mathematically prove it correct, you're better off doing it in your head?

0 comments

chuckadams11mo ago

No but the time it would take to build the assembler and validate its output would take more time than just writing the patch by hand. It’s for a craft that isn’t going to last more than 5 more years tops anyway.

j / k navigate · click thread line to collapse