Tweetovi

Blokirali ste korisnika/cu @Odomontois

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

  1. proslijedio/la je Tweet
    29. sij

    Ok, this is the freakiest optical illusion I've ever seen (wait till the end)

    Poništi
  2. 27. sij

    Это видео Михаила Соколова. У Михаила Соколова также есть другие видео.

    Poništi
  3. proslijedio/la je Tweet
    23. sij

    Fantastic (but advanced!) talk by on improving the usability of arrows in symmetric monoidal categories, which hold promise as a way to define solutions to multi-faceted problems in modern app development.

    Poništi
  4. 20. sij

    Today's experiment: higher kinded Monad via Day convolution, day closure and friends

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

    Video of my talk from is availbale now: I tried to show typelevel ecosystem + some other libraries and how well they play together. And do so by creating semi-real app. Http4s, circe, fs2, doobie, quill, ciris, decline and more covered!

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

    I'm surprised there are so few programming languages with a built-in database that you can query for facts about definitions. For example, list all the functions that take three arguments. We have self-hosting compilers, why not self-host code exploration APIs?

    Poništi
  7. 27. pro 2019.

    Это пост - благодарность Антону Трунову . На протяжении 4 месяцев он приезжал каждую пятницу из Питера в Москву, чтобы читать лучший и современнейший курс по Coq, завтипам и доказательствам. Умопомрачающий ценности плейлист здесь Спасибо!!!

    Poništi
  8. 20. pro 2019.
    Poništi
  9. proslijedio/la je Tweet
    16. pro 2019.

    Nice thing from for working with arrows with nice syntax - need to give it a try in practice but it looks super cool (see the talk from when it's online!): Also love the name...

    Poništi
  10. 14. pro 2019.

    Which reminds us that most sustainable ecosystems are based not on widespread or similarity but on synergy and cooperation. Let people dream what they dream, and the creativity will produce miracles. {2/2}

    Prikaži ovu nit
    Poništi
  11. 14. pro 2019.

    was great for so many reasons. and gave us two fantastic days devoted to scala programming. There was so many amazing talks, ideas and solutions. Most amazing is that many ideas was somehow correlated, interoperable... {1/2}

    Prikaži ovu nit
    Poništi
  12. 20. stu 2019.
    Poništi
  13. 12. stu 2019.

    Making pulls at home +++ Strengten top of back = homotopy pullback

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

    Tomorrow I'm going to showcase Izumi Framework & Tagless-Final-Bifunctor-IO combo in Warsaw – you'll learn that despite the name, it's a highly pragmatic, ergonomic and newbie-friendly approach to develop day-to-day software in Scala😉

    Poništi
  15. 6. ruj 2019.

    Meanwhile you can meet John personally watch another amazing talk and attend in his workshop September 28th in Moscow

    Poništi
  16. 6. ruj 2019.

    Worth mentioning it made real thanks to collaboration with and . I've used their manual method while waiting for this release to come. You can thank them here

    Poništi
  17. proslijedio/la je Tweet
    24. kol 2019.

    A general principle I keep in mind (which Viktor Winschel repeats a lot) is that whenever something has a "local to global" feel - which happens all over economics for example - you should look for a sheaf structure where they become local and global sections

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

    Hello better-monadic-for users, Dotty will only allow pre-typer plugins in nightly builds, so if we want to continue using its fancy features in production, we should aim for directly changing the language. I started a thread here: RTs appreciated.

    Poništi
  19. proslijedio/la je Tweet
    Odgovor korisniku/ci

    Господи, только не это

    Poništi
  20. 3. lip 2019.

    I just published Final Free Structures with Subtyping (Scala)

    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:

    ·