News for hackers. Stuff that matters.
Re:"Why not just use Lean?" by moomin on Monday April 27, 2026 @02:47PM (#47925586)
Thing is, it comes after both. Maybe it is just being a jack of all trades, but something made it success when the others remain fairly niche.
Re:"Why not just use Lean?" by capitalhilbilly on Monday April 27, 2026 @03:09PM (#47925886)
I think its pretty clear that being too early has been as bad as being too late for most technologies. There are a few that have gradually gained community after decades but it is easier to make a poor copy of one of them and have better momentum and less skepticism.
Re:"Why not just use Lean?" by portly on Monday April 27, 2026 @03:08PM (#47925881)
When I woke up this morning I could not have predicted someone calling a proof assistant a "Jack of all trades"
Re:"Why not just use Lean?" by moomin on Friday May 01, 2026 @08:50AM (#47974196)
“All trades in an extremely specific bounded context”!