## Posts

- 11 Nov. 2019
A Bayesian meta-analysis to evaluate whether one is more likely to get a heart attack after losing an hour of sleep. They are, but getting a heart attack is unlikely to begin with.
- 8 Oct. 2019
Summary of a keynote talk given by Sir David Spiegelhalter about the reporting of medical results.
- 26 Sep. 2019
Evaluating various methods to improve the calibration of deep neural networks.
- 19 Aug. 2019
Summary of the seminal paper on inverse reinforcement learning.
- 6 Aug. 2019
Description of the sampling algorithm of Metropolis et al. in 500 words.
- 24 Jul. 2019
Analysis of a slightly incorrect statement from BDA3: if all of the 1000 draws from Bernoulli(p) are 1, what are likely values of p?
- 13 Jul. 2019
Analyzing why point-free definitions in Haskell allow sharing the result of an inner function application, whereas pointful definitions do not.
- 18 Aug. 2018
Analyzing the wise men puzzle of modal logic.
- 11 Jul. 2018
I summarize a blog post about medical AI safety, which describes the potential consequences of using advanced medical systems without sufficient evidence to back up their usefulness.
- 9 Jun. 2018
Solutions for exercise 1 of tutorial 3 of the International Winter School on Gravity and Light.
- 28 May. 2018
This post briefly describes the problem of probabilistic planning, and explains what makes a planning problem “probabilistically interesting”.
- 23 May. 2018
- 16 May. 2018
A 7-line bash script that includes 90% of what an average user needs.
- 27 Feb. 2018
This page lists some interesting problems in mathematical logic that I solved during my studies.