Gernot Heiser
@GernotHeiserMicrokernel dude, UNSW prof, looking for PhD students in OS
Similar User
@roopshasamanta
@acm_ccs
@grsecurity
@PeterOHearn12
@gannimo
@pramod_bhatotia
@ACMSIGOPS
@emeryberger
@HerrDreyer
@tobycmurray
@xexd
@ms705
@eeide
@siobhcroo
@deiandelmars
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 discuss.systems/@gernot
We are suspending our use of Twitter until further notice. We will instead provide updates on Mastodon: fosstodon.org/@sel4
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: fosstodon.org/@gernot
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
The possibly nicest time of the year in Sydney: Jacaranda season. Although I missed peak jackaranda (before there's any green) due to travel...
My latest blog: ML accelerates the cyber arms race — we need real security more than ever microkerneldude.org/2022/11/08/ml-…
Whoa! It really does happen! "Bank error in your favour – collect $450k." Someone must be sweating now...
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
Great to see - when is @antmicro going to join the @seL4Foundation?
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
Pleased to see that our member @Google has announced KataOS, a #security-focused #OperatingSystem, leveraging #Rust & #seL4 microkernel phoronix.com/news/Google-Ka…
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
Day 4 of the #seL4 #Summit is the Boot camp: learning to build and use CAmkES, TRENTOS, seL4 Core Platform
Usability is for user mode
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)
Improving embedded #DevOps with seL4 VMM by Robbie VanVossen from @DornerWorks at #seL4 #Summit
Discussion session on a standardised VMM and how to get there, led by Everton de Mantos from @TIIuae and Jason Sebranek from @cogsystems at #seL4 #Summit
United States Trends
- 1. ICBM 119 B posts
- 2. The ICC 37,2 B posts
- 3. #KashOnly 10,7 B posts
- 4. Good Thursday 24,2 B posts
- 5. Dnipro 46,1 B posts
- 6. #thursdayvibes 3.262 posts
- 7. Bezos 3.234 posts
- 8. #ThursdayMotivation 4.528 posts
- 9. #21Nov 2.558 posts
- 10. Happy Friday Eve N/A
- 11. #ThursdayThoughts 3.030 posts
- 12. International Criminal Court 20,9 B posts
- 13. Gallant 56,6 B posts
- 14. Nikki Haley 29 B posts
- 15. Reece James 5.327 posts
- 16. MIRV 5.161 posts
- 17. $DUB 7.975 posts
- 18. Adani 46,1 B posts
- 19. Bitcoin 643 B posts
- 20. Benjamin Netanyahu 33,6 B posts
Who to follow
-
Roopsha Samanta
@roopshasamanta -
ACM CCS 2024
@acm_ccs -
grsecurity
@grsecurity -
Peter O'Hearn
@PeterOHearn12 -
Mathias Payer
@gannimo -
Pramod Bhatotia
@pramod_bhatotia -
ACM SIGOPS
@ACMSIGOPS -
Emery Berger
@emeryberger -
Derek Dreyer
@HerrDreyer -
Toby Murray
@tobycmurray -
Eddie Kohler
@xexd -
Malte Schwarzkopf
@ms705 -
Eric Eide
@eeide -
Natacha Crooks
@siobhcroo -
Deian Stefan
@deiandelmars
Something went wrong.
Something went wrong.