So Coq has been already mentioned in the reddit discussion of my blog post: http://www.reddit.com/r/programming/comments/20vwg4/the_power_algorithm/ … #win
@old_sound @tsantero I tend to adopt the donor language of the con... that way I benefit when folk correct my code, I learn their idioms...
-
-
@old_sound@tsantero Given your subject (in the blog article) was algorithms (not their manifestation in PHP) not sure how folk can complain -
@darachennis@old_sound@tsantero people can always complain, it's one of the big achievements of mankind! - 7 more replies
New conversation -
-
-
@darachennis@tsantero in my case it was a talk with one day notice since some speaker canceled. Also PHP -> JS is about removing the $ sign -
@old_sound@tsantero So, if I add $ to node we could have node.php? :)
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.