George Porter

@georgemporter

Computer Science Associate Professor at , focusing on networking and systems.

Vrijeme pridruživanja: srpanj 2017.

Tweetovi

Blokirali ste korisnika/cu @georgemporter

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

  1. prije 16 sati

    So far today: Went to , bought a coffee, put the change in the tip jar, then left for work, forgetting my coffee Put on a radio station, heard a song I loved, accidentally hit dislike instead of like, now it is gone forever and I can't remember its name

    Poništi
  2. 2. velj

    Behold, the University of Jyväskylä, which awards a Doctoral Sword!

    Poništi
  3. 2. velj

    Spent this afternoon remembering Brian Kantor, a colleague at UCSD who we lost a few months ago. Brian was the heart of all networking here. I spent hours talking with him in his office about FreeBSD, networking, and tons of other topics. I wish I could talk to him today.

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

    It's official! Just got a award to work on type-driven program synthesis! Stay tuned for new ways to magically turn types into programs :) Thanks and the anonymous reviewers!

    Poništi
  5. proslijedio/la je Tweet
    31. sij
    Odgovor korisniku/ci

    Thanks for the shout-out, George! 👋

    Poništi
  6. proslijedio/la je Tweet
    31. sij
    Odgovor korisniku/ci

    Update: we’re not sure.

    Poništi
  7. 30. sij

    Update: my credentials were not hacked. It was a false alarm.

    Poništi
  8. 30. sij

    "Chaos monkey" should be called "Horrible code goose". I will not be taking questions on this proposal at this time.

    Poništi
  9. 29. sij

    Update: 's phone hold music is still Christmas music.

    Prikaži ovu nit
    Poništi
  10. 29. sij

    Cox, UCOP, Spectrum, SDG&E... really any service provider: I will never call if I could do it any other way!

    Prikaži ovu nit
    Poništi
  11. 29. sij

    I've had to spend 2 hours on the phone with UC Office of the President to reset my account after a hacking attempt. Every 90 seconds a recording comes on telling me I could save time by accessing my account online. Imagine thinking I would call if I could get into my account??

    Prikaži ovu nit
    Poništi
  12. 28. sij

    Inbox Zero has become Inbox 79 since this morning :-(

    Poništi
  13. 28. sij

    Online Q&A message board the day or two before a major project is due...

    Poništi
  14. 27. sij

    I constantly accidentally click my mouse, to the point where I have to physically move my hand away from it when I'm reading.

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

    I shared a project write up with my ~200 person class via Google Docs, and it's amazing how many people accidentally type things. I've got over 30 change requests for things like "add 'z' character", or "space", things like that. It's kinda interesting.

    Prikaži ovu nit
    Poništi
  16. 21. sij

    TFW you send out an email to about 300 people that has a glaring typo in the subject line

    Poništi
  17. 19. sij

    Rogue One > 7/8/9

    Poništi
  18. proslijedio/la je Tweet
    16. sij
    Odgovor korisnicima

    This is what I came to this thread for

    Poništi
  19. 14. sij

    Do people have opinions on Discourse (), the threaded message board server? Positive/negative/neutral?

    Poništi
  20. proslijedio/la je Tweet
    10. sij
    Odgovor korisniku/ci

    I wrote the zmap dns module. I co-wrote zdns. I'm completely sure I don't understand dns. Cc

    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:

    ·