• A glossary of Japanese self-study

You are taking advice from someone who spent more than three thousand hours studying a complex language spoken on a distant volcanic archipelago in order to watch cartoons more effectively.

• Difficulties with continuous approximation

I believe that artificial neural networks are profoundly lacking as a substrate for artificial general intelligence (AGI), in ways that scale and architecture cannot fix.

• Backpropagation, hierarchy, and adversarial examples

• Connecting the halting problem and induction

By employing a few dumb tricks, a computer with super-Turing capabilities could prove almost any theorem over the natural numbers, including many that have stumped the best of us for centuries.

• What are shapes?
• Enumerating programs that halt
• Deciding the behavior of edited programs