Support tech caught by 'Technician Aura': the bug that only hides when you're watching

Lean proved this program correct; then I found a bug

Non-Determinism Isn't a Bug. It's Tuesday

Microsoft says Copilot ad in GitHub pull request was a bug, not an advertisement