- [2025/05/13] Using Agda Macros as Interactive Tactics
- [2024/06/23] Meritocracy is wrong
- [2024/03/05] Review of the Arc Browser
- [2023/11/11] Open Source Software
- [2023/06/06] Aligned Intelligence and Moral Progress
- [2023/05/05] The Next Trillion Theorems
- [2023/05/05] AI Tutors – The Future of Education
- [2023/04/03] AI Danger
- [2022/11/27] Essential Mac Applications
- [2022/11/25] Rumble VR
- [2022/10/22] Social VR?
- [2022/09/27] Metaprogramming Capabilities
- [2022/09/17] agda2lh
- [2022/09/09] The Situations of Academic and Industrial Computer Science
- [2022/08/17] Love Exposure
- [2022/06/20] My Experience with the Great SARS-CoV-2 Virus
- [2022/06/08] Kelvin Versioning
- [2022/04/17] Forgiving US Student Loan Debt
- [2022/01/28] Reflections on Academic Conferences
- [2022/01/22] Pinion - a Short Story Generator
- [2021/11/07] Overloaded Functions in Haskell
- [2021/11/01] Is Belief a Choice?
- [2021/10/17] The Difference Between Mathematics and Logic
- [2021/09/01] Unique Terms
- [2021/08/29] Cryodreams
- [2021/08/26] A Proof That God Cannot Create a Rock So Heavy He Cannot Lift It
- [2021/08/25] Competiting with YouTube
- [2021/08/24] Mesaprogramming
- [2021/08/24] A Monotheistic Foundation for the Epistemology of Science
- [2021/08/24] Metaprogramming via Dependent Types
- [2021/08/20] Reminders
- [2021/08/14] Losing Touch
- [2021/07/29] Moral Empiricism
- [2021/06/10] Strategy Games are Puzzle Games with Computational Constraints
- [2021/05/29] From Inside Dimensions
- [2021/04/25] An Analogy is Like a Bad Argument
- [2021/04/15] Types of "Type"s
- [2021/03/28] Placebo Discount
- [2021/03/15] Impe
- [2021/01/08] Magic the Gathering - Deckbuilder Draft
- [2021/01/07] Augmentation 1
- [2020/11/28] The Social Responsibility of Business in "A Friedman Doctrine"
- [2020/11/10] Dominant Assurance Contracts
- [2020/05/18] Of Name or Value?
- [2020/03/26] Practical University
- [2020/02/24] One Year
- [2019/09/15] The Self Observation
- [2019/09/04] Mathematical Manifestation
- [2019/09/01] Golden Bubble
- [2019/08/22] No Explanation
- [2019/08/20] New Features for Sharing Nontext Content
- [2019/08/13] Weighting Democracy
- [2019/07/01] Cities and Design
- [2017/01/17] As Expected
- [2011/11/14] Consequence