| ▲ | You Don't Know Jack About Formal Verification(queue.acm.org) | |||||||
| 3 points by aravindputrevu a day ago | 3 comments | ||||||||
| ▲ | Jtsummers a day ago | parent | next [-] | |||||||
https://news.ycombinator.com/item?id=48719521 Previous discussion (with a different title which made finding it harder) | ||||||||
| ||||||||
| ▲ | carlsborg a day ago | parent | prev [-] | |||||||
Correct link is https://queue.acm.org/detail.cfm?id=3819084 | ||||||||