Notes
- book-notes a bunch of notes about machine learning, deep learning, graphical models, image statistics, theoretical neuroscience, etc.
- til a bunch of notes on various CS technologies.
- logic-book-notes a bunch of notes on mathematical logic, especially those on Introduction to Gödel’s Theorems.