Martin Děcký

Amazing colors. #spring #nofilter

Godspeed, Artemis II.

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

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

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 😊

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/

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/sel4-summit/ #microkernel #os #conference #prague #sel4

Jim Lovell (1928 — 2025)

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

Snake playing as Snake. #MGS #snake #ai

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…

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/hele…

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

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

Good morning! #morning #nofilter

The next meetup takes place on Jan. 21st, 2025 at APB, TU Dresden, hosted by Prof. Dr. Horst Schirmeier - @multibitflip. Sorry that it took so long since the last meetup! Very excited to see you all again! More info: ukvly.org