Anyway I partly mention this because work asked me to let you know that the second BugBash, our conference on software reliability, is coming up. https://bugbash2026.antithesis.com/
I figure enough of you know a thing or two about computers that this might be interesting. I didn't make it to (/know about at the time) the first one last year, but I've watched some of the talks and they're great. https://www.youtube.com/playlist?list=PLh4UhOpNuTJM5A_Ztsaz6OHQccdYowufH
I keep forgetting to mention this in public, but I work at https://antithesis.com/ now. Joined back in November. It's been going great so far.
It's very funny, and really remarkable how often it turns out to be the case that Antithesis and Hypothesis are opposite (but complementary) to each other, e.g. on a power vs convenience curve. I'm hopefully there to help bridge some of the gap between the two.
The answer is so counter-intuitive to me that I have independently discovered it twice, about a year apart, and posted outraged comments about it in discord both times, and the second time had to be reminded that this was not the first time I'd discovered the behaviour.
It's possible it's also not the first time I've posted it on mastodon.
While we're talking about weird Python edge cases, what do you think this does?
```
class Foo:
def __getitem__(self, i):
return i
def __len__(self):
return 5
print(list(Foo()))
```
Two different approaches to debugging a software problem:
The Sudoku approach: stare at the limited set of clues you have, and think harder and harder about them until you find a way to deduce something useful.
The Minesweeper approach: don't even try to figure out the solution from only the clues you have right now. Instead, focus on finding a way to acquire another clue, and then using that to get another, and so on. Eventually you've collected so many clues that the answer is obvious.
Sometimes the Sudoku approach is necessary, because you've got all the clues you're ever going to get. But I think my new motto is "Never Sudoku a problem when you can Minesweeper it."
Simon Tatham
Lorin Hochstein 