Cant wait to watch these next few! I Did watch a few of the old streams/videos going over the LSM forest, but I am looking forward to getting this deep dive. I really appreciate all the work you have done on this. A guided code walkthrough TigerBeetles codebase is amazing.

King is the king of both the mic and the keyboard.

I never thought Redis AOF were this simple.

Yes.... i remember back in the 90's oracle tried this system of "direct IO", Blew lots of trumpets..... and announced it HAS to be better & faster Because ....'insert reasoning here" Well you know what..... it was complete bullshit, becasue they made lots of assumptions and very little real testing. Because even you THINK you are writing directly to the "disk" YOU ARE NOT.... you are Writing to a BLACK BOX., you have absolutely NO idea of HOW or WHAT is implemented in that Black box. There may be a thousand buffer levels in that box, with all sorts of swings and roundabouts. so... no.... you are NOT directly writing to disk, such a basic lack of insight and depth of thought is a worry with this sort of "data" Evangelicalism...

Zig has been on my radar for about a year as one of those languages "I want to learn someday". About a month ago I finally devoted some time to it, and I regret not having done it sooner. I initially found the syntax off-putting, but within literally a few hours, I came to really appreciate it, realizing how smoothly it allowed you to do perform many tasks and work with the language idioms. The stdlib is a little sparse in the documentation department, but I can hardly hold that against a language that hasn't even hit v1.0 yet.

Jepsen mentioned

I wish there were some examples of what he was talking about. Sometimes it just sounds like vague advice. "Do software good like an artist does"... Okay, but like what? Like when talking about naming things he just said: "Use the right nouns and make the names good and clear". Yes, I agree, probably, but what are some examples? How do I know what you mean by "use the right noun"? I think I do that, but I have no idea what you think that is, nor what Tiger Style says on the subject.

I love the kind of content, but it would really help to stick till the end of the video if the audio quality wasn't this bad!

So far, this is the most mind-twisting episode of all the previous ones. I'm still struggling to build a mental model around the idea of each ballot is processed concurrently by the replicas, yet a replica can "assess" the result of casting for previous ballots. Are there popular media (articles, video) describing the very same fundamentals behind consensus?

Great video, very clear and helpful! Also, nice title!

Turns out I've been using tigerstyle for the past 5 years and didn't even know. It's always good to see something put in writing that you've long subconsciously practiced, because then you can focus on it and audit it. This is helpful.

Could you plese zoom in a bit on your editor the next time? Its very hard to read the code if i am watching this on my phone

Matklad, it would definitely benefit you to unlearn the "uhhh" word. I think we tend to use it in conversation so the other party doesn't butt in and take the conversation in another direction, so it makes sense that we would have learned that behaviour in normal interactions with people... But in presentations I'd say it's a bad habit

00:03 Testing distributed systems is complex due to asynchronous communication and multiple computers. 02:39 Testing a Single-Node, Single Threaded, Distributed System 06:44 Testing for unknown unknowns is crucial for robust systems 08:41 Cost of solving bugs increases over time 12:42 Effectively testing a system requires comprehensive exploration of its state space. 14:42 Testing a distributed system can be challenging due to the difficulty in replicating bugs found by users. 18:37 Focusing testing energy on key points can significantly speed up algorithm performance. 20:38 Using Mario's x-coordinate as a guidepost for progress in the game. 24:03 Testing distributed systems often requires considering higher dimensions than initially anticipated. 25:55 Exploring incomparable and unique situations to find bugs in distributed systems. 29:39 Challenges in Branch Execution Order 31:46 Testing a single-node distributed system in 1985 revealed issues with random number generation. 35:22 Applying a mask with low probability makes random distributions more realistic. 37:15 Improving random number distributions for more natural movement and beating levels in old video games. 40:56 Developed a deterministic hypervisor for running software consistently. 43:05 Accessing the program via email subject line.

18:00 that's the same Andres Freund who discovered the XZ backdoor. Neat.

"State is building a database" Yes!

really great stuff team!

Great presentation!

This was awesome! Thank you for sharing.

This was mind blowing presentation.

The theme song really slaps!

The talk defines two terms: Strategy and Tactics. Strategy is the datum you choose to optimize for as the fuzzer randomly walks the states of the system. E.g. optimize to maximize Mario's X value, or optimize for reaching all tile positions etc. Tactics is the choice of input distribution.

My favorite deterministic simulator is Factorio (tbf I haven't tried TB). A deterministic hypervisor is dope!

Node js?

Printing debugging is about looking for patterns of behavior, in particular with the output going into grep.

Correct me if I am wrong, but the static allocation is only possible because you do have few specific structures to allocate. All of these would not be possible if the client would send a completely different structure. I mean, your system would never be able to store anything but transactions, unless someone modifying the code, adds a different structure, and compile it. Am I right saying so, and is that the reason this database is so specific and cannot be used for any other use cases rather than financial transactions? I mean, even if you have some sort of metadata attached to the transaction, this has to have a fixed length, otherwise cannot be allocated statically.

These are great - I have only had time to watch the first two. I am using more Rust in my free time, but want to get into zig. Overall I find the code simple, safe, intentional, and efficient! Which is my goal. Really appreciate this deep dive series!

Thank you!

The more I think about it, the more TigerBeetle and Redpanda seem like a perfect fit tbh

Tigerbeetle just knows what good music for their talks is.

NOW THIS IS HOW YOU MAKE A KILLER DEV TALK INTRO. Rockstar developers. Also I find it funny that it says "Iron Beetle" when thats image is a parody of Judas Priest.

hey, does the src code still up-to-date? i saw the last commit was 2 months ago

bottom line, always use rust

I love how much Joran love to present this talk. - one of my favourite technical talks

Great video! Really appreciate the walkthrough - I have been very interested in Zig. Through learning about zig, I became interested in tigerBeetle.

He‘s got that smooth voice.

Amazing! Great talk!

Very infomative, thanks! Any chance we could get recordings with dark theme? Hard to watch at night.

The intro track was a bit like "Ghost" by Robert Miles.

One of the best tech talks I've seen in a while!

Nice talk, thanks a lot. I can fully empathize your idea of using the same language for build orchestration as you are using for your code. Specially in your case, building clients for many different platforms as well. If this would still be a "fantastic idea" for "C/C++", debugging memory corruptions in the build script? Not sure 🙂.

Tried it on my mac, the script failed "try shell.exec("go test", .{});" That's expected, as I don't have go installed, I guess 🙂 (Or the planned go installation did not work, but I could not see an error above)

Great talk, thanks for the sharing! ❤

22:52 The comment that “when your system is accessible, bugs are trivial” is a really thought-provoking comment. That is something that I have subconsciously known but never actually called out when writing unit tests and automated integration tests that use simulated data.

Amazing. Really amazing

Give Alex a good mic :)

King is the king!

Man I'd love to learn more about how it works under the hood, a deep dive would be great for somebody who's VERY interested in these topics... like me.

Very interesting. Thanks!!

starts 02:00