-XWintifiedConstraints

@plt_dril

'flawless agda noscope'. the crowd goes wild... ( is my top Adviser on here)

Vrijeme pridruživanja: prosinac 2017.

Tweetovi

Blokirali ste korisnika/cu @plt_dril

Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @plt_dril

  1. Prikvačeni tweet
    23. pro 2017.
    Odgovor korisniku/ci

    no

    Poništi
  2. 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

    Poništi
  3. 3. velj

    i hope you all enjoyed my latest Sets (predicative universes)

    Poništi
  4. 3. velj

    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

    Poništi
  5. 1. velj

    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 .

    Poništi
  6. 31. sij

    i fucking love 'lifting 'to and Singletoning down from the type level at incredible speed

    Poništi
  7. 31. sij

    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.

    Poništi
  8. 31. sij

    ARMY: your nickname reflects poorly on us all. we're changing it to something like "raven" or "switchknife" GIRARD: no. "System U" is good

    Poništi
  9. 31. sij

    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

    Poništi
  10. 31. sij

    up until I was about 17 i believed that Twelf's were baby elfs

    Poništi
  11. 30. sij

    nice sydney opera house you got here. would be a shame it if were to become the the sydney HoTThouse...

    Poništi
  12. 30. sij

    changing my bio to "⊥-elim possible" , to punish society

    Poništi
  13. 30. sij

    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)

    Poništi
  14. 30. sij

    for my money.. nothin hits the spot quite like Chekcing, or Inference,

    Poništi
  15. 30. sij

    cyber bullied at arxive

    Poništi
  16. proslijedio/la je Tweet
    28. sij

    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,

    Poništi
  17. 28. sij

    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

    Poništi
  18. 27. sij

    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 .

    Poništi
  19. 27. sij

    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, and

    Poništi
  20. proslijedio/la je Tweet
    27. sij

    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

    Poništi
  21. 26. sij

    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

    Poniš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.

    Možda bi vam se svidjelo i ovo:

    ·