ViewTube

ViewTube
Sign inSign upSubscriptions
Filters

Upload date

Type

Duration

Sort by

Features

Reset

55 results

FOSSASIA
Deterministic Simulation Testing, Dominik Tornow | FOSSASIA Summit 2025

Modern, distributed systems are complex and present numerous challenges: concurrency, process crashes, message loss, ...

26:13
Deterministic Simulation Testing, Dominik Tornow | FOSSASIA Summit 2025

357 views

8 months ago

NixCon
NixCon2024 Deterministic Firmware with Nix

2024-10-25 14:20–14:50 Speaker: Óli This session's header image This talk explores the application of Nix's deterministic build ...

23:06
NixCon2024 Deterministic Firmware with Nix

1,292 views

1 year ago

TLA+ - The Temporal Logic of Actions
Practical Insights from Datadog’s Use of TLA+ and Simulations   Arun Parthiban, Datadog
27:03
Practical Insights from Datadog’s Use of TLA+ and Simulations Arun Parthiban, Datadog

887 views

1 year ago