Thomas Coratger(@tcoratger):As models like Opus/Astra make code increasingly cheap to write, my bet is that software development becomes spec-centric. Lean has been around for years, but feels increasingly relevant to that future. I'm learning it deeply through Ethereum specs. Will document the journey.

Thomas Coratger

@tcoratger

Research at Ethereum Foundation

Joined August 2014

2.3K Following 3.9K Followers

Thomas Coratger@tcoratger

2026.09.04 15:56

As models like Opus/Astra make code increasingly cheap to write, my bet is that software development becomes spec-centric. Lean has been around for years, but feels increasingly relevant to that future. I'm learning it deeply through Ethereum specs. Will document the journey.