… a proof is a program, the formula it proves is a type for the program. http://en.wikipedia.org/wiki/Curry%E2%80%93Howard_correspondence…

The equilibrium state of software is broken http://www.reddit.com/r/PHP/comments/2jagm6/guidance_needed_outdated_framework_company/…

Complete rewrites from scratch are never the answer, no matter how tempting. You might think that multiple refactors are going to take longer, but you’re completely forgetting to account for all the t…

Email needs to be disrupted about as much as the hammer needs to be disrupted. https://news.ycombinator.com/item?id=8493619…

If the tech industry gets rid of its iconoclasts, if it expels its rabble rousers, if it Bans Fun, will it even be the tech industry we treasure any more? Can technology remain an innovation engine wh…

Facebook is for chatting with your friends about family and passions. Twitter, for chatting about real-time events. LinkedIn, for getting a job or doing a business-development deal. Google+, for photo…

This is really very, very straightforward: snippets (mostly text, I think) from various places, with the slight constraint that they be somehow (however tenuously) related to programming or computer s…

That’s why I don’t find Google Now too appealing: I don’t want a personal assistant who tries to figure out what I want. I want a personal assistant that can do what I want when I ask for it. @sz4ker…

Looking back, Steele says he found the Stallman mind-meld both exhilarating and scary at the same time. “My first thought afterward was: it was a great experience, very intense, and that I never wante…

If you do anything useful it will haunt you forever after, and if you have a major success you get decades of hard manual labor - meaning you have to work on the manual. Bjarne Stroustrup…