Formal Methods and the Future of Programming | Hacker News

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

		Formal Methods and the Future of Programming (janestreet.com)
		105 points by nextos 1 day ago \| hide \| past \| favorite \| 4 comments

		help

Taikonerd 1 day ago | [–]

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

gnabgib 19 hours ago | | [–]

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

mtdewcmu 12 hours ago | [–]

Is sel4 an OS kernel created by Jane Street?

rramadass 12 hours ago | [–]

https://sel4.systems/About/history.html

Also interesting is "Kry10" which builds on sel4 to enable Erlang BEAM based apps for critical embedded devices - https://www.kry10.com/

Technical Overview paper - https://www.kry10.com/get-started

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