Lindsey Kuper

@lindsey

Mommy; blogger. CS professor at (PL, distributed systems, verification). “Permit yourself to open a book and start reading from anywhere.”

Vrijeme pridruživanja: listopad 2006.

Tweetovi

Blokirali ste korisnika/cu @lindsey

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

  1. Prikvačeni tweet
    5. pro 2019.

    Why you should come to UC Santa Cruz to do LSD research: (Come join the Languages, Systems, and Data Lab!)

    Poništi
  2. prije 19 sati

    at the library trying to write PLDI reviews, and a rando just came by, peered at me working, and asked, "Good research?" that is the question, my dude. that is the question

    Poništi
  3. 2. velj

    not sure whether I have ADHD, but I do know that for me, "getting dressed to go outside" must be moved off the critical path whenever possible

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

    Had to say goodbye to Andre this afternoon. He was a great friend, a snuggler (for me especially), a catnip enthusiast, and occasional back-yard adventurer. He started sitting in my lap as a kitten in Atlanta in 2005 and continued to do so for all his days. What a good kitty <3

    Poništi
  5. 29. sij

    (Credit to for the last three pics in this thread.)

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

    Everlasting thanks to for bringing these two dudes into my life. We'll all miss you so much, little guy.

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

    Andre, a native Atlantan, was named after André 3000. He came with his name.

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

    He's really hard to photograph, too, but managed to get some good shots one summer.

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

    Most of the pics I have of Andre are with our other cat, Mylk. That's because they've been inseparable for 15 years.

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

    Spare a thought today for our sweet kitty, Andre. He's got a number of serious health issues and won't be with us much longer.

    Prikaži ovu nit
    Poništi
  11. proslijedio/la je Tweet
    28. sij

    My wife and I never talk to our kids. We ask them to submit all communications anonymously through rigorous and double-blind peer review. My daughter is 5 and has 21 publications in high-impact journals. My daughter can burn holes in furniture using only her eyes

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

    Maybe this is silly, and it might not have even been an especially intentional choice on rntz's part (or maybe it was, I don't know), but this actually meant so much to me. I hurried to the front to try to take a picture. I was stepping on people's feet and stuff.

    Poništi
  13. proslijedio/la je Tweet

    the second batch of tickets are now on sale for on leap day weekend if you want to hear a bunch of awesome people talk about doing exciting and surprising things with computers (also i am keynoting!)

    Poništi
  14. proslijedio/la je Tweet
    23. sij

    Tickets for (hosted on the campus Feb 29), go on sale at 10AM TODAY! The last batch sold out fast, so get yours ASAP: !!Con aims to be radically affordable, so you pay what you want.

    Poništi
  15. 23. sij

    Right now, is giving his talk at POPL while wearing a shirt!!

    Poništi
  16. proslijedio/la je Tweet
    23. sij

    I'm co-chairing PLMW at ICFP this summer. If you've recently attended a PLMW, I'd love to hear what you liked most and what you wish had been better.

    Prikaži ovu nit
    Poništi
  17. 23. sij

    also, Andrew and his spouse are planning to skip the last day of the conference in order to go bird-watching

    Prikaži ovu nit
    Poništi
  18. 23. sij

    went to dinner at POPL and got to hear Andrew Appel tell about the time he coincidentally sat next to David McAllester ("who wasn't a PL person") on a bus for an hour once, and that's how we ended up with step-indexed logical relations

    Prikaži ovu nit
    Poništi
  19. proslijedio/la je Tweet
    22. sij

    Inside you there are two wolves. This is sick as hell. Just metal as af \m/

    Poništi
  20. proslijedio/la je Tweet
    21. sij

    The first round of tickets is now sold out, but the next batch will be up for sale on Thursday at 10am. Mark your calendar so you don't miss this amazing conference on the joys of computing, hosted at !

    Poništi
  21. proslijedio/la je Tweet
    21. sij

    Would you like to come to !!Con West this year, but staying in Santa Cruz would be financially prohibitive? Good news: we have a limited number of hotel rooms available as a sponsorship this year, first-come-first-serve! DM us or send us mail: west-2020@exclamation.foundation

    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:

    ·