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!
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!
One weird trick I use to get over the mental barrier: write a TODO comment listing all the test cases you'd like to write.
This effectively breaks it up into much simpler tasks, and seeing the list go down helps with motivation.
One weird trick I use to get over the mental barrier: write a TODO comment listing all the test cases you'd like to write.
This effectively breaks it up into much simpler tasks, and seeing the list go down helps with motivation.