Asaf Karagila karagila.org

I asked ChatGPT to look at a proof, here's what happened...

karagila.org·4w

How to give a talk

karagila.org·23w

I trained neural nets on large cardinal axioms

karagila.org·39w

The Lighthouse Problem

karagila.org·71w

Conferences: unsolicited advice

karagila.org·83w

120 Years of Choice: Final call for registration!

karagila.org·87w

120 Years of Choice: Registration is open

karagila.org·104w

120 Years of Choice: First Announcement

karagila.org·112w

What is best in science?

karagila.org·128w

I trained neural nets to do forcing and symmetric extensions

karagila.org·141w

How to prove theorems?

karagila.org·146w

Safe spaces

karagila.org·161w

Everything Wrong With The Princess Bride

karagila.org·179w

Multiple Choice

karagila.org·183w

Question on Dually Dedekind-infinite sets

karagila.org·185w

Changes

karagila.org·202w

Engaged

karagila.org·240w

Flow and the Partition Principle II (2 updates)

karagila.org·254w

Factorial algorithms and recursive thoughts

karagila.org·267w

Hindsight: 2020

karagila.org·268w

Loading...Loading more...