Curiouskid comments on The mechanics of my recent productivity - Less Wrong

86 Post author: So8res 09 January 2014 02:30AM

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

Comments (47)

Sort By: Best

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

Comment author: Curiouskid 16 March 2015 05:23:06PM 0 points [-]

Also, I've discovered the CoqIDE theorem-proving assistant is about as addictive to me now as Legend of Zelda games used to be.

So, what you're saying is that you're addicted to Coq. :)

Comment author: [deleted] 16 March 2015 06:45:53PM 1 point [-]