welp.

@welperooni

types couldn't have prevented me | i am become math | pfp

Vrijeme pridruživanja: veljača 2016.

Tweetovi

Blokirali ste korisnika/cu @welperooni

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

  1. Prikvačeni tweet
    27. ruj 2019.

    Abstraction is key to composition

    Poništi
  2. prije 1 sat

    can't sleep too angry at von neumann architecture

    Poništi
  3. 1. velj
    Tweet je nedostupan.
    Poništi
  4. 29. sij

    classes are just spineless modules

    Poništi
  5. proslijedio/la je Tweet
    26. sij

    caught my son running a google search for " writign physics engine in Coq ". i am beyond distraught. we are strictly an Agda family

    Poništi
  6. 26. sij
    Poništi
  7. 25. sij

    The fourth axiom: Every function from any given set unto itself exists.

    Poništi
  8. 25. sij

    mmmmmm holomorphic... such a nice name... I've been obsessing over it for a long time now...

    Poništi
  9. proslijedio/la je Tweet
    14. lis 2019.

    "Gray categories with duals and their diagrams" contains some absolutely incredible graphic design work. Both the mathematics and the typesetting blow my mind

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

    [ANN] Happy to release my new library, 'mutable', for "beautiful mutable values". Automatically generate composable piecewise-mutable references for your data types.

    Prikaži ovu nit
    Poništi
  11. proslijedio/la je Tweet
    17. sij

    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.

    Poništi
  12. 17. sij

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

    Poništi
  13. 16. sij

    You've heard of 10x engineer... Now get ready for the 10x researcher.

    Poništi
  14. 10. sij

    wrote it using lookupLE and lookupGE muh performances

    Prikaži ovu nit
    Poništi
  15. 10. sij

    hold the fuck up why is there no straight up set lookup in containers

    Prikaži ovu nit
    Poništi
  16. 9. sij

    *inhales combinatorics* ohhh yeahhhh give me some more of those formal variables baby

    Poništi
  17. proslijedio/la je Tweet
    8. sij

    Are you interested in doing a PhD to advance the current state-of-the-art of dependently typed programming in ? Well, do I just have the perfect position for you:

    Poništi
  18. 7. sij

    "If the computer had an infinite amount of RAM, this would be the optimal solution" - Me, shitting up memory at an inconceivable speed

    Poništi
  19. proslijedio/la je Tweet
    5. sij

    A rebuttal to the recent trend of "don't ever use the advanced parts of Haskell" posts

    Prikaži ovu nit
    Poništi
  20. 31. pro 2019.

    Proof left for the reader (trivial)

    Poništi
  21. 30. pro 2019.
    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:

    ·