This is one of those talks that makes me google for a few hours to barely get to the meat of the ideas presented! Really awesome stuff!
@bonnydonny9 жыл бұрын
Wow, that was a mind-bender! Great talk. Looking at abstractions like time and the messy stuff that distributed systems give us will someday, hopefully, at UCSC first, make reasoning easy and natural. I suggest reading Stephen Toulmin on the philosophy side of the topic. He shows where/how the original problem of hiding abstractions took us down the wrong road. Glad to see Peter Alvaro working on re-integrating the world with new languages and respectful design. Bravo!
@jjurksztowicz6 жыл бұрын
Computation is rendezvous of ephemera... nice.
@thomas.moerman9 жыл бұрын
It's almost stand-up comedy fused with hardcore tech.. great talk!
@420_gunna4 жыл бұрын
This talk gave me a nosebleed, two thumbs up
@OmyTrenav8 жыл бұрын
Great talk! Very educational.
@valtih19787 жыл бұрын
Extremely profound guy. Almost like Michael Parenti in politics.
@danielfava8 жыл бұрын
Awesome!
@HenkPoley8 жыл бұрын
There's a talk from this same conference about the briefly mentioned "Eve" here : kzbin.info/www/bejne/a4eUqqGMrtqXaq8
@VladyYakovenko2 жыл бұрын
terrific talk
@clementdato63282 жыл бұрын
One that confused me is that he talked about Datalog using examples only reading data, which is actually quite easy even for usual languages. Difficult part seems to be that the order of the sequence needs to be guaranteed, mostly because of side effects of some sorts. Am I missing something?
@DmitryRomanov Жыл бұрын
Based on prolog college course, you just add an additional requirement "this is executed before/after that", and the engine (here it is called optimizer) will find the proper call order you want.
@DmitryRomanov Жыл бұрын
25:55 prolog students cry here 🙈
@arhyth4 жыл бұрын
i wonder how long before this or at least the ideas here gets seen in production distributed systems.
@HenkPoley4 жыл бұрын
It seems like Bloom had some development for a while, but nothing after 2017. github.com/bloom-lang
@supersearch6 жыл бұрын
A distributed secure system wold be similar to a blockchain system. It's must not support data deletion nor data updates. It must be a purely constructive system. A deletion must be just a new annotation about a state of some data. But this type of system may grow much, so we can keep the chain of changes but in the memory work with a limited version with only the current data for better performance. But the construction of new data based on old data must also be perfectly deterministic...
@chromosundrift2 жыл бұрын
Wouldn't it be fair to say that blockchains provide "the god line" and this is how they solve this fundamental distributed system problem?
@jakedewey3686 Жыл бұрын
Blockchain doesn't really solve the problem here. What happens when two different systems disagree on who extended the chain first? You just run into the same problem all over again, because you'd need to figure out how to deal with the asynchrony of block creation. The goal isn't to create an external system to synchronize your other systems; it's to make it so there's no need to synchronize at all, because your systems are guaranteed to behave the way you expect.