David Van Horn

@lambda_calculus

Prof at and . Co-director of .

District of Columbia
Vrijeme pridruživanja: prosinac 2010.

Tweetovi

Blokirali ste korisnika/cu @lambda_calculus

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

  1. Prikvačeni tweet
    14. stu 2014.

    ACM: We keep your research on the DL.

    Poništi
  2. proslijedio/la je Tweet
    2. velj

    Reminder to check out this recap of the POPLmark Retrospective Panel. I talk a lot about how the PL community can learn from this panel, even beyond the proof engineering community!

    Poništi
  3. proslijedio/la je Tweet
    1. velj

    Tired of donate to instead! Let’s get 10 more DC resident donors to give to before midnight tonight!!!

    Poništi
  4. 1. velj

    Mckayla is fighting for affordable housing, Medicare for All, the Green New Deal, criminal justice reform, expanded voting rights, and more. She's just what MD needs y'all.

    Poništi
  5. 31. sij

    just LOL'd at the NSF-PAR rejecting a document straight from the Digital Library for not being in archival (PDF/A) form. Thanks ACM!

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

    ! The DC Department of Public Works (DPW) is announcing that beginning February 28, 2020, the agency will issue $65 tickets to any motorist the agency photographs improperly parking, stopping, or leaving a bike lane.

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

    PLMW is a great opportunity for people getting started (or thinking about getting started) in PL research. Scholarships available -- please apply!

    Poništi
  9. 30. sij

    Deadline to apply is Feb 15!

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

    I'm very excited to be lecturing at the Cornell, Maryland, Max Planck Pre-doctoral Research School in August.

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

    for what we’ve spent on a fighter aircraft that does not work we could have had ten years of universal childcare and preschool.

    Tweet je nedostupan.
    Prikaži ovu nit
    Poništi
  12. proslijedio/la je Tweet

    Making space for cyclists: Mayor of Paris proposes removing 60,000 parking spaces from city streets. That's how you do it, that's how you change a city.

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

    A robotics expert, , has received an CAREER award to improve the reliability and performance of multi-robot systems in dynamic, outdoor environments.

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

    Santa Cruz was the third city to officially decriminalize psychedelic mushrooms yesterday

    Poništi
  15. proslijedio/la je Tweet

    Can see this from our windows... Watched them drape the white cloth. Several hours later and the body is still in the road 😓 Pedestrians cross Suitland Parkway here (at Irving Street SE) every day 4 multiple reasons we need help over here... 1/

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

    MC2 is hiring! Join a fantastic group of faculty in CS, ECE, and InfoSci doing work across the computer security spectrum. Open positions at all levels.

    Poništi
  17. proslijedio/la je Tweet

    UMD has more security openings! They have a really awesome group there , Dana Dachman, Michell Mazurek, , , , . It’s one of the best places to work on security/crypto/PL research !

    Poništi
  18. proslijedio/la je Tweet
    28. sij

    Today I am happy to share that has new faculty openings focusing on systems security and other cybersecurity areas! These are in addition to the and openings. Tenure home CS or ECE. Apply here by 2/10 for best consideration!

    Poništi
  19. proslijedio/la je Tweet
    24. sij

    open question for compiler people: what should be taught in a modern undergrad compiler class? I'm revamping / modernizing Utah's version of this and would appreciate feedback

    Prikaži ovu nit
    Poništi
  20. proslijedio/la je Tweet
    23. sij

    People fought - hard - to expand a school down the block from this one. They've ignored these students who need help the most. The difference? The students the schools serve.

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

    I'm teaching Internet of Evil, a seminar about breaking things, again this term. It was a blast last year. I've updated the syllabus slightly. Lot of evil to keep up with!:

    Prikaži ovu nit
    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:

    ·