FRESH
Hacker News
Home
Formal Methods and the Future of Programming
105 points by nextos
by Taikonerd
1 subcomments
Dupe of
https://news.ycombinator.com/item?id=48526633
by mtdewcmu
1 subcomments
Is sel4 an OS kernel created by Jane Street?
