Articles

• 20 Jan 2023
  Law of excluded middle from axiom of choice Introduction to dependent type theory
• 31 Dec 2022
  A few thoughts on my self-study for alignment research
• 28 Dec 2022
  Classical logic based on propositions-as-subsingleton-types Introduction to dependent type theory
• 21 Dec 2022
  Recreating logic in type theory Introduction to dependent type theory
• 15 Dec 2022
  Basic building blocks of dependent type theory Introduction to dependent type theory
• 18 Jul 2022
  What’s so dangerous about AI anyway?
• 22 Feb 2022
  Exploring Finite Factored Sets with some toy examples
• 16 Sep 2021
  Effects are correlated, policy outcomes are not, and multi-factor explanations are hard
• 24 Feb 2021
  Beyond YAML: Towards a config file format without syntax typing and without significant whitespace
• 21 Oct 2019
  A high-level introduction to programming — Part 2 Introduction to programming
• 20 Oct 2019
  A high-level introduction to programming Introduction to programming
• 18 Jul 2017
  Extraordinary things on Mars