Had to stop reading the article with that opening. Holy AI

Haha so true, its not what they are changing, its their opening...

Is this how grok writes things? I genuinely have no clue

Here's a bad example but hopefully captures the why. https://play.rust-lang.org/?version=stable&mode=debug&edition=2024&gist=43d055381e7bb52569c339d4526818f4

We have a condition we know must be satisfied (the option will always be Some), but cant prove in code.