computer science researcher, co-author of the HelenOS (@HelenOSorg) microkernel multiserver OS, passionate programmer, F/OSS advocate, IT specialist, feminist
Prague, Czech Republic
Joined November 2009
- Tweets4.1K
- Following363
- Followers407
- Likes2K
Martin Děcký retweeted
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/
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.
Martin Děcký retweeted
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/
Martin Děcký retweeted
O čem to bude?
- Proč běžné operační systémy jako GNU/Linux nebo Windows nejsou vhodné pro kritické nasazení v automobilovém či leteckém průmyslu?
- Jak vypadá vývoj spolehlivější softwarové architektury pro bezpečnostně a provozně kritické aplikace?
kernkonzept.com – at Prague, Czech Republic
Martin Děcký retweeted
📢 Firemní semináře: Vývoj safety-critical a mission-critical operačního systému
🗓 18. 12. 17:20
📍 Malostran. nám. 2/25, učebna S4
🎤 Martin Děcký z Kernkonzept, bývalý doktorand i vyučující na MFF
Chcete nahlédnout do světa špičkového softwarového inženýrství? Přijďte! – at Prague, Czech Republic
Martin Děcký retweeted
We are saddened by the sudden passing of our dear colleague and friend Barbora Bühnová, Vice-dean for External Relations and Cooperation with Partners at @fi_muni, co-founder of @czechitas and a member of @eugain19122. 🕯️
S hlubokým zármutkem jsme přijali zprávu, že ve čtvrtek 5. prosince po dlouhé nemoci zemřela docentka a proděkanka fakulty informatiky Barbora Bühnová.
Její památku bude možné uctít na pietním místě před fakultou: muni.cz/go/820226
Martin Děcký retweeted
The POSIX.1-2024 standard just dropped after *16* years! The official changelog is wildly inaccurate, so here's all the changes, additions, removals. I implemented much of it in Sortix *years ago* and here's my weekend hackathon to work through the rest: sortix.org/blog/posix-2024/
Martin Děcký retweeted
We're back! The first event of the revived systems meetup (used to be "Mikrokern Stammtisch") happened in mid-May and was a great success with ~28 attendees! The next meetup will be on July 18th (Thursday). Check out the website for more info: ukvly.org/
Martin Děcký retweeted
Vztahy, rodina a LGBTQ+ ve vietnamské komunitě zezivotarecruiterky.com/2024…
Martin Děcký retweeted
Těšili jste se na další podcastovou deepdive nálož? No v tom případě pro vás máme dvě zprávy - dobrou a ještě lepší:
1. Do studia dorazil skvělý a jedinečný @mdecky
2. Dali jsme pokec o Microkernel OS
Dejte si čerstvě upečený díl!
open.spotify.com/episode/5kj…
Martin Děcký retweeted
Tak je to venku! Prihlaste se! Prijdte! Bavte se!
@czpodcast #czpodcast300
talkbase.io/event/czpodcast/…
Martin Děcký retweeted
Welcome back to the U.S.S. Enterprise-D. ✨ #StarTrek #StarTrekPicard #StarTrekTNG startrek.com/gallery/star-tr…
Martin Děcký retweeted
Sorry, ale v těhle 7 sekundách je všechno...
@Posledniskaut @AcaNerd73
Martin Děcký retweeted
When we go, we go together.
The #Artemis team wants to thank everyone who helped us along the way toward the first launch of the @NASA_SLS rocket and @NASA_Orion.
Martin Děcký retweeted
Accepted developer rooms dlvr.it/ScPJmd
Martin Děcký retweeted
Pleased to see that our member @Google has announced KataOS, a #security-focused #OperatingSystem, leveraging #Rust & #seL4 microkernel phoronix.com/news/Google-Kat…
Martin Děcký retweeted
Finnish prime minister Sanna Marin was asked about a potential off-ramp for Russia to end the war in Ukraine. Her reply:
Martin Děcký retweeted
NOVA microhypervisor 22.35 has been released with support for multiple Guest/DMA/PIO/MSR spaces per Protection Domain and flexible space switching for vCPUs on ARM and x86. Useful for SMMU/Nested Virtualization and Advanced VMI: github.com/udosteinberg/NOVA…
Martin Děcký retweeted
6⃣. snímek z historie @matfyz je z Malé strany, tzv. rotunda, původně luxusní bankovní prostor, proměněná na učebnu s počítačovými terminály (ke kterému počítači byly připojeny, nevím) a tiskárnami (na perforovaný papír) Rok ~1989. Jako fyzik jsem tehdy na MS chodil jen na marxák
