Hector Martin

@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.

@marver @marcan42 @pmarreck removing C as a “security fix” is a red herring. Teaching software reliability is what you actually want to do…

@cynicalsecurity @marver @pmarreck No language stops bad code, but there is value in langs that make mistakes less likely.

@cynicalsecurity @marver @pmarreck "Get rid of C" is dumb, but writing more critical code in a safer lang would in practice help.