While some tools exist to reason about the correctness of a program and its fitness for particular purposes, there remain a number of unexamined approaches which will likely prove fruitful to explore.
The productivity of any piece of capital or laborer is entirely a function of its error rate; being able to quantify the conditions under which failures can be expected is thus of the utmost importance.
In the era of testsuite generation via large language models, this is of even greater concern.
I will lay out what is currently available, how that fits into a framework for reasoning about programs in a rigorous fashion, and identify places where our ability to reason could be improved via tooling.
Prototypes of said tools will also be demonstrated in Perl.