Martin Děcký

computer science researcher, co-author of the HelenOS (@HelenOSorg) microkernel multiserver OS, passionate programmer, F/OSS advocate, IT specialist, feminist

[Martin Děcký @mdecky]

Dolly Parton and Tim Curry left us on the same day?! That must be a cruel joke 😭 #sad

[Martin Děcký @mdecky]

Let there be light again! #solar #eclipse #totality #ending

[Martin Děcký @mdecky]

Amazing colors. #spring #nofilter

[Martin Děcký @mdecky]

Godspeed, Artemis II.

[Martin Děcký @mdecky]

The God has died today and Chuck Norris has taken the job. #rip

[Martin Děcký @mdecky]

A sticker that my colleague put on our office window in Dresden. Seems fitting. #world

[Martin Děcký @mdecky]

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

[Martin Děcký @mdecky]

Call for Participation: Microkernel and Component-Based OS Devroom at FOSDEM 2026
https://t.co/lT61nnEEXn
#microkernel #fosdem

[Martin Děcký @mdecky]

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]

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 😊

[Turris @turris_cz]

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 https://t.co/8rIGUPbidm

[Martin Děcký @mdecky]

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

[Martin Děcký @mdecky]

The seL4 Summit takes place next week in Prague already. Whom am I going to meet there? https://t.co/lSxduGl14u #microkernel #os #conference #prague #sel4

[Martin Děcký @mdecky]

Jim Lovell (1928 — 2025)

[Martin Děcký @mdecky]

James Dean in 2025. Inspired by the iconic photo by Dennis Stock. #mood #ai

[Martin Děcký @mdecky]

Snake playing as Snake. #MGS #snake #ai

[Martin Děcký @mdecky]

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 https://t.co/wPkGohgULJ

[Martin Děcký @mdecky]

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! https://t.co/JcFEmBS94h

[Martin Děcký @mdecky]

The 25th @fosdem, with more attendees than ever. It's great to be back again! #fosdem #fosdem2025

[Martin Děcký @mdecky]

New mode of transportation to @FOSDEM via @EuropeanSlpr. #night #train #fosdem