2026

Writing a Simple Proof Assistant
May 10, 2026

2025

Dumb Cipher Solver
December 17, 2025
ASI Self-Hacking Argument
February 12, 2025

2023

Ethics Test for AIs
October 26, 2023

2022

The AInion
December 5, 2022