News for hackers. Stuff that matters.

A comment on Terence Tao on O1. Parent comment

Re:Terence Tao on O1 by lanstin on Saturday September 14, 2024 @10:18PM (#41544693)
The point about using lean is you don't have to trust you can verify.
[ Parent | on HN ]
Re:Terence Tao on O1 by Davidzheng on Saturday September 14, 2024 @11:31PM (#41544992)
no I agree I just don't think existing Lean codebase is approaching useful coverage. Should change soon
[ Parent | on HN ]
Re:Terence Tao on O1 by lanstin on Sunday September 15, 2024 @12:44AM (#41545275)
I keep asking people in my department about using lean but zero interest so far.
[ Parent | on HN ]