| Dec 31, 2024 |
Areopagitica, Milton
|
| Dec 31, 2024 |
Tractate of Education, Milton
|
| Dec 30, 2024 |
Plainsong, Haruf
|
| Dec 30, 2024 |
At the Mountains of Madness, Lovecraft
|
| Dec 30, 2024 |
New Atlantis, Bacon
|
| Dec 23, 2024 |
Doomscrolling mathematics
|
| Dec 22, 2024 |
Essays, Bacon
|
| Dec 22, 2024 |
Anatomy of the State, Rothbard
|
| Dec 22, 2024 |
Blood Meridian, McCarthy
|
| Dec 22, 2024 |
The Torah
|
| Dec 02, 2024 |
Double-ended colourful Nim
|
| Nov 30, 2024 |
Slides for "Theoretically cheating at your A-levels"
|
| Nov 26, 2024 |
Notes - Logic and Proof MT24, Unification and resolution
|
| Nov 26, 2024 |
Notes - Logic and Proof MT24, Decidability results for first-order logic
|
| Nov 26, 2024 |
Notes - Logic and Proof MT24, Ground resolution
|
| Nov 26, 2024 |
Notes - Logic and Proof MT24, Herbrand's theorem
|
| Nov 26, 2024 |
Notes - Logic and Proof MT24, Skolemization
|
| Nov 25, 2024 |
The Golden Sayings, Epictetus
|
| Nov 22, 2024 |
Notes - Logic MT24, Isomorphisms and equivalences of structures
|
| Nov 22, 2024 |
Notes - Logic MT24, Axiomatisations
|
| Nov 21, 2024 |
Notes - Logic MT24, Proofs in first-order logic
|
| Nov 19, 2024 |
Notes - Galois Theory HT25, Cyclotomic extensions
|
| Nov 18, 2024 |
Notes - Galois Theory HT25, Finite fields
|
| Nov 18, 2024 |
Notes - Galois Theory HT25, Kummer extensions
|
| Nov 18, 2024 |
Notes - Computer Security MT24, SSL and TLS
|
| Nov 17, 2024 |
Notes - Computer Security MT24, Key distribution and mediated authentication
|
| Nov 17, 2024 |
Notes - Computer Security MT24, Needham-Schroeder protocol
|
| Nov 17, 2024 |
Notes - Computer Security MT24, Protocols
|
| Nov 13, 2024 |
Exploring semantic footprints of books
|
| Nov 13, 2024 |
Notes - Logic and Proof MT24, Ehrenfeucht-Fraïssé games
|
| Nov 13, 2024 |
Notes - Logic and Proof MT24, Algebraically closed fields
|
| Nov 11, 2024 |
Notes - Artificial Intelligence MT24, Online search
|
| Nov 11, 2024 |
Notes - Artificial Intelligence MT24, Partially observable environments
|
| Nov 11, 2024 |
Notes - Artificial Intelligence MT24, Nondeterministic search
|
| Nov 11, 2024 |
Notes - Artificial Intelligence MT24, Perfect information games
|
| Nov 10, 2024 |
Notes - Galois Theory HT25, Cubic equations
|
| Nov 10, 2024 |
Notes - Galois Theory HT25, Groups
|
| Nov 10, 2024 |
Notes - Galois Theory HT25, Determinant and discriminant
|
| Nov 09, 2024 |
Notes - Galois Theory HT25, Solvable groups
|
| Nov 09, 2024 |
Notes - Galois Theory HT25, Solvability by radicals
|
| Nov 05, 2024 |
Notes - Artificial Intelligence MT24, Constraint satisfaction problems
|
| Nov 05, 2024 |
Notes - Artificial Intelligence MT24, Robots
|
| Nov 04, 2024 |
Notes - Logic MT24, First-order logic
|
| Nov 04, 2024 |
Notes - Computer Security MT24, Digital signatures
|
| Nov 03, 2024 |
Notes - Computer Security MT24, MACs
|
| Nov 03, 2024 |
Notes - Computer Security MT24, Dolev-Yao model
|
| Nov 03, 2024 |
Notes - Computer Security MT24, Diffie-Hellman key exchange
|
| Nov 03, 2024 |
Notes - Computer Security MT24, Rabin cryptosystem
|
| Nov 03, 2024 |
Notes - Computer Security MT24, RSA cryptosystem
|
| Nov 03, 2024 |
Notes - Computer Security MT24, Number theory
|
| Nov 03, 2024 |
Notes - Computer Security MT24, Asymmetric key ciphers
|
| Nov 02, 2024 |
Finding the shortest route between every Oxford college
|
| Nov 01, 2024 |
Notes - Logic and Proof MT24, Unbounded dense linear orders
|
| Oct 31, 2024 |
Notes - Logic and Proof MT24, Regular languages
|
| Oct 31, 2024 |
Notes - Logic and Proof MT24, Presburger arithmetic
|
| Oct 31, 2024 |
Notes - Logic and Proof MT24, Rado graph
|
| Oct 31, 2024 |
Notes - Logic and Proof MT24, Decidable theories
|
| Oct 31, 2024 |
Notes - Logic and Proof MT24, Logical theories
|
| Oct 31, 2024 |
Notes - Logic and Proof MT24, First-order logic
|
| Oct 31, 2024 |
Notes - Logic and Proof MT24, Compactness theorems
|
| Oct 30, 2024 |
Algebra, Artin
|
| Oct 30, 2024 |
Notes - Galois Theory HT25, Computing the Galois group
|
| Oct 29, 2024 |
Notes - Galois Theory HT25, Main theorems of Galois theory
|
| Oct 28, 2024 |
Notes - Galois Theory HT25, Separability
|
| Oct 28, 2024 |
Notes - Galois Theory HT25, Galois groups and Galois extensions
|
| Oct 28, 2024 |
Notes - Galois Theory HT25, Bounds on the size of the Galois group
|
| Oct 28, 2024 |
Abstract Algebra, Judson
|
| Oct 27, 2024 |
Notes - Artificial Intelligence MT24, Planning with propositional logic
|
| Oct 27, 2024 |
Notes - Artificial Intelligence MT24, Partial order planning
|
| Oct 27, 2024 |
Notes - Artificial Intelligence MT24, Planning
|
| Oct 27, 2024 |
Notes - Artificial Intelligence MT24, Local search
|
| Oct 27, 2024 |
Colourful Nim
|
| Oct 26, 2024 |
Tic-Tac-Toe
|
| Oct 26, 2024 |
Ski Jumps
|
| Oct 24, 2024 |
Notes - Logic MT24, Proofs in propositional logic
|
| Oct 24, 2024 |
Notes - Logic and Proof MT24, Cutting planes
|
| Oct 23, 2024 |
Nim
|
| Oct 23, 2024 |
Notes - Computer Security MT24, Key generation
|
| Oct 22, 2024 |
Notes - Computer Security MT24, Cryptographic hashes
|
| Oct 21, 2024 |
Notes - Artificial Intelligence MT24, Informed search
|
| Oct 21, 2024 |
Notes - Artificial Intelligence MT24, Uninformed search
|
| Oct 21, 2024 |
Notes - Artificial Intelligence MT24, Problem solving and search
|
| Oct 20, 2024 |
Notes - Computer Security MT24, DES cryptosystem
|
| Oct 20, 2024 |
Notes - Computer Security MT24, Feistel structures
|
| Oct 20, 2024 |
Notes - Computer Security MT24, Cipher attacks
|
| Oct 20, 2024 |
Notes - Computer Security MT24, Symmetric key ciphers
|
| Oct 20, 2024 |
Notes - Computer Security MT24, Attacks
|
| Oct 20, 2024 |
Notes - Computer Security MT24, Reference monitors
|
| Oct 19, 2024 |
Notes - Computer Security MT24, Bell-LaPadula model
|
| Oct 19, 2024 |
Notes - Computer Security MT24, Access control
|
| Oct 19, 2024 |
Notes - Computer Security MT24, Basic definitions
|
| Oct 18, 2024 |
Winning colourful Nim with the eeny-meeny rule
|
| Oct 17, 2024 |
Notes - Galois Theory HT25, Group actions
|
| Oct 17, 2024 |
Notes - Galois Theory HT25, Fields and field extensions
|
| Oct 16, 2024 |
Notes - Logic MT24, Propositional logic
|
| Oct 15, 2024 |
Notes - Logic and Proof MT24, Boolean circuits
|
| Oct 15, 2024 |
Notes - Logic and Proof MT24, Propositional resolution
|
| Oct 14, 2024 |
Notes - Logic and Proof MT24, XOR-Clauses
|
| Oct 14, 2024 |
Notes - Logic and Proof MT24, 3-CNF formulas
|
| Oct 14, 2024 |
Notes - Logic and Proof MT24, Walk-SAT
|
| Oct 14, 2024 |
Notes - Logic and Proof MT24, 2-CNF formulas
|
| Oct 14, 2024 |
Notes - Logic and Proof MT24, Horn formulas
|
| Oct 14, 2024 |
Notes - Logic and Proof MT24, Basic definitions for propositional logic
|
| Oct 12, 2024 |
The Trial and Death of Socrates, Plato
|
| Oct 11, 2024 |
Course - Galois Theory HT25
|
| Oct 11, 2024 |
Course - Logic and Proof MT24
|
| Oct 11, 2024 |
Courses HT25
|
| Oct 11, 2024 |
Course - Computer Security MT24
|
| Oct 11, 2024 |
Course - Artificial Intelligence MT24
|
| Oct 11, 2024 |
Course - Logic MT24
|
| Oct 11, 2024 |
Part B
|
| Oct 11, 2024 |
Courses MT24
|
| Oct 08, 2024 |
Wordsworth, a pencil-and-paper game
|
| Oct 07, 2024 |
On Numbers and Games, Conway
|
| Oct 01, 2024 |
Mental Calculation
|
| Oct 01, 2024 |
The Doomsday Algorithm
|
| Oct 01, 2024 |
Solving the Rubik's cube
|
| Sep 30, 2024 |
How many ways can you run up the stairs? A puzzle
|
| Sep 25, 2024 |
Some Fruits of Solitude, Penn
|
| Sep 24, 2024 |
Map and Territory, Yudkowsky
|
| Sep 22, 2024 |
FRACTRAN and theoretically cheating at your A-levels
|
| Sep 21, 2024 |
The Journal of John Woolman
|
| Sep 18, 2024 |
The God Delusion, Dawkins
|
| Sep 12, 2024 |
Mathematically provable foresight, a puzzle
|
| Sep 10, 2024 |
Extending multidimensional integration in SciPy
|
| Sep 08, 2024 |
The Autobiography of Benjamin Franklin
|
| Sep 06, 2024 |
The Harvard Classics
|
| Sep 04, 2024 |
There Is No Antimemetics Division, qntm
|
| Sep 01, 2024 |
The CALC esoteric programming language
|
| Sep 01, 2024 |
Norway, March
|
| Aug 31, 2024 |
The Selfish Gene, Dawkins
|
| Aug 25, 2024 |
Beeminding as a university student
|
| Aug 19, 2024 |
Film photography around Oxford
|
| Aug 15, 2024 |
Optionality, Meadows
|
| Aug 13, 2024 |
Number theory at the card table
|
| Aug 08, 2024 |
A Mathematician's Apology, Hardy
|
| Aug 08, 2024 |
The Book of Numbers, Conway
|
| Aug 08, 2024 |
Mathematics for Finance, Capinski
|
| Aug 04, 2024 |
Beeminders
|
| Jul 28, 2024 |
About this website
|
| Jul 28, 2024 |
University Notes
|
| Jul 28, 2024 |
The Road to Reality, Penrose
|
| Jul 07, 2024 |
Notes - Linear Algebra MT22, Misc
|
| Jul 07, 2024 |
Notes - Functional Programming MT22, Misc
|
| Jul 07, 2024 |
Notes - Analysis I MT22, Misc
|
| Jul 07, 2024 |
Course - Ethics and Responsible Innovation MT22
|
| Jul 07, 2024 |
Notes - Linear Algebra II HT23, Misc
|
| Jul 07, 2024 |
Notes - Analysis II HT23, Misc
|
| Jul 07, 2024 |
Notes - Imperative Programming HT23, Misc
|
| Jul 07, 2024 |
Notes - Continuous Mathematics HT23, Misc
|
| Jul 07, 2024 |
Notes - Imperative Programming TT23, Misc
|
| Jul 01, 2024 |
Quantum Computing Since Democritus, Aaronson
|
| Jun 23, 2024 |
Prelims
|
| Jun 23, 2024 |
Part A
|
| Jun 18, 2024 |
Notes - Numerical Analysis HT24, One-step methods
|
| Jun 18, 2024 |
Notes - Rings and Modules HT24, Isomorphism theorems
|
| Jun 17, 2024 |
Notes - Numerical Analysis HT24, Power method
|
| Jun 17, 2024 |
Notes - Numerical Analysis HT24, Hermite interpolation
|
| Jun 17, 2024 |
Notes - Numerical Analysis HT24, Flops
|
| Jun 17, 2024 |
Notes - Rings and Modules HT24, Divisibility
|
| Jun 17, 2024 |
Notes - Rings and Modules HT24, Overview of results and relationships in rings
|
| Jun 16, 2024 |
Notes - Numerical Analysis HT24, Givens rotations
|
| Jun 16, 2024 |
Notes - Numerical Analysis HT24, QR algorithm
|
| Jun 14, 2024 |
Notes - Numerical Analysis HT24, Schur decomposition
|
| Jun 06, 2024 |
Notes - Quantum Information HT24, Rules of quantum theory
|
| May 12, 2024 |
Notes - Machine Learning MT23, Paradigms
|
| May 07, 2024 |
Notes - Linear Algebra MT23, Misc
|
| May 06, 2024 |
Notes - Rings and Modules HT24, Principal ideal domains
|
| May 04, 2024 |
Notes - Machine Learning MT23, k-nearest neighbours
|
| May 03, 2024 |
Notes - ADS HT24, Randomised rounding
|
| May 01, 2024 |
Notes - Machine Learning MT23, Multidimensional scaling
|
| May 01, 2024 |
Notes - Machine Learning MT23, k-means clustering
|
| May 01, 2024 |
Notes - Machine Learning MT23, Spectral clustering
|
| May 01, 2024 |
One Hundred Years of Solitude, Márquez
|
| Apr 29, 2024 |
Notes - Quantum Information HT24, Quantum communication
|
| Apr 28, 2024 |
Notes - Complex Analysis MT23, Integration and residue calculation
|
| Apr 28, 2024 |
Notes - Complex Analysis MT23, Jordan's lemma
|
| Apr 23, 2024 |
Notes - Complex Analysis MT23, Riemann's removable singularity theorem
|
| Apr 23, 2024 |
Notes - Complex Analysis MT23, Liouville's theorem
|
| Apr 18, 2024 |
Notes - Rings and Modules HT24, Chinese remainder theorem
|
| Apr 16, 2024 |
Notes - Numerical Analysis HT24, Tridiagonal matrices
|
| Apr 16, 2024 |
Notes - Numerical Analysis HT24, Householder reflectors
|
| Apr 13, 2024 |
Notes - Rings and Modules HT24, Polynomial rings
|
| Apr 06, 2024 |
Notes - Quantum Information HT24, Misc
|
| Mar 29, 2024 |
Notes - Quantum Information HT24, Bell basis
|
| Mar 22, 2024 |
Notes - Complex Analysis MT23, Casorati-Weierstrass theorem
|
| Mar 18, 2024 |
Notes - Machine Learning MT23, Cross-entropy loss
|
| Mar 16, 2024 |
Notes - Rings and Modules HT24, Correspondence theorems
|
| Mar 16, 2024 |
Notes - Linear Algebra MT23, Triangular form theorem
|
| Mar 13, 2024 |
Notes - Complex Analysis MT23, Rouché's theorem
|
| Mar 12, 2024 |
Notes - Complex Analysis MT23, Morera's theorem
|
| Mar 11, 2024 |
Notes - Numerical Analysis HT24, Gerschgorin's theorems
|
| Mar 01, 2024 |
The Alchemist, Coelho
|
| Mar 01, 2024 |
80,000 Hours, Todd
|
| Feb 29, 2024 |
Notes - Quantum Information HT24, Quantum teleportation
|
| Feb 29, 2024 |
Notes - Quantum Information HT24, No-cloning theorem
|
| Feb 28, 2024 |
Notes - ADS HT24, Colour coding
|
| Feb 28, 2024 |
Notes - ADS HT24, Kernelisation
|
| Feb 28, 2024 |
Notes - ADS HT24, Parameterised complexity
|
| Feb 26, 2024 |
Notes - Rings and Moudles HT24, Rational and Jordan canonical forms
|
| Feb 26, 2024 |
Notes - Rings and Modules HT24, Structure theorems
|
| Feb 26, 2024 |
Notes - Rings and Modules HT24, Presentations
|
| Feb 25, 2024 |
Notes - Rings and Modules HT24, Smith normal form
|
| Feb 24, 2024 |
Notes - Numerical Analysis HT24, Multi-step methods
|
| Feb 24, 2024 |
Notes - Numerical Analysis HT24, Runge-Kutta methods
|
| Feb 23, 2024 |
Notes - Numerical Analysis HT24, Initial value problems
|
| Feb 23, 2024 |
Notes - Rings and Modules HT24, Matrices over a ring
|
| Feb 21, 2024 |
Notes - Quantum Information HT24, Density matrices
|
| Feb 20, 2024 |
Notes - Quantum Information HT24, Shor's algorithm
|
| Feb 20, 2024 |
Notes - Quantum Information HT24, Grover's algorithm
|
| Feb 19, 2024 |
Notes - Rings and Modules HT24, Free modules
|
| Feb 19, 2024 |
Notes - Rings and Modules HT24, Torsion
|
| Feb 19, 2024 |
Notes - Rings and Modules HT24, Basic definitions for modules
|
| Feb 17, 2024 |
Notes - ADS HT24, Approximation algorithms
|
| Feb 15, 2024 |
Notes - ADS HT24, NP-hardness and NP-completeness
|
| Feb 15, 2024 |
Notes - ADS HT24, Zero-sum games
|
| Feb 14, 2024 |
Notes - Rings and Modules HT24, Factorisation in polynomial rings
|
| Feb 13, 2024 |
Notes - Quantum Information HT24, Quantum gates
|
| Feb 13, 2024 |
Notes - Quantum Information HT24, The Deutsch-Jozsa game
|
| Feb 13, 2024 |
Notes - Quantum Information HT24, Query complexity
|
| Feb 13, 2024 |
Notes - Quantum Information HT24, Quantum circuit model
|
| Feb 11, 2024 |
Notes - Numerical Analysis HT24, Quadrature and approximate integration
|
| Feb 10, 2024 |
Notes - Numerical Analysis HT24, Orthogonal polynomials
|
| Feb 10, 2024 |
Notes - Numerical Analysis HT24, Best approximation in inner product spaces
|
| Feb 08, 2024 |
Notes - ADS HT24, Linear programming
|
| Feb 06, 2024 |
Notes - Quantum Information HT24, The GHZ game
|
| Feb 06, 2024 |
Notes - Quantum Information HT24, The CHSH game
|
| Feb 03, 2024 |
Notes - ADS HT24, Circulations
|
| Feb 03, 2024 |
Notes - ADS HT24, Matchings
|
| Feb 01, 2024 |
Notes - Rings and Modules HT24, Factorisation
|
| Feb 01, 2024 |
Notes - Rings and Modules HT24, Fields
|
| Feb 01, 2024 |
The Man Who Loved Only Numbers, Hoffman
|
| Feb 01, 2024 |
Revenge, Ogawa
|
| Feb 01, 2024 |
Poems of the Decade 2011-2020
|
| Feb 01, 2024 |
Of Mice and Men, Steinbeck
|
| Jan 31, 2024 |
Notes - Complex Analysis MT23, Misc
|
| Jan 31, 2024 |
Notes - Rings and Modules HT24, Euclidean domains
|
| Jan 31, 2024 |
Notes - Rings and Modules HT24, Prime and maximal ideals
|
| Jan 25, 2024 |
Notes - Numerical Analysis HT24, Eigenvalue problems
|
| Jan 25, 2024 |
Notes - Numerical Analysis HT24, Singular value decomposition
|
| Jan 25, 2024 |
Notes - Numerical Analysis HT24, Least-squares
|
| Jan 24, 2024 |
Notes - ADS HT24, Flow networks
|
| Jan 23, 2024 |
Notes - ADS HT24, Splay trees
|
| Jan 23, 2024 |
Notes - ADS HT24, Red-black trees
|
| Jan 22, 2024 |
Notes - ADS HT24, Binary search trees
|
| Jan 22, 2024 |
Notes - Numerical Analysis HT24, QR factorisation
|
| Jan 22, 2024 |
Notes - Numerical Analysis HT24, LU factorisation and Gaussian elimination
|
| Jan 22, 2024 |
Notes - Numerical Analysis HT24, Lagrange interpolation
|
| Jan 19, 2024 |
Notes - ADS HT24, Disjoint sets
|
| Jan 19, 2024 |
Notes - ADS HT24, Amortised analysis
|
| Jan 18, 2024 |
Notes - Rings and Modules HT24, Ring quotients
|
| Jan 18, 2024 |
Notes - Rings and Modules HT24, Ideals
|
| Jan 18, 2024 |
Notes - Rings and Modules HT24, Integral domains
|
| Jan 18, 2024 |
Notes - Rings and Modules HT24, Basic definitions for rings
|
| Jan 16, 2024 |
Notes - Quantum Information HT24, Dense coding protocol
|
| Jan 16, 2024 |
Notes - Quantum Information HT24, No-signalling theorem
|
| Jan 16, 2024 |
Notes - Quantum Information HT24, Quantum steering
|
| Jan 16, 2024 |
Notes - Quantum Information HT24, Tensor products
|
| Jan 16, 2024 |
Notes - Quantum Information HT24, Composite systems and entanglement
|
| Jan 15, 2024 |
Notes - Quantum Information HT24, Bloch sphere
|
| Jan 15, 2024 |
Notes - Quantum Information HT24, Unitary transformations and reversible processes
|
| Jan 15, 2024 |
Notes - Quantum Information HT24, Basic measurements
|
| Jan 15, 2024 |
Notes - Quantum Information HT24, Qubits
|
| Jan 15, 2024 |
Notes - Quantum Information HT24, Bra-ket notation
|
| Jan 11, 2024 |
Course - Algorithms and Data Structures HT24
|
| Jan 11, 2024 |
Course - Quantum Information HT24
|
| Jan 11, 2024 |
Course - Numerical Analysis HT24
|
| Jan 11, 2024 |
Course - Rings and Modules HT24
|
| Jan 02, 2024 |
Notes - Machine Learning MT23, Clustering
|
| Jan 02, 2024 |
Notes - Machine Learning MT23, Singular value decomposition
|
| Jan 02, 2024 |
Notes - Machine Learning MT23, Principal component analysis
|
| Jan 01, 2024 |
Gone Girl, Flynn
|