Tweetovi
- Tweetovi, trenutna stranica.
- Tweetovi i odgovori
- Medijski sadržaj
Blokirali ste korisnika/cu @keithtpinson
Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @keithtpinson
-
I will be giving a talk at
@pghfpmeetup for the first time in several years on Feb 10th. If you're in Pittsburgh, come on out for it!https://www.meetup.com/Pittsburgh-Functional-Programming-Meetup/events/lzrmnrybcdbnb/ …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Keith Pinson proslijedio/la je Tweet
Your friendly reminder to *not buy a Ring doorbell camera* even if it's on salehttps://twitter.com/haymarketbooks/status/1199758455147581440 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Keith Pinson proslijedio/la je Tweet
Ever pour one out, sort your system processes by memory and gaze wistfully at the ones that take up less than 10mb?
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Keith Pinson proslijedio/la je Tweet
Propositions as types? How about "business requirements as types" also?
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Keith Pinson proslijedio/la je Tweet
normal people: hot topic? let's make money off of it PL researchers: hot topic? let's formally define its semantics
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Keith Pinson proslijedio/la je Tweet
BREAKING: The Louisiana AG has uncovered alleged criminal activity at a state abortion facility Evidence shows repeated failure to report rape & killing the babies of 66 young girls aged 11, 12 & 13–who were likely survivors of rape It's time to shut down these brutal clinics
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Keith Pinson proslijedio/la je Tweet
Professional protip: Almost everyone is bad at hiring. If looking for work is bad or weird, it's probably not on you.
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Keith Pinson proslijedio/la je Tweet
We live in a nation where is it now a federal crime to cruelly treat an animal, but it is a federal right to poison, dismember & kill your unborn son or daughter.
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Keith Pinson proslijedio/la je Tweet
Mathematicians need to be better about recognizing that their "proof by contradiction" is just a direct proof of the contrapositive.https://twitter.com/ValRobert974/status/1198843811176370177 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Keith Pinson proslijedio/la je Tweet
I think some people know how scandalously bad bootcamps can be. And others know how scandalously bad a university degree can be. And others know how scandalously bad on-the-job training can be. Each of these scandals is different. Some people can self-study despite it all.
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
I'm no MAGA man; not a Trump supporter. But these protestors' ignorance of their own objections to him is idiotic.https://twitter.com/PrisonPlanet/status/1197853221022244864 …
1:40Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Keith Pinson proslijedio/la je Tweet
OH: It's "functional" in the sense that it works
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Keith Pinson proslijedio/la je Tweet
“No one needs an AR-15” -Privileged Americanshttps://twitter.com/stillgray/status/1197782541656195077 …
0:09Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Keith Pinson proslijedio/la je Tweet
TFW you have two inhabitants of ⊥ (in an inconsistent context) and they're not definitionally equal
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Keith Pinson proslijedio/la je Tweet
Forget about the right tool for the job. You'll never use the right tool for the job. You'll use the standard tool for the job. You wait and see.
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Keith Pinson proslijedio/la je Tweet
How do you implement quicksort in a total language like bosatsu? We don't have unbounded recursion, so how do we handle it? One approach: carry the maximum size of each list as proof that the recursion will terminate:https://gist.github.com/johnynek/fd9f9ad03eacd011557837d488f558da …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Keith Pinson proslijedio/la je Tweet
CNC engraving machine in action. Weirdly hypnotic.pic.twitter.com/R2Lvsgw2oE
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Keith Pinson proslijedio/la je Tweet
cursed language idea: `void` is simply the keyword used to declare functions; it is not a type (or even a quasitype) and has no other role or meaning
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Keith Pinson proslijedio/la je Tweet
I’ve been getting to work on something kind of neat for work recently: an `Arrow` that implements automatic incrementalization of Haskell functions. It’s kind of like `make`, but with ordinary Haskell values as dependencies and products rather than external resources.pic.twitter.com/H93tCzRK6X
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Keith Pinson proslijedio/la je Tweet
found this out during a rewrite of functor-combinators and the associated blog post (https://blog.jle.im/entry/functor-combinatorpedia.html …) 'monoids in a category' means something monoidal w.r.t to a tensor. using :+: return :: V1 a -> f a join :: (f :+: f) a -> f a works for all f, so all f are monoids
Prikaži ovu nitHvala. 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.
