君のセキュリティはデプロイするまでもなく間違っている #CICD2021 / CICD Conference 2021 - Speaker Deck

2021/09/03 6 users Speaker Deck セキュリティ チェシャ猫 3rd

Transcript 君のセキュリティは デプロイするまでもなく 間違っている。 #CICD2021 #CICD2021_B チェシャ猫 (@y_taka_23) CI/CD Conference 2021 (3rd Sep. 2021) この設定、デプロイして大丈夫…？ Semantic-based Automated Reasoning for AWS Access Policies using SMT J. Backes et al. (2018) https://d1.awsstatic... 続きを読む

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+ の概要 ◦ 理論はともかく、ツールとしての雰囲気 ◦... 続きを読む

超速で振り返る 2020 年 CNCF Projects 動向まとめ #InfraStudy / Infra Study Meetup 9th - Speaker Deck

2020/12/21 7 users Speaker Deck 超速 動向まとめ 9th helm

Transcript 超速で振り返る 2020 年 CNCF Projects 動向まとめ チェシャ猫 (@y_taka_23) Infra Study Meetup #9 (21st Dec. 2020) None New Graduated: 5 Projects New Graduated Projects • Helm (04/30/2020) ◦ Kubernetes 用パッケージマネージャ ◦ Helmfile によりタスクランナー的にも使用可能 • Harbor (06/23/202... 続きを読む