@mdecky profile picture
Martin Děcký @mdecky

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

Joined November 2009
  • Tweets 4,091
  • Following 364
  • Followers 408
524 Photos and videos
Amazing colors. #spring #nofilter
35
Godspeed, Artemis II.
Artemis II takeoff.

ALT Artemis II takeoff.
1
1
175
The God has died today and Chuck Norris has taken the job. #rip
1
51
A sticker that my colleague put on our office window in Dresden. Seems fitting. #world
Directed by David Lynch

ALT Directed by David Lynch
1
71
Martin Děcký@mdecky
11 Nov 2025
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
0:35
2
5
317
Martin Děcký@mdecky
10 Nov 2025
Call for Participation: Microkernel and Component-Based OS Devroom at FOSDEM 2026 fosdem.microkernel.info/ #microkernel #fosdem

Microkernel and Component-Based OS Devroom at FOSDEM 2026

Call for Participation

fosdem.microkernel.info
1
4
203
HarmonyOS NEXT (a microkernel-based OS) running on a Huawei's laptop and smartphone. The user experience is absolutely flawless. #microkernel #desktop #smartphone #harmonyos
1
2
538
Martin Děcký@mdecky
23 Oct 2025
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 😊
0:45
227
Martin Děcký retweeted
Turris@turris_cz
1 Oct 2025
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/
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.

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.
6
12
788
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
1
119
Martin Děcký@mdecky
29 Aug 2025
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

seL4 Summit | LF Events

The seL4 Summit is the annual international summit on the seL4 microkernel and seL4-related technology, tools, infrastructure, products, projects, and people.

events.linuxfoundation.org
101
Jim Lovell (1928 — 2025)
92
James Dean in 2025. Inspired by the iconic photo by Dennis Stock. #mood #ai
529
Martin Děcký@mdecky
19 Jun 2025
Snake playing as Snake. #MGS #snake #ai
100
Martin Děcký@mdecky
18 Feb 2025
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…

2024 in Microkernels (a year in review lightning talk)

A lightning talk reviewing a few amazing events in the domain of microkernel-based operating systems in 2024. - Download as a PDF or view online for free

slideshare.net
1
5
301
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…

HelenOS: 20 Years of History, 20 Years of Future Vision

Helenos is an open-source, microkernel-based operating system with a focus on flexibility and usability. Since 2020, it has introduced several improvements, including enhanced graphical interfaces,...

slideshare.net
1
3
275
The 25th @fosdem, with more attendees than ever. It's great to be back again! #fosdem #fosdem2025
3
6
1,026
Martin Děcký@mdecky
30 Jan 2025
New mode of transportation to @FOSDEM via @EuropeanSlpr. #night #train #fosdem
2
152
Martin Děcký@mdecky
30 Jan 2025
Good morning! #morning #nofilter
1
92
Martin Děcký retweeted
Systems Meetup Dresden@ukvly
20 Dec 2024
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/

Dresden Systems Meetup

The regular Systems Meetup in Dresden for everyone in Low-Level space (virtualization, x86, arm, device drivers, operating systems, research, ...).

ukvly.org
2
4
291
Load more