Gernot Heiser
microkerneldude.bsky.social
Physicist by training, computer engineer by passion Scientia (distinguished) Professor and John Lions Chair of Operating Systems at UNSW Sydney and Founding Chairman of the seL4 Foundation FACM FIEEE FTSE FRSN ML
👤 Joined on 02 March 2025
241
Followers
26
Following
86
Total Posts
📜 Kullanıcı Geçmişi
- 02 Mar 2025, 03:53
🎉 Bluesky'e katıldı - İlk kullanıcı adı:
@microkerneldude.bsky.social
🚫 Blokladığı Kullanıcılar
Bu kullanıcının blokladığı kullanıcı bulunamadı.
❤️ Beğendiği Gönderiler
An incredible milestone. Massive congratulations to the ProofCraft team and the seL4 community
Show Post
“No one is more reliant on a healthy environment than farmers and it’s a real shame that a few cowboys continue to knock down huge swathes of healthy forests.” www.abc.net.au/news/rural/2...
Show Post
New story on Apple Exclaves is up! This time with proper details :) medium.com/@randomaugus...
Show PostTime for the Coalition to end the nuclear (con)fusion. (3/3)
Show Post