Public Notes on
View Public Collections
Automated Theory Formation in Pure Mathematics - Simon Colton - Google Books books.google.com
scott
Grow Your Own Type System news.ycombinator.com
scott
Springer have made a bunch of maths books available for free, here are the direct links gist.github.com
scott
Yacc is dead: An update matt.might.net
scott
Peter Naur - Programming as Theory Building — Departamento de Computación www.dc.uba.ar
scott
My Trouble with Bayes news.ycombinator.com
scott
tallesl/Rich-Hickey-fanclub: "every time I watch one of his talks I feel like someone has gone in and organized my brain" github.com
scott
15-819 Homotopy Type Theory www.cs.cmu.edu
scott
https://web.stanford.edu/~montanar/RESEARCH/BOOK/book.html web.stanford.edu
scott
Practical File System Design: The Be File System (1999) [pdf] | Hacker News news.ycombinator.com
scott
Digital Physics *** In C. Freksa, ed., Foundations of Computer Science: Potential - Theory - Cognition Lecture Notes in Computer Science, pp. 201-208, Springer, 1997. A Computer Scientist's View of Life, the Universe, and Everything people.idsia.ch
scott
Representation theory - Wikipedia en.m.wikipedia.org
scott
[1111.1261] A Casual Tour Around a Circuit Complexity Bound arxiv.org
scott
Red Programming Language: About www.red-lang.org
scott
[no title] www.ics.uci.edu
scott