Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
zeepzeep
on April 17, 2020
|
parent
|
context
|
favorite
| on:
Roger Penrose – Is Mathematics Invented or Discove...
Java was invented, Agda was discovered.
(Obviously I'm in the religion where math does exist.)
Consider applying for YC's Fall 2025 batch! Applications are open till Aug 4
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
(Obviously I'm in the religion where math does exist.)