Huh looks like I need to do a lot more reading to understand all of this! :) I'm... | Hacker News

Hacker News new | past | comments | ask | show | jobs | submit

login

jwtadvice on Jan 26, 2017 | parent | context | favorite | on: Proofs are Programs – 19th Century Logic and 21st ...

Huh looks like I need to do a lot more reading to understand all of this! :)

I'm still trying to understand what the Probablistic Method looks like as a program. Any thoughts on that?

Join us for AI Startup School this June 16-17 in San Francisco!
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact