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.

gjm comments on Open Thread, Jun. 1 - Jun. 7, 2015 - Less Wrong Discussion

3 Post author: Gondolinian 01 June 2015 12:45AM

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

Article Navigation

Comments (203)
Tags: open_thread

Comments (203)

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

Comment author: 11kilobytes 03 June 2015 08:28:50AM 5 points [-]

Would a series of posts explaining the basics of Homotopy Type Theory be well accepted here?

Comment author: gjm 04 June 2015 01:04:20PM 1 point [-]

Poll:

Submitting...

Powered by Reddit Powered by Reddit