วีดีโอ

Many exciting things: formal methods for concurrent/distributed systems, Jepsen, DST and how they connect, new things for me is different degree of deterministic of system under test and how it enables DST. Thanks for the talk. Please give us more in the future from this group!

Need to test this

Removing the print statements from the benchmark test improves the overall speed of the non-batching operations by about 25%. It has no effect on the batched operations.

Don't know about Python. But async/await good for concurrent I/O calls, but useless for speedy parallel runtime work Threads good in runtime for achieving non-blocking main thread, good for doing true parallel multible tasks at once, overkill for I/O calls.

This is great i built something similar for windows in case anyone need it: $outputFile = "output.txt" $fileTypes = @("*.ts", "*.html", "*.scss", "*.json") Get-ChildItem -Recurse -Include $fileTypes | ForEach-Object { $filePath = $_.FullName $relativePath = $_.FullName.Substring($PWD.Path.Length + 1) Add-Content -Path $outputFile -Value "====== $relativePath ======" Add-Content -Path $outputFile -Value "" Get-Content $filePath | Add-Content -Path $outputFile Add-Content -Path $outputFile -Value "" Add-Content -Path $outputFile -Value "" } Write-Host "Conversion complete. Output saved to $outputFile" To use this script: Open PowerShell in the root directory of your project. Copy the script into a new file, for example, convert-codebase.ps1. Run the script by typing .\convert-codebase.ps1 in PowerShell.

Good comp sci concept. The countdown example is great. But what happens if we want to make the countdown interruptible? That is, while the system is waiting, the user just cancels the whole thing. Or what if the user wants to increase the length to say 15 countdowns?

I had a chair with two legs; they were L-shaped with the bottom of each L resting on the floor. Oh yeah, and a set of chairs with one leg each; same idea, but it was one long piece of metal bent into rests. And a chair with no legs that was attached to the wall!

congrats!

Excellent content! As someone just starting my journey into distributed systems in the context of decentralized blockchain protocols, the insight gained from Dominik and Joran about determinism, sources of non-determinism and DST is now going to influence my entire approach to learning and building these types of systems! I'm excited to see how I might be able to apply both DST and the system design principles required to enable it to this specific domain. Thank you.

excellent explanation. please keep making these types of videoes they are extremely helpful.

Great video, thanks for sharing.

I would recommend to add more visuals to the clip. It's hard to perceive it only via talking. But great job overall!