Writings

in which I attempt to explain things I think I understand

[2023-04-30] The logic of waking up early
[2023-03-15] Digital Personal Assistants
[2023-02-23] JavaScript is the English of programming languages
[2023-02-08] Please unsubscribe

[2022-12-30] A proof of the logical equivalence of inverse and converse
[2022-12-28] Annual Update (2022)
[2022-12-19] Anticorrectness
[2022-05-04] The paradox of perceived duration
[2022-04-13] Against antisesquipedalianism
[2022-04-06] My Musk list (2022)
[2022-03-30] "Later" doesn't exist
[2022-03-16] How to learn at college
[2022-01-10] Trust is the bedrock of civilization
[2022-01-04] Procrastinatory Doom Loops

[2021-12-07] I'm excited about hovercraft (1/?)
[2021-11-13] Checking metrics doesn't change anything
[2021-11-11] Tools for thought