Viewing profile — gnahtb
gnahtb
HN member- Joined
- Mon, Jul 29, 2024, 9:35 AM UTC
- HN karma
- 1
- Public activity
- 2 items
- HN profile
- View on Hacker News ↗
About gnahtb
No profile information was provided.
Recent public activity
-
comment
Comment #44419047
I'm thinking of a news RSS feed/newsletter filled with GRE-level vocabs. The idea is to encounter to GRE vocabs more frequently, hence memorize the vocabs faster.
-
comment
Comment #41099152
the infographic in the deepmind blog showed the team built a formalizer network. i wonder how you guys build it. last time i tried chatgpt to translate a math problem into lean it …