Performance Laws by Taras Tsugrii
Автор: Performance Summit
Загружено: 2022-09-07
Просмотров: 875
Most modern performance work is centered around technologies and tools. Following Jeff Bezos' advice, this talk, instead of trying to predict the future, covers some of the oldest mathematical principles and ways they've shaped modern software.
Parallel and distributed computing, caching and proxy computations are just a few examples of leveraging associativity, idempotence, Kleisli category and functors.
Armed with such powerful tools, it's time to open an era of efficient compute, but how can we be sure that we are not trading correctness for performance? Formal verification methods to the rescue. We'll see how TLA+ and Agda can be used to prove correctness of our ideas.
https://skillsmatter.com/skillscasts/...
Доступные форматы для скачивания:
Скачать видео mp4
-
Информация по загрузке:
