| 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 methods
|
| 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
|
| 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, Basic definitions
|
| 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
|