- HaLVM : https://github.com/GaloisInc/HaLVM - House: http://programatica.cs.pdx... | Hacker News

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

		dons on Feb 3, 2014 \| parent \| context \| favorite \| on: An immutable operating system - HaLVM : https://github.com/GaloisInc/HaLVM - House: http://programatica.cs.pdx.edu/House/ - SeL4 : http://ssrg.nicta.com.au/projects/seL4/ Emphasis is on the security and verifiability typed, pure-by-default Haskell provides, over OS design.

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