The author reflects on their experience as a programmer and notes that programming languages have not seen significant improvements over the years. They mention that even popular languages like Java and Rust still have issues such as buffer overflows and unbridled messes with aliasing. However, the author has found a language called Dafny that amazes them with its ability to statically check critical properties of programs. They provide examples of how Dafny can check postconditions and ensure correctness at compile time. The author concludes by posing an interesting puzzle and suggests that Dafny can quickly provide an answer.
https://whileydave.com/2023/06/27/programming-languages-going-above-and-beyond/