26 korrents from this recording
Every claim below is a statement made in this recording, quoted word for word and linked to the second it was said, so you can hear it rather than take our word for it. The wording comes from the transcript published alongside the recording; the sentence above each quote is our reading of the claim, not their wording.
0:23:17 · watch on youtube.com↗
Their wordsfor me, reliability means fault tolerance primarily. So, meaning that a system should, on the whole, continue working even if like a network link is interrupted or a node crashes or something like that.
0:24:01 · watch on youtube.com↗
Their wordsScalability is just like what mechanisms we have for dealing with changes in load. If load increases, how can we add computing capacity to a system, for example, so that the system still continues working?
0:25:37 · watch on youtube.com↗
Their wordsgenerally, like you just want the the cost and the computing capacity to be roughly proportional to the load that you have. And at the low end, that means actually being able to scale down to something that is extremely cheap to run.
0:29:38 · watch on youtube.com↗
Their wordsAnd now suddenly people are building databases on top of object stores, for example. And now the replication happens at the object store level, no longer at the database level.
0:31:55 · watch on youtube.com↗
Their wordsYou're building higher-level business logic, actually I think it's just fine for people not to care about memory management.
0:32:17 · watch on youtube.com↗
Their wordsBut, somebody still has to build those lower-level abstractions and from lower-level components. Somebody's got to implement the cloud services.
0:35:39 · watch on youtube.com↗
Their wordsAnd so those are those places where I feel like knowing a bit about the the internals is actually like a superpower.
0:37:25 · watch on youtube.com↗
Their wordsSo, what if geopolitics was to go horribly wrong and tensions escalate and Europe find itself suddenly locked out of US cloud services? I hope that doesn't happen. I still think it's fairly unlikely, but it's no longer unthinkable.
0:38:47 · watch on youtube.com↗
Their wordsMaybe as AI writes more and more code of our code, it's less about like the details of how you express logic in a particular programming language and much more about those kinds of high-level trade-offs.
0:42:22 · watch on youtube.com↗
Their wordsBut, at least this sort of sharding across multiple machines is maybe become less of a pressing issue just because more and more workloads can just run on a single machine. Some people still have very large-scale workloads that do have to be sharded across multiple machines. So, it's not going away entirely.
0:42:37 · watch on youtube.com↗
Their wordsAnd uh replication is still relevant even at smaller scales because that's for fault tolerance, that's not for scalability.
0:43:07 · watch on youtube.com↗
Their wordswe just assume that there's no upper bound on how long it might take for a message to go over the network. So, you send a message, it might arrive within 100 microseconds, or it might take 10 years.
0:44:34 · watch on youtube.com↗
Their wordsit's very easy to assume that your clocks are correct and most of the times the clocks are pretty correct but we just can't rely on it because actually they're just not precise enough uh on the whole.
0:46:40 · watch on youtube.com↗
Their wordsAnd so, the goal of this chapter is really just to give people the information in order to make an educated decision. But I don't want to make that decision for people. That's for businesses themselves to decide.
0:47:11 · watch on youtube.com↗
Their wordsIn particular, for example, coverage of MapReduce was quite detailed in the first edition. But basically, MapReduce is dead. Nobody uses it anymore.
0:50:32 · watch on youtube.com↗
Their wordspeople say that uh you get into tech in order to change the world. If you want to change the world, then thinking about the impact that your technologies have on the world is part of your job.
0:54:10 · watch on youtube.com↗
Their wordsBut a proof can reason about potentially infinite state spaces. So, it can tell you things about like every possible thing that could possibly happen in the entire universe.
0:58:54 · watch on youtube.com↗
Their wordsOne is that the LLMs are getting increasingly good at writing these proofs. And if we don't have to write the proof by hand as humans, it just becomes feasible to do them in situations where previously it would have not been economical.
0:59:06 · watch on youtube.com↗
Their wordsBut also LLMs increase the need for these formal proofs because, you know, we're live coding a bunch of stuff. If we have to manually review all of that code, then that will become the bottleneck.
1:02:07 · watch on youtube.com↗
Their wordslocal-first software, which is this idea that we want to take away a bit of the power from cloud operators and give it back to end users. So, end users should be more in control of their own data and less dependent on cloud services for providing the applications and the data that that the users need.
1:02:34 · watch on youtube.com↗
Their wordssoftware as a service businesses, for example the whole reason why they can charge a subscription is because they are able to essentially hold a gun to the customer's head and say, "Pay us at your subscription, otherwise we will delete all your data."
1:03:11 · watch on youtube.com↗
Their wordsthere I feel like in academia, I have the freedom to work on things that go against this commercial incentive of companies and say like, "Actually, no, I'm going to do what I think is right for the users."
1:07:44 · watch on youtube.com↗
Their wordsif a revoked user still wants to, say, vandalize a document, they can just backdate their edits, give it an earlier timestamp. So, relying on clocks is absolutely useless here because people can forge the timestamps from those clocks and thereby then potentially undermine the access control mechanism.
1:15:49 · watch on youtube.com↗
Their wordsWe don't ask the students to write essays because we love reading their amazing essays. We ask them to write essays because they we want them to go through a thought process, which helps them learn something.
1:21:51 · watch on youtube.com↗
Their wordsIt's more that for myself, the process of writing is the way how I figure things out. And figuring things out is really my goal here. So, I'm I'm trying to figure it out in my own heads, and for that I just have to write it myself.
1:23:42 · watch on youtube.com↗
Their wordsOften people in industry I feel like sort of have short circuit reasoning. Like don't maybe don't quite reason something through from first principles but just like oh I heard this from a conference talk I'm just going to go with that