Tweetovi
- Tweetovi, trenutna stranica.
- Tweetovi i odgovori
- Medijski sadržaj
Blokirali ste korisnika/cu @field_strength
Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @field_strength
-
Prikvačeni tweet
I've recently gotten a new appreciation for these beaut's. Some of the baddest higher-order functions since {fmap, >>=, <*>}! Quite a clear and general framework for recursion and corecursionpic.twitter.com/qfVuJ1wiU5
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
I must highlight this great post about covariance and contravariance, and not just for
#haskell. 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,etchttps://www.fpcomplete.com/blog/2016/11/covariance-contravariance …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
'Hackdays' is one of my favorite workplace concepts ever, and often it yields really useful stuff!https://twitter.com/FelixMulder/status/1193496210168045568 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
Really like this talk by Emily Riehl inviting us to consider Lawvere theories as a (nearly) equivalent abstraction to monads for computational effects. Chapter 30 from
@BartoszMilewski seems a great companion resource#LambdaWorldhttps://twitter.com/emilyriehl/status/1184893532588232704 …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Hey, any of my haskell/fp tweeps at
#LambdaWorld? Do say hi!
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Don't learn category theory/algebra just to do one kind of programming, but to understand and model the world in general!https://twitter.com/JadeMasterMath/status/1167067023660212224 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
We have some awesome people and projects here if any of y'all fancy moving to beautiful Stockholm to write Haskell
https://twitter.com/FelixMulder/status/1161530504589598721 …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
I'm pumped to try out this homotopy type theory language/IDE. About time we're able to code in a language whose core idea is from this millennium!https://twitter.com/brendanzab/status/1158937162710048768 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Cliff proslijedio/la je Tweet
Learning math, physics etc is not much harder than learning how to play the guitar. And the world has few extremely good guitar players but a ton of mediocre ones still having a ton of fun with it, while math and physics are seen as overwhelming monsters to steer clear of
https://twitter.com/TheSlowbe/status/1124041328780820480 …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Just made some code about 10x easier to grok by making it idiomonadic
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Having written a fair amount of Idris (v1) this welcome banner for the second implementation is quite on-point
https://twitter.com/buggymcbugfix/status/1105076332587876353 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Found some other Stockholmers getting pretty wild about the reappearance of the sun and blue sky (at
#skogskyrkogarden)pic.twitter.com/l6OUeRriku
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Code for resolver lts-13.7:https://gist.github.com/fieldstrength/b83cf70c4b819e9abf00c560bd960202 …
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Found a pretty great way to define API instances together at once with
#derivingvia! Replaces either error-prone hand-written instances or annoying TemplateHaskell. Kudos@Iceland_jack et all for the feature and somebody on function prog Slack (I think @PttPrgrmmr) for the ideapic.twitter.com/OdG31bPERi
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
I use JavaScript and JQuery every day at work! You see it holds my laptop screen closed...pic.twitter.com/tEQCp0wcdX
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Portal was a magnificent game for how it challenged your spatial intuition to grasp a new geometry/topology. But I'm really hoping for a sequel where the portals take you to the reflected version of the normal world, making space a non-orientable manifold... https://t.co/GPlC6oNSj5
Tweet je nedostupan.Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Cliff proslijedio/la je Tweet
Richard Dimbleby’s report from
#Belsen in 1945 after British soldiers liberated it. Dimbleby thought he was going to a Prisoner of War camp. When the BBC refused to broadcast this Dimbleby threatened to resign.#HolocaustMemorialDay WARNING GRAPHIChttps://www.youtube.com/watch?v=VP9BLKZENbc …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
I like this crisp pdf on tradeoffs in ML ethics. TL/DR: "Formalize your ethical principles as terms in your utility function... It is nearly certain that tradeoffs between these principles exist, and if we don’t acknowledge this, we run the risk of ... engaging in bad actions."https://twitter.com/stucchio/status/1057624490111393792 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Cliff proslijedio/la je Tweet
Is there a version of mathematical induction that can be used to prove facts about the *real* numbers? Yes there is! See Pete Clark’s “The Instuctor’s Guide to Real Induction”. http://arxiv.org/abs/1208.0973
Hvala. 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.



We value diversity, collabing & a love for the craft!
Slide in the DMs