Welcome!
Hi! I’m Olly Britton, a master’s student currently studying mathematics and computer science at Christ Church, Oxford. This site contains a lot of things:
- My notes on the courses I’ve taken as part of my degree so far, mostly in the form of around $10^4$ flashcards on different proofs, theorems, and the implications between them, for example:
- Notes - Logic MT24, Gödel’s completeness theoremU
- Notes - Galois Theory HT25, Computing the Galois groupU
- Notes - Computational Complexity HT25, PSPACE completenessU
- Course - Algorithms and Data Structures HT24U
- Currently working on: Part CU
- For a list of everything and an explanation of my general note-taking process, see:
- University NotesU
- A-Level NotesA
- Blog posts that I hope other people will find interesting, for example:
- My notes from outside of university, where recently I’ve been learning about complexity, rationality and AI safety, for example:
- Quantum Computing Since Democritus, AaronsonN
- The Scout MindsetN
- Superintelligence, BostomN
- For a list of everything, see:
- Book NotesN
- Misc NotesN
- …and other things I’ve shared:
- Favourite MediaM
- ProjectsM
- MetricsM
- For a list of everything, see:
- MiscM
Many of the pages on here weren’t originally written for an audience, so for that reason they might be a bit confusing – this is especially true for my A-Level NotesA. For some more info about how this website is made and how you can get around, take a look in About this websiteB.
What’s with all the colourful links? These are wikilinks, and take you to the corresponding post with that title. The colour indicates the category: university notes, blog posts, personal notes, and misc.
latest blog posts
| Feb 07, 2025 |
Hidden acrostics in Paradise LostB
|
|---|---|
| Jan 21, 2025 |
Conway's card game problem has finally been solvedB
|
| Jan 08, 2025 |
Analysing your Strava workouts with PythonB
|