George Hotz

No, but I never used any of the plugins in Vim either. I had the most vanilla Vim. I have a syntax highlighter. I didn't even have autocomplete. Like these things, I feel like help you so marginally that like, And now, okay, now VS Code's autocomplete has gotten good enough that like, okay, I don't have to set it up. I can just go into any code base and autocomplete's right 90% of the time.

No, but I never used any of the plugins in Vim either. I had the most vanilla Vim. I have a syntax highlighter. I didn't even have autocomplete. Like these things, I feel like help you so marginally that like, And now, okay, now VS Code's autocomplete has gotten good enough that like, okay, I don't have to set it up. I can just go into any code base and autocomplete's right 90% of the time.

No, but I never used any of the plugins in Vim either. I had the most vanilla Vim. I have a syntax highlighter. I didn't even have autocomplete. Like these things, I feel like help you so marginally that like, And now, okay, now VS Code's autocomplete has gotten good enough that like, okay, I don't have to set it up. I can just go into any code base and autocomplete's right 90% of the time.

Okay, cool. I'll take it. Right? So I don't think I'm going to have a problem at all adapting to the tools once they're good. But like the real thing that I want is not something that like tab completes my code and gives me ideas. The real thing that I want is a very intelligent pair programmer that comes up with a little pop-up saying, hey, you wrote a bug on line 14 and here's what it is. Yeah.

Okay, cool. I'll take it. Right? So I don't think I'm going to have a problem at all adapting to the tools once they're good. But like the real thing that I want is not something that like tab completes my code and gives me ideas. The real thing that I want is a very intelligent pair programmer that comes up with a little pop-up saying, hey, you wrote a bug on line 14 and here's what it is. Yeah.

Okay, cool. I'll take it. Right? So I don't think I'm going to have a problem at all adapting to the tools once they're good. But like the real thing that I want is not something that like tab completes my code and gives me ideas. The real thing that I want is a very intelligent pair programmer that comes up with a little pop-up saying, hey, you wrote a bug on line 14 and here's what it is. Yeah.

Now I like that. You know what does a good job of this? MyPi. I love MyPy. MyPy, this fancy type checker for Python. And actually, I tried Microsoft release one, too, and it was like 60% false positives. MyPy is like 5% false positives. 95% of the time, it recognizes, I didn't really think about that typing interaction correctly. Thank you, MyPy.

Now I like that. You know what does a good job of this? MyPi. I love MyPy. MyPy, this fancy type checker for Python. And actually, I tried Microsoft release one, too, and it was like 60% false positives. MyPy is like 5% false positives. 95% of the time, it recognizes, I didn't really think about that typing interaction correctly. Thank you, MyPy.

Now I like that. You know what does a good job of this? MyPi. I love MyPy. MyPy, this fancy type checker for Python. And actually, I tried Microsoft release one, too, and it was like 60% false positives. MyPy is like 5% false positives. 95% of the time, it recognizes, I didn't really think about that typing interaction correctly. Thank you, MyPy.

Oh, yeah, absolutely. I think optional typing is great. I mean, look, I think that like, it's like a meat in the middle, right? Like Python has this optional type hinting and like C++ has auto.

Oh, yeah, absolutely. I think optional typing is great. I mean, look, I think that like, it's like a meat in the middle, right? Like Python has this optional type hinting and like C++ has auto.

Oh, yeah, absolutely. I think optional typing is great. I mean, look, I think that like, it's like a meat in the middle, right? Like Python has this optional type hinting and like C++ has auto.

Well, C++ would have you brutally type out std string iterator, right? Now I can just type auto, which is nice. And then Python used to just have A. What type is A? It's an A. A colon str.

Well, C++ would have you brutally type out std string iterator, right? Now I can just type auto, which is nice. And then Python used to just have A. What type is A? It's an A. A colon str.

Well, C++ would have you brutally type out std string iterator, right? Now I can just type auto, which is nice. And then Python used to just have A. What type is A? It's an A. A colon str.

yeah i wish there were i wish there was a way like a simple way in python to uh like turn on a mode which would enforce the types yeah like give a warning when there's no type something like this well no to give a warning where like my pilot is a static type checker but i'm asking just for a runtime type checker like there's like ways to like hack this in but i wish it was just like a flag like python 3-t oh i see yeah i see enforce the types around time yeah

yeah i wish there were i wish there was a way like a simple way in python to uh like turn on a mode which would enforce the types yeah like give a warning when there's no type something like this well no to give a warning where like my pilot is a static type checker but i'm asking just for a runtime type checker like there's like ways to like hack this in but i wish it was just like a flag like python 3-t oh i see yeah i see enforce the types around time yeah

yeah i wish there were i wish there was a way like a simple way in python to uh like turn on a mode which would enforce the types yeah like give a warning when there's no type something like this well no to give a warning where like my pilot is a static type checker but i'm asking just for a runtime type checker like there's like ways to like hack this in but i wish it was just like a flag like python 3-t oh i see yeah i see enforce the types around time yeah

Well, no, that I didn't mess any types up. But again, MyPi is getting really good, and I love it. And I can't wait for some of these tools to become AI-powered. I want AIs reading my code and giving me feedback. I don't want AIs writing half-assed autocomplete stuff for me.

Well, no, that I didn't mess any types up. But again, MyPi is getting really good, and I love it. And I can't wait for some of these tools to become AI-powered. I want AIs reading my code and giving me feedback. I don't want AIs writing half-assed autocomplete stuff for me.