Viewing profile — altkjg
altkjg
HN member- Joined
- Mon, Jul 29, 2024, 9:16 AM UTC
- HN karma
- 2
- Public activity
- 1 items
- HN profile
- View on Hacker News ↗
About altkjg
No profile information was provided.
Recent public activity
-
comment
Comment #41099114
Glad to see that major pieces of work like Lean or Wolfram Alpha are getting attention because LLMs utilize them. Still not convinced that LLMs do anything else than rearranging ot…