I was inspired to write this down by @oxide.computer's podcast episode on software rigour in the LLM age. There's a ton of interesting work in this area, but it gets drowned by the larger discourse.
So here I am, trying to do my part in pushing it above the noise threshold!