Joey Eremondi

@EremondiJoey

PhD Student in Programming Languages at UBC

Vrijeme pridruživanja: ožujak 2019.

Tweetovi

Blokirali ste korisnika/cu @EremondiJoey

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

  1. Prikvačeni tweet
    11. pro 2019.

    My ICFP talk is up on YouTube now!

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

    Posted without comment

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

    I tell people to stop worrying about futuristic runaway smart AI, because it's stupid current AI that will kill us, this is what I mean. Someone bought a product that *literally* text-matched the word "charity" as 'good' and "vodka" as 'bad' and is making hiring choices with it.

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

    grad school visits are coming up in a couple weeks (usually in March), learn what they're all about in my blog post:

    Poništi
  5. proslijedio/la je Tweet
    27. sij

    Universities: Need help? Use our mental health services! The services: -A golden retriever comes to the library once a week -There's one therapist on the campus of 40,000 students -There are bathroom stalls you can cry in for free!

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

    i think it's time to re-indoctrinate the youth

    Prikaži ovu nit
    Poništi
  7. proslijedio/la je Tweet
    27. sij

    Haskell-ide-engine and Ghcide teams are joining forces to work on a single Haskell IDE. See for details. With , and many contributors from both sides.

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

    It’s and the start of Label Week! Today we got 1,000 FREE label orders to give away! To enter to win: 1) RT or reply to this tweet 2) Follow us so we can DM you Ends Wednesday at 10PM EST. Tag a friend for bonus points.

    Poništi
  9. proslijedio/la je Tweet
    24. sij

    Uh this emacs region undo thing is kinda blowing my mind. I had no idea!

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

    US: our roads are all gridlocked with cars, how do we fix this? Japan: trains! Netherlands: bikes! Colombia: buses! US: MORE CARS but they drive themselves!

    Prikaži ovu nit
    Poništi
  11. 22. sij

    Does anyone know if there's an equivalent of a General Recursion monad that lets you do Set:Set or Non-strictly-positive datatypes?

    Poništi
  12. 20. sij

    When you see a notification that someone cited your paper, but it was your co-authors:

    Poništi
  13. proslijedio/la je Tweet
    18. sij

    10 Ways You Can Talk About Unsafe Code Without Creating An Unsafe Work Environment

    Poništi
  14. proslijedio/la je Tweet
    17. sij

    It's a sad day for : actix-web is dead. I am not feeling very good about our community today.

    Poništi
  15. 16. sij

    On a related note, does anyone know of good Agda libraries for dealing with Galois Connections?

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

    Is this an instance of (or similar to) a known structure? And does it tell us anything about the relationship between the Q_i's?

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

    Okay PL/CT twitter, is this a thing that exists? There's pairs of posets (P_i , Q_i) where there's a Galois Connection between each pair. Additionally, you've got a partial order on the P_i's where whenever P_i <= P_j there's a Galois Connection between P_i and P_j.

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

    When will give gamers what they want?

    Prikaži ovu nit
    Poništi
  19. 13. sij
    Prikaži ovu nit
    Poništi
  20. 13. sij

    Vancouver: freaking out over snow and cold. Prairie folk:

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

    I'm collecting information for my thesis can you let me know if you have benefited from or :instances? () Thanks!

    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:

    ·