Viewing profile — kameama
kameama
HN member- Joined
- Mon, Mar 09, 2026, 4:42 AM UTC
- HN karma
- 1
- Public activity
- 2 items
- HN profile
- View on Hacker News ↗
About kameama
No profile information was provided.
Recent public activity
-
comment
Comment #47324575
I'm working on a paper but it will take some number of years. But it will take some time. The github repo has some documentation but admittedly does need work.
-
comment
Comment #47304953
A 16×16 multiplication table that encodes quoting, evaluation, branching, recursion, an 8-state counter, and IO — all as lookups in the same table. 83 Lean theorems, zero sorry. Th…