Hacker News Reader

Galois are doing lots of interesting things in this space, including HaLVM, which allows you to write Haskell programs that run without an OS [1]

[1] http://corp.galois.com/halvm

View on HN

Absolutely! I am very interested by their approach in this area because integration with existing infrastructure is essential for practical work in this area, but reasoning about existing infrastructure is a lot harder than it needs to be.

This is a relatively old presentation of theirs, but it has a decent overview of what they have used Haskell for. http://www.cse.chalmers.se/edu/year/2010/course/TDA555/Mater...

Reply on news.ycombinator.com