A recap of my experience attending SPLV24 (Scottish Programming Language and Verivification summer school 2024)
A list of things I've kept within reach to refer back or ponder while working with or around php-src, or potential projects for it.