#sel4summit — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #sel4summit, aggregated by home.social.
-
Are you doing something interesting with #sel4? The call for presentations is now out for the #sel4summit 2026 in Vancouver!
-
Are you doing something interesting with #sel4? The call for presentations is now out for the #sel4summit 2026 in Vancouver!
-
Are you doing something interesting with #sel4? The call for presentations is now out for the #sel4summit 2026 in Vancouver!
-
Are you doing something interesting with #sel4? The call for presentations is now out for the #sel4summit 2026 in Vancouver!
-
Are you doing something interesting with #sel4? The call for presentations is now out for the #sel4summit 2026 in Vancouver!
-
An absolute highlight of the first day of the seL4 Summit: A talk by Boyd Multerer (Founder and CEO of Kry10) explaining why developing software must stop being a craft and must start being a true engineering process supported by automated reasoning. @sel4 #sel4summit #software #engineering
-
An absolute highlight of the first day of the seL4 Summit: A talk by Boyd Multerer (Founder and CEO of Kry10) explaining why developing software must stop being a craft and must start being a true engineering process supported by automated reasoning. @sel4 #sel4summit #software #engineering
-
An absolute highlight of the first day of the seL4 Summit: A talk by Boyd Multerer (Founder and CEO of Kry10) explaining why developing software must stop being a craft and must start being a true engineering process supported by automated reasoning. @sel4 #sel4summit #software #engineering
-
An absolute highlight of the first day of the seL4 Summit: A talk by Boyd Multerer (Founder and CEO of Kry10) explaining why developing software must stop being a craft and must start being a true engineering process supported by automated reasoning. @sel4 #sel4summit #software #engineering
-
An absolute highlight of the first day of the seL4 Summit: A talk by Boyd Multerer (Founder and CEO of Kry10) explaining why developing software must stop being a craft and must start being a true engineering process supported by automated reasoning. @sel4 #sel4summit #software #engineering
-
The seL4 Summit takes place next week in Prague already. Whom am I going to meet there? https://events.linuxfoundation.org/sel4-summit/ #microkernel #os #conference #prague #sel4 #sel4summit
-
The seL4 Summit takes place next week in Prague already. Whom am I going to meet there? https://events.linuxfoundation.org/sel4-summit/ #microkernel #os #conference #prague #sel4 #sel4summit
-
The seL4 Summit takes place next week in Prague already. Whom am I going to meet there? https://events.linuxfoundation.org/sel4-summit/ #microkernel #os #conference #prague #sel4 #sel4summit
-
The seL4 Summit takes place next week in Prague already. Whom am I going to meet there? https://events.linuxfoundation.org/sel4-summit/ #microkernel #os #conference #prague #sel4 #sel4summit
-
The seL4 Summit takes place next week in Prague already. Whom am I going to meet there? https://events.linuxfoundation.org/sel4-summit/ #microkernel #os #conference #prague #sel4 #sel4summit