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
-
-
Replying to @old_sound
@old_sound love how you sprinkle a little haskell in at the end1 reply 0 retweets 0 likes -
Replying to @old_sound
@old_sound yeah. thats probably one of the more unbecoming behaviors in tech, bandwagon prejudice + superficial criticism. nice post, tho2 replies 0 retweets 0 likes -
Replying to @old_sound
@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...2 replies 0 retweets 0 likes -
Replying to @darachennis
@darachennis@tsantero in my case it was a talk with one day notice since some speaker canceled. Also PHP -> JS is about removing the $ sign1 reply 0 retweets 0 likes
Replying to @old_sound
@old_sound @tsantero So, if I add $ to node we could have node.php? :)
4:49 AM - 20 Mar 2014
0 replies
0 retweets
0 likes
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.