Viewing profile — frunkp
frunkp
HN member- Joined
- Thu, Jun 06, 2024, 3:17 PM UTC
- HN karma
- 1
- Public activity
- 5 items
- HN profile
- View on Hacker News ↗
About frunkp
No profile information was provided.
Recent public activity
-
comment
Comment #47723056
Those who play go may enjoy the variants: https://www.govariants.com/variants/rules-list Tetris is a fun one to try!
- story
- story
-
comment
Comment #44521435
The model does well on highschool competition maths. Problems in the "Set Theory" and "Natural Numbers" chapters of Elements of Abstract Algebra may be doable with Kimina-Prover, n…
- story