Viewing profile — juhopitk
juhopitk
HN member- Joined
- Sat, Aug 01, 2026, 6:30 PM UTC
- HN karma
- 62
- Public activity
- 2 items
- HN profile
- View on Hacker News ↗
About juhopitk
No profile information was provided.
Recent public activity
-
comment
Comment #49137061
"A soundness bug in the Lean kernel (#14576) was reported and fixed during the week of July 27. [...] On July 25, Ramana Kumar published a repository containing a sorry-free "dispr…
- story