 Hey, I just wanted to show you a bit of all the tech. I'm gonna be using for my talk on Friday So I'll be giving a talk at the Programming language seminar for PhD students and so I'm gonna start like this talking to the camera say hi You know how you guys doing? Glad you could be here today. I'm gonna be giving a talk about weakening type systems so my name is Maddie I'm treat low on Twitter and Yeah, so I'll show them some things, you know the good the bad the prototype, you know You know how it is and then I'll show them some code and I'll be like, you know This is this charge rule and what is that doing? Well, you know, let's go and look at it, right? So we go here when you see that you know, we're looking at things like this and then This rule here matches, right? So and then where can we see that? Well, you know f3 it actually hinges on the fact that h is equivalent to l but it's not right So gc will fail and we'll ask our plug-in and you know when we use that function It will actually give us a warning here forbidden flow, right? Okay. Yeah, so I just want to show you all the tech and I think it's coming pretty nicely together and For you those of you attending the same seminar See you on Friday