Pierce Darragh   

@_pdarragh

pre-doc PL researcher looking for a PhD advisor. interested in type systems, human-centered language design, and CS ed. may the fork be with you. he/him

Salt Lake City, UT
Vrijeme pridruživanja: ožujak 2015.

Tweetovi

Blokirali ste korisnika/cu @_pdarragh

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

  1. Prikvačeni tweet

    Observed nature this weekend. It was good. (We cute.) – mjesto: Silver Lake

    Poništi
  2. 4. velj

    My other option was the birthday song my very good family friends sang to me on my 18th birthday: This is your birthday song, It isn't very long...! (That's it. That's the song.)

    Prikaži ovu nit
    Poništi
  3. 4. velj

    I wanna be the very best like no one ever was! to catch them is my real test; to train them is my caaaauusseee

    Tweet je nedostupan.
    Prikaži ovu nit
    Poništi
  4. proslijedio/la je Tweet
    3. velj

    jfc the principal of the high school my kids attend was fired for driving a couple of drunk students home, instead of calling the police

    Poništi
  5. 2. velj

    it appears Merlin has found his happy place

    Poništi
  6. 2. velj

    Korean dinner w/ friends is good for the soul (and stomach) – mjesto: Baek Ri Hyang

    Poništi
  7. 31. sij

    "The Library Support Technician of Berlin" ...hm.

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

    idk what the right business model is for software but my only take is that nearly every subscription plan for a pure software product is gonna feel like a scam until we fix the industry's culture of constant code pushing with zero engineering rigor

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

    I knew people didn't like them, but I was unaware that Amazon had ventured into manufacturing biological weapons to muscle out independent bookstores... Truly sinister.

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

    feel like we don't pay enough attention to google's war against filesystems & urls & all forms of organization that make sense

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

    Imperative programming is about *doing*. Functional programming is about *being*. Pattern matching is about *seeing*.

    Prikaži ovu nit
    Poništi
  12. proslijedio/la je Tweet
    29. sij
    Odgovor korisniku/ci

    Bleak. Sad story of the last surviving smuggler of peanut butter and jelly sandwiches in the 27th century. I think the police dogs licking the jelly off Maia on page 203 is...too much.

    Poništi
  13. proslijedio/la je Tweet

    Okay, so real quick, I feel like I really need to explain intersectionality to white people because stuff like this, even though it's well meaning is getting on my nerves. It's really hard to see a black woman's work be misused over and over again by progressives/well meaning ppl

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

    +, Σ, and ∫ are just different evolutions of the same Pokémon

    Prikaži ovu nit
    Poništi
  15. proslijedio/la je Tweet
    26. sij

    That time a Nebraskan farmer asked members of a pro-fracking oil and gas committee if they would drink water that was tainted by fracking wastewater

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

    Neat take on the iPad's debut from the guy who was managing Windows development at the time.

    Poništi
  17. 27. sij

    Actually one of my favorite definitions I've seen recently comes from one of the authors of the paper, , who wrote the excerpt below in a blog post. So maybe I'm just reading too much into the phrasing in the paper, because this defn appears to align with contracts!

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

    The authors seem to suggest contracts are not part of the type system by drawing these distinctions (in a few places). Can't we consider contracts as merely a more advanced/expressive form of type system? What is a type system, anyway? I haven't found a satisfying definition yet.

    Prikaži ovu nit
    Poništi
  19. 26. sij

    The paper I picked for tomorrow's meeting. Seems pretty neat!

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

    Hm. Not sure what document transmission over telecommunications lines has to do with videocassette tapes, but perhaps this was a normal use of these technologies in the early '90s. (I jest, of course, but... I only know VAX was a computer, and I've no idea what VMS is/was.)

    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:

    ·