I want to talk about this. I know that YouTube has auto-generated captions if the uploaded video is in English. It would be so much more useful if they can also generate captions for other languages, for example, Filipino. Like that would be awesome. This post is actually generated from an audio file that I uploaded on youtube which I edited afterwards. Anyway, this is the plan. It's really... I'm having a hard time just being spontaneous. I have a huge filter and I just can't spit things out. One other option is to write on the phone. But that's actually hard because the tactile feedback from typing with a physical keyboard is not there. It's hard. Talking is much more spontaneous. I overthink less when talking. I've been wanting to post a tutorial video about proving. I missed proving so much. Say you know what you're trying to prove so you start with the given, right? You start with what you know based on the definitions. Then you come up with implica...
Embracing Uncertainty