6 engineers on Hacker News describe using Lean first-hand: 2 endorse it, 1 regret it, 0 are mixed.
“I've been writing tens of thousands of lines of Lean 4 in a software engineering job and I feel like we are on the eve of a revolution.”
endorse · production · infruset · 2025-12-17 · source ↗ · wrong label?“My team has been prototyping something very similar with encoding business operations policies with LEAN.”
endorse · personal · LASR · 2025-10-04 · source ↗ · wrong label?“Lean is too inflexible for this, in my opinion.”
regret · personal · eab- · 2024-12-13 · source ↗ · wrong label?“Since it scores better on math, I thought it might do better at writing Lean.”
neutral · personal · malisper · 2026-10-23 · source ↗ · wrong label?“When we use proof assistant languages (e.g., Rocq, Lean) to accomplish the verification”
neutral · production · DonaldPShimoda · 2026-10-23 · source ↗ · wrong label?“I have been using Lean to drive PJRT like so”
neutral · personal · asparagui · 2026-10-20 · source ↗ · wrong label?