Michael   James

@LambdaLinguist

PL PhD Student | Making programming less hard

San Diego, CA
Vrijeme pridruživanja: listopad 2013.

Tweetovi

Blokirali ste korisnika/cu @LambdaLinguist

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

  1. 29. sij

    I was asked to sum up PL in a few words. Instead of going into logic or testing or semantics. I think we can all rally behind: Code Bad™

    Poništi
  2. 12. sij

    Got my hair ready for , I'll be the SRC'er with the purple hair talking "...something something synthesis..."

    Poništi
  3. PL Twitter: How would you compare a graduate research internship to an undergrad industry internship?

    Poništi
  4. Update: at 200 decibels I would have to be under a Saturn V rocket. At -100dB ???? Keeping me prepared and safe 🖤

    Prikaži ovu nit
    Poništi
  5. Hey , who designed the y-axis on the heart rate? A vampire? -200??

    Prikaži ovu nit
    Poništi
  6. Sometimes I look up recipes on foreign google just to get actually precise measurements. Did you know that 1tsp of salt is very different depending on your salt brand? 4 grams is always 4 grams.

    Poništi
  7. I have been through a whirlwind of jay-walking cultures in the past couple weeks: Germany: nie, never, we respect the rules Scotland: cars can get oot me way, I'll cross wherever San Diego: no way I can run across a football field of a street without getting hit at least twice.

    Poništi
  8. Great at ! I wish there were a session on how to manage your twitter and connect to the PL community!

    Poništi
  9. Off to ICFP & PLMW in Berlin! It's my first conference and when I asked about dress code, I was told to save the tie-dye outfit for tenured days.

    Poništi
  10. I now get why grad school code has the reputation it has--it's not engineering, it was data science all along!

    Poništi
  11. I was asked what the PL people stereotypes are, and the person asked "something about weird math and homotopy, right?" "Oh no" [HoTT materializes in my hand]

    Poništi
  12. Planning out my first conference trip, to . There are all these extra workshops and side-conferences and extra days. It feels like planning the right days to attend a music festival. so many options!!

    Poništi
  13. Today's baking adventure: chocolate babka. With this, bagels, and halva down I feel like I should open up a NY bakery in SD. Next logical step: lox?? Recipe by NYT's @ La Jolla, California

    Poništi
  14. I used to think typeclasses were this unique, powerful abstraction concept. But after reading the original paper [Wadler/Blott '88], they're really just a neat party trick. Impress your friends today with 🎉typeclasses🎉!

    Poništi
  15. So we all know computer scientists and printers don't play well together. But when I'm trying to print some Haskell papers, this fail-to-print error just feels vindictive.

    Poništi
  16. I've got a conference paper due in two weeks. Time to get to business. Baking business.

    Poništi
  17. proslijedio/la je Tweet
    22. svi 2017.

    The end of an era. is denied tenure at Tufts. I am appalled.

    Poništi
  18. Choosing an Instagram username has the same pressure of choosing a quote to get tattooed.

    Poništi
  19. proslijedio/la je Tweet
    24. ruj 2014.

    Check out Elm Reactor! Time-travel and change history all from the comfort of your favorite editor

    Poništi
  20. On Facebook I have to worry about embarrassing photos. Github's worse though; commits are forever. Oh god, all those regrettable commits.

    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:

    ·