Dupe of https://news.ycombinator.com/item?id=48526633 | Hacker News

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

		Taikonerd 20 hours ago \| parent \| context \| favorite \| on: Formal Methods and the Future of Programming Dupe of https://news.ycombinator.com/item?id=48526633
		help

gnabgib 15 hours ago [–]

Other way around. Just an SCP fail (promoting an already popular story)

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