Articles

Law of excluded middle from axiom of choice Introduction to dependent type theory 
A few thoughts on my selfstudy for alignment research 
Classical logic based on propositionsassubsingletontypes Introduction to dependent type theory 
Recreating logic in type theory Introduction to dependent type theory 
Basic building blocks of dependent type theory Introduction to dependent type theory 
What’s so dangerous about AI anyway? 
Exploring Finite Factored Sets with some toy examples 
Effects are correlated, policy outcomes are not, and multifactor explanations are hard 
Beyond YAML: Towards a config file format without syntax typing and without significant whitespace 
A highlevel introduction to programming — Part 2 Introduction to programming 
A highlevel introduction to programming Introduction to programming 
Extraordinary things on Mars