cognitive psychology. PhD 
Copying @hillelogram's idea for avoiding doomscrolling.
AMA about:
programming languages
being a CS PhD student
being a CS professor
starting a company
JeanDate
producing #zoombachelorette and @zoombachelor
other topics not on list
-
A key part of Rust is that by putting memory safety in the type system, all programs must be safe *by construction*. It means greater social cohesion bc library writers/users can trust each other more. Whereas using eg Coverity for C, I can only hope that it catches all bugs.
You could ship Coverity with gcc and enable it by default. But soundness is critical -- it enables trust b/c I know you can't give me code that violates type system guarantees.