Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on Ask HN: What are you planning to learn next year and why?.
- Dependently-typed programming: Coq, Agda, Idris
- Machine Learning and Artificial Intelligence
I believe that the future of programming is to describe WHAT rather than HOW.
There are no comments on this comment yet.
- Dependently-typed programming: Coq, Agda, Idris
- Machine Learning and Artificial Intelligence
I believe that the future of programming is to describe WHAT rather than HOW.