Topics /

Tech Industry & Business

The most popular blog posts about tech industry & business on Hacker News. 16,896 posts.

Any year
13752

Corporations are not to be loved

I started using Apple computers — and writing code for them, starting with BASIC — 43 years ago, before the Macintosh, even, and I’ve made this my career. I’ve had all these decades to really, thoroughly delight in these incredible machines and software, and to give a little back with my own apps.

13754

You couldn't pay me to work for Ballmer

I’m not going to lie. I was never a Microsoft fan. Not even when I was using Windows (that I begrudgingly moved to after the Amiga). But at least you used to have some awe and respect for the gorilla that was Microsoft. Bill Gates might have been an evil genius, but at least he was a genius. …

13760

The Business Case for Formal Methods

This is an “intro packet” you can use to argue for the benefits of formal methods (FM) to your boss. It’s a short explanation, a list of benefits and case studies, and a demo. Everything’s in TLA+, but the arguments apply equally well to Alloy, B, statecharts, etc. Adapt the material to your specific needs. Quick…