Martin Děcký

@[email protected]
52 Followers
56 Following
69 Posts
computer science researcher, co-author of the HelenOS microkernel multiserver OS, passionate programmer, F/OSS advocate, IT specialist, feminist, employee of Kernkonzept GmbH
HelenOShttp://www.helenos.org/
Kernkonzepthttps://www.kernkonzept.com/
Twitterhttps://twitter.com/mdecky
Instagramhttps://www.instagram.com/martin_decky/
Martin DěckýDec 3
A sticker that my colleague put on our office window in Dresden. Seems fitting. #world
Martin DěckýNov 11
The latest pre-release of 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ýNov 10
Call for Participation: Microkernel and Component-Based OS Devroom at FOSDEM 2026
https://fosdem.microkernel.info/
#microkernel #fosdem
Microkernel and Component-Based OS Devroom at FOSDEM 2026

Call for Participation

Martin DěckýNov 6
HarmonyOS NEXT (a microkernel-based OS) running on a Huawei's laptop and smartphone. The user experience is absolutely flawless. #microkernel #desktop #smartphone
Martin DěckýOct 23
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ýOct 1
Turris projectOct 1
Are you eager to know what is the #future of #Turris? Visit our #booth this weekend during @linuxdays in #Prague and be among the first ones to see the new #OmniaNG IRL! New #powerful #opensource #secure #wifi #router is here! Big #unveil this Saturday (unveil at 10:30 in Czech, recap in English at 13:00), online stream and recordings will be available https://www.linuxdays.cz/2025/program/
#LinuxDays #Conference
Martin DěckýSep 19
FOSDEMSep 18
FOSDEM 2026: 31st January and 1st February https://fosdem.org/2026/news/2025-09-18-fosdem-2026/
FOSDEM 2026 - FOSDEM 2026: 31st January and 1st February

Martin DěckýSep 18
David MajdaSep 18

Včerejší přednáška o Rustu se mi myslím docela povedla, kompletní slajdy zde:

https://speakerdeck.com/dmajda/rust-for-python-people

Rust for Python People

You’ve probably heard about Rust — a modern take on a systems programming language. Today, we’ll explore it from the perspective of a Python developer. …

Speaker Deck
Martin DěckýSep 3, 2025
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. @sel4 #sel4summit #software #engineering
Martin DěckýAug 29, 2025
The seL4 Summit takes place next week in Prague already. Whom am I going to meet there? https://events.linuxfoundation.org/sel4-summit/ #microkernel #os #conference #prague #sel4 #sel4summit
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.

LF Events