Code Contracts | Hacker News

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

		Code Contracts (code-contracts.cc)
		4 points by tosh 11 days ago \| hide \| past \| favorite \| 1 comment

		help

RomanKornev 10 days ago [–]

Related:

Bend - a language that blocks AI mistakes via proof and runs on GPUs https://news.ycombinator.com/item?id=49746163

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