Hector Martin

@marcan42 @pmarreck @grsecurity to see how great security is in a memory safe, strongly typed and even fully verifiable lang, look at Java.

@marver @pmarreck @grsecurity IIRC Java isn't even concurrency-safe, while Rust is. :)

@marcan42 @marver @pmarreck @grsecurity will rust automatically make sure you get locking in a kernel right?

@marver @pmarreck Rust will at least make sure you can't segfault due to bad locking :-)

@marver @pmarreck You can still deadlock though.

@marcan42 @pmarreck yes that and other flaws in logic leading to privesc. To quote @cynicalsecurity: "There will always be a Belgium"

@marver @pmarreck @cynicalsecurity Of course. It's no magic bullet, but it's still an interesting idea.

@marcan42 @pmarreck @cynicalsecurity Yes I favour the idea of writing drivers in $notc. just the "get rid of C and solve security" is wrong.