Viewing profile — fartboi

fartboi

HN member

No profile information was provided.

comment
Comment #30585388
Mon, Mar 07, 2022, 8:19 AM UTC
comment
Comment #30531642
Wed, Mar 02, 2022, 7:23 PM UTC
comment
Comment #30524343
Wed, Mar 02, 2022, 6:16 AM UTC
comment
Comment #30524312
Wed, Mar 02, 2022, 6:09 AM UTC
comment
Comment #30400038
Sat, Feb 19, 2022, 8:04 PM UTC
comment
Comment #30399082
Sat, Feb 19, 2022, 6:07 PM UTC
comment
Comment #30395466
Sat, Feb 19, 2022, 8:42 AM UTC
comment
Comment #30390017
Fri, Feb 18, 2022, 7:28 PM UTC
comment
Comment #30383023
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…

Fri, Feb 18, 2022, 7:26 AM UTC
comment
Comment #30370826
Thu, Feb 17, 2022, 8:38 AM UTC
comment
Comment #30354159
Tue, Feb 15, 2022, 11:07 PM UTC
comment
Comment #30354042
[flagged]

Tue, Feb 15, 2022, 10:56 PM UTC
comment
Comment #30354000
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 th…

Tue, Feb 15, 2022, 10:53 PM UTC