Rezultati pretraživanja
  1. 11. lis 2019.

    Agda jokes are the best

    Prikaži ovu nit
  2. 28. lis 2019.

    I love charts like this; an excerpt from Build Systems a'la Carte at . A great denotational design breakdown of build-systems! This slide shows how constraining effect systems results in different build-system models! Fantastic talk !

  3. 11. lis 2019.
  4. 11. lis 2019.

    "But Agda doesn't let me write something that doesn't terminate - let's try writing something that doesn't terminate"

  5. 5. pro 2019.

    So are Haskell folks looking for a replacement or what?

  6. 4. ožu 2019.

    Monday is bringing great news! You can now submit your talk proposals to . Call for Papers are OPEN! Join our already amazing line-up together with and Philip Wadler. We are looking forward to hearing your ideas🧠😃

  7. 10. lis 2019.

    Excited to be back at the in London!

  8. 11. lis 2019.

    Beautiful slides from introducing category theory at !

  9. 10. lis 2019.

    Some spicy takes from at this morning!

  10. 10. lis 2019.

    Gave a talk today at about Runtime Linking in GHC. I'd like to thank the folks who came to listen knowing it's going to be pretty dense and low-level. Also, thanks to for organizing the event! The recording is already available at

  11. 10. lis 2019.
  12. 11. lis 2019.

    Finally proper records to come to (I can't think this proposal won't be accepted in one form or another)

  13. 11. lis 2019.
  14. 9. tra 2019.

    KEYNOTE ANNOUNCEMENT 📣📣 We are really excited to announce that we will be joined by at 2019, our 2-day conference on all things 💜💜 More information on tickets, Call for Papers and programme here:

  15. 10. lis 2019.

    'It can look scary, it can look different, but it just comes down to the Getter/Setter' telling us how Lenses can turn into values🏆

  16. 11. lis 2019.

    At where is figuring out why GHC uses so much memory. The new event log HTML profile viewer is very slick.

  17. 11. lis 2019.

    Slides for my Talk "The Power Of Const" at 2019:

  18. 10. lis 2019.

    Come for the Haskell stay for the comic sans

    Prikaži ovu nit
  19. 11. lis 2019.

    As always, kudos to for making the videos available as soon as the talks are done!

  20. 1. stu 2019.

    What happened to the videos? They seem to have vanished! Like this one

Č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.