Tweetovi

Blokirali ste korisnika/cu @jwin1968

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

  1. proslijedio/la je Tweet
    8. sij

    The first lecture by David Spivak about sets and categories in Programming with Categories is out:

    Poništi
  2. 8. sij

    Programming with Categories - Lecture 0 via

    Poništi
  3. 4. sij
    Poništi
  4. 15. pro 2019.

    now if all these „react like“ would go the extra mile to arrive at the Elm architecture, I would be a happy customer

    Poništi
  5. proslijedio/la je Tweet
    7. pro 2019.

    Thanks everyone that came to my talk yesterday and the great discussions we had afterward. Here are the slides:

    Poništi
  6. proslijedio/la je Tweet
    6. pro 2019.

    Grateful & excited by the great work the & the community has put into making metaprograming a reality in Kotlin w/ Arrow Meta. Next is Type Proofs which enable union types, type classes, auto derivation & more type system features

    Poništi
  7. proslijedio/la je Tweet
    18. stu 2019.

    We’re happy to announce the release of Kotlin 1.3.60! It introduces Kotlin Worksheets, many quality and tooling improvements, support for the new Kotlin/Native targets, a sneak preview into Kotlin 1.4, and more.

    Poništi
  8. proslijedio/la je Tweet
    11. stu 2019.

    Today I was working with David Spivak and Brendan Fong on our new course, Programming with Categories. It will take place in January at MIT as part of IAP. We'll introduce categorical concepts and teach elements of Haskell to illustrate them. Yes, all 18 lectures will be recorded

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

    One of those soft papers about programming languages and adoption everyone should read to be understand the market.

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

    🔥 Issue #88 is out. This week: trees, trees, trees! Featuring content from , , , , , and .

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

    Excited to be talking about Granule at in London on Thursday! If anyone out there hasn't registered and wants to attend, DM me for a discount code.

    Prikaži ovu nit
    Poništi
  12. proslijedio/la je Tweet
    26. lis 2019.

    Quite a heroic feat of engineering rewriting the GHC garbage collector. 🎉

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

    how long is your typical elm-formatted update function? (plz RT for reach)

    Prikaži ovu nit
    Poništi
  14. proslijedio/la je Tweet
    21. lis 2019.

    New release today! ✨ 0.19.1 ✨ Faster builds than ever, but most excited about the new syntax errors! Hoping they will help folks get past The Syntax Cliff.

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

    Oh, I almost forgot to mention it here, but I was at talking about keeping concurrent and parallel Haskell programs simple by using the architecture.

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

    One of my favorite features of Haskell documentation is that you can jump to the source code for any definition

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

    Psst… only for today, you can get for the ridiculously discounted price of €10 😲 Such a bargain! Go grab your copy and start learning about Haskell, types and functional programming today! 💥

    Prikaži ovu nit
    Poništi
  18. 19. ruj 2019.

    In case you missed it.. there is now a programming language, which bundles: - a REPL with notebook-style worlkflow - versioned code editing (no git necessary) - package management - (did I forget cached unit-testing ?) ...all in one executable ?

    Poništi
  19. proslijedio/la je Tweet
    14. ruj 2019.

    Code is append-only, it never changes! Never build it, what would be different? Run tests once. Dependencies never conflict, because the hashes are not ambiguous like names can be.

    Prikaži ovu nit
    Poništi
  20. proslijedio/la je Tweet
    11. ruj 2019.

    We have moved `ghcide` (formerly known as `hie-core`) to a separate repository at to make it easier to contribute.

    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:

    ·