4 ms·

I believe he is correct. As a more unqualified opinion from someone who codes (not necessarily programs) a lot of spin loops for embedded systems, I am also con

I believe he is correct. As a more unqualified opinion from someone who codes (not necessarily programs) a lot of spin loops for embedded systems, I am also convinced that software devs should also become drummers. Perhaps not really but the sound would be awesome. I believe TLA+ is the better and more precise description of state machines and would very much reduce the verbosity for complex systems. From there the abstraction for new languages should happen. Here are some examples for that from Lamport himself: https://lamport.azurewebsites.net/video/video2-script.pdf https://lamport.azurewebsites.net/video/video2-script.pdf

solarmist 4y ago
This is interesting. Why drummers? I know programmers are drawn to music and languages as other interests, but you seem to have something specific in mind.
- walleeee 4y ago
  Speaking as one, a drummer must have something called limb independence, which means the right leg might be playing one pattern on the kick drum, left leg a different pattern on the hihat (or a double pedal etc), who knows what's going on in the hands, and yet it all has to come together and sound synchronized. This doesn't seem so different, conceptually, from managing mental models of several independent processes doing various things on various schedules, while making sure the whole distributed program acts coherently to produce the expected output. Just a theory! I don't know how much the two faculties really overlap.
- raxxorraxor 4y ago
  The drummer part wasn't meant that seriously. Just that a spin loop of an embedded system that controls a machine has a certain rhythm to it with very precise timings. Perhaps I am just under the illusion that my programs are some form of ballad. Thinking more on it I would be quite afraid if my µC starts any kind of solo.

4 ms·

I believe he is correct. As a more unqualified opinion from someone who codes (not necessarily programs) a lot of spin loops for embedded systems, I am also con

by raxxorraxor 4y ago

solarmist 4y ago
This is interesting. Why drummers? I know programmers are drawn to music and languages as other interests, but you seem to have something specific in mind.
- walleeee 4y ago
  Speaking as one, a drummer must have something called limb independence, which means the right leg might be playing one pattern on the kick drum, left leg a different pattern on the hihat (or a double pedal etc), who knows what's going on in the hands, and yet it all has to come together and sound synchronized. This doesn't seem so different, conceptually, from managing mental models of several independent processes doing various things on various schedules, while making sure the whole distributed program acts coherently to produce the expected output. Just a theory! I don't know how much the two faculties really overlap.
- raxxorraxor 4y ago
  The drummer part wasn't meant that seriously. Just that a spin loop of an embedded system that controls a machine has a certain rhythm to it with very precise timings. Perhaps I am just under the illusion that my programs are some form of ballad. Thinking more on it I would be quite afraid if my µC starts any kind of solo.