Hacker News new | ask | show | jobs
by drBonkers 53 days ago
Do you have any readings you recommend to start thinking in terms of non-deterministic algorithms and cheap verifiers?
2 comments
f1shy 53 days ago
Neurosymbolic programming
link
whatever120 53 days ago
That’s not a particular reading
link
mistrial9 53 days ago
filters
link