Kristleifur Daðason

@kristleifur

mental model / out of the closet of abstraction / applied theoretical humanistic computer science / ½ of

Vrijeme pridruživanja: srpanj 2010.

Tweetovi

Blokirali ste korisnika/cu @kristleifur

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

  1. Poništi
  2. 2. velj

    THIS! Thank you ! "No, you're not stupid: math is actually hard" (but also tells how it's not)

    Poništi
  3. 1. velj

    This crystallized contravariance for me:

    Poništi
  4. proslijedio/la je Tweet
    1. velj

    Myndir sem ég gerði fyrir tveimur árum, byggðar á smásögunni The Squid Who Fell In Love With The Sun eftir Ben Loory

    Prikaži ovu nit
    Poništi
  5. proslijedio/la je Tweet
    30. sij

    Margritte: þessi hlutur, sem væri venjulega ekki hér, er núna hér Fólk: Þetta Er *~•Súrrealismi•~*

    Poništi
  6. proslijedio/la je Tweet
    30. sij

    FINNST ÞÉR ÞETTA EÐLILEGT?!?! Útvarpsþáttur um normaldreifingarútreikninga, á Útvarpi Sögu.

    Poništi
  7. proslijedio/la je Tweet
    29. sij

    Imperative programming is about *doing*. Functional programming is about *being*. Pattern matching is about *seeing*.

    Prikaži ovu nit
    Poništi
  8. proslijedio/la je Tweet
    29. sij

    Before attacking a powerful enemy, consume a well balanced meal to maximize your strengths.

    Poništi
  9. proslijedio/la je Tweet
    Odgovor korisnicima

    When your disks are embedded into your disks are embedded into your disks are embed....

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

    Þ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.

    Prikaži ovu nit
    Poništi
  11. 27. sij

    jeðveikt góð spurning, á erfitt með að svara henni ❤️

    Prikaži ovu nit
    Poništi
  12. 27. sij

    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 nit
    Poništi
  13. 27. sij

    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 nit
    Poništi
  14. 27. sij

    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 nit
    Poništi
  15. proslijedio/la je Tweet
    25. sij

    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!

    Poništi
  16. proslijedio/la je Tweet
    26. sij
    Odgovor korisnicima

    It’s raining cats and lenses

    Poništi
  17. proslijedio/la je Tweet
    26. sij
    Odgovor korisnicima

    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.

    Poništi
  18. proslijedio/la je Tweet
    26. sij
    Odgovor korisnicima

    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?

    Poništi
  19. proslijedio/la je Tweet
    26. sij
    Odgovor korisnicima

    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- / पूत

    Poništi
  20. proslijedio/la je Tweet

    Huge fan of 🤩 A computer scientist with long reach! Got me into programming w dependent types 😍 Also got me into polynomial endofunctors and W-types 🤓

    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:

    ·