Programming

Hacker-proof code confirmed →

Published October 22, 2016  ·  All posts on Oct 22

The aspiration to create formally verified software has existed nearly as long as the field of computer science. For a long time it seemed hopelessly out of reach, but advances over the past decade in so-called “formal methods” have inched the approach closer to mainstream practice. Today formal software verification is being explored in well-funded academic collaborations, the U.S. military and technology companies such as Microsoft and Amazon.

~ Kevin Hartnett from, Hacker-Proof Code Confirmed | Quanta Magazine

slip:4uqufo1.

ɕ

Six programming paradigms →

Published January 7, 2015  ·  All posts on Jan 7

This is not your grandma’s “functional programming will change the world!” blog post: this list is much more esoteric. I’d wager most readers haven’t heard of the majority of the languages and paradigms below, so I hope you have as much fun learning about these new concepts as I did.

~ Yevgeniy Brikman, from Six programming paradigms that will change how you think about coding

slip:4ubosi2.

ɕ

Programming sucks →

Published December 20, 2014  ·  All posts on Dec 20  ·  

Every friend I have with a job that involves picking up something heavier than a laptop more than twice a week eventually finds a way to slip something like this into conversation: “Bro,1 you don’t work hard. I just worked a 4700-hour week digging a tunnel under Mordor with a screwdriver.”

System administration sucks too:

… And if these people stop, the world burns. Most people don’t even know what sysadmins do, but trust me, if they all took a lunch break at the same time they wouldn’t make it to the deli before you ran out of bullets protecting your canned goods from roving bands of mutants.

~ Peter Welch from, Programming Sucks

slip:4usipo1.

hear! hear!

ɕ

Why is estimating so hard? →

Published August 18, 2013  ·  All posts on Aug 18

It turns out that we don’t know the procedure. We haven’t got any clue to just how difficult the procedure is. We aren’t computers. We don’t follow procedures. And so comparing the complexity of the manual task, to the complexity of the procedure is invalid.

~ Uncle Bob Martin from, Clean Coder Blog

slip:4utiue2.

ɕ