| 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, Oracles and Turing reductions
|
| 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
|