Menu
Sign In Search Podcasts Charts People & Topics Add Podcast API Blog Pricing

Dave Plummer

๐Ÿ‘ค Speaker
1147 total appearances

Appearances Over Time

Podcast Appearances

Lex Fridman Podcast
#479 โ€“ Dave Plummer: Programming, Autism, and Old-School Microsoft Stories

And so I finally put my phone number in the assert.

Lex Fridman Podcast
#479 โ€“ Dave Plummer: Programming, Autism, and Old-School Microsoft Stories

And I was like, if you see this message called APL at 425836, my phone number.

Lex Fridman Podcast
#479 โ€“ Dave Plummer: Programming, Autism, and Old-School Microsoft Stories

And finally, we did get a catch in the actual stress debugger that I was talking about earlier, where it happened to somebody with a debugger connected.

Lex Fridman Podcast
#479 โ€“ Dave Plummer: Programming, Autism, and Old-School Microsoft Stories

We were able to go through and it was actually a kernel accounting issue and it wasn't a task manager issue.

Lex Fridman Podcast
#479 โ€“ Dave Plummer: Programming, Autism, and Old-School Microsoft Stories

So they just fixed it in the kernel once I was able to prove that it was in fact the kernel issue.

Lex Fridman Podcast
#479 โ€“ Dave Plummer: Programming, Autism, and Old-School Microsoft Stories

And you'd think we would then remove my phone number, but we just commented it out.

Lex Fridman Podcast
#479 โ€“ Dave Plummer: Programming, Autism, and Old-School Microsoft Stories

So it's shipped and it's in all the damn source code leaks for NT that are out there.

Lex Fridman Podcast
#479 โ€“ Dave Plummer: Programming, Autism, and Old-School Microsoft Stories

So that's how I find task manager code is I search for my phone number on Google and it will...

Lex Fridman Podcast
#479 โ€“ Dave Plummer: Programming, Autism, and Old-School Microsoft Stories

Reverse find the empty source code.

Lex Fridman Podcast
#479 โ€“ Dave Plummer: Programming, Autism, and Old-School Microsoft Stories

A little facetious because it's probably not the smartest thing, but you will find out.

Lex Fridman Podcast
#479 โ€“ Dave Plummer: Programming, Autism, and Old-School Microsoft Stories

Yeah, I'm a little religious about my asserts, too.

Lex Fridman Podcast
#479 โ€“ Dave Plummer: Programming, Autism, and Old-School Microsoft Stories

I don't assert things that I hope aren't true.

Lex Fridman Podcast
#479 โ€“ Dave Plummer: Programming, Autism, and Old-School Microsoft Stories

I assert things that I know cannot be true.

Lex Fridman Podcast
#479 โ€“ Dave Plummer: Programming, Autism, and Old-School Microsoft Stories

And I think that's really the intent of an assertion, so I'm overstating the obvious.

Lex Fridman Podcast
#479 โ€“ Dave Plummer: Programming, Autism, and Old-School Microsoft Stories

But when it does occur, it's a bug, plain and simple.

Lex Fridman Podcast
#479 โ€“ Dave Plummer: Programming, Autism, and Old-School Microsoft Stories

It's not a warning.

Lex Fridman Podcast
#479 โ€“ Dave Plummer: Programming, Autism, and Old-School Microsoft Stories

Yeah, it's not something I want to suggest you go back and add later.

Lex Fridman Podcast
#479 โ€“ Dave Plummer: Programming, Autism, and Old-School Microsoft Stories

It's something you should do organically as you build your code.

Lex Fridman Podcast
#479 โ€“ Dave Plummer: Programming, Autism, and Old-School Microsoft Stories

So for each function, if you've got assumptions, like I know that this pointer is never null, well, assert that.

Lex Fridman Podcast
#479 โ€“ Dave Plummer: Programming, Autism, and Old-School Microsoft Stories

If you know this count is always less than twice the byte width, assert that.