grok

@grokblog

grokar.com.br
Vrijeme pridruživanja: srpanj 2018.
0 fotografija ili videozapisa Fotografije i videozapisi

Tweetovi

Blokirali ste korisnika/cu @grokblog

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

  1. proslijedio/la je Tweet
    13. sij

    A new section on left and right fibrations between simplicial sets was added,

    6 proslijeđenih tweetova 15 korisnika označava da im se sviđa
    Poništi
  2. proslijedio/la je Tweet
    4. pro 2019.

    Category theory by example. ~ I. Murashko, A. Radkov, M, Minshin.

    18 proslijeđenih tweetova 61 korisnik označava da mu se sviđa
    Poništi
  3. proslijedio/la je Tweet
    17. stu 2019.

    Applicative Functor - Part 2 - Learn more about the canonical definition of the Applicative typeclass by looking at a great Haskell validation example by and - Then see it translated to Scala

    9 proslijeđenih tweetova 38 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  4. proslijedio/la je Tweet
    3. lis 2019.

    I just read "String diagrams for assembly planning" by , , Shahin Yousfi and Arquimedes Canedo I LOVE LOVE LOVE this paper! It's extremely ACT. It's not super deep conceptually, but they created a "full stack" proof of concept

    25 proslijeđenih tweetova 65 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  5. proslijedio/la je Tweet
    27. ruj 2019.

    Assorted links The paper introducing open games: Compositional game theory bibliography: On compositionality: Applying the rising sea: Open games tool demo:

    18 proslijeđenih tweetova 73 korisnika označavaju da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  6. proslijedio/la je Tweet
    28. ruj 2019.

    Having trouble understanding monoids/semigroups? Check out my latest video on YT:

    9 proslijeđenih tweetova 62 korisnika označavaju da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  7. proslijedio/la je Tweet
    24. ruj 2019.

    Next stop in our stroll through adjunctions: unpacking (and repackaging) the definition. What's up with the unit and counit? And why the name “adjoint,” anyway? All this and more, now on the blog. Part 2 is here!

    10 proslijeđenih tweetova 27 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  8. proslijedio/la je Tweet
    20. ruj 2019.

    Here's the promised blog post about the most common adjunctions we encounter in programming: product, coproduct, and exponential.

    1 reply 63 proslijeđena tweeta 253 korisnika označavaju da im se sviđa
    Poništi
  9. proslijedio/la je Tweet
    19. ruj 2019.

    A while ago, I introduced a blog series on the basics of category theory (categories, functors, natural transformations). Today, adjunctions are now on the list! So, what *is* an adjunction? Here's the start of a leisurely stroll through the ideas...

    12 replies 74 proslijeđena tweeta 334 korisnika označavaju da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  10. proslijedio/la je Tweet
    9. ruj 2019.

    I'm excited to share The Whole Code Catalog: my reviews of two-dozen programming-ish tools to inspire the creators of tomorrow's programming languages and computational mediums

    181 proslijeđeni tweet 529 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  11. proslijedio/la je Tweet
    11. ruj 2019.

    The video is now available for my talk "A Functional Reboot for Deep Learning".

    5 replies 43 proslijeđena tweeta 129 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  12. proslijedio/la je Tweet
    8. ruj 2019.

    Git merges are pushouts:

    1 reply 4 proslijeđena tweeta 10 korisnika označava da im se sviđa
    Poništi
  13. proslijedio/la je Tweet
    5. ruj 2019.

    Still a little shaky on contravarience, but this great article nicely demystified profunctors for me

    2 proslijeđena tweeta 12 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  14. proslijedio/la je Tweet
    29. kol 2019.

    "Category Theory", revised entry at the .

    16 proslijeđenih tweetova 45 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  15. proslijedio/la je Tweet
    26. kol 2019.

    I'm reading a remarkable essay titled "What is Category Theory" , filled with deep insights. "The main concepts, categories, functors and natural transformations, and the language, arrows, commutative diagrams, are seen as useful prosthetics to the mind."

    1 reply 20 proslijeđenih tweetova 66 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  16. proslijedio/la je Tweet
    5. kol 2019.

    [BLOG] Dead-simple TCP/IP services using :D Excited to share a technique I've been using a lot over the past year that has opened up a lot of doors for my personal projects.

    36 proslijeđenih tweetova 124 korisnika označavaju da im se sviđa
    Poništi
  17. proslijedio/la je Tweet
    30. srp 2019.

    The Haskell Phrasebook: a free quick-start Haskell guide comprised of a sequence of small annotated programs!

    88 proslijeđenih tweetova 272 korisnika označavaju da im se sviđa
    Poništi
  18. proslijedio/la je Tweet
    28. srp 2019.

    Functional Programming in Education - my Lambda Jam 2019 talk is now online. I think we should teach undergrads Haskell.

    14 replies 70 proslijeđenih tweetova 198 korisnika označava da im se sviđa
    Poništi
  19. proslijedio/la je Tweet
    21. srp 2019.

    Links to recordings of many of the ACT talks can be found here: Huge thanks to , the hero we don't deserve for handling all of the recording!

    1 reply 16 proslijeđenih tweetova 44 korisnika označavaju da im se sviđa
    Poništi
  20. proslijedio/la je Tweet
    18. srp 2019.

    Hello friends! I’m excited to share with you the start of a mini-series on quantum probability theory. It's a *first* look at the subject, so the only prerequisites are linear algebra and basic probability. Part 1 is now on Math3ma!

    9 replies 125 proslijeđenih tweetova 520 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi

@grokblog još nije objavio nijedan Tweet.

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

    ·