Elizabeth Dinella

@eadinella

UPenn PhD Student & PL Nerd 🤓

Philadelphia, PA
seas.upenn.edu/~edinella/
Vrijeme pridruživanja: lipanj 2018.
10 fotografija ili videozapisa Fotografije i videozapisi

Tweetovi

Blokirali ste korisnika/cu @eadinella

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

  1. proslijedio/la je Tweet
    21. sij

    5 replies 48 proslijeđenih tweetova 279 korisnika označava da im se sviđa
    Poništi
  2. 18. sij

    Details at

    1 reply
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  3. 18. sij

    My lab and I will be presenting a hands-on tutorial "Building Program Reasoning Tools using LLVM and Z3" at on Monday Jan 20 during 9-12:30. All are welcome!

    1 reply 1 proslijeđeni tweet 16 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  4. proslijedio/la je Tweet
    16. lis 2019.

    2009: in a decade from now, video chat will be so seamless and ubiquitous, the meaning of geographical distances will blur and humanity will begin developing a truly globalized culture 2019: hi? can you hear me? my microphone is turned on. are your loud speakers on? hello? test.

    27 replies 287 proslijeđenih tweetova 1.046 korisnika označava da im se sviđa
    Poništi
  5. proslijedio/la je Tweet
    16. lis 2019.

    Today’s tea: ) ) ) ) ( ) ) _(___(____)____(___(__ __ \ / \ the 1st computer / __ \ programmer / | \ was a /—— \ woman / \__________/

    68 replies 3.373 proslijeđena tweeta 12.531 korisnik označava da mu se sviđa
    Poništi
  6. proslijedio/la je Tweet
    15. lis 2019.

    turns out proof assistants are more useful when you're proving something that's true

    11 replies 38 proslijeđenih tweetova 326 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  7. proslijedio/la je Tweet
    15. lis 2019.

    No PhD student has all 5: Good mental health Money Work-life balance Parents that understand what they research Exciting love life

    185 replies 763 proslijeđena tweeta 4.355 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  8. proslijedio/la je Tweet
    14. lis 2019.

    I Hate Toxic Energy: That's Why I Stopped Looking At My Compiler Warnings

    1 reply 109 proslijeđenih tweetova 378 korisnika označava da im se sviđa
    Poništi
  9. proslijedio/la je Tweet
    5. ruj 2019.

    STOP making fun of different programming languages C is FAST Java is POPULAR Ruby is COOL Python is BEAUTIFUL Javascript Haskell is INTRIGUING

    618 replies 4.827 proslijeđenih tweetova 19.571 korisnik označava da mu se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  10. 31. kol 2019.

    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  11. 31. kol 2019.

    oops 😅

    1 reply 3 korisnika označavaju da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  12. proslijedio/la je Tweet
    21. kol 2019.

    Friend Still Reading The Type Error Like It’s Moby Dick Or Something

    26 proslijeđenih tweetova 136 korisnika označava da im se sviđa
    Poništi
  13. 20. kol 2019.

    my most toxic trait is avoiding the python documentation at all costs

    6 korisnika označava da im se sviđa
    Poništi
  14. proslijedio/la je Tweet
    8. kol 2019.

    “a nearly 50% increase in applications from underrepresented groups” when PhD application fees waived

    NEWS: We're waiving application fees for qualifying domestic PhD students through 11/15. 💸 When we began waiving fees last year, we saw a 10% increase in highly qualified applicants and a nearly 50% increase in applications from underrepresented groups.
    19 proslijeđenih tweetova 50 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  15. proslijedio/la je Tweet
    20. srp 2019.

    Weekends are for doing cool social things like coding for 9 hours straight without any interruptions

    202 proslijeđena tweeta 1.990 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  16. proslijedio/la je Tweet
    21. srp 2019.

    So why do you think JavaScript is actually so popular (positive vibes only)

    85 proslijeđenih tweetova 523 korisnika označavaju da im se sviđa
    Poništi
  17. proslijedio/la je Tweet
    5. srp 2019.
    Odgovor korisnicima

    javascript is the english of programming languages: weirdly complex yet approachable and ubiquitous

    1 reply 5 proslijeđenih tweetova 31 korisnik označava da mu se sviđa
    Poništi
  18. proslijedio/la je Tweet
    5. srp 2019.

    Deep Breathing Techniques That Are Just You Frantically Trying to Cool Off Your CPU

    1 reply 21 proslijeđeni tweet 122 korisnika označavaju da im se sviđa
    Poništi
  19. 22. lip 2019.

    practicing self care by using a static type system

    5 replies 114 proslijeđenih tweetova 630 korisnika označava da im se sviđa
    Poništi
  20. proslijedio/la je Tweet
    24. tra 2019.

    my hobby: telling people that whatever it is they're doing is Actually Abstract Interpretation

    9 replies 11 proslijeđenih tweetova 149 korisnika označava da im se sviđa
    Poništi

@eadinella još nije objavio nijedan Tweet.

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

    ·