Antony Hosking
@AntonyHoskingProfessor and Director of ANU School of Computing @anucecs, computer scientist, PL researcher, author of GC Handbook: Art of Automatic Memory Management
Similar User
@PLDI
@IsilDillig
@AlexP_DownUnder
@roopshasamanta
@TitzerBL
@benzorn
@splashcon
@calebstanford4
@poplconf
@whileydave
@eeide
@rg9119
@zhendongsu
@ANUComputing
@LeoLambro
seL4 retrospective and discussion on the next 20 years: “verified multicore will be done and behind us and business as usual”.
ECOOP 2024 is in full swing in Vienna. Check out the awesome set of papers selected by the amazing 2024 PC, co-chaired with @guidosalva ! Published Diamond Open Access: drops.dagstuhl.de/entities/docum…
Sounds familiar… nationalpost.com/opinion/hard-t…
RIP University of Adelaide theguardian.com/australia-news…
Australian students could be the real victims of international caps smh.com.au/politics/feder…
Giving a vendor the ability to push kernel drivers to any of your machines without your control is something no IT org should agree to. I'm surprised that CMU's team (which is generally quite good!) agreed to this.
Okay, I'm just going to throw this out there, but maybe - just maybe - a vendor having the ability to change every one of their kernel drivers in the field at the same time without any approval from IT/end users is a model we need to reconsider... @CrowdStrike
I don't think you guys fully grasp how big this is. Around a billion computers are bricked worldwide, mostly corporate ones. This isn't just an online service going down for a few hours. Every affected computer needs to be rebooted in fail mode and have a driver manually…
Normal people when catastrophic software bugs occur: oh no how terrible PL people when catastrophic software bugs occur: ah yes, another example for my talks and grant applications! I deserve a raise. I told you software is terrible. My techniques could have saved you
The cause of the Microsoft / Crowdstrike outage credit: @xkcdComic explainxkcd.com/wiki/index.php…
My advisor is buying me a new laptop. I just learned that the delivery is going to be intercepted by Penn so they can “set up the machine”. I pressed, and they said they were installing spyware software called CrowdStrike.
12-hour timelapse of American Airlines, Delta, and United plane traffic after what was likely the biggest IT outage in history forced a nationwide ground stop of the three airlines.
Crowdstruck in LAX B. Sleep was stolen by the floor. Retrying tonight.
Academic journals are a lucrative scam – and we’re determined to change that theguardian.com/commentisfree/…
United States Trends
- 1. Colorado 54,1 B posts
- 2. Kansas 28,1 B posts
- 3. Devin Neal 2.953 posts
- 4. Ole Miss 32,3 B posts
- 5. Travis Hunter 9.845 posts
- 6. Indiana 62,4 B posts
- 7. Penn State 8.505 posts
- 8. Gators 19,1 B posts
- 9. Shedeur 8.197 posts
- 10. Ewers 2.178 posts
- 11. Jaxson Dart 6.980 posts
- 12. Sark 3.043 posts
- 13. James Franklin N/A
- 14. #Huskers 2.394 posts
- 15. Ohio State 41,3 B posts
- 16. Minnesota 17,3 B posts
- 17. Olivia Miles 1.819 posts
- 18. Heisman 7.940 posts
- 19. Nissan 23,8 B posts
- 20. Fickell N/A
Who to follow
-
PLDI
@PLDI -
Isil Dillig
@IsilDillig -
Alex Potanin
@AlexP_DownUnder -
Roopsha Samanta
@roopshasamanta -
Ben L. Titzer
@TitzerBL -
Ben Zorn (he/him) @[email protected]
@benzorn -
SPLASH Conference
@splashcon -
Caleb Stanford
@calebstanford4 -
POPL 2025
@poplconf -
David J. Pearce
@whileydave -
Eric Eide
@eeide -
Ron Garcia
@rg9119 -
Zhendong Su
@zhendongsu -
ANU School of Computing
@ANUComputing -
Leo Lampropoulos
@LeoLambro
Something went wrong.
Something went wrong.