Tweetovi
- Tweetovi, trenutna stranica.
- Tweetovi i odgovori
- Medijski sadržaj
Blokirali ste korisnika/cu @depizzottri
Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @depizzottri
-
De Pizzottri proslijedio/la je Tweet
Working on CRDTs or other consistency mechanisms for distributed data?
Please submit your work to PaPoC!
Work in progress and practical experience reports welcome.
Deadline in one month
and the workshop is in Crete on 27 April 2020
https://papoc-workshop.github.io/2020/ Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
De Pizzottri proslijedio/la je TweetHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
De Pizzottri proslijedio/la je Tweet
I have recorded an extended version (2 hours) of my introduction to Isabelle/HOL talk.
Take a look if you're interested in formal verification of distributed systems 
https://www.youtube.com/watch?v=Uav5jWHNghY …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
De Pizzottri proslijedio/la je Tweet
New on the wiki: my favorite examples of monoid objects in monoidal categories. What good ones am I missing? I actually find this bit of abstract nonsense very helpful for remembering the definitions of rings, algebras, monads, and so on. https://www.epatters.org/wiki/algebra/monoid-objects.html …pic.twitter.com/j45QVQAasf
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
De Pizzottri proslijedio/la je Tweet
Applied Category Theory ’19 (@ MIT) Lectureshttps://www.youtube.com/playlist?list=PLhgq-BqyZ7i5lOqOqqRiS0U5SwTmPpHQ5 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
De Pizzottri proslijedio/la je TweetHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
De Pizzottri proslijedio/la je Tweet
Dear reader, this paper contains a dozen known errors. I've left finding them as an exercise for you. https://www.microsoft.com/en-us/research/publication/disk-paxos/?from=http%3A%2F%2Fresearch.microsoft.com%2Fen-us%2Fum%2Fpeople%2Flamport%2Fpubs%2Fdisk-paxos.pdf …pic.twitter.com/pjtOm8tWhl
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
De Pizzottri proslijedio/la je Tweet
Slide deck for my presentation at the ongoing Dagstuhl seminar on "Programming Languages for Distributed Systems and Distributed Data Management"
#PL4DShttps://www.slideshare.net/carlosbaquero37454/aggregation-is-not-replication …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
De Pizzottri proslijedio/la je Tweet
Here's the promised blog post about the most common adjunctions we encounter in programming: product, coproduct, and exponential.https://bartoszmilewski.com/2019/09/20/the-power-of-adjunctions/ …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
De Pizzottri proslijedio/la je Tweet
The video of my talk, Distributed Consensus Revised, from last week's Papers We Love conference is now online. Thank you so much to the
@papers_we_love team for making this happen!https://youtu.be/Pqc6X3sj6q8Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
De Pizzottri proslijedio/la je Tweet
A while ago, I introduced a blog series on the basics of category theory (categories, functors, natural transformations). Today, adjunctions are now on the list! So, what *is* an adjunction? Here's the start of a leisurely stroll through the ideas... https://www.math3ma.com/blog/what-is-an-adjunction-part-1 …pic.twitter.com/v7oDUa7lRK
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
De Pizzottri proslijedio/la je Tweet
Some way to an interactive proof editor for focused natural deduction.pic.twitter.com/AapNKCRjVj
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
De Pizzottri proslijedio/la je Tweet
The talk I gave today is already online! See a live demo of using theorem-proving software to prove the correctness of a simple consensus algorithm.https://twitter.com/strangeloop_stl/status/1172972515767083014 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
De Pizzottri proslijedio/la je Tweet
C++ 20 Concepts are now available in Visual Studio 2019!https://devblogs.microsoft.com/cppblog/c20-concepts-are-here-in-visual-studio-2019-version-16-3/ …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
De Pizzottri proslijedio/la je Tweet
Award-winning computer science papers http://jeffhuang.com/best_paper_awards.html …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
De Pizzottri proslijedio/la je Tweet
I did an interview with
@heidiann360 for the@csr_tales blog about how I got into formal verification of distributed systems, and how I no longer trust pen-and-paper proofs
https://medium.com/csr-tales/csrtale-13-formal-verification-of-strong-eventual-consistency-1cc0af942e64 …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
De Pizzottri proslijedio/la je Tweet
Roses are red, Rust-lang is fine, `cannot borrow `i` as mutable more than once at a time`
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
De Pizzottri proslijedio/la je Tweet
Our work on Snapdoc (cryptographically authenticated snapshots for CRDTs) was presented by
@stkollmann at@PET_Symposium last week, and the paper is now published too (open access)https://www.degruyter.com/view/j/popets.2019.2019.issue-3/popets-2019-0044/popets-2019-0044.xml …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
De Pizzottri proslijedio/la je TweetHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
De Pizzottri proslijedio/la je Tweet
New video
in which I talk about our current research on the Automerge CRDT
https://www.youtube.com/watch?v=GXJ0D2tfZCM …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.