Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on Terence Tao, "Machine Assisted Proof" [video].
Love that my name appears in the talk (in small print) :-D
Now I just have to somehow find funding for my project, Practal [1].
[1] https://practal.com
There are no comments on this comment yet.
Love that my name appears in the talk (in small print) :-D
Now I just have to somehow find funding for my project, Practal [1].
[1] https://practal.com