Tweetovi

Blokirali ste korisnika/cu @misha_artyugin

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

  1. Prikvačeni tweet
    12. srp 2016.

    "A Computer is a state machine. Threads are for people who can't program state machines." [Alan Cox]

    Poništi
  2. proslijedio/la je Tweet
    2. velj

    Deal of the Day February 2: Half off Haskell in Depth. Use code dotd020220au at

    Poništi
  3. proslijedio/la je Tweet
    28. sij

    Books like this are nice. There are so many different (math) topics there is something for everyone.

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

    This is Thomas Neumann: People outside of academia may not know but he is probably the #1 DB systems researcher in the world. He sold his last DBMS (HyPer) to Tableau: He just announced his new DBMS Umbra:

    Thomas Neumann's reactions after Andy tells him about trying to bribe the CMU CS dept chair with fake money.
    Prikaži ovu nit
    Poništi
  5. proslijedio/la je Tweet

    Really cool site - API Changes -

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

    Stuff The Internet Says On Scalability For January 24th, 2020

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

    Tons of credit to who noticed the problem and proposed the solution. Proud to have him on my team, making more cloud native. (P.s. I'm hiring)

    Poništi
  8. proslijedio/la je Tweet
    22. sij
    Poništi
  9. 20. sij

    High performance is relevant to theorems proving [1910.10703] Metamath Zero: The Cartesian Theorem Prover

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

    Adv. Database Systems 2020 ➜ Lecture #1: History of Databases Video: Slides: I tried to go cheap in Amsterdam and stay in a different hotel than the conference. That was a mistake. Correction: Charles Bachman (CODASYL) is dead.

    Poništi
  11. proslijedio/la je Tweet
    16. sij
    Poništi
  12. proslijedio/la je Tweet
    12. sij

    I find it very frustrating that many view up front design as bad. So often I see people fighting with complex implementation workarounds for what can be much better addressed with a more representative model.

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

    Looking forward to another year of The Morning Paper! Here are some of the conferences and workshops I'll be keeping an eye on...

    Poništi
  14. proslijedio/la je Tweet
    30. pro 2019.

    If you've got any small amount of cash left after Christmas there are still a few days before I stop matching donations to the Nepal Youth Foundation: There have been some very generous gifts but even a couple of pounds goes a long way in the right hands.

    Poništi
  15. proslijedio/la je Tweet
    27. pro 2019.
    Poništi
  16. proslijedio/la je Tweet
    25. pro 2019.

    COHOMOLOGY FOR KIDS From its beginning in topology, this idea became a dominant method in the mathematics of the second half of the twentieth century. What a grandiose thing to say! And it's true! Keep reading! 1/n

    Prikaži ovu nit
    Poništi
  17. proslijedio/la je Tweet
    26. pro 2019.

    Apache Drill 1.17.0 is out! Which of its new features you have been waiting for the most?

    Poništi
  18. proslijedio/la je Tweet

    "For mathematicians and computer scientists, this was often a year of double takes and closer looks. Some reexamined foundational principles, while others found shockingly simple proofs, new techniques or unexpected insights in long-standing problems..."

    Poništi
  19. proslijedio/la je Tweet
    16. pro 2019.

    Arend 1.2.0 is released. Arend now has pattern matching on idp, which can used instead of the J operator. See for more information.

    Poništi
  20. proslijedio/la je Tweet
    16. pro 2019.

    It's end of term again for . Here are a few highlights from the 50 papers we looked at this term: . The Morning Paper will resume again on Monday 6th January...

    Poništi
  21. proslijedio/la je Tweet
    14. pro 2019.
    Odgovor korisnicima

    Yes, we have plans for fiber support in both JIT and AOT mode. However no concrete timelines yet.

    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:

    ·