Paweł Szulc

@EncodePanda

Haskell, 范畴论, λ, Distributed Systems, Formal Methods

Poland
Vrijeme pridruživanja: veljača 2009.

Tweetovi

Blokirali ste korisnika/cu @EncodePanda

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

  1. Prikvačeni tweet
    1. sij

    /s/rabbitonweb/EncodePanda

    Poništi
  2. prije 2 sata
    Poništi
  3. proslijedio/la je Tweet
    1. velj

    What started as a long, detailed post about manually installing an HIE-based development environment with is now a much shorter post about how to get from zero to a Haskell IDE in a matter of minutes, thanks to devcontainers!

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

    I must highlight this great post about covariance and contravariance, and not just for . The fact that co/contravariance have an even/odd parity structure (where odd*odd = even, etc) is key to many confusions Ive had in the past in math/physics,etc

    Poništi
  5. 31. sij
    Poništi
  6. 31. sij
    Poništi
  7. 31. sij

    Can someone organize the hackathon in so I can hack and have drinks with ?

    Poništi
  8. 30. sij

    It's official, is a God. "Automatically Apply HLint Suggestions" (from 2015, I'm slow🤦)

    Poništi
  9. proslijedio/la je Tweet
    28. sij
    Prikaži ovu nit
    Poništi
  10. 28. sij

    Dominik is one of the best developers I've ever worked with. Bring this tweet to your CTO, you ain't gonna regret it!

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

    With keynote on modules - and why they are essential for building apps - I understood that modules are just a set of partially applied functions (for dependencies) packed together. I finally understood the relationship between functional programming and modules !

    Poništi
  12. 27. sij

    "The spirit of friendship and mutual assistance typifies what is best about the Haskell community." 💪❤️

    Poništi
  13. 26. sij

    stylish-haskell 0.10.0.0 just got released with support for record syntax. New goodies will follow soon 😊

    Poništi
  14. proslijedio/la je Tweet
    30. pro 2019.

    Fancy types work well when hidden behind a library with a nice API. GADTs are very useful to carry around type information. Use them, but keep the public API straightforward!

    Poništi
  15. proslijedio/la je Tweet
    25. sij

    “Thank God this woman is from Glasgow”

    Poništi
  16. proslijedio/la je Tweet
    25. sij

    We’ve introduced Wellness Geese to campus to help students de-stress during the exam period.

    Prikaži ovu nit
    Poništi
  17. proslijedio/la je Tweet
    25. sij

    We were lucky to encounter a misty atmospheric day for the first day of the Bristol Hackathon. Thanks to all the attendees for coming from far and wide!

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

    [ANN] Happy to release my new library, 'mutable', for "beautiful mutable values". Automatically generate composable piecewise-mutable references for your data types.

    Prikaži ovu nit
    Poništi
  19. proslijedio/la je Tweet
    24. sij

    Via Docker. Probably. Very likely. Yes.

    Poništi
  20. 23. sij

    Well, I've just bought plane tickets to Denver in June. I'm flying to for the 5th time! 😁 I will be hacking in the Rocky Mountains. You should too.

    Poništi
  21. 22. sij

    I've been following Iceland Jack for pass few weeks now. Neither of those were ever boring! Example below:

    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:

    ·