“It now costs more to park a car at one airport than to rent one at the other end. Machines are now reproducing so fast that they are cheaper than the empty space they fill.

“While LA-602_pdf was written by people curiously investigating whether a hydrogen bomb could ignite the atmosphere, the RHIC Review_pdf (about whether the Relativistic Heavy Ion Collider might create micro black holes) is a work of public relations.

No one can do serious analysis of existential risks anymore, because just by asking the question, you’re threatening the funding of your whole field. The only way to get a rational assessment of existential risks in our modern environment: the whole project is classified, the paper is written for scientists without translation, and the public won’t get to see the report for another fifty years.

“If I can’t write a simple, short docstring describing what a piece of code will do, it’s almost always a bad idea to try to write it without first putting some more thought into the design.

“You can teach any girl technical literacy just by putting her in a good school with no boys. Just get little girls pair-programming with each other from an early age.

“Well, not really, since you have to write unit tests for static languages too.

“Type checking is a poor man’s automated testing; the kinds of things you can test for is greatly limited.

Automated testing is a poor man’s type checking; the programmer must explicitly manage constraints, and the constraints can’t be used for optimization or tool integration.

“You don’t want lots and lots of upheaval in any country, but if you do have a clear moment in the past that you want to break away from, that can help speed the adoption of new technologies.