Hacker News new | ask | show | jobs
Impossibility of Correctness Checking for Generic Numeric Programs (medium.com)
1 points by ningcongchen 455 days ago