| ||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
| Apply to YC