Hacker News new | ask | show | jobs
by semigroupoid 2911 days ago
How do you work with smooth functions without using reals?