Guannan Wei

@GuannanWei

PhD student in programming languages

continuation.passing.style
Vrijeme pridruživanja: siječanj 2012.
1 fotografija ili videozapis Fotografije i videozapisi

Tweetovi

Blokirali ste korisnika/cu @GuannanWei

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

  1. proslijedio/la je Tweet
    28. sij

    FYI all, I have seen this post on the ISCA/HPCA tragedy.

    10 proslijeđenih tweetova 51 korisnik označava da mu se sviđa
    Poništi
  2. proslijedio/la je Tweet
    29. sij

    Me in my advisor’s office a day before the TA applications are due

    7 proslijeđenih tweetova 59 korisnika označava da im se sviđa
    Poništi
  3. proslijedio/la je Tweet
    28. sij

    Where does your favorite CS conference stand with respect to double-blind reviewing? Check out . (GitHub repo here: )

    15 proslijeđenih tweetova 51 korisnik označava da mu se sviđa
    Poništi
  4. proslijedio/la je Tweet
    28. sij

    Just started teaching Haskell to our first year students this semester. For anyone interested, all the course materials are available here:

    5 replies 57 proslijeđenih tweetova 193 korisnika označavaju da im se sviđa
    Poništi
  5. proslijedio/la je Tweet
    22. sij

    It's official! "Modern Systems Programming with Scala Native" is 100% done and going into print: I'm so excited to share with more folks, and for the broader Scala community to see the power of low-level programming in Scala!

    17 replies 89 proslijeđenih tweetova 329 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  6. proslijedio/la je Tweet
    21. sij

    Excited for “Great Instruction Set Architectures” reading seminar and all the hot takes on LISP machines...

    1 reply 7 proslijeđenih tweetova 40 korisnika označava da im se sviđa
    Poništi
  7. proslijedio/la je Tweet
    19. sij

    Each pig has its merits, but only one can be the chosen pig.

    645 replies 27.406 proslijeđenih tweetova 127.951 korisnik označava da mu se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  8. proslijedio/la je Tweet
    14. sij

    Is t-SNE becoming more popular or is it just me seeing more t-SNE plots everywhere I look? Anyway, here are four ways you can generate t-SNE plots from Julia. The last option has a fair combination of fast speed and few allocations.

    15 proslijeđenih tweetova 82 korisnika označavaju da im se sviđa
    Poništi
  9. proslijedio/la je Tweet
    5. sij

    Consider: millions of years ago our antecedents gave a massive sacrifice of their left hemisphere. We lost a tremendous amount of short term memory and replaced it with Broca’s, Wernicke & the phonological loop. But why? So we can—talk. Thus chimpanzees can do this—we can’t:

    945 replies 37.302 proslijeđena tweeta 102.767 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  10. proslijedio/la je Tweet
    3. sij

    This is better than both Jurassic World movies. 😁😁

    641 reply 38.446 proslijeđenih tweetova 113.344 korisnika označavaju da im se sviđa
    Poništi
  11. proslijedio/la je Tweet
    28. pro 2019.

    I'm surprised there are so few programming languages with a built-in database that you can query for facts about definitions. For example, list all the functions that take three arguments. We have self-hosting compilers, why not self-host code exploration APIs?

    40 replies 58 proslijeđenih tweetova 389 korisnika označava da im se sviđa
    Poništi
  12. proslijedio/la je Tweet
    26. pro 2019.

    Beyond Debug Information: Improving Program Reconstruction in LLDB using C++ Modules 2019 Raphael Isemann ()

    1 reply 27 proslijeđenih tweetova 100 korisnika označava da im se sviđa
    Poništi
  13. proslijedio/la je Tweet
    23. pro 2019.

    My category theory notes are finally up there! () I'm quite proud of the intuitive explanations of the Yoneda lemma, I really tried to do my best.

    8 replies 55 proslijeđenih tweetova 243 korisnika označavaju da im se sviđa
    Poništi
  14. proslijedio/la je Tweet
    22. pro 2019.

    I’ve found the master plan of every academic!

    112 replies 2.252 proslijeđena tweeta 8.916 korisnika označava da im se sviđa
    Poništi
  15. proslijedio/la je Tweet
    21. pro 2019.

    even 1.5 yrs after switching to Coq, I still find myself complain about how clunky it is to write dependently typed functions that are meant to be computed. in other words, Coq is the Java of dependent types. it is the industry standard but it'd make a beginner hate dep't types.

    Some users wonder how can be usable without tactics. They forget that Agda's dependent pattern matching *is* a powerful tactic.
    Prikaži ovu nit
    10 proslijeđenih tweetova 94 korisnika označavaju da im se sviđa
    Poništi
  16. proslijedio/la je Tweet
    20. pro 2019.

    subway rat made eye contact with me and said “join us. when the train comes we slide under the tracks and feel it rumble over us like a warm thunderstorm. we live forever and we love to live” I said no thank you I am too large he turned away from me I cried

    498 replies 48.316 proslijeđenih tweetova 265.357 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  17. proslijedio/la je Tweet
    20. pro 2019.

    This "justification" is radically different from what's actually in the letter the ACM signed. Rescind the signature.

    Read more about the context and rationale behind ACM’s decision to sign letters in opposition to the OSTP zero embargo proposal:
    5 proslijeđenih tweetova 19 korisnika označava da im se sviđa
    Poništi
  18. proslijedio/la je Tweet
    20. pro 2019.

    Sham on for signing this regressive letter.

    many of our biggest (academic) publishing venues have signed a letter opposing open access. Pretty amazing to read this: (is there any defense of this letter? there is not right?)
    Prikaži ovu nit
    29 proslijeđenih tweetova 64 korisnika označavaju da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  19. proslijedio/la je Tweet
    20. pro 2019.

    Recordings from the Program Transformations for ML workshop at are now available! Especially enjoyed this talk by Christine Tasson from , presenting a very coherent introduction to the semantics of probabilistic programming:

    5 proslijeđenih tweetova 15 korisnika označava da im se sviđa
    Poništi
  20. proslijedio/la je Tweet
    19. pro 2019.

    Christmas is all about family. What better way to celebrate than a paper about relations? The latest article in JFP, 'POPLMark reloaded', shows how use logical relations to mechanize the metatheory of lambda calculi in three different proof assistants:

    3 proslijeđena tweeta 16 korisnika označava da im se sviđa
    Poništi

@GuannanWei 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:

    ·