B bernsteinbear.com Abstract Interpretation in the Toy Optimizer 49 points thunderbong 2 years ago 22 comments