miniblog.

Language design question: what type should `while True {}` have? Bottom: It doesn't contain any `break` statements. Unit: Treat loops with/without `break` consistently. I already have lints that warn on unreachable code after diverging loops, so the Unit case feels surprising.

Is there a programming equivalent of the strawberry problem, i.e. a specific coding task that LLMs are consistently bad at?

I've started highlighting constructors like Some and None consistently with type names in difftastic, and the results look so much more readable!