Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
fartboi
searching Neon…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
6 ms
·
1.
▲
by
fartboi
5y ago
The guy was saying nothing, people have done computer work in fusion and they will use computers again! Profound. He was merely giving a shameless plug of whatever infra project he was involved in. Congrats - it involves computers and fusio
2.
▲
by
fartboi
5y ago
Worth mentioning that many of the people on this project including Tom Hales jumped ship to Lean seeing as Mathematica needs an overhaul to accomodate a proof assistant. Lean is the current project that is attracting attention from the math