Tweetovi
- Tweetovi, trenutna stranica.
- Tweetovi i odgovori
- Medijski sadržaj
Blokirali ste korisnika/cu @plt_dril
Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @plt_dril
-
Prikvačeni tweetHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
-XWintifiedConstraints proslijedio/la je Tweet
A tree branch sways in the breeze and thumps against the window. Sunlight dances across my therapist's face, illuminating her confusion. I continue explaining that my go-to strategy for self-soothing is implementing an AST traversal
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
i hope you all enjoyed my latest Sets (predicative universes)
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
if i saw someon e on the street wearing a dunce cap, i would challenge him to my famous Three Case-Splits of agda, and soundly defeat him
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
installed 28 Mods on this ghc executable alone. simon 2, simon 1.. they all want me dead,m because i refuse to offer them my talents. the outsidein(x) hacker .
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
i fucking love 'lifting 'to and Singletoning down from the type level at incredible speed
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
ghc: thank you Microsoft for sending me 25 + 25 at the "Type Level" , but i must decline the offer . For i did not prove it equal to 50, it is not mine to use.
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
ARMY: your nickname reflects poorly on us all. we're changing it to something like "raven" or "switchknife" GIRARD: no. "System U" is good
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
i fear that if the 10k character limit is enacted my trolls will post Coq formalisations of pdflatex that are elaborate & beautiful enough to kill me
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
up until I was about 17 i believed that Twelf's were baby elfs
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
nice sydney opera house you got here. would be a shame it if were to become the the sydney HoTThouse...
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
changing my bio to "⊥-elim possible" , to punish society
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
if i ever got face to face with the "Affluenza teen" on my server im thinking itd go a little something like this (presses case-split keybinding in Emac's, emotionally)
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
for my money.. nothin hits the spot quite like Chekcing, or Inference,
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
cyber bullied at arxive
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
-XWintifiedConstraints proslijedio/la je Tweet
look, im not saying that martin luther king jr was a homotopy type theorist. that would be ludicrous. im simply saying that if hott had existed at the time,
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
to the fine folks who kicked my bare ass while i was inventing a special do-notation for tthe Identity monad: why do you people insist on punishing success
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
most expressive type system in the world, howeve,r it is so fragile as to become inconsistent when handled by any force other than the delicate touch of a lesbian .
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
if you think this is a freaking humour account. youre a piece of shit. please refer to my listitng in arXiv magazine under Arts, Entertainment, andhttp://cs.PL
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
-XWintifiedConstraints proslijedio/la je Tweet
i sense that my theorem provoer knows when i'm feeling upset. is it possible that theorem provers operate on a higher level of consciousness than humans? yes
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
i rescind my 2009 tweet "bat man fucks joker", as i now understand, through the wisdom of age, that bat man does not perform IO operations
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.