A handy list of links of useful resources that I've spent way too much time finding again and again.
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.