Tweetovi
- Tweetovi, trenutna stranica.
- Tweetovi i odgovori
- Medijski sadržaj
Blokirali ste korisnika/cu @kristleifur
Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @kristleifur
-
so incredibly super crazy keen to gohttps://twitter.com/edwinbrady/status/1221931930259804160 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
THIS! Thank you
@mrkgrnao! "No, you're not stupid: math is actually hard" (but also tells how it's not) https://news.ycombinator.com/item?id=13940790 …pic.twitter.com/SyNfy7IgWa
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
This crystallized contravariance for me: https://news.ycombinator.com/item?id=17372644 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Kristleifur Daðason proslijedio/la je Tweet
Myndir sem ég gerði fyrir tveimur árum, byggðar á smásögunni The Squid Who Fell In Love With The Sun eftir Ben Loorypic.twitter.com/Fri4J8qZOi
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Kristleifur Daðason proslijedio/la je Tweet
Margritte: þessi hlutur, sem væri venjulega ekki hér, er núna hér Fólk: Þetta Er *~•Súrrealismi•~*
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Kristleifur Daðason proslijedio/la je Tweet
FINNST ÞÉR ÞETTA EÐLILEGT?!?! Útvarpsþáttur um normaldreifingarútreikninga, á Útvarpi Sögu.
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Kristleifur Daðason proslijedio/la je Tweet
Imperative programming is about *doing*. Functional programming is about *being*. Pattern matching is about *seeing*.
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Kristleifur Daðason proslijedio/la je Tweet
Before attacking a powerful enemy, consume a well balanced meal to maximize your strengths.
#asciickerpic.twitter.com/YfYWceO0dt
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Kristleifur Daðason proslijedio/la je Tweet
When your disks are embedded into your disks are embedded into your disks are embed....pic.twitter.com/I3KZvJoa2v
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Kristleifur Daðason proslijedio/la je Tweet
Þráður: Síðustu daga hefur undarlegt plakatastríð átt sér stað á vinnustað mínum í Stakkahlíð. A4-plakat um tanngreiningar, framdar innan HÍ, hefur verið hengt upp á auglýsingatöflu en daginn eftir er það horfið. Þá hefur það verið hengt upp aftur en horfið strax aftur.pic.twitter.com/6bINVzOd9o
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
jeðveikt góð spurning, á erfitt með að svara henni
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
vá hver var að hugsa þetta allt örugglega ekki ég en samt ángríns eiginlega aðallega bara eitthvað sem kvelur mig ekki lengur og samræmdist ekki tilfinningagerð og vilja mínum er til dæmis mestmegnis vaxinn upp úr því að ljúga, svo eitthvað ólíkt upphaflegu innleggi sé nefnt
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
mmm bara svona eitthvað samhengisspaghetti sem ég get hent á vegg huga míns og það festist nógu lengi til að ég geti búið til eitthvað subtly yfirlætislegt á Twitter en í senn eigi inni nógu mikla hressleika- og auðmýktarásjónu til að komast upp með það í alvörunni
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Viðurkennd hegðun sem við erum vaxin upp úr en þorum ekki að viðurkenna, ég skal byrja: Að þora ekki að viðurkenna að við séum vaxin upp úr viðurkenndri hegðun
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Kristleifur Daðason proslijedio/la je Tweet
My girlfriend continues her very successful programming learning adventures. This week she wrote way more Haskell than I did!
Also, she praised the quality of Haskell documentation and found Hackage very easy to navigate
Thank you Haskell contributors!Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Kristleifur Daðason proslijedio/la je Tweet
It’s raining cats and lenses
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Kristleifur Daðason proslijedio/la je Tweet
Literally everything I read on every practical problem in my undercover mission as a regular concrete programmer - deep under cover as a regular coder - leads to dependent types and intuitionistic type theory and McBride and Martin-Löf. On the way there: Always cats and lenses.
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Kristleifur Daðason proslijedio/la je Tweet
Soma is time, the hymn is the living word - in Heaven one half of it, down below we have drawn the other. Have we not drunk of the Soma?pic.twitter.com/JXtx3IJudc
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Kristleifur Daðason proslijedio/la je Tweet
The man is one of the Great Writers. It just so happens that what is written also has meaning that catapults itself into eternity. Because it is alive with the tension of living patterns, the word and deed of binding together in purity: *ḱóm *putós / *pewH- / पूत
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Kristleifur Daðason proslijedio/la je Tweet
Huge fan of
@pigworker
A computer scientist with long reach!
Got me into programming w dependent types
Also got me into polynomial endofunctors and W-types
https://twitter.com/kristleifur/status/1220995104669827072 …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.