Dan Ports

@danrkports

Distributed systems and operating systems.

Seattle, WA
Vrijeme pridruživanja: svibanj 2016.

Tweetovi

Blokirali ste korisnika/cu @danrkports

Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @danrkports

  1. Prikvačeni tweet
    15. tra 2019.

    When Should The Network Be The Computer? I'm happy to share this position paper with our take on in-network computing -- not just what we can do, but what we _should_ do; what applications it's good for; and what we need to solve before we can deploy it.

    Poništi
  2. proslijedio/la je Tweet
    31. sij

    What used to be the Systems Slack is now the CS Research and Practice Slack! New name to reflect the broadening of scope, and to make everyone feel welcome :) 1800 members and counting! Public and private channels on a variety of CS topics. Invite link:

    Poništi
  3. 30. sij

    Are people in Seattle passive-aggressive? Well, we have a hotline where you can report people who are illegally using the carpool lane and... have the state send them a brochure about why it is good to obey traffic laws.

    Poništi
  4. 28. sij

    Don’t forget that our group is hiring more Dans! (Applications from non-Dans will also be considered.)

    Poništi
  5. proslijedio/la je Tweet
    27. sij

    My group is hiring for RSDE position, which is available for both PhD grads and more senior software engineers. Apply here:

    Poništi
  6. 20. sij

    Irene is really stepping up our cocktail program!

    Poništi
  7. proslijedio/la je Tweet
    17. sij

    We have some extremely exciting news. We are proud to announce that Ulan, our 8-year-old Malayan tapir, is expecting her first baby between May and June. It's going to be a watermelon-themed summer! 🍉🍉🍉

    black and white tapir stands in green grass
    Poništi
  8. proslijedio/la je Tweet
    17. sij

    Anirudh and I have put together an awesome program committee for : The PC features , , , , , , , and more! Send us your best work by Mar 19!

    Prikaži ovu nit
    Poništi
  9. proslijedio/la je Tweet
    15. sij
    Odgovor korisniku/ci

    has doubled the number of terminals that he can have open by using two MBPs at once.

    Poništi
  10. 14. sij

    Looking forward to finding out how many more 80x24 terminals I can have open at once on my new higher-resolution MBP

    Poništi
  11. proslijedio/la je Tweet
    12. sij
    Poništi
  12. proslijedio/la je Tweet
    8. sij
    Odgovor korisnicima i sljedećem broju korisnika:

    We encoded the relevant regulatory rules and business process state machine into TLA+. TLA+ automatically found a scenario which violated the rules. It is possible that in the real world many such violations occur routinely, unbeknownst to companies. We found the bug!

    Poništi
  13. proslijedio/la je Tweet
    13. pro 2019.
    Odgovor korisnicima

    USCYBERCOM: Mr President, we're getting BGP hijacked. PRESIDENT: By whom? The Chinese? Russians? USCYBERCOM: Omaha Steaks, sir. PRESIDENT: Nuke'em. (Actual AS path: ...721 27064 367 575 306 346 22222)

    Poništi
  14. 9. sij

    I am sure there is a circle of hell where penitents are forced to eternally redistill PDF files with embedded fonts

    Prikaži ovu nit
    Poništi
  15. 9. sij

    It’s been years since I published in , but one thing hasn’t changed: seeing a message from Sheridan Printing in my inbox still instinctively makes me groan

    Prikaži ovu nit
    Poništi
  16. proslijedio/la je Tweet
    8. sij

    Working at home requires constant renegotiation of cat territory until I eventually concede defeat.

    Poništi
  17. 5. sij

    When they told me that everything was going to be a multicore in the future, this was not precisely what I was expecting

    Poništi
  18. 2. sij

    my Facebook ads: body armor 's Facebook ads: body armor for cats I think this is supposed to be an attempt at personalization?

    Poništi
  19. 27. pro 2019.

    obligatory San Francisco photo

    Poništi
  20. 25. pro 2019.

    Everyone in Seattle is required to have a favorite species of salmon. Ours is the Billecart-Salmon.

    Poništi

Č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:

    ·