Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
nonethewiser
4 days ago
|
parent
|
context
|
favorite
| on:
What TLA+ can and can't check
My question is concerned with improving quality of AI implementations. Its plainly true, uninteresting, and beside the point to observe that AI cannot read minds.
help
Consider applying for YC's Winter 2027 batch!
Applications
are open till November 2.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
