63: 安全で高速なソフトウェアをより短い時間で作る方法

TigerBeetle社のソフトウェア開発方法論をまとめたTigerStyleという文書を読みながら雑談しました。

• TigerStyle
• The Power of Ten – Rules for Developing Safety Critical Code1 Gerard J. Holzmann

Chapters:
(00:00) Opening
(02:11) TigerStyle
(06:28) TigerStyle’s 3 Values
(07:23) Safety
(09:28) Explicit Limits
(12:00) Static Memory Allocation
(15:43) Assertions
(17:44) Logical Interfaces
(19:40) Dimensionality
(21:06) Zero Dependencies
(23:40) Zero Technical Debt
(25:16) Performance
(30:43) Experience
(35:34) Computer Programming is an art