Thinking about this thing (infoq.com/news/2020/02/zz-form) 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.

But... what if a with a prover? Hmm...

As a programmer, I can't help but wince every time someone mentions "the lambda calculus."

If you are interested in , this lovely little paper will get you started making a bare-bones -to-x86 compiler incrementally. scheme2006.cs.uchicago.edu/11- I worked through it using Common and it was amazing.

Daniel Lowe's choices:

Cantos.social

The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!