You're looking at Less Wrong's discussion board. This includes all posts, including those that haven't been promoted to the front page yet. For more information, see About Less Wrong.

lukeprog comments on [LINK] seL4, secure operating system kernel is being open-sourced - Less Wrong Discussion

3 [deleted] 24 June 2014 11:02PM

You are viewing a comment permalink. View the original post to see all comments and the full post content.

Article Navigation

Comments (9)

CC Licenced

Comments (9)

Sort By: Best

You are viewing a single comment's thread. Show more comments above.

Comment author: lukeprog 25 June 2014 03:28:52PM 5 points [-]

When did you start talking to formal verification researchers?

Many months ago. Subscribe to the MIRI blog! :)

Parent
Reply
Permalink

lukeprog comments on [LINK] seL4, secure operating system kernel is being open-sourced - Less Wrong Discussion

Article Navigation

Comments (9)

Nearest Meetups

Virtual Study Room

Recent Comments

Recent Posts

Recent Open Threads

Recent Rationality Diaries

Recent Wiki Edits

Top Contributors, 30 Days

Recent Karma Awards

Comments (9)

Top Contributors, 30 Days

You'll need to login or register to do that

(Don't worry, it only takes a few seconds)

Create

Login