As someone who has a deep interest in programming language implementation and who thinks about test coverage a LOT, this is a solid read.
https://futhark-lang.org/blog/2025-05-07-implement-your-language-twice.html
https://futhark-lang.org/blog/2025-05-07-implement-your-language-twice.html
Comments
Interesting stuff!
https://pron.github.io/posts/correctness-and-complexity
https://bsky.app/profile/testingrequired.com/post/3ln3z2dm5jk2w