Imagine a restaurant. A professional chef, in charge of the best pizzas in town, and nobody knows how’re they done. It’s such a secret, those magic ingredients. And imagine a bunch of apprentices, supposed to help him. Imagine them following the chef’s orders. And then see, the chef going to the fridge to take some […]
Lambda
A collection of informatics-related topics gathered under the Lambda category; because lambda-calculus rocks it.
Processors, Part One: the Past. The Architecture
How to widen the bottleneck of processing? If the solution were trivial, it wouldn’t merit a post – in fact the workarounds are of the kind that’s easy to invent but hard to formalise. Like the megapixels are not a true indicator of the quality of a camera, or the decibels are not a true […]
On so called low-level and performant languages
Last time, we dug into a new debate: are languages really decoupled from the hardware that runs them? Are the semantics of a language modelling mainstream hardware, and should they? Can we escape to new models of hardware, and new models of semantics? We saw that Backus made a good point arguing that languages have […]
Backus on Von Neumann at the Turing Award

On a previous post, we talked about Von Neumann’s Turing Complete model for a computer. A CPU, some Memory, and I/O. It was beautiful, but it had its disadvantages, and an unfortunate legacy. Today, John Backus will lead our journey through these matters. Enter Sandman: Backus 32 years later, a thorough critique was addressed, ironically, […]
The Von Neumann Architecture, a friend and a foe

Von Neumann, another star from Göttingen, gave the next important step in computation after Turing (checkout my previous post for Turing’s first step), in a way that, to this day, you can’t talk about computers without talking about Von Neumann. Which came first: the Hardware, or the Software and Languages? In an analogous way to […]
What has Turing given to us

Last time, I mentioned to have befriended Alan Turing. Who? You might fairly ask. Why? Those who already know him might add. Let me answer those questions. Three years ago (pretty accurately), Leon and I were passing by Göttingen. It was our first bike trip, and along the road, we agreed this city was a […]
How I befriended Alan Turing

While Leon has been learning about arts, and he as been writing about it, I caught up with a hobby of my own as well, but I have been silent about it. I befriended Alan Turing. And it’s time I talk about it. Let me keep it short so I can get to the point. Some […]