johnsonjo 的提交内容

Why should you learn Type Theory? [video]

Decades-Old Computer Science Conjecture Solved in Two Pages

Informal Fallacies (Texas State: Department of Philosophy)

Pandoc – A universal document converter

Reddit: FYI Fields Medalist Timothy Gowers Has Combinatorics Course on YouTube

Semantic Experiences by Google AI

Python's Innards: Introduction (2010)

U.K. Mathematician wins richest prize in academia