Hacker News new | ask | show | jobs
by drdrey 747 days ago
it's also short for Abstract Interpretation, right?