"A Taxonomy of Hoare-Like Logics" by Verscht and Kaminski (POPL'25).  Interesting work!Theoretical PL papers are often glossing over practical advantages of languages and logics. As researchers, we should emphasize concrete impact and rise above theory.