Some past discussion (excluding 0 comment submissions) to add: https://news.ycom... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		zamadatix 6 days ago \| parent \| context \| favorite \| on: AI will make formal verification go mainstream Some past discussion (excluding 0 comment submissions) to add: https://news.ycombinator.com/item?id=46216274 - 4 comments, 6 days ago https://news.ycombinator.com/item?id=46203508 - 1 comment, 7 days ago https://news.ycombinator.com/item?id=46198874 - 2 comments, 8 days ago

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact