You're looking at Less Wrong's discussion board. This includes all posts, including those that haven't been promoted to the front page yet. For more information, see About Less Wrong.

bogus comments on Open thread, Nov. 23 - Nov. 29, 2015 - Less Wrong Discussion

5 Post author: MrMind 23 November 2015 07:59AM

You are viewing a comment permalink. View the original post to see all comments and the full post content.

Article Navigation

Comments (257)
Tags: open_thread

Comments (257)

You are viewing a single comment's thread. Show more comments above.

Comment author: bogus 24 November 2015 08:32:09PM *  1 point [-]

But 1960's Lisp was as bare-bones as it was high-level; you still had to wrote almost everything yourself from scratch.

Computerized math is the same today. No one wants to write everything they need from scratch, unless they're working in a genuinely self-contained (i.e. 'synthetic') subfield where the prereqs are inherently manageable. See programming languages (with their POPLmark challenge) and homotopy-type-theory as examples of such where computerization is indeed making quick progress.

Powered by Reddit Powered by Reddit