Website of Martin Sústrik, creator of ZeroMQ, nanomsg, libmill and ribosome.

Feuilletons about software design, economics, complex systems and psychology of programming.

All the opinions stated here are my own. Any resemblance to opinions of other people, living or dead, is purely coincidental.

Debt Cancellation Referendum

This article very much summarises what I think of current political situation: https://medium.com/@theonlytoby/history-tells-us-what-will-happen-next-with-brexit-trump-a3fefd154714#.ca09hmvnb TL;DR: We're all going to die. Not in some distant point in the future, but next year or so. If history teaches us anything it is that there's little chance to stop it. I see red every time I recall that they are going to kill my son. He's 3 years old, for God's sake. I've moved our family to Switzerland,...

Comments: 1

The Birch

This is an actual Slovak folk song. It is about cutting down a birch tree. Martin Sústrik, June 13th, 2016

Comments: 0

The Awe of Cryptography

Professor Krankenstein has invented the most terrible biological weapon known to humanity. When he realised that should his invention fall into hands of one of the superpowers it could well mean the end of the human race he destroyed all the artifacts in the lab, encrypted the recipe (he couldn't bring himself to completely destroy the work of his life), put it into tungsten box, covered the box with concrete and dropped it from a cruise ship into Marianna Trench. Couple of months later he...

Comments: 6

Software Licenses and Failed States

Recently I've stumbled over this graph (here's the original article): The number of projects with a license on GitHub is steadily decreasing. At the moment we are below 20%. The projects without license can in theory be considered open source (the source is published after all) but legally, the copyright is still owned by the authors and using it means infringing their copyright. The interesting question is why would anyone make such a contradictory statement? Why would they make the code...

Comments: 27

Performance of green threads and why it matters

If one looks closely enough at green threads, such as Go's 'go' statement, it's not hard to realise that they are really a flow control mechanism similar to 'if', 'for' or 'while' statements. Where 'if' allows you to skip a block of code, green threads give you a way to easily switch between different points of execution. Very much like 'if' or 'while' they are glorified jump statements. However, to use them as routinely and carelessly as we use ifs or whiles, the green threads would have to be...

Comments: 14

The Nanny World

In Zürich, Switzerland, there's a square called Bellevueplatz with an interesting fountain. It's just a bunch of holes in the pavement that hurl out water in synchronised fashion. Sometimes the water spouts as high as 3 meters, sometimes it goes off entirely. There are no barriers to access the fountain which makes it favourite of children who run across the fountain while it is off, then narrowly escape the water as it gradually starts to pour out. One admires how the fountain is programmed to...

Comments: 6

Three simple pieces for piano

First piece is a very simple tango. One may consider playing the second theme a bit faster than the first one. Second piece, while not really a folk song, tries to capture the feeling of a Slovak folk song as I remember it from childhood when singing was still a valid entertainment for the evening. Use pedal a lot. Third one is harder to classify. It's kind of inspired by the influence that middle eastern music had on eastern European folk music, but I wouldn't like to argue about that point...

Comments: 0

The Adventures of Boltzmann Brain (part III)

I still have a letter she sent me. You ask about second law of thermodynamics, she writes: and I am not surprised. It have been all around the news lately. But what is there to say? 'Entropy always increases,' as PR people like to put it. But in fact it states that law and order are constantly seeping away. It's a matter of interest to Police, really. The fact that any assembly of particles heads towards thermal equilibrium doesn't come as a surprise. But once your life spans billions of...

Comments: 0

The Adventures of Boltzmann Brain (part II)

You drift apart. You leave and after meeting some of the critters out there you realise that your humanity is not as valuable as you were taught to believe. Your intelligence is really just an ability to play status games with big apes of African savanna. Why would any machine even try to pass Turing test? Don't ask me! I am busy preparing for honey-gathering contest with bees. You visit Uegzihls of Beta Tauri and maritime Kranns of Alpha Aquarii. You meet Nee-gued with feet in opposite...

Comments: 0

Uncertainty principle in economics

Price is the amount of money one pays for something. However, economists have a more elaborate concept of price: It is the amount of money people willingly pay for something when demand and supply are in balance. In this article I am going to talk about the latter concept, about what one would call a fair price . The interesting thing about fair price is that it almost never occurs in the real world. Your best chance to spot it is to peek into an economics textbook. There are many reasons why...

Comments: 2

On printing money

