Gernot Heiser

Microkernel dude, UNSW prof, looking for PhD students in OS

[Gernot Heiser @GernotHeiser]

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 https://t.co/63tVr0s3z4

[seL4 @seL4Foundation]

We are suspending our use of Twitter until further notice. We will instead provide updates on Mastodon: https://t.co/9o3ocCVSAT

[Gernot Heiser @GernotHeiser]

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 https://t.co/UESjYs1AkW

[Gernot Heiser @GernotHeiser]

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

[Gernot Heiser @GernotHeiser]

For the case that Twitter actually collapses or I find it is becoming incompatible with my values (both seem a real possibility), I've set up a (presently dormant) Mastodon account: https://t.co/NKo7njBMrp

[Gernot Heiser @GernotHeiser]

The possibly nicest time of the year in Sydney: Jacaranda season. Although I missed peak jackaranda (before there's any green) due to travel...

[Gernot Heiser @GernotHeiser]

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

[Gernot Heiser @GernotHeiser]

@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!

[Gernot Heiser @GernotHeiser]

My latest blog: ML accelerates the cyber arms race — we need real security more than ever https://t.co/GEvKxVBqh5

[Gernot Heiser @GernotHeiser]

@AlexP_DownUnder @shb_anu Darn…

[Gernot Heiser @GernotHeiser]

Whoa! It really does happen! "Bank error in your favour – collect $450k." Someone must be sweating now...

[Gernot Heiser @GernotHeiser]

The #TrustworthySystems booth at the ⁦@UNSWCOMPUTING⁩ Research Expo

[Gernot Heiser @GernotHeiser]

It's sort of hilarious (while depressing) watching AU gov't biosecurity warning to incoming passengers: protecting "AU's unique wild live" with pix of koalas, which we're about to eradicate by habitat destruction – no bio hazards needed

[seL4 @seL4Foundation]

Great to see - when is @antmicro going to join the @seL4Foundation?

[Gernot Heiser @GernotHeiser]

Great and welcome contribution to the #seL4 ecosystem @Google!

[seL4 @seL4Foundation]

Pleased to see that our member @Google has announced KataOS, a #security-focused #OperatingSystem, leveraging #Rust & #seL4 microkernel https://t.co/F1YunS3wi5

[Gernot Heiser @GernotHeiser]

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

[seL4 @seL4Foundation]

Day 4 of the #seL4 #Summit is the Boot camp: learning to build and use CAmkES, TRENTOS, seL4 Core Platform

[Gernot Heiser @GernotHeiser]

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)