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