Infrastructure as Code の静的テスト戦略 #DevOpsDaysTokyo / DevOpsDays Tokyo 2021 - Speaker Deck

2021/04/16 134 users Transcript Speaker Deck チェシャ猫

Transcript #DevOpsDaysTokyo #DevOpsDaysTokyo Infrastructure as Code の 静的テスト戦略 チェシャ猫 (@y_taka_23) DevOpsDays Tokyo 2021 (16th Apr. 2021) #DevOpsDaysTokyo #DevOpsDaysTokyo 「Infrastructure as Code 辛い」 #DevOpsDaysTokyo #DevOpsDaysTokyo 「デプロイしてみたら上手く動かない」 #DevOpsDays... 続きを読む

CockroachDB から覗く形式手法の世界 #JTF2021w / July Tech Festa 2021 winter - Speaker Deck

2021/01/24 17 users CockroachDB None スケーラビリティ 形式手法

Transcript チェシャ猫 (@y_taka_23) July Tech Festa 2021 Winter (24th Jan. 2021) None 形式手法ツール TLA+ により「証明」済 • CockroachDB の概要 ◦ スケーラビリティを実現するアーキテクチャ ◦ 生じた課題と Parallel Commit による解決 • 形式手法ツール TLA+ の概要 ◦ 理論はともかく、ツールとしての雰囲気 ◦... 続きを読む