emilgardis

joined 2 years ago
[–] emilgardis@lemmy.ml 2 points 1 week ago

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

[–] emilgardis@lemmy.ml 8 points 4 months ago

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

[–] emilgardis@lemmy.ml 3 points 7 months ago

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.

[–] emilgardis@lemmy.ml 15 points 1 year ago (1 children)