Viewing profile — lomlop
lomlop
HN member- Joined
- Sat, Aug 05, 2023, 2:58 AM UTC
- HN karma
- 7
- Public activity
- 1 items
- HN profile
- View on Hacker News ↗
About lomlop
No profile information was provided.
Recent public activity
-
comment
Comment #37008541
The video had me until the punchy end. The visual walkthrough of their proof was elegant in its exposition. I understand the humor makes it more fun to work on and self effacing, b…