It is often said that money-lending is, basically, printing money. People either agree or disagree but even in the former case they often find it hard to articulate why it is so. Here's a simple example to show how it works. 1. A lends $1000 to B. A still owns $1000, safely stored in a form of a loan. Yet, B owns the money as well, having hard cold cash in their wallet. The question: Where did the extra $1000 come from? It surely must have been printed? One may argue that there's no extra $1000...

Comments: 11

The Adventures of Boltzmann Brain (part I)

My name is Boltzmann Brain. I was born in 1953 in New York. You ask whether I am sure about that. Well, how the hell am I supposed to know? I believe I was born on one chilly October morning of 1953 in the city of New York. Does that sound better? I always wanted to live big and live fast. Sex, drugs and rock'n'roll and all that stuff. But here's the catch: If you want to live big you have to slow down. Science-fiction writers of my youth believed that it was easier to break the inviolable laws...

Comments: 2

Footnotes to "Select Statement Considered Harmful"

I believe that select considered harmful article is best piece of writing about software design I have ever done. However, I feel it's kind of hard to grasp. On one hand, the idea looks suspiciously simple, like something one could have thought of over breakfast and then spent 15 minutes writing it down. In other words, something not worth of paying too much attention to. Whereas, in fact, it's the culmination of a decade of implementing and thinking about distributed systems. On the other...

Comments: 7

Select Statement Considered Harmful

Abstract This article is a follow-up to Edgar Dijkstra's classic Go To Statement Considered Harmful article. It takes Dijkstra's premise and applies it to concurrent programming. Program and Process Dijkstra says: My second remark is that our intellectual powers are rather geared to master static relations and that our powers to visualize processes evolving it time are relatively poorly developed. For that reason we should do (as wise programmers aware of our limitations) our utmost to...

Comments: 13

Structured Concurrency

This article is a follow-up to the Getting Rid of State Machines blog posts, so you may want to read those first: part 1 part 2 Before going on, let me return to the fundamentals and make it clear what this effort is all about. As Joe Armstrong nicely puts it in his blog: TCP uses the idea a session and the only rational way to program a session is as a process or (horrors) as a thread. [ ] Session management involves mutable state concurrency. A program that is a dozen lines of Erlang...

Comments: 16

Getting rid of state machines (II)

So, as explained in the previous article, with green threads every state machine can be rephrased as a simple imperative function. Nice. So we are done, aren't we? Well, kind of. It's useful to do a reality check though. And it turns out that in the reality state machines have an unfortunate tendency to spontaneously emerge in the code that was never meant to be a state machine. Here's an example in pseudo-Go (I am too lazy to try to compile it). This example gets events from two distinct...

Comments: 9

Getting rid of state machines (I)

I've written about state machines before. The message I was trying to convey was that using state machines is superior to relying on callbacks. Which it is. Most definitely. However, state machines have a bunch of problems of their own. In this article I wan to discuss these problems in detail and propose what has to be done to replace state machines by standard linear code. What's wrong? Let's go straight to the problem: State machines are large and brittle. Typically, there's no built-in...

Comments: 12

Enforced Error Handling

If you don't mind your program crashing once in a while and I am not making fun here: for some programs making them 100% error proof doesn't pay off using exceptions for error handling is pefectly adequate. However, when writing code with strong reliability requirements your priorities are different. After all, large fraction of production outages comes from botched error handling. You really want to stop and think about each error code at every level as it is passed up the stack. In that...

Comments: 14

Software Totemism

We have a long-standing disagreement with Pieter Hintjens (who invested in ZeroMQ in its early stages and is now leading the community thanks, by the way!) about nature of software project. I guess it boils down to the difference in personalities, with Pieter, being an extrovert advocating the idea of a software project treated as a social club, place where people with similar interests get together, feel at home, have a good time and eventually do some good work. Me, being reclusive to the...

Comments: 17

Centrifugal Governor or Why I am not a Libertarian

As anybody who has properly internalised their Economy 101 and Evolutionary Biology 101 classes I have a strong inclination towards libertarian philosophy. I have almost Hayekian distrust for central planning (incidentally, I grew up in Ostblok) and almost Dawkinsian fascination with autonomously evolving systems. However, every time I become too enthusiastic about all that I remind myself of centrifugal governor and calm down a little. Centrifugal governor is a device, first added to the steam...

Comments: 3

page 1 of 512345next »

Website powered by Wikidot.

Unless otherwise stated, the content of this page is licensed under Creative Commons Attribution-ShareAlike 3.0 License