computer science researcher, co-author of the HelenOS (@HelenOSorg) microkernel multiserver OS, passionate programmer, F/OSS advocate, IT specialist, feminist
Prague, Czech Republic
Joined November 2009
- Tweets4.1K
- Following364
- Followers407
- Likes2K
Dolly Parton and Tim Curry left us on the same day?! That must be a cruel joke 😭 #sad
A sticker that my colleague put on our office window in Dresden. Seems fitting. #world
ALT Directed by David Lynch
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
Call for Participation: Microkernel and Component-Based OS Devroom at FOSDEM 2026
fosdem.microkernel.info/
#microkernel #fosdem
HarmonyOS NEXT (a microkernel-based OS) running on a Huawei's laptop and smartphone. The user experience is absolutely flawless. #microkernel #desktop #smartphone #harmonyos
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ý retweeted
Eager to know the #future of #Turris? Visit our #booth during @LinuxDaysCZ 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/
ALT The message on the picture is: "Unveil: Turris Omnia NG, 4-5 October 2025 @ LinuxDays (FIT ČVUT, Praha Dejvice)" and it is illustrated by corner of the router peaking out a blue curtain.
An absolute highlight of the first day of the seL4 Summit: A talk by @BoydMulterer (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
The seL4 Summit takes place next week in Prague already. Whom am I going to meet there? events.linuxfoundation.org/s… #microkernel #os #conference #prague #sel4
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/202…
Here are the slides from my status update talk about #HelenOS from the #Microkernel devroom at @FOSDEM 2025. It was an honor to participate in the devroom again. Many thanks to @udosteinberg and Alexander van der Grinten for the flawless organization! slideshare.net/slideshow/hel…
