A little bit unrelated, but reading through their member list: https://sel4.systems/Foundation/Membership/ https://sel4.systems/Foundation/Membership/ reminds

A little bit unrelated, but reading through their member list: https://sel4.systems/Foundation/Membership/ https://sel4.systems/Foundation/Membership/ reminds me that Jobs explains why their company called "Apple Computer" is: "I worked at Atari, and it got us ahead of Atari in the phone book."[1]. Apple is the first one of all sel4 general member too. [1] https://www.businessinsider.com/apple-archive-name-apple-2011-12 https://www.businessinsider.com/apple-archive-name-apple-201...