
Gernot Heiser
2.4K posts

Gernot Heiser
@GernotHeiser
Microkernel dude, UNSW prof, looking for PhD students in OS
sometimes in Sydney Katılım Ocak 2010
52 Takip Edilen1.7K Takipçiler
Sabitlenmiş Tweet

The Fedoverse didn't seem to go anywhere, so I have now moved to Bluesky.
If any of my followers are still using this platform: You can now find me at bsky.app/profile/microk…
English
Gernot Heiser retweetledi

Until further notice I'm suspending my activities on Twitter. The account will remain alive but dormant until I decide whether a full #TwitterExit is warranted.
Meanwhile I'll be tooting as @gernot" target="_blank" rel="nofollow noopener">discuss.systems/@gernot
English

@flosalim Same here. On one of them investigator score “bottom 25%”. You draw your own conclusions…
English
Gernot Heiser retweetledi

A great turnout at our Computing Research Expo recently, bringing together bright minds seeking to broaden research impact, and learn more about UNSW CSE's research capabilities across 6 research themes and 17 research groups
More photos can be found here
bit.ly/3sAz8uc




Sydney, New South Wales 🇦🇺 English

@elonmusk Going forward, satirical comments must contain the word “satire”
English

@seL4Foundation The #Summit was such a great event, and it's great to see that all the quality recordings are available to those who couldn't make it!
English

My latest blog: ML accelerates the cyber arms race — we need real security more than ever microkerneldude.org/2022/11/08/ml-…
English

Gernot Heiser retweetledi

Great to see - when is @antmicro going to join the @seL4Foundation?
Antmicro@antmicro
Partnered with @GoogleAI to help build Sparrow, a secure ML platform on @RISC_V, #OpenTitan & the @rustlang #KataOS based on the #seL4 microkernel using our #opensource simulator @renodeio. See how we enabled #Rust apps & #GDB debugging for their system @GoogleOSS @seL4Foundation
English

The #seL4 #Summit is over. It was an awesome event. And it was fantastic to once again work closely with the incredible June Andronick, like in the old days. Thanks all who participated! @seL4Foundation
English
Gernot Heiser retweetledi

Usability is for user mode
Charles Southerland@proidiot
Fav quote of #seL4Summit day 3: "With seL4, we have reached new heights of security and unusability." -@GernotHeiser (for those unfamiliar, usability has improved notably since that was first said, as seen in many of the talks this week... Still a great quote)
English



