Martin Děcký (@mdecky) 's Twitter Profile
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

linkhttp://www.decky.cz/ calendar_today08-11-2009 17:28:42

4,4K Tweet

416 Followers

371 Following

Systems Meetup Dresden (@ukvly) 's Twitter Profile Photo

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

Martin Děcký (@mdecky) 's Twitter Profile Photo

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…

Martin Děcký (@mdecky) 's Twitter Profile Photo

In January, I've presented a lightning talk reviewing a few amazing events in the domain of microkernel-based operating systems in 2024. Let's hope that 2025 will be even better. Did I miss anything important? #microkernel #operating #systems slideshare.net/slideshow/2024…

Martin Děcký (@mdecky) 's Twitter Profile Photo

The seL4 Summit takes place next week in Prague already. Whom am I going to meet there? events.linuxfoundation.org/sel4-summit/ #microkernel #os #conference #prague #sel4

Martin Děcký (@mdecky) 's Twitter Profile Photo

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

An absolute highlight of the first day of the seL4 Summit: A talk by <a href="/BoydMulterer/">Boyd Multerer</a> (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
Turris (@turris_cz) 's Twitter Profile Photo

Eager to know the #future of #Turris? Visit our #booth during LinuxDays and be the first one to see the new #OmniaNG IRL! New #powerful #opensource #secure #wifi #router is here! Big unveil this #Saturday (CZ@10:30, EN@13:00), #stream will be available linuxdays.cz/2025/program/

Eager to know the #future of #Turris? Visit our #booth during <a href="/LinuxDaysCZ/">LinuxDays</a> and be the first one to see the new #OmniaNG IRL! New #powerful #opensource #secure #wifi #router is here! Big unveil this #Saturday (CZ@10:30, EN@13:00), #stream will be available linuxdays.cz/2025/program/
Martin Děcký (@mdecky) 's Twitter Profile Photo

Včerejší #PodVocasemLIVE nemělo chybu! Děkuji Romanu Provazníkovi and Petru Polákovi za skvělou atmosféru a jejich hostům (Kateřina Charvátová, Michal Benatský a Honza Javorek) za mimořádně zajímavé povídání. Snad vznikl základ nové tradice 😊

Martin Děcký (@mdecky) 's Twitter Profile Photo

HarmonyOS NEXT (a microkernel-based OS) running on a Huawei's laptop and smartphone. The user experience is absolutely flawless. #microkernel #desktop #smartphone #harmonyos

HarmonyOS NEXT (a microkernel-based OS) running on a Huawei's laptop and smartphone. The user experience is absolutely flawless. #microkernel #desktop #smartphone #harmonyos
Martin Děcký (@mdecky) 's Twitter Profile Photo

Call for Participation: Microkernel and Component-Based OS Devroom at FOSDEM 2026 fosdem.microkernel.info #microkernel #fosdem

Martin Děcký (@mdecky) 's Twitter Profile Photo

HarmonyOS NEXT (based on the HongMeng Microkernel) running on Huawei Mate 60 Pro (hardware originally released in 2023). Sorry for the pointless demo, it was during a social event and I didn't want to play alone with a phone in the corner 😅 #microkernel #smartphone #harmonyos