News for hackers. Stuff that matters.

A comment on Code is Engineering; Types are Science.

Re:Code is Engineering; Types are Science by devin on Monday April 06, 2020 @03:32AM (#22791569)
It’s not an either/or.
[ Parent | on HN ]

There are no comments on this comment yet.