Tweetovi
- Tweetovi, trenutna stranica.
- Tweetovi i odgovori
- Medijski sadržaj
Blokirali ste korisnika/cu @misha_artyugin
Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @misha_artyugin
-
Prikvačeni tweet
"A Computer is a state machine. Threads are for people who can't program state machines." [Alan Cox]
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Mikhail Artyugin proslijedio/la je Tweet
Deal of the Day February 2: Half off Haskell in Depth. Use code dotd020220au at http://bit.ly/3aXDh1e
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Mikhail Artyugin proslijedio/la je Tweet
Books like this are nice. There are so many different (math) topics there is something for everyone.https://twitter.com/stevenstrogatz/status/1222281738472300546 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Mikhail Artyugin proslijedio/la je Tweet
This is Thomas Neumann: https://db.in.tum.de/~neumann/index.shtml … 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: https://hyper-db.de/ He just announced his new DBMS Umbra: https://umbra-db.com/ pic.twitter.com/zwtyrsd1Is
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Mikhail Artyugin proslijedio/la je Tweet
Really cool site -
#AWS API Changes - http://bit.ly/2uoaLFf pic.twitter.com/tMMzIbygKv
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Mikhail Artyugin proslijedio/la je Tweet
Stuff The Internet Says On Scalability For January 24th, 2020 https://goo.gl/fb/qKWBuj
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Mikhail Artyugin proslijedio/la je Tweet
Tons of credit to
@davidjacot who noticed the problem and proposed the solution. Proud to have him on my team, making@apachekafka more cloud native. (P.s. I'm hiring)https://twitter.com/KaiWaehner/status/1219845386443149313 …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Mikhail Artyugin proslijedio/la je Tweet
Algebraic data types aren't numbers on steroids. Mark Seemann (
@ploeh). https://blog.ploeh.dk/2020/01/20/algebraic-data-types-arent-numbers-on-steroids/ …#Haskell#FunctionalProgrammingHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
High performance is relevant to theorems proving [1910.10703] Metamath Zero: The Cartesian Theorem Prover https://arxiv.org/abs/1910.10703
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Mikhail Artyugin proslijedio/la je Tweet
Adv. Database Systems 2020 ➜ Lecture #1: History of Databases Video: https://www.youtube.com/watch?v=SdW5RKUboKc&list=PLSE8ODhjZXjasmrEd2_Yi1deeE360zv5O&index=1 … Slides: https://15721.courses.cs.cmu.edu/spring2020/slides/01-history.pdf … 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.
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Mikhail Artyugin proslijedio/la je Tweet
Inline types and HashMap performance analysis by Sergey Kuksenko http://cr.openjdk.java.net/~skuksenko/valhalla/hashmaps/hash.html …
@kuksenk0#java#Valhalla#jvmperformanceHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Mikhail Artyugin proslijedio/la je Tweet
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.
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Mikhail Artyugin proslijedio/la je Tweet
Looking forward to another year of The Morning Paper! Here are some of the conferences and workshops I'll be keeping an eye on... https://blog.acolyer.org/2020/01/06/2020-the-year-ahead/ …
#themorningpaperHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Mikhail Artyugin proslijedio/la je Tweet
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: https://www.justgiving.com/fundraising/jloracle … There have been some very generous gifts but even a couple of pounds goes a long way in the right hands.
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Mikhail Artyugin proslijedio/la je Tweet
Galois theory for non-mathematicianshttps://towardsdatascience.com/galois-theory-for-non-mathematicians-3bc08cd40c4a …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Mikhail Artyugin proslijedio/la je Tweet
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. https://en.wikipedia.org/wiki/Cohomology What a grandiose thing to say! And it's true! Keep reading! 1/n
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Mikhail Artyugin proslijedio/la je Tweet
Apache Drill 1.17.0 is out! https://drill.apache.org/docs/apache-drill-1-17-0-release-notes/ … Which of its new features you have been waiting for the most?
#apachedrill#distributed#sql#releasepic.twitter.com/sFrqOLQVigHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Mikhail Artyugin 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..."https://www.quantamagazine.org/quantas-year-in-math-and-computer-science-2019-20191223/ …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Mikhail Artyugin proslijedio/la je Tweet
Arend 1.2.0 is released. Arend now has pattern matching on idp, which can used instead of the J operator. See https://arend-lang.github.io/2019/12/16/Arend-1.2.0-released.html … for more information.
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Mikhail Artyugin proslijedio/la je Tweet
It's end of term again for
#themorningpaper. Here are a few highlights from the 50 papers we looked at this term: https://blog.acolyer.org/2019/12/16/end-of-term-7/ …. The Morning Paper will resume again on Monday 6th January...Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Mikhail Artyugin proslijedio/la je Tweet
Yes, we have plans for fiber support in both JIT and AOT mode. However no concrete timelines yet.
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoniš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.