All of our items
Flat list
Add something!
Edit current entries

Editing cs. Please try not to screw up others' entries. (Yes, this is a horrible design overall.)
Note: the entries in question will in actuality be displayed in reverse order. Do beware.

<a href="http://mitpress.mit.edu/sicp/">SICP</a> (<a href="http://www.youtube.com/watch?v=2Op3QLzMgSY&list=PL8FE88AA54363BC46">accomp lectures</a> 1986 #good #lisp #scheme) <a href="http://www.cs.cmu.edu/~rwh/courses/hott/">grad course: Homotopy Type Theory</a> (video lectures, ~follows <a href="http://homotopytypetheory.org/book/">HoTT</a>) <em>(cs/math/whatever)</em> <a href="http://www.elegantcoding.com/2012/09/lattice-theory-for-programmers-and-non.html" target="_blank">http://www.elegantcoding.com/2012/09/lattice-theory-for-programmers-and-non.html</a> #toread <a href="http://www.cis.upenn.edu/~bcpierce/tapl/" target="_blank">http://www.cis.upenn.edu/~bcpierce/tapl/</a> (illustration from a practical angle: <a href="http://codon.com/programming-with-nothing" target="_blank">http://codon.com/programming-with-nothing</a>)

View current backup version of cs.
Back to list of editable categories.

Home.

---

raw (git) changelog