Showing two programs are equal by transforming them to latent space | Hacker News Reader