2 ms·

Me too. I recall that F Scott Fitzgerald said "the test of a first-rate intelligence is the ability to hold two opposed ideas in mind at the same time and stil

by wenc 6y ago

Me too. I recall that F Scott Fitzgerald said "the test of a first-rate intelligence is the ability to hold two opposed ideas in mind at the same time and still retain the ability to function."

Taikonerd 6y ago
In Hillel's defense, maybe they're not opposed ideas... this article talks about problems with formal verification, but I think his thing is more formal modeling (with TLA+).
- hwayne 6y ago
  If I find any cold showers with formal modeling, I will absolutely include those too. :D