Hacker News new | ask | show | jobs
by alephknoll 797 days ago
You can have a 2-3-4 right triangle if you can find the right axioms for it.