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