Subscribe to this list via RSS Blog posts tagged in humor

Posted by on in Blogs
Or, As We Called It Back in 1999, "Tuesday" So this tweet got a lot of attention: potch @potch alias yolo='git commit -am "DEAL WITH IT" && git push -f origin master' I laughed at this, not because it implies some kind of reckless disregard for process and community, but because, in 1999,  at a former employer, when our VCS was Microsoft SourceSafe, this was just the way that we went about our business. Times have changed!...

Posted by on in Blogs
Job Security From News of the Weird: Facing a state budget crisis in July, California Gov. Arnold Schwarzenegger fired about 10,000 temporary and part-time workers and ordered the 200,000 permanent employees to be paid only the minimum wage of $6.55 an hour until the legislature passed a crisis-solving budget. However, a week later the State Controller John Chiang pointed out that state payroll records could not be changed to accommodate the cut because they were written in the antiquated COBOL computer lan...
A Proof of the Undecidability of the Halting Problem, In Verse Well, the title of this post pretty much tells the story; Geoffrey K. Pullum has published a proof that the Halting Problem is undecidable, in verse.  Here's an excerpt: Here’s the trick that I’ll use – and it’s simple to do. I’ll define a procedure, which I will call Q, that will use P’s predictions of halting success to stir up a terrible logical mess. Do read the whole thing, as it actually does contain a peer-reviewed proof. Personally, I find rhyme and meter to be underused tools in...
  • Page :
  • 1

Check out more tips and tricks in this development video: