| Oct 27, 2025 |
Notes - Computer Vision MT25, Learning curves
|
| Oct 27, 2025 |
Notes - Computer Vision MT25, Dropout
|
| Oct 27, 2025 |
Notes - Computer Vision MT25, Convolutional neural networks
|
| Oct 24, 2025 |
Notes - NLA MT25, Numerical stability
|
| Oct 24, 2025 |
Notes - NLA MT25, Linear systems
|
| Oct 24, 2025 |
Notes - NLA MT25, Least-squares
|
| Oct 24, 2025 |
Notes - NLA MT25, QR factorisation
|
| Oct 24, 2025 |
Notes - NLA MT25, Cholesky factorisation
|
| Oct 24, 2025 |
Notes - NLA MT25, LU factorisation
|
| Oct 22, 2025 |
Notes - Uncertainty in Deep Learning MT25, Statistics reference
|
| Oct 21, 2025 |
Notes - Machine Learning MT23, Multivariate Gaussians
|
| Oct 21, 2025 |
Notes - Probability MT22, Markov's inequality
|
| Oct 21, 2025 |
Notes - Probability MT22, Chebyshev's inequality
|
| Oct 21, 2025 |
Notes - Probability MT22, Weak law of large numbers
|
| Oct 21, 2025 |
Notes - Probability MT22, Random samples
|
| Oct 21, 2025 |
Notes - Probability MT22, Branching processes
|
| Oct 21, 2025 |
Notes - Probability MT22, Moments
|
| Oct 21, 2025 |
Notes - Probability MT22, Probability generating functions
|
| Oct 21, 2025 |
Notes - Probability MT22, Recurrence relations
|
| Oct 21, 2025 |
Notes - Probability MT22, Variance and covariance
|
| Oct 21, 2025 |
Notes - Probability MT22, Bayes' theorem
|
| Oct 21, 2025 |
Notes - Probability MT22, Partition theorem
|
| Oct 21, 2025 |
Notes - Probability MT22, Basic definitions
|
| Oct 21, 2025 |
Notes - Uncertainty in Deep Learning MT25, Probability reference
|
| Oct 20, 2025 |
Notes - Computer Vision MT25, Image classification
|
| Oct 19, 2025 |
Paper - When and when can deep networks avoid the curse of dimensionality, Poggio (2016)
|
| Oct 19, 2025 |
Paper - Optimal nonlinear approximation, DeVore (1989)
|
| Oct 19, 2025 |
Notes - Theories of Deep Learning MT25, Vapnik-Chervonenkis dimension
|
| Oct 18, 2025 |
Paper - Error bounds for approximations with deep ReLU networks, Yarotsky (2016)
|
| Oct 18, 2025 |
Lecture - Theories of Deep Learning MT25, IV, Data classes for which DNNs can overcome the curse of dimensionality and Attention modules
|
| Oct 18, 2025 |
Lecture - Theories of Deep Learning MT25, III, Exponential expressivity with depth
|
| Oct 18, 2025 |
Paper - Representation Benefits of Deep Feedforward Networks, Telgarsky (2015)
|
| Oct 18, 2025 |
Article - Deep, deep trouble, Elad
|
| Oct 18, 2025 |
Lecture - Theories of Deep Learning MT25, II, Why deep learning
|
| Oct 18, 2025 |
Lecture - Theories of Deep Learning MT25, I, Three ingredients of deep learning
|
| Oct 17, 2025 |
Notes - Computer Vision MT25, Scale-invariant feature transform
|
| Oct 17, 2025 |
Notes - Computer Vision MT25, Correspondences
|
| Oct 17, 2025 |
Notes - Computer Vision MT25, Image restoration
|
| Oct 15, 2025 |
Notes - Computer Vision MT25, Fourier transform
|
| Oct 15, 2025 |
Notes - Computer Vision MT25, Convolutions
|
| Oct 15, 2025 |
Notes - Computer Vision MT25, Filtering
|
| Oct 15, 2025 |
Notes - Computer Vision MT25, Homogenous coordinates and homographies
|
| Oct 15, 2025 |
Notes - Computer Vision MT25, Image transformations
|
| Oct 15, 2025 |
Notes - Computer Vision MT25, Subsampling and upsampling
|
| Oct 15, 2025 |
Notes - Computer Vision MT25, Sampling and reconstruction
|
| Oct 15, 2025 |
Notes - Computer Vision MT25, Image representation
|
| Oct 14, 2025 |
Paper - Gradient-based learning applied to document recognition, LeCun
|
| Oct 14, 2025 |
Notes - NLA MT25, Eigenvalue decomposition
|
| Oct 13, 2025 |
Notes - NLA MT25, Weyl's inequality
|
| Oct 13, 2025 |
Notes - NLA MT25, Courant-Fischer minmax theorem
|
| Oct 13, 2025 |
Notes - NLA MT25, Singular value decomposition
|
| Oct 13, 2025 |
Notes - NLA MT25, Useful miscellany
|
| Oct 13, 2025 |
Notes - NLA MT25, Subspaces
|
| Oct 13, 2025 |
Notes - NLA MT25, Vector and matrix norms
|
| Oct 13, 2025 |
Notes - NLA MT25, Structured matrices
|
| Oct 10, 2025 |
Course - Geometric Deep Learning HT26
|
| Oct 10, 2025 |
Course - Probability MT25
|
| Oct 09, 2025 |
Course - Uncertainty in Deep Learning MT25
|
| Oct 09, 2025 |
Course - Theories of Deep Learning MT25
|
| Oct 09, 2025 |
Course - Computer Vision MT25
|
| Oct 09, 2025 |
Course - Numerical Linear Algebra MT25
|
| Oct 09, 2025 |
Courses HT26
|
| Oct 09, 2025 |
Courses MT25
|
| Oct 09, 2025 |
Part C
|
| Oct 01, 2025 |
Maths - Vectors
|
| Oct 01, 2025 |
Mechanics - Pulleys
|
| Sep 30, 2025 |
Why We Sleep, Walker
|
| Sep 30, 2025 |
The Three-Body Problem, Liu
|
| Sep 30, 2025 |
Beggar-My-Neighbour
|
| Sep 30, 2025 |
The Confessions, Augustine
|
| Sep 30, 2025 |
How To Change Your Mind, Pollan
|
| Sep 30, 2025 |
Crime and Punishment, Dostoyevsky
|
| Sep 30, 2025 |
Paradise Regained, Milton
|
| Sep 30, 2025 |
Thinking Functionally With Haskell, Bird
|
| Sep 30, 2025 |
Problems
|
| Sep 30, 2025 |
Textbooks
|
| Aug 10, 2025 |
Essays, Emerson
|
| May 25, 2025 |
Notes - Computational Complexity HT25, Index of problems and reductions
|
| May 21, 2025 |
Notes - Computational Complexity HT25, Diagonalisation
|
| May 21, 2025 |
Notes - Computational Complexity HT25, Padding arguments
|
| May 21, 2025 |
Notes - Computational Complexity HT25, Crossing sequences
|
| May 16, 2025 |
Notes - Galois Theory HT25, Artin's lemma
|
| May 12, 2025 |
Notes - Computational Complexity HT25, Hierarchy theorems
|
| May 06, 2025 |
Notes - Optimisation for Data Science HT25, Nesterov's accelerated gradient method
|
| May 04, 2025 |
Notes - Galois Theory HT25, Primitive element theorem
|
| Apr 30, 2025 |
Notes - Computational Complexity HT25, Common proof themes
|
| Apr 30, 2025 |
Notes - Computational Complexity HT25, Problem sheets
|
| Apr 29, 2025 |
Notes - Logic and Proof MT24, Ordered divisible abelian groups
|
| Apr 28, 2025 |
Notes - Computer Security MT24, NIST framework
|
| Apr 27, 2025 |
Notes - Galois Theory HT25, Misc
|
| Apr 23, 2025 |
Visualising 5 years of flashcard making
|
| Apr 15, 2025 |
Notes - Galois Theory HT25, Quartic equations
|
| Apr 15, 2025 |
Notes - Galois Theory HT25, Quintic equations
|
| Apr 14, 2025 |
Notes - Optimisation for Data Science HT25, Motivation and examples
|
| Apr 08, 2025 |
Notes - Rings and Modules HT24, Eisenstein's criterion
|
| Mar 27, 2025 |
Notes - Galois Theory HT25, Normality
|
| Mar 26, 2025 |
Notes - Galois Theory HT25, Symmetric functions
|
| Mar 17, 2025 |
Notes - Optimisation for Data Science HT25, Line search methods
|
| Mar 17, 2025 |
Notes - Optimisation for Data Science HT25, Overview of convergence results
|
| Mar 13, 2025 |
Notes - Computational Complexity HT25, Approximation and the PCP theorem
|
| Mar 08, 2025 |
Notes - Set Theory HT25, Vector spaces
|
| Mar 08, 2025 |
Notes - Set Theory HT25, Zorn's lemma
|
| Mar 08, 2025 |
Notes - Set Theory HT25, Choice
|
| Mar 08, 2025 |
Notes - Set Theory HT25, Foundation
|
| Mar 04, 2025 |
Notes - Set Theory HT25, Replacement
|
| Mar 03, 2025 |
Notes - Logic and Proof MT24, All the algorithms
|
| Mar 03, 2025 |
Notes - Computational Complexity HT25, Randomness and probabilistic computation
|
| Feb 27, 2025 |
Notes - Optimisation for Data Science HT25, Coordinate descent
|
| Feb 25, 2025 |
Notes - Computational Complexity HT25, Boolean circuits
|
| Feb 20, 2025 |
Notes - Set Theory HT25, Ordinals
|
| Feb 20, 2025 |
Notes - Set Theory HT25, Well-ordered sets
|
| Feb 19, 2025 |
Notes - Set Theory HT25, Cardinals and cardinalities
|
| Feb 19, 2025 |
Notes - Set Theory HT25, Classes
|
| Feb 18, 2025 |
Notes - Optimisation for Data Science HT25, Variance reduction methods
|
| Feb 17, 2025 |
Notes - Optimisation for Data Science HT25, Stochastic gradient descent
|
| Feb 17, 2025 |
Notes - Optimisation for Data Science HT25, Useful miscellany
|
| Feb 17, 2025 |
Notes - Optimisation for Data Science HT25, Subgradients
|
| Feb 17, 2025 |
Notes - Optimisation for Data Science HT25, Smoothness and convexity
|
| Feb 17, 2025 |
Notes - Optimisation for Data Science HT25, Heavy ball method
|
| Feb 13, 2025 |
Notes - Computational Complexity HT25, Sublinear space classes
|
| Feb 13, 2025 |
Notes - Computational Complexity HT25, Savitch's theorem
|
| Feb 13, 2025 |
Notes - Computational Complexity HT25, Cook-Levin theorem
|
| Feb 13, 2025 |
Notes - Computational Complexity HT25, PSPACE-completeness
|
| Feb 13, 2025 |
Notes - Computational Complexity HT25, Polynomial hierarchy
|
| Feb 07, 2025 |
Hidden acrostics in Paradise Lost
|
| Feb 06, 2025 |
Notes - Set Theory HT25, Functions
|
| Feb 04, 2025 |
Notes - Set Theory HT25, Natural numbers
|
| Feb 04, 2025 |
Paradise Lost, Milton
|
| Feb 03, 2025 |
Notes - Set Theory HT25, Products and relations
|
| Jan 31, 2025 |
Notes - Computational Complexity HT25, Nondeterminism
|
| Jan 28, 2025 |
Notes - Optimisation for Data Science HT25, Proximal method
|
| Jan 27, 2025 |
Notes - Optimisation for Data Science HT25, Steepest descent
|
| Jan 26, 2025 |
Notes - Computational Complexity HT25, Time and space
|
| Jan 26, 2025 |
Notes - Computational Complexity HT25, Mapping reductions
|
| Jan 26, 2025 |
Notes - Computational Complexity HT25, Turing reductions and oracles
|
| Jan 23, 2025 |
Notes - Computational Complexity HT25, Properties of languages
|
| Jan 21, 2025 |
Conway's card game problem has finally been solved
|
| Jan 21, 2025 |
Notes - Optimisation for Data Science HT25, Optimisation terminology
|
| Jan 20, 2025 |
Notes - Set Theory HT25, Basic axioms
|
| Jan 20, 2025 |
Course - Optimisation for Data Science HT25
|
| Jan 20, 2025 |
Course - Set Theory HT25
|
| Jan 15, 2025 |
Course - Computational Complexity HT25
|
| Jan 13, 2025 |
Notes - Computer Security MT24, Elliptic curve cryptography
|
| Jan 10, 2025 |
The Ascent of Money, Ferguson
|
| Jan 10, 2025 |
Notes - Computer Security MT24, Example hash functions
|
| Jan 10, 2025 |
Notes - Computer Security MT24, RC4
|
| Jan 10, 2025 |
Notes - Computer Security MT24, Stream ciphers
|
| Jan 10, 2025 |
Notes - Computer Security MT24, Block modes
|
| Jan 10, 2025 |
Notes - Computer Security MT24, AES cryptosystem
|
| Jan 09, 2025 |
Notes - Artificial Intelligence MT24, Imperfect information games
|
| Jan 09, 2025 |
Religio Medici, Browne
|
| Jan 09, 2025 |
Notes - Logic MT24, Example proofs in first-order logic
|
| Jan 09, 2025 |
Complete Poems, Milton
|
| Jan 08, 2025 |
Paper - Mastering the Game of Go with Deep Neural Networks and Tree Search
|
| Jan 08, 2025 |
Papers
|
| Jan 08, 2025 |
Notes - Artificial Intelligence MT24, All the algorithms
|
| Jan 08, 2025 |
Analysing your Strava workouts with Python
|
| Jan 07, 2025 |
Notes - Computer Security MT24, Access control in UNIX
|
| Jan 05, 2025 |
Notes - Logic and Proof MT24, Vaught's test
|
| Jan 05, 2025 |
Notes - Logic MT24, Unbounded dense linear orders
|
| Jan 05, 2025 |
Notes - Logic and Proof MT24, Quantifier elimination
|
| Jan 05, 2025 |
Notes - Logic and Proof MT24, Lower bounds for deciding real arithmetic
|
| Jan 02, 2025 |
Notes - Computer Security MT24, Clark-Wilson model
|
| Jan 02, 2025 |
Notes - Logic and Proof MT24, Lower bounds for resolution
|
| Jan 02, 2025 |
Notes - Logic and Proof MT24, Interpolants
|
| Jan 01, 2025 |
Notes - Logic MT24, Gödel's completeness theorem
|
| Jan 01, 2025 |
Notes - Logic MT24, Löwenheim-Skolem theorem
|
| Jan 01, 2025 |
Notes - Logic MT24, Compactness theorems
|
| Jan 01, 2025 |
Notes - Logic MT24, Example proofs in propositional logic
|