Martin Děcký
@mdecky
computer science researcher, co-author of the HelenOS (@HelenOSorg) microkernel multiserver OS, passionate programmer, F/OSS advocate, IT specialist, feminist
ID: 88464380
http://www.decky.cz/ 08-11-2009 17:28:42
4,4K Tweet
416 Followers
371 Following
The next meetup takes place on Jan. 21st, 2025 at APB, TU Dresden, hosted by Prof. Dr. Horst Schirmeier - Horst Schirmeier. Sorry that it took so long since the last meetup! Very excited to see you all again! More info: ukvly.org
New mode of transportation to FOSDEM @[email protected] via European Sleeper. #night #train #fosdem
The 25th FOSDEM @[email protected], with more attendees than ever. It's great to be back again! #fosdem #fosdem2025
Here are the slides from my status update talk about #HelenOS from the #Microkernel devroom at FOSDEM @[email protected] 2025. It was an honor to participate in the devroom again. Many thanks to Udo Steinberg and Alexander van der Grinten for the flawless organization! slideshare.net/slideshow/hele…
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. #sel4summit #engineering