Ask HN: Is code assisting your intelligence?
Pen and paper assist working memory; books assist long-term memory; it seems comouters can assist our reasoning - but do they?<p>I don&#x27;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).<p>[ Of course, if you say that a program <i>is</i> a form of reasoning, then assisting programming is assisting reason... but that&#x27;s more a John Searl&#x27;s &quot;Chinese Room&quot;, where the intelligence being assisted is not yours. ]