Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on Titans of Mathematics Clash Over Epic Proof of ABC Conjecture. Parent comment
However, it shoudln't deter us from the goal.
People used to code in assembly and Fortran. It was and still is quite painful.
But programming languages have improved, and resorting to those original languages (which is what Coq is) is rarely necessary these days.
There are no comments on this comment yet.
However, it shoudln't deter us from the goal.
People used to code in assembly and Fortran. It was and still is quite painful.
But programming languages have improved, and resorting to those original languages (which is what Coq is) is rarely necessary these days.