Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
aSanchezStern
on Oct 27, 2023
|
parent
|
context
|
favorite
| on:
Lean4 helped Terence Tao discover a small bug in h...
Additionally, formal verification usability is an area of constant research, and the set of software for which it is the best ROI increases over time.
Join us for
AI Startup School
this June 16-17 in San Francisco!
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
