Martin Děcký

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/
A sticker that my colleague put on our office window in Dresden. Seems fitting. #world
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
HarmonyOS NEXT (a microkernel-based OS) running on a Huawei's laptop and smartphone. The user experience is absolutely flawless. #microkernel #desktop #smartphone
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 😊
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
Jim Lovell (1928 — 2025)
James Dean in 2025. Inspired by the iconic photo by Dennis Stock. #mood #ai
Snake playing as Snake. #mgs #mgsv #snake #ai
The 25th @fosdem, with more attendees than even. It's great to be back again! #fosdem #fosdem2025
New mode of transportation to @fosdem. #night #train #fosdem