Hacker News new | past | comments | ask | show | jobs | submit login
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

Search: