|
|
| | Ask HN: Is code assisting your intelligence? | |
3 points by hyperpallium2 8 days ago | hide | past | favorite | discuss |
|
| Pen and paper assist working memory; books assist long-term memory; it seems comouters can assist our reasoning - but do they? I don't mean code that assists us to write code, but that assists us to reason. Maybe along the lines of proof assistants (e.g. coq or lean). [ Of course, if you say that a program is a form of reasoning, then assisting programming is assisting reason... but that's more a John Searl's "Chinese Room", where the intelligence being assisted is not yours. ] |
|
|
|
|
Applications are open for YC Summer 2021
Guidelines
| FAQ
| Lists
| API
| Security
| Legal
| Apply to YC
| Contact
|
