Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
kameama
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
3 ms
·
1.
▲
by
kameama
7mo ago
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.
2.
▲
by
kameama
7mo ago
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. The project asks: can a finite algebra with a single binary op