Viewing profile — hxksleo

hxksleo

HN member

No profile information was provided.

comment
Comment #29245301
It's a mistake to just think of linear algebra as being super concrete. Linear algebra can be very theoretical. Obviously, there are a lot of categorical applications to linear alg…

Tue, Nov 16, 2021, 7:31 PM UTC
comment
Comment #29014412
Wed, Oct 27, 2021, 3:15 PM UTC
story
Why do Stanford math professors still use chalk?
Thu, Oct 21, 2021, 2:42 PM UTC
story
Infinity Category Theory Offers a Bird’s-Eye View of Mathematics
Tue, Sep 21, 2021, 2:24 PM UTC
story
Infinity Category Theory Offers a Bird’s Eye View of Mathematics
Tue, Sep 14, 2021, 3:13 PM UTC
comment
Comment #28472410
I'd be interested in whether proofs like these will be formalized in proof assistants that can be checked with computer code, so that it removes doubt of error. It's something in m…

Thu, Sep 09, 2021, 5:40 PM UTC