Tweetovi
- Tweetovi, trenutna stranica.
- Tweetovi i odgovori
- Medijski sadržaj
Blokirali ste korisnika/cu @timkersey
Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @timkersey
-
Tim Kersey proslijedio/la je Tweet
I love that this all ended with smart Andy Reid clock management
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Tim Kersey proslijedio/la je Tweet
New optics! An introduction to kaleidoscopes and what they bring to the table
Interested in optics? Check out my book!
https://leanpub.com/optics-by-example/ …
Based on recent work by @mroman42@pitopos@8ryceClarke@BartoszMilewski@ququ7, Derek Elkins &@jer_gibhttps://chrispenner.ca/posts/kaleidoscopes …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Getting lots of Twitter Ads for Google Ads
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Tim Kersey proslijedio/la je Tweet
Strong type systems, memory safety, automatic memory management and so on have had zero effect on software quality, because all the extra slack was consumed by new features instead
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Tim Kersey proslijedio/la je Tweet
We have reached the terminal object in the category of lectures in the series "Programming with Categories." Here, I'm talking about my favorite topic--profunctors, ends, and coends.https://www.youtube.com/watch?v=UpLKmy5j6-U …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Tim Kersey proslijedio/la je Tweet
Inspired by
@MxLambda's tweet (RT'd) to point out this parallel via alignment. Surprised that it wasn't already called out explicitly by https://chris-martin.github.io/haskell-aligned/ … (@chris__martin
). Top of each pair is easier to teach (IMHO); bottom is usually more convenient in practice. https://twitter.com/MxLambda/status/1222621862347333634 …pic.twitter.com/C8TeS6eYIJ
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Tim Kersey proslijedio/la je Tweet
More results from last year's Applied Category Theory School in Oxford. Emily and Mario's post on n-Cat Cafe: https://golem.ph.utexas.edu/category/2020/01/profunctor_optics_the_categori.html …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Tim Kersey proslijedio/la je Tweet
well! yes, historically, we get an agglomeration of useless complexity (java) then a revolt (rails)! it was 2005 when DHH gave his famous "WS-Death Star" talk at the first-ever rails conference. who will be the next rails ? FAANG has a strangleholdhttps://twitter.com/jrobertson/status/1221485544275734528 …
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Tim Kersey proslijedio/la je Tweet
本日の「圏論とプログラミング」のスライドです! My slide for "Category Theory and Programming" is now up! (in Japanese)https://speakerdeck.com/inamiy/category-theory-and-programming …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Tim Kersey proslijedio/la je Tweet
I always do year end retrospective about
#haskell, but decided to do a forward looking piece instead. Haskell Problems For a New Decade http://www.stephendiehl.com/posts/decade.html …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Tim Kersey proslijedio/la je Tweet
On the road to Swift 6:https://forums.swift.org/t/on-the-road-to-swift-6/32862 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Tim Kersey proslijedio/la je Tweet
Have you ever wondered what will be the ML frameworks of the '20s? In this essay, I examine the directions AI research might take and the requirements they impose, concluding with an overview of what I believe to be two strong candidates: JAX and S4TF.http://inoryy.com/post/next-gen-ml-tools/ …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Tim Kersey proslijedio/la je Tweet
Here we go: a totally polished and not-at-all half-baked take on static vs dynamic typinghttps://buttondown.email/hillelwayne/archive/a-totally-polished-and-not-at-all-half-baked-take/ …
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Tim Kersey proslijedio/la je Tweet
I’m pleased to present the flame-bait sequel to my previous blog post: “No, dynamic type systems are not inherently more open.” (Please send me your hatemail at your earliest convenience.) https://lexi-lambda.github.io/blog/2020/01/19/no-dynamic-type-systems-are-not-inherently-more-open/ …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Tim Kersey proslijedio/la je Tweet
[BLOG] "Adjunctions in the wild: foldl" Made a
#haskell conceptual connection last week, thought it might be fun to write it out as a blog post :)https://blog.jle.im/entry/foldl-adjunction.html#.XhzfckGiN0c.twitter …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Tim Kersey proslijedio/la je Tweet
Academic Torrents: "Distributed system for sharing enormous datasets - for researchers, by researchers." http://academictorrents.com/
#OpenDataHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Tim Kersey proslijedio/la je Tweet
Swift is used on Apple devices, servers, in machine learning... now, let's make it a thing on bare metal! Excited to open source my latest project – Swift for Embedded Systems!
https://github.com/swift-embedded/swift-embedded …
#swift#embeddedHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Tim Kersey proslijedio/la je Tweet
Number 2 Fugazi - Waiting Room (Washington, DC 1988) Artistic passion defined. You can dance to punk rock. The communal energy here gives me chillshttps://youtu.be/SGJFWirQ3ks
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Tim Kersey proslijedio/la je Tweet
Video from lecture 3 in Programming with Categories is about lambda calculus and functors.https://www.youtube.com/watch?v=1ar_eC9tfm0 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Tim Kersey proslijedio/la je Tweet
Collections of papers and books about Haskell, type theory and category theory. https://github.com/saurabhkukade/Haskell_Study …
#Haskell#TypeTheory#CategoryTheoryHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoniš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.