Type Theory and Uncertainty

We're not going to have a lot of trust in our ability to track things, you know, and, and account for them. So let's take this aspect of self awareness and filter it through a concept of type and see what we can come up with. In some ways, this is almost like, I don't know, like water wings, right? Yeah. And by the way, if you haven't listened to the whole series, last few episodes go back and listen because we're kind of building information as it goes.