Viewing profile — lseplot
lseplot
HN member- Joined
- Fri, Sep 04, 2026, 6:58 PM UTC
- HN karma
- 0
- Public activity
- 1 items
- HN profile
- View on Hacker News ↗
About lseplot
No profile information was provided.
Recent public activity
-
comment
Comment #49568763
https://github.com/anthropics/fermats-last-theorem/blob/main... status: "self-assessed" 13 million lines of Lean, where the Lean and Nanoda kernels missed the Collatz hack. Fable, …