John Soo

@jsoo1

Mathematics enthusiast, functional programming lover. economics and political theory guy

Vrijeme pridruživanja: veljača 2013.

Tweetovi

Blokirali ste korisnika/cu @jsoo1

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

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

    I study genocide. It's been a theme in my academic endeavours for nearly 30 years. More accurately, I study the conditions in the lead up to genocide, be they cultural, social, political, economic, etc... 1/n

    Prikaži ovu nit
    Poništi
  3. 9. pro 2019.

    I can’t believe they make whole sweaters out of mole hair

    Poništi
  4. 9. pro 2019.

    I’m fully in the group. Please no boring Haskell

    Poništi
  5. 9. pro 2019.

    Yall - yet another aws-lambda library

    Poništi
  6. proslijedio/la je Tweet
    6. pro 2019.

    Propose the term "semantically low level language" for a language that, instead of being close to the silicon, is close to the mathematics The canonical example of a semantically low level language is Scheme

    Prikaži ovu nit
    Poništi
  7. proslijedio/la je Tweet

    Everyone I’ve ever worked with who got described admiringly as a “brilliant asshole” was honestly just not that brilliant?? (They sure were assholes, though)

    Poništi
  8. proslijedio/la je Tweet
    4. pro 2019.

    Make sure this gets around. Fuck ICE.

    Poništi
  9. proslijedio/la je Tweet
    12. stu 2019.

    You’re literally describing prejudice against women

    Poništi
  10. proslijedio/la je Tweet
    7. stu 2019.
    Odgovor korisniku/ci

    I've been calling this the "golden rule of engineering": to propagate requirements upstream instead of propagating failures downstream

    Poništi
  11. 3. stu 2019.

    I think most supporters of the border wall are on the baptist side of the bootleggers and baptists team

    Poništi
  12. 3. stu 2019.

    I think sone of the anduril employees support a wall along the mexico-us border. So if you’re into that, sort of thing, you should work there

    Poništi
  13. 1. stu 2019.
    Poništi
  14. proslijedio/la je Tweet

    if news were fake, I would simply not let it be shared on my social network

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

    it is interesting how people chasing useful type inference and practical expressiveness always end up writing little formal models amenable to proof, that was a good con

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

    Your average developer will struggle with things not built into their programming language, including operations, security, packaging, and distributed systems Many engineering problems are actually programming language problems in disguise

    Poništi
  17. 19. lis 2019.

    I got into guix, emacs mode and all

    Poništi
  18. 19. lis 2019.

    How many haskellers do I know who use coq or a dependently types system a lot in their spare time?

    Poništi
  19. 19. lis 2019.
    Poništi
  20. proslijedio/la je Tweet
    16. lis 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:

    ·