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
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
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
No DP for me this time. Submitted two, one as a lead, another as a member of a multi-institutional team. The one I led got ‘NIT-picked’, so it raised my hope a bit but wasn’t close enough. It’s in the top 10% of unsuccessful ones. Congrats to the few & commiserations to the rest!
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
The possibly nicest time of the year in Sydney: Jacaranda season. Although I missed peak jackaranda (before there's any green) due to travel...
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
Whoa! It really does happen! "Bank error in your favour – collect $450k." Someone must be sweating now...
English
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
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