Formal Methods and the Future of Programmingblog.janestreet.com 107 pointsnextos3 months ago4 commentsSaveHideCopy link On HNComments−Taikonerd2moDupe of https://news.ycombinator.com/item?id=48526633−gnabgib2moOther way around. Just an SCP fail (promoting an already popular story)−mtdewcmu2moIs sel4 an OS kernel created by Jane Street?−rramadass2mohttps://sel4.systems/About/history.htmlAlso 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
Comments
Dupe of https://news.ycombinator.com/item?id=48526633
Other way around. Just an SCP fail (promoting an already popular story)
Is sel4 an OS kernel created by Jane Street?
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