Gernot Heiser

@GernotHeiser

Microkernel dude

sometimes in Sydney
Vrijeme pridruživanja: siječanj 2010.

Medijski sadržaj

  1. 12. pro 2019.

    Tutorial on running on the Renode simulator, presented by DornerWorks at

  2. 12. pro 2019.

    posters at#RISCVSUMMIT, presented by Critical Technologies Inc

  3. 5. pro 2019.

    Entrepreneur Ada Guan, CEO of Rich Data Corporation was today’s CSE Graduation speaker. Turns out she did my Advanced OS course >20 years ago. AOS, the training ground of the IT elite

  4. 30. stu 2019.

    My ’09 shirt won CSE’s “most obscure” price in the free-conference-tee competition

    Official t-shirt of SOSP’09
  5. 20. stu 2019.

    Thick haze from bush fires in Sydney this morning. Visibility < 1km

  6. 18. stu 2019.
  7. 23. ruj 2019.

    Announcing the Foundation at the seL4 Summit

  8. 29. srp 2019.

    Advanced Operating Systems students ⁦⁩ enjoying the birthday cake

  9. 28. srp 2019.

    Happy birthday seL4! Today it's 10 years that the original functional correctness proof of was completed. And it's 5 years that seL4 was open sourced. Kernel and proof have been growing strongly, reaching a system near you soon 🙂

  10. 27. srp 2019.

    Another great night with the awesome and unique ⁦

  11. 20. srp 2019.

    All the important time zones

  12. 18. srp 2019.

    What they call a "double espresso" on UCSD campus is really a long black. Note: more isn't always better

  13. 4. srp 2019.

    10 yo Barossa monster and exhausted me: reviews done!

  14. 9. lip 2019.

    Apparently I’m not a real engineer. This is what I get offered when trying to get a quote for professional indemnity insurance from the insurance partner. No computer engineering? Which century are we?

  15. 17. svi 2019.

    Yeepee, the 21st century has finally reached my home!

  16. 13. svi 2019.

    Couldn't put it better than my former student at

  17. 13. svi 2019.

    Interesting graph from

  18. 10. svi 2019.

    My ballot paper for the EU elections. 40 candidates for one vote! Never seen anything like it before

  19. 5. ožu 2019.
  20. 14. velj 2019.

    Apparently ⁦⁩ Flight 107 is cruising at mach 70

Čini se da učitavanje traje već neko vrijeme.

Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.

    Možda bi vam se svidjelo i ovo:

    ·