Yet another set of Warwick/Edinburgh Computer Sciences notes!
My revision materials for the modules I took.
No guarantees are provided as to the accuracy or completeness of these notes.
Images copied from module materials have been removed for copyright reasons.
- CS130 Notes
- CS130 Quiz
- External resource (Book): How to Prove It: A Structured Approach by by Daniel Velleman
- CS131 Notes
- CS131 Quiz
- External resource (Videos/Blog): Essence of linear algebra by 3Blue1Brown
- External resource (Videos/Blog): Essence of calculus by 3Blue1Brown
- CS141 Notes
- External resource (Video): Haskell is useless by Simon Peyton Jones [need for controlled effects]
- CS241 Notes
- External resource (Webpage): Everything you need to know about pointers in C by Peter Hosey
- CS255 Notes
- External resource (Academic publication): Experiments on the Mechanization of Game-Learning by Donald Michie
- CS259 Notes
- Closure properties Quiz
- External resource (Video): CYK Algorithm Made Easy by EducationAboutStuff
- External resource (Video): Pumping Lemma for Context-Free Languages by EasyTheory
- External resource (Webtool): DFA from Regex Calculator by CyberZHG
- CS260 Notes
- Master theorem and reductions Quiz
- External resource (Book): Algorithms by Jeff Erickson
- My tips for the development phase (including zero to hero with Git)
- CS261 Notes
- UML Quiz
- External resource (Website): The Catalog of Design Patterns by Alexander Shvets
- External resource (Blogpost): Universal Credit is a model for how to do government right by James O'Malley [agile > waterfall]
- CS262 Notes
- External resource (Book/Blog): Learn Prolog Now! by Patrick Blackburn, Johan Bos, and Kristina Striegnitz
- CS301 Notes
- External resource (Lecture transcript): P, NP, and Friends by Scott Aaronson
- External resource (Academic publication): Classic Nintendo games are (computationally) hard by Greg Aloupis, Erik D. Demaine, Alan Guo, and Giovanni Viglietta
- External resource (Lecture video): Simulating Time With Square-Root Space by Ryan Williams
- CS331 Notes
- External resource (Video): The Foundations of Deep Learning by Geoffrey Hinton
- External resource (Academic publication): Learning representations by back-propagating errors by David E. Rumelhart, Geoffrey E. Hinton, and Ronald J. Williams
- External resource (Academic publication): Deep learning by Yann LeCun, Yoshua Bengio, and Geoffrey Hinton
- External resource (Blogpost): Mathematics of Backpropagation by Brian Dolhansky
- CS349 Notes
- External resource (Magazine article/Blogpost): Peter Landin: Elegance from Logic by Paul Curzon
- External resource (Book chapter): The Curry-Howard Correspondence by Michael R. Clarkson et al.
- External resource (Academic publication): F-bounded polymorphism for object-oriented programming by Peter Canning, William Cook, Walter Hill, Walter Olthoff, and John C. Mitchell
- External resource (Source code): Bird monickered combinators in Haskell by Stephen Peter Tetley
- CS352 Notes
- CS352 Quiz
- External resource (Blogpost): What is Scrumban? by Corey Ladas
- External resource (Video): Scrum to Scrumban in 6 Steps by Gary Straughan
- External resource (Blogpost): Why fixing government tech is a nightmare (but not impossible) by James O'Malley [importance of buy-in from stakeholders]
- External resource (Book): Effective Project Management: Traditional, Agile, Extreme, Hybrid by Robert K. Wysocki
- External resource (Book): Toyota Production System: Beyond Large-Scale Production by Taiichi Ohno
- External resource (Book): Don't Park Your Brain Outside: A Practical Guide To Improving Shareholder Value with SMART Management by Francis T. Hartman
- External resource (Manga): The Five Dysfunctions of a Team: An Illustrated Leadership Fable by Patrick M. Lencioni and Kensuke Okabayashi
- External resource (Blogpost): Let Us Dismantle the Artifice of Standup by Valerie Burzynski
- CS359 Notes
- External resource (Academic publication): Justified Representation in Approval-Based Committee Voting by Haris Aziz, Markus Brill, Vincent Conitzer, Edith Elkind, Rupert Freeman, and Toby Walsh
Coming soon
Coming soon
Coming soon
Coming soon
CS429: Data Mining (2020/21 online lectures, and personal reflections on more recent developments)
- CS429 Notes (WIP)
- External resource (Video): How we teach computers to understand pictures by Fei-Fei Li
- External resource (Academic publication): ImageNet classification with deep convolutional neural networks by Alex Krizhevsky, Ilya Sutskever, and Geoffrey Hinton
- External resource (Academic publication): Deep Residual Learning for Image Recognition by Kaiming He, Xiangyu Zhang, Shaoqing Ren, and Jian Sun
- External resource (Academic publication): Attention Is All You Need by Ashish Vaswani, Noam Shazeer, Niki Parmar, Jakob Uszkoreit, Llion Jones, Aidan N. Gomez, Lukasz Kaiser, and Illia Polosukhin
- External resource (Video): THIS is why large language models can understand the world by Algorithmic Simplicity
- External resource (Academic publication): Transformers are Graph Neural Networks by Chaitanya K. Joshi
- External resource (Academic publication): An Image is Worth 16x16 Words: Transformers for Image Recognition at Scale by Alexey Dosovitskiy, Lucas Beyer, Alexander Kolesnikov, Dirk Weissenborn, Xiaohua Zhai, Thomas Unterthiner, Mostafa Dehghani, Matthias Minderer, Georg Heigold, Sylvain Gelly, Jakob Uszkoreit, and Neil Houlsby
- External resource (Academic publication): Reconciling modern machine-learning practice and the classical bias–variance trade-off by Mikhail Belkin, Daniel Hsu, Siyuan Ma, and Soumik Mandal
- External resource (Academic publication): The Lottery Ticket Hypothesis: Finding Sparse, Trainable Neural Networks by Jonathan Frankle, and Michael Carbin
- External resource (Academic publication): Hidden Stratification Causes Clinically Meaningful Failures in Machine Learning for Medical Imaging by Luke Oakden-Rayner, Jared Dunnmon, Gustavo Carneiro, and Christopher Ré
- External resource (Academic publication): Gradient Starvation: A Learning Proclivity in Neural Networks by Mohammad Pezeshki, Sékou-Oumar Kaba, Yoshua Bengio, Aaron Courville, Doina Precup, and Guillaume Lajoie