profile picture

Patrick Stevens

© Patrick Stevens 2020
  • About Me
  • About This Site
  • Film List
  • Home
  • Lifehacks
  • Posts
  • Reading List
  • Top Posts
    2020
      Christmas dinner notes
      Nov 21
      Anki as Learning Superpower
      Oct 23
      In favour of recursive functions, not imperative constructs, to make loops
      Jul 22
      Defunctionalisation
      Mar 4
    2018
      Dependent types overview
      Jul 21
    2017
      Proof of Cauchy-Schwarz
      Feb 14
    2016
      A Free Market
      Aug 7
      Be a Beginner
      Aug 5
      Part III essay
      Jun 15
      The use of jargon
      Jun 13
      Finitistic reducibility
      May 25
      Tennenbaum's theorem
      Apr 27
      Modular machines
      Apr 21
      Independence of the Axiom of Choice (for programmers)
      Apr 13
      Another Monty Hall explanation
      Apr 8
      Clojure and Exercism
      Mar 28
      Friedberg-Muchnik theorem
      Feb 5
      Representable functors
      Jan 26
      Multiplicative determinant
      Jan 1
    2015
      Monadicity Theorems
      Dec 31
      General Adjoint Functor Theorem
      Dec 24
      My First Forcing
      Nov 28
      Eilenberg-Moore
      Nov 12
      Lottery odds
      Sep 25
      Proof by contradiction
      Aug 21
      Sequence on Awodey's Category Theory
      Aug 19
      Motivational learning
      Jan 29
    2014
      Latin translation tips
      Dec 23
      Matrix puzzle
      Dec 19
      Film recommendation, Interstellar
      Dec 9
      Christmas carols
      Dec 2
      Sum-of-two-squares theorem
      Sep 9
      Python, script shadowing
      Aug 26
      Parables, chapter 1, verses 1-10
      Aug 19
      Perfect pitch
      Jul 21
      Music practice
      Jul 19
      What maths does to the brain
      Jul 15
      Solvability of nonograms
      Jul 13
      Possible cons of Soylent
      Jun 25
      Proof that symmetric matrices are diagonalisable
      May 26
      Discovering a proof of Sylvester's Law of Inertia
      May 3
      Sequentially compact iff compact
      Apr 26
      Cayley-Hamilton theorem
      Apr 17
      Sample topology question
      Apr 15
      Useful conformal mappings
      Apr 7
      Discovering a proof of Heine-Borel
      Apr 4
      How to discover the Contraction Mapping Theorem
      Mar 30
      A roundup of some board games
      Mar 20
      Rage, rage against the poet’s hardest sell
      Feb 16
      Writing essays
      Jan 28
      Introduction to functional programming syntax of Mathematica
      Jan 24
      Denouement of Myst III: Exile
      Jan 12
      The Creation
      Jan 2
    2013
      Smartphone Charter
      Dec 30
      Three explanations of the Monty Hall Problem
      Dec 22
      The Training Game
      Dec 14
      The Jean-Paul Sartre Cookbook
      Nov 23
      Markov Chain card trick
      Nov 12
      My quest for a new phone
      Nov 7
      How to do Analysis questions
      Oct 24
      The Ravenous
      Oct 20
      Training away mental bias
      Oct 13
      Meaning what you say
      Oct 11
      Plot Armour
      Oct 10
      How to prove that you are a god
      Sep 21
      Stumbled across 14th September 2013
      Sep 13
      Slightly silly Sylow pseudo-sonnets
      Aug 31
      Topology made simple
      Aug 26
      Stumbled across 24th August 2013
      Aug 24
      How to punt in Cambridge
      Aug 22
      My experiences with flow
      Aug 21
      Thinking styles
      Aug 18
      Stumbled across 11th August 2013
      Aug 11
      Stumbled across 4th August 2013
      Aug 4
      New computer setup
      Aug 4
      On to-do lists as direction in life
      Jul 30
      Stumbled across 29th July 2013
      Jul 29
      Metathought
      Jul 25
      Stumbled across 24th July 2013
      Jul 24
      The Orbit/Stabiliser Theorem
      Jul 22
      On Shakespeare
      Jul 21
      My objection to the One Logical Leap view
      Jul 18
      The Multiple Drafts view of consciousness
      Jul 14
      Prerequisites for hypothetical situations
      Jul 14
      Stumbled across 13th July 2013
      Jul 13
      A framework for discussing "pricelessness"
      Jul 12
      Imre Leader Appreciation Society
      Jul 10
      Stumbled across 9th July 2013
      Jul 9
      An obvious improvement to tennis
      Jul 8
      Mundane magics
      Jul 7
      Cambridge vocab - a guide for the mystified
      Jul 6
      Cambridge undergrad maths tips
      Jul 4
      In which I augment the lexicon
      Jul 3
      Sylow theorems
      Jun 26
      First post
      Jun 26
      CUCaTS Puzzlehunt
      Jun 26