Tweetovi

Blokirali ste korisnika/cu @wilcoxjay

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

  1. proslijedio/la je Tweet
    31. sij

    My student Denis wrote a formal semantics for the French tax code, complete with Coq proof of soundness and SMT queries to uncover unfair tax hikes. PL for fiscal justice!

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

    full house (& zoom) at the Strike General Assembly at UCSC last night. Grads overwhelmingly were in support of a full strike. The questions was simply when. The answer - February 10! Proud to walk among wildcat legends.

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

    solidarity with the grad students

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

    "Do I do research or pay rent?" Grad students in Santa Cruz start a wildcat strike Follow ⁦

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

    You know how they teach you that communist doctor photos and erase their enemies. Yeah.

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

    Yesterday, no less than 4 venture capitalists took the time to find my email to yell at me about how wrong I am about how the gig economy skirts labor laws and forces its workers into poverty, so here's the article that annoyed them so much, again!!

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

    Wintertime fireplace snoozle.

    Poništi
  8. proslijedio/la je Tweet
    15. sij
    Poništi
  9. proslijedio/la je Tweet

    can't stop laughing at this

    Poništi
  10. 12. sij

    me, a sophisticated wine drinker: mmm, I'm getting notes of... grapes

    Poništi
  11. 11. sij

    analogy: case law is to lawyers as crash reports are to pilots. discuss.

    Poništi
  12. proslijedio/la je Tweet
    10. sij

    Just procrastinated so hard I set up a blog and wrote about linearity and erasure in Idris 2. I'm probably not going to make a habit of this...

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

    new blog post: Testing Dataflow Analyses for Precision and Soundness summarizes a new paper lead by

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

    My kids asked me to modify minecraft to allow them to have pugs. Now we have pugs. Lots of pugs.

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

    Come work with us at Akita! Perks include, but are not limited to: - Hard problems - Exciting progress every week - Teammates who listen - Opportunity to fix security and privacy for everybody everywhere - Fantastic gender balance - Free La Croix (of course) - Plants everywhere

    Poništi
  16. 3. sij

    good thread about politics in “trustless” systems

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

    Here's a piece about the invasion of Iraq. I read it periodically to remind myself to continue to be furious about what this country did. We cannot let this happen again. No war with Iran, no war with Iran, no war with Iran.

    Poništi
  18. 3. sij

    about a week ago I made an amazing connection with the guy sitting next to me on a flight. we talked from gate to gate about everything from holiday family challenges to life goals. that interaction sticks with me because I cannot imagine it happening 6 months ago.

    Poništi
  19. 2. sij

    rough day we’re having over here

    Poništi
  20. 30. pro 2019.

    in a twist I really should have foreseen, I could not complete today's (monday) crossword without help

    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:

    ·