3 ms·
Refactoring legacy code seems like something where formal methods could help. "Prove that these 2 subroutines are equivalent, across all inputs" is exactly the
by Taikonerd 25d ago
Refactoring legacy code seems like something where formal methods could help. "Prove that these 2 subroutines are equivalent, across all inputs" is exactly the kind of thing that they're good at!
- rramadass 24d agohttps://news.ycombinator.com/item?id=49646528 https://news.ycombinator.com/item?id=49646528