discu
Newsletters
Mentions
Extension
Pricing
Login
Sign Up
Hacker News
The Ethos Operating System
http://www.ethos-os.org/
10 comments
14/8/2015
Ethos’ Deeply Integrated Distributed Types [pdf]
http://www.ethos-os.org/~solworth/petullo14ethosTypes-20140518.pdf
3 comments
27/4/2015
The Ethos Operating System
https://www.ethos-os.org/
62 comments
14/4/2014
Reddit
The Ethos Operating System
https://www.ethos-os.org/
9 comments
14/4/2014
compsci
The Ethos Operating System
https://www.ethos-os.org/
10 comments
14/4/2014
netsec
Agda demo (or: exhaustive testing on infinite domains)
http://www.ethos-os.org/agda.html
6 comments
14/6/2012
programming