Thinking about this #ZetZ thing (https://www.infoq.com/news/2020/02/zz-formal-verified-c-dialect/) which seems to be C with an additional theorem prover language. It's a very cool idea for a very specific low-level use case.
As a #lisp programmer, I can't help but wince every time someone mentions "the lambda calculus."
The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!