Hacker News new | ask | show | jobs
by layer8 549 days ago
Yes, but once you work with those formal models, you’re really doing algebra and not intuitive geometrics anymore.