#117 — Thu 11 December 2025 by Evan Chen I wonder how different writing Lean code is from writing assembly code.