matt

@themattchan

meat robot

silicon valley
Vrijeme pridruživanja: veljača 2008.

Tweetovi

Blokirali ste korisnika/cu @themattchan

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

  1. proslijedio/la je Tweet

    oh you like epistemology? how do u know

    Prikaži ovu nit
    Poništi
  2. 20. lis 2019.

    (In case you were wondering, my views are that (a) life is a meaningless burden and (b) one must be allowed to choose when he wishes to leave.)

    Prikaži ovu nit
    Poništi
  3. 20. lis 2019.

    The Human Predicament is the best book I’ve read in recent memory. Benatar’s arguments are sharp and his prose is witty and biting. Reading it felt like reading my own words were I had to write, say, an essay on the ethics of suicide (ch 7) or the meaning of life (ch 3).

    Prikaži ovu nit
    Poništi
  4. proslijedio/la je Tweet
    19. lis 2019.

    Picard technology tip: Sometimes your chief engineer can build new systems that are better than your existing enterprise software.

    Poništi
  5. 16. lis 2019.

    waitress: is that an american card? me: how did you know? waitress: the machine doesn’t work with american cards

    Poništi
  6. proslijedio/la je Tweet
    13. lis 2019.
    Odgovor korisnicima

    Related: "Object-oriented programming is an exceptionally bad idea which could only have originated in California" - Dijkstra

    Poništi
  7. 14. lis 2019.

    Long compile times are more bearable when there’s a city you can look at out the window

    Prikaži ovu nit
    Poništi
  8. 14. lis 2019.

    I’m on holiday, which just means that I’m working in a different starbucks in a different timezone

    Prikaži ovu nit
    Poništi
  9. proslijedio/la je Tweet
    11. lis 2019.

    New idea: 1. export whole program STG 2. do Control Flow Analysis on STG 3. defunctionalize STG (turn unknown calls to known ones) 4. feed back STG to GHC backend codegen

    Poništi
  10. proslijedio/la je Tweet

    Just read "The Discoveries of Continuations", a really fun historical account of continuations. It's a short read (took me 30 minutes). We need more history papers like this.

    Poništi
  11. 4. lis 2019.
    Poništi
  12. 4. lis 2019.

    1. First language: Scheme 2. Had difficulties: Verilog 3. Most used: Haskell 4. Totally hate: Go 5. Most loved: Haskell 6. For beginners: Scheme

    Poništi
  13. proslijedio/la je Tweet
    3. lis 2019.

    "Pokemon" is short for "Poket Monoid" where the binary associative operation is "fight" and the identity element is an opponent who immediately flees.

    Prikaži ovu nit
    Poništi
  14. 3. lis 2019.

    I’m back in London and at my favourite bookstore

    Poništi
  15. proslijedio/la je Tweet
    2. lis 2019.

    I scream You scream We all scream For ice cream. "Ice cream" is the inevitability of death, as we all know.

    Poništi
  16. proslijedio/la je Tweet
    16. kol 2019.

    There are more people alive now than have ever died since humanity began which means that when you die you’ll be even more lonely, because there is no afterlife and you’ll just shut off like a shitty broken computer and bask in a solitudinal blackness for eternity Enjoy Arby’s

    Poništi
  17. proslijedio/la je Tweet
    28. ruj 2019.

    I found a way to eliminate a monad transformer stack in an Applicative style: :{ runFunDay $ (\() w s result -> result ++ ", " ++ w ++ ", " ++ s) <$$> funReaderT "r" <**> funWriterT <**> funStateT "s" <**> funday1 myRWST :} "result, w, s'"

    Poništi
  18. 29. ruj 2019.

    I've always relied on the Feynman method: 1. Load problem into my head 2. Disappear for a long while 3. Fix the problem

    Poništi
  19. proslijedio/la je Tweet

    tip of the day: If, like me, you have "tar xzvf" burned into your brains, but can never remember how to *list* entries in a tarball, simply use "tar wtf" (works on GNU tar at least, no BSD guarantee)

    Prikaži ovu nit
    Poništi
  20. proslijedio/la je Tweet
    3. ruj 2019.

    We're getting the South Bay Haskell meetup going again with a talk by introducing dependent types. Thursday, September 26th in Sunnyvale.

    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:

    ·