Why Aren't Programming Language Specifications Comprehensive?

As someone who has As someone who has fromfrom timetime toto

Over time, I’ve recorded a few videos on programming topics, most recently on the Over time, I’ve recorded a few videos on programming topics, most recently on the ComputerphileComputerphile channel. For example, one on channel. For example, one on implementing a programming languageimplementing a programming language was released last week; another on was released last week; another on implementing an HTTP serverimplementing an HTTP server came out earlier this year; and you can... came out earlier this year; and you can...

I’ve just released I’ve just released pizauth-1.0.6pizauth-1.0.6 which introduces one notable new feature: support for HTTPS redirects. New features sound good, but what does this actually mean? My experience is that the way OAuth2 works is sufficiently counter-intuitive that people often struggle to make sense of what it’s doing. which introduces one notable new feature: support for HTTPS redirects. New features sound good, but what does this actually mean? My experience is that the way OAuth2 works is sufficiently counter-intuitive that people often struggle to make sense of what it’s doing. Here’s a very quick, simplified, summary of what OAuth2, and pizauth do Here’s a very quick, simplified, summary of what OAuth2, and pizauth do [1][1]. OAuth2 lets you.... OAuth2 lets you...

What happens if you listen to 60 seconds of your favourite radio station / audiobook and then 60 seconds of a random non-professional podcast? The former will be pleasant to listen to, with good intelligibility — it’s easy to understand everything the speakers say. The latter, however, are often somewhat unpleasant to listen to and have poor intelligibility. To add insult to injury, different episodes of the same podcast will often vary in quality and volume. Fortunately, it...

Recent posts Blog archive Following “What Factors Explain the Nature of Software?”, a number of people have asked me: “aren’t the circular specification problem and the observer effect the same thing?” I take the blame for not making this clearer previously. In this...