[HourglassFR]

> (and have written much about it, e.g. https://pron.github.io/posts/correctness-and-complexity)

Wow, thanks for that link. I only made it through the first part for the moment but it is an incredible read. You clearly thought about this more deeply and carefully than I did.

Edit: I'm not entirely sure how that came across so I want to explicitly say that this is not a dry ironic statement (communication is hard, and I am a poor writer).

[pron]

If there's anything I learned it is to be wary of any easy answers or definitive claims when it comes to software correctness.

[dnautics]

Are you interested in helping kickstart interest into formal verification of zig? My contact info in profile.