On: Lean4 helped Terence Tao discover a small bug in h...

[gsuuon]

Is there value in learning verified programming for application developers? I've always been curious but they mostly seem like tools for academics.

[deepsun → gsuuon]

I believe the most value is taken when there's an asynchronous system and you need to verify it's correctness. Backend dev

For app dev I'd say the main problem is always "what we even need to build?", and then polishing over user experience.