News for hackers. Stuff that matters.

A comment on Code is Engineering; Types are Science. Parent comment

Re:Code is Engineering; Types are Science by shepherdjerred on Monday April 06, 2020 @04:04AM (#22791727)
What's the spice in this analogy
[ Parent | on HN ]
Re:Code is Engineering; Types are Science by thesuperbigfrog on Monday April 06, 2020 @08:50AM (#22793240)
Caffeine.

It is by will alone I set my mind in motion. It is by the brew of arabica that thoughts acquire speed, the teeth acquire stains, stains become a warning. It is by will alone I set my mind in motion.

[ Parent | on HN ]