Skip to content
Better HN
Top
Best
Ask
Show
New
Jobs
Search
⌘K
0 points
jstanley
1y ago
0 comments
Save
Share
And if you can't mathematically prove it correct, you're better off doing it in your head?
0 comments
1 comments · 1 top-level
top
newest
oldest
chuckadams
1y 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