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 very inefficient, but keen to dive back into it!
