Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
ianhorn
85 days ago
|
parent
|
context
|
favorite
| on:
“Why not just use Lean?”
Complex numbers and Schwartz distributions (the thing the dirac delta is) come immediately to mind. “Not all numbers have square roots, but what if they did?” It seems like a common pattern.
Consider applying for YC's Fall 2026 batch!
Applications
are open till July 27.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search: