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
-
I was thinking about this because I *just* submitted my NSF GRFP application on a language-agnostic static resource analysis tool, but presented in a way to minimize adoption friction (it'd be understandable by non-experts) ... but maybe I need to focus on specific languages!
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.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.