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 91edec on Monday April 06, 2020 @03:51AM (#22791665)
I prefer to call them guild navigators.
[ Parent | on HN ]
Re:Code is Engineering; Types are Science by enriquto on Monday April 06, 2020 @04:02AM (#22791714)
Maybe they are not doing programming, and they are certainly not doing engineering, but they are definitely doing science!
[ Parent | on HN ]
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 ]