Mathematics
Entries about mathematics: I like learning about graphs and logic
- What is a good Brier score? - Looking at implied probabilities from Manifold Markets
- Pricing options and simulating economies in parallel using co-arrays in Fortran
- Modelling branch mispredicts
- Every infinite c.e. set has an infinite computable subset
- Intuitionistic Excluded Middle, Glivenko’s theorem and the Gödel-Gentzen translation
- The Type-Theoretic Axiom of Choice