Tweetovi

Blokirali ste korisnika/cu @druidoftheclaw

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

  1. 21. sij

    A memorable proof of Cauchy-Schwarz using the /Pythagoras theorem

    Poništi
  2. proslijedio/la je Tweet
    21. stu 2019.

    Congratulations Greg on winning the Best Student Paper Award for "Red-Blue Pebbling Revisited"!

    Poništi
  3. proslijedio/la je Tweet
    11. stu 2019.

    Today I was working with David Spivak and Brendan Fong on our new course, Programming with Categories. It will take place in January at MIT as part of IAP. We'll introduce categorical concepts and teach elements of Haskell to illustrate them. Yes, all 18 lectures will be recorded

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

    Now that the cat is out of the bag, I should add that I'm also participating in trying to help and Brendan realize their vision for the Topos Institute, in my case as a board member. Let's put category theory to work.

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

    Two days of hosting a conference and I'm more certain than ever that people who run lunix with tiling window managers are the vinyl hipsters of the hacker world. "I prefer the lo-fi experience" "can I have 30 mins with the projector so I can figure out the right xrandr args"

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

    My (33F) husband's (35M) career in academic philosophy is ruining our marriage.

    Poništi
  7. proslijedio/la je Tweet
    13. ruj 2019.

    What is it like to be an intern at Tweag? Check out Siddharth Bhat’s experience report about his work on the Asterius Haskell to WebAssembly GHC backend at our Paris office

    Poništi
  8. proslijedio/la je Tweet
    25. srp 2019.
    Poništi
  9. 3. lip 2019.

    Everything you know about word2vec is wrong: The paper says one thing, while the code does stuff that's _completely different_. Here's the writeup after I lost three months to this:

    Poništi
  10. 23. svi 2019.

    How does one debug debug info? why, you run GDB in GDB in the program you compile, of course!

    Poništi
  11. proslijedio/la je Tweet
    23. svi 2019.

    There’s a new way to contribute to open source: GitHub Sponsors 💖 Now you can fund the developers who build and maintain the code you use and love.

    Poništi
  12. proslijedio/la je Tweet
    19. svi 2019.

    Today we remember Socrates, the spiritual father of online. A hideous man who never bathed and was so annoying that the city voted to kill him.

    Prikaži ovu nit
    Poništi
  13. 15. svi 2019.

    Category theory to explain cantor's diagonal argument! : A Universal Approach to Self-Referential Paradoxes, Incompleteness and Fixed Points

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

    Mathematicians are hailing a discovery about dimensions 8 and 24 as "at the level of the big 19th-century mathematics breakthroughs" and "one of the best things I’ll probably see in my lifetime" -- my latest story for

    Poništi
  15. proslijedio/la je Tweet
    18. tra 2019.

    I'm running as ACM member at large. If you're a member then look through your inbox for your election ballot, if not, join us ;-). I promise to fight for scientific excellence, student programs, and the community at large. So vote for me :-)!

    Poništi
  16. 11. tra 2019.

    How should one work with arrays in a linear language?

    Poništi
  17. proslijedio/la je Tweet
    12. ožu 2019.

    Looking forward to seeing everybody at this year!

    Poništi
  18. proslijedio/la je Tweet
    12. ožu 2019.

    Tweag Internship Programme 2019: Are you a student interested in Haskell, Nix and/or data science? We are offering paid 1–3 month internships with world-class experts in a vibrant technology firm — for more details, check out

    Poništi
  19. proslijedio/la je Tweet
    18. pro 2018.

    Towards Lean 4: An Optimized Object Model for an Interactive Theorem Prover Happy to share Sebastian Ullrich's talk at the ETH Zurich Compiler Social! Hosted by at

    Poništi
  20. proslijedio/la je Tweet
    13. pro 2018.

    software engineer: linear is fast, quadratic is slow complexity theorist: P is fast, NP-hard is slow verification researcher: decidable is fast, undecidable is slow

    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:

    ·