How is code born? What do good developers look for when they write their code? The development of a system can be measured by its trade-offs. Some systems cannot be slow, some others cannot fail, some others cannot be too expensive. All systems want to have everything, obviously. But they cannot, obviously. Before we study […]
Informatics
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 […]
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 […]
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 […]