Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
dllthomas
on June 4, 2019
|
parent
|
context
|
favorite
| on:
SATNet: Bridging deep learning and logical reasoni...
In some senses we are past the halting problem once we accept that that we will sometimes be wrong or unable to answer. Insofar as it has anything to do with the halting problem, this seems just another way to do that. Might still be useful.
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: