Tweetovi
- Tweetovi, trenutna stranica.
- Tweetovi i odgovori
- Medijski sadržaj
Blokirali ste korisnika/cu @welperooni
Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @welperooni
-
Prikvačeni tweet
Abstraction is key to composition
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
can't sleep too angry at von neumann architecture
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
airborne aids. lmao. https://twitter.com/DrEricDing/status/1223308656101462016 …
Tweet je nedostupan.Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
classes are just spineless modules
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
welp. proslijedio/la je Tweet
caught my son running a google search for " writign physics engine in Coq ". i am beyond distraught. we are strictly an Agda family
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
foldl' foldr cata cataMhttps://twitter.com/josecalderon/status/1221164732993937410 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
The fourth axiom: Every function from any given set unto itself exists.
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
mmmmmm holomorphic... such a nice name... I've been obsessing over it for a long time now...
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
welp. proslijedio/la je Tweet
"Gray categories with duals and their diagrams" contains some absolutely incredible graphic design work. Both the mathematics and the typesetting blow my mind https://arxiv.org/abs/1211.0529 pic.twitter.com/f37AwG4ekr
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
welp. proslijedio/la je Tweet
[ANN] Happy to release my new
#haskell library, 'mutable', for "beautiful mutable values". Automatically generate composable piecewise-mutable references for your data types.https://mutable.jle.im/Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
welp. proslijedio/la je Tweet
How to Haskell: 1. This isn't working. 2. Add in type annotations. 3. It’s working! 4. Delete the type annotations. You must take your secrets to the grave.
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
hack upon hack upon hack upon hack upon hack uopn hack upon hack upon hack upon hack upon hack upon hack upon hack upon hack upon hack upon hack upon hack upon hack upon hack upon hack upon hack upon hack upon hack upon hack upon hack upon hack upon hack upon hack upon hack...
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
You've heard of 10x engineer... Now get ready for the 10x researcher.
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
wrote it using lookupLE and lookupGE muh performances
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
hold the fuck up why is there no straight up set lookup in containers
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
*inhales combinatorics* ohhh yeahhhh give me some more of those formal variables baby
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
welp. proslijedio/la je Tweet
Are you interested in doing a PhD to advance the current state-of-the-art of dependently typed programming in
#Agda? Well, do I just have the perfect position for you:https://www.academictransfer.com/en/288751/phd-student-in-theory-and-implementation-of-dependently-typed-programming-languages/ …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
"If the computer had an infinite amount of RAM, this would be the optimal solution" - Me, shitting up memory at an inconceivable speed
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
welp. proslijedio/la je Tweet
A rebuttal to the recent trend of "don't ever use the advanced parts of Haskell" posts https://williamyaoh.com/posts/2020-01-05-try-the-advanced-stuff.html …
Prikaži ovu nitHvala. 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
-
TYPES COULD HAVE PREVENTED THIShttps://twitter.com/mjg59/status/1211748124026212353 …
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.