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)

Comments (9)

You are viewing a single comment's thread.

Comment author: lukeprog 24 June 2014 11:19:14PM 9 points [-]

For more on seL4, see my interview with Gerwin Klein.

Comment author: [deleted] 25 June 2014 08:54:58AM 2 points [-]

When did you start talking to formal verification researchers?

Because, you know, I totally have not wanted to do a PhD under any of these guys, or anything like that...

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! :)

Comment author: [deleted] 24 June 2014 11:30:15PM 0 points [-]

Awesome, thanks!

Powered by Reddit Powered by Reddit