I'm picking back up a project I started in 2017 (I set myself a deadline of 2037 at the time).

Playing around with this demo of abstract interpretation I wrote 4 years ago.

I have no idea how it works anymore, and it's probably incredibly inefficient, but keen to dive back into it!