Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
rikthevik
on Feb 27, 2025
|
parent
|
context
|
favorite
| on:
Long division verified via Hoare logic
Sometimes I read a paper or see some code that makes me think that wizards are real and that they walk among us.
Consider applying for YC's Summer 2026 batch! Applications are open till May 4
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
