Solving a Problem, According to John Baez

Nov 21, 2017
1 minute read

The ladder of abstraction is more a jungle gym.

Use of emphasis in speech

Generating a lot of language data with a theorem prover

"Litany Against Fear" in Present Tense

When it's time to party we will party hard

these are people who died

divine carrot

the frog

what it’s like to get nail phenolization

Why 0 to the power of 0 is 1

Lines and Points are Circles