Talia Ringer

@TaliaRinger

Ph.D. Student with at , alumna.

Seattle, WA
tlringer.github.io
Vrijeme pridruživanja: ožujak 2016.
88 fotografija ili videozapisa Fotografije i videozapisi

Tweetovi

Blokirali ste korisnika/cu @TaliaRinger

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

  1. Prikvačeni tweet
    3. velj

    The key to good proof reuse and proof repair is in automatic transport, and the key to efficient automatic transport is in adapting the data structures traditionally used in SMT solvers. Let's have a univalent e-graph hackathon!

    2 proslijeđena tweeta 19 korisnika označava da im se sviđa
    Poništi
  2. prije 22 sata

    Here in the lab, we not only synthesize programs, we also program synthesizers

    1 proslijeđeni tweet 30 korisnika označava da im se sviđa
    Poništi
  3. 2. velj

    Poništi
  4. 2. velj

    Reminder to check out this recap of the POPLmark Retrospective Panel. I talk a lot about how the PL community can learn from this panel, even beyond the proof engineering community!

    7 proslijeđenih tweetova 17 korisnika označava da im se sviđa
    Poništi
  5. 31. sij

    Trying new tactics to get volunteers to give talks in my lab: threats

    22 korisnika označavaju da im se sviđa
    Poništi
  6. 30. sij

    The HoTT book says that not all topological notions apply to types, but if you try to stretch those other notions to fit types, can you get cool or weird or interesting ideas?

    13 korisnika označava da im se sviđa
    Poništi
  7. 29. sij

    I'm excited to share this post about the POPLmark Retrospective panel! Have thoughts on how to design benchmark suites and evaluate programming languages tools and techniques? I'd love to hear them, either here or as comments on the blog post.

    POPLmark retrospective: interlocking gears connecting the past and the future
    In this week's PL Perspectives (), describes the POPLmark retrospective panel she organized last week (), and answers the question: was the POPLmark challenge successful?
    3 proslijeđena tweeta 16 korisnika označava da im se sviđa
    Poništi
  8. proslijedio/la je Tweet
    29. sij

    The quest to mechanize proofs of programming language properties was spurred by the POPLmark Challenge, 15 years back. considers where we are now while recapping the distinguished panel she organized to discuss POPLmark's impact.

    1 reply 6 proslijeđenih tweetova 20 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  9. 28. sij

    has a Twitter! Cool!

    Hello all! Welcome to Coq's official Twitter! We will share exciting news and events related to Coq; see for the proper channels for bug reports or technical discussion. This account is community-managed by , , and . Have fun!
    3 proslijeđena tweeta 17 korisnika označava da im se sviđa
    Poništi
  10. 28. sij

    1 proslijeđeni tweet 33 korisnika označavaju da im se sviđa
    Poništi
  11. 28. sij

    Everything is equivalences and transport

    5 korisnika označava da im se sviđa
    Poništi
  12. 27. sij

    Excited to join this wonderful list of people at the upcoming Dagstuhl seminar on Static Methods for Correctness of Model and Program Transformations!

    12 korisnika označava da im se sviđa
    Poništi
  13. 27. sij

    PSA: The POPL Plague this year is the flu. Since in the first 24 hours after symptoms you can get an antiviral, if you get flu symptoms after POPL go to the doctor early

    1 reply 4 proslijeđena tweeta 11 korisnika označava da im se sviđa
    Poništi
  14. 26. sij

    Imagine ML but instead of Meta Language it's \M/etal Language

    2 proslijeđena tweeta 42 korisnika označavaju da im se sviđa
    Poništi
  15. 26. sij

    Ah yes, the annual POPLague

    1 reply 4 korisnika označavaju da im se sviđa
    Poništi
  16. 26. sij

    Thanks for the wonderful !

    7 korisnika označava da im se sviđa
    Poništi
  17. 25. sij

    Are there any good early visionary research idea venues in PL or ITP besides SNAPL and TYPES?

    9 replies 2 proslijeđena tweeta 19 korisnika označava da im se sviđa
    Poništi
  18. 25. sij

    I think the fact that in France, it's OK to do applied work as long as it is theoretically interesting, and in the US, it's OK to do theory as long as it has practical applications, kind of captures the difference between "Euro PL" and "American PL"

    19 proslijeđenih tweetova 122 korisnika označavaju da im se sviđa
    Poništi
  19. 25. sij

    And this, my friends, is why POPL is so much fun for me

    I need more friends who are type theorists. I might work with practical goals in mind (right now I'm working directly for a user!) but everything I do is best understood via HoTT, even if it is implemented for vanilla Coq. I am kind of obsessed with equivalences and transport
    1 reply 1 proslijeđeni tweet 11 korisnika označava da im se sviđa
    Poništi
  20. 24. sij

    Fun to see talks at POPL

    1 proslijeđeni tweet 6 korisnika označava da im se sviđa
    Poništi

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

    ·