Please Stop Writing so Much Code

Everywhere I’ve worked, there’s a hidden (and sometimes not-so-hidden) expectation that code constantly get pushed out. Code not being pushed is a red flag. Make sure you take no longer than a week for a Jira ticket or a Github issue. Have you been taking longer than a week? Expect to get pinged on Slack: … [Read more…]

The Case for Artisanal Programming

“How to Make $100/hr as a Freelance Software Developer (No Degree Required)” a YouTube video title reads — with a quarter-million views to boot. “Turning code to cash — How to make money as a Web Developer” is the title of a Medium article published by freeCodeCamp. It’s obvious that programming is hot right now — with … [Read more…]

How Spread Syntax Breaks Javascript

I haven’t looked at the mailing lists and drafts, so I’m not sure who came up with the brilliantly-awful spread syntax (not operator) that’s made its way into ES6 and is being used liberally by React, Redux, Vue, and many others, but… seriously? Ecmascript has been making strides in the “serious language for serious things” … [Read more…]

Gödel’s Second Incompleteness Theorem for Programmers

In the previous blog post in this series, we looked at Gödel’s First Incompleteness Theorem, and came to the amazing conclusion that we can’t compute certain kinds of functions in formal systems (like Javascript). Specifically, we looked at a special function, , which turned out to be non-computable. In case we forgot, the first incompleteness … [Read more…]

Gödel’s First Incompleteness Theorem for Programmers

Gödel’s incompleteness theorems have been hailed as “the greatest mathematical discoveries of the 20th century” — indeed, the theorems apply not only to mathematics, but all formal systems and have deep implications for science, logic, computer science, philosophy, and so on. In this post, I’ll give a simple but rigorous sketch of Gödel’s First Incompleteness … [Read more…]

PEP 308 and why I still hate Python

I’m not a Python guy, but it seems that every job I’ve had has slowly pushed me into doing more and more Python until I end up doing nothing but Python all day. And I hate doing Python all day. To be fair, Python isn’t terrible, but throughout its lifetime, it made some incredibly poor … [Read more…]