Larry Diehl

@larrytheliquid

I do wibbly wobbly dependent typey wipey stuff. Programming Languages at . Formerly a postdoc at , and a PhD student at .

Vrijeme pridruživanja: veljača 2007.

Tweetovi

Blokirali ste korisnika/cu @larrytheliquid

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

  1. Prikvačeni tweet
    16. lis 2016.

    It's just an index-preserving update of an infinitary inductive-recursive argument to a type family, what's the problem?

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

    Beyond notations: Hygienic macro expansion for theorem proving languages. ~ Sebastian Ullrich, Leonardo de Moura.

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

    Are you interested in doing a PhD to advance the current state-of-the-art of dependently typed programming in ? Well, do I just have the perfect position for you:

    Poništi
  4. proslijedio/la je Tweet
    23. pro 2019.

    This year's school on applied category theory will be at MIT! The deadline to apply is January 15. If you're trying to get into applied category theory, this is the best possible way! Three students of previous schools are running this one. (1/n)

    Prikaži ovu nit
    Poništi
  5. proslijedio/la je Tweet
    27. stu 2019.

    We've just sent out the CPP 2020 notifications and made the list of accepted papers immediately available. Now time for some rest!

    Poništi
  6. proslijedio/la je Tweet
    20. stu 2019.

    PLISS 2020 (the third Programming Language Implementation Summer School) will be held in May next year, with great speakers and talks. You, or your students, can now register your interest in attending!

    Prikaži ovu nit
    Poništi
  7. proslijedio/la je Tweet
    12. stu 2019.
    Poništi
  8. proslijedio/la je Tweet
    12. stu 2019.

    The biggest bombshell from our applied category theory meeting this weekend: David Spivak and Brendan Fong at MIT are planning to set up an institute of applied category theory in the San Francisco Bay Area: the TOPOS INSTITUTE. I'm going to be involved in this!

    Poništi
  9. 11. stu 2019.

    got to apply lambek's lemma at work today 🥳

    Poništi
  10. proslijedio/la je Tweet
    5. stu 2019.

    Hi everyone! I’m Simon Peyton Jones. I’m a research computer scientist at Microsoft Research, but I have the joy and privilege of serving as chair of CAS… and now of the NCCE as well.

    Poništi
  11. proslijedio/la je Tweet
    21. lis 2019.

    happy to become a supporter -- april is a cool person with a lot of interesting things to say, and i'm excited to see where this project goes

    Poništi
  12. proslijedio/la je Tweet

    If you haven’t seen it yet, check out with recordings of our talks from yesterday! Thanks a lot for recording and processing everything!

    Poništi
  13. proslijedio/la je Tweet
    17. lis 2019.

    How do we know a language's type system "works?" Today on PL Perspectives, and colleagues argue that proving "semantic type soundness" is the best option (as opposed to syntactic type soundness).

    Poništi
  14. proslijedio/la je Tweet

    Hey folks, I'm currently seeking full-time employment in the NYC area (remote's fine too)! I'm primarily versed in Haskell and PureScript, although I've got experience with Scala, C, Python, and JavaScript and I'm interested in picking up some Rust.

    Poništi
  15. proslijedio/la je Tweet
    14. lis 2019.

    What's a "co program" and how do you design one? explains in today's PL Perspectives post. His clear prose revealed how I almost do this already, but didn't appreciate it!

    Poništi
  16. proslijedio/la je Tweet
    25. ruj 2019.

    It's been four years in the making, but the sequel to 'Calculating Correct Compilers' is finally finished!

    Poništi
  17. proslijedio/la je Tweet
    3. ruj 2019.

    Our survey paper on proof engineering is now published in FTPL. Check it out!

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

    "Bidirectional typing", submitted to ACM Computing Surveys:

    Poništi
  19. proslijedio/la je Tweet
    12. kol 2019.

    Register now for PurPL Fest & Midwest PL Summit! Stephanie Weirich will give a keynote talk on "A Dependently-Typed Core Calculus for GHC"

    Poništi
  20. proslijedio/la je Tweet

    For the class at PSU this year, I ported my notes on implementing dependent types from Racket to Haskell. Finally got around to uploading it. Feedback is welcome, but the backlog is a bit long, so my apologies for being slow with everything:

    Poništi
  21. proslijedio/la je Tweet
    29. srp 2019.

    The Future Will Be Formulated Using Category Theory We already knew this of course :^)

    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:

    ·