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

Episode metadata supplied by the publisher feed · Published Feb 21, 2026

Embed this episode

Attribution link and audio player

NOW PLAYING

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

0:00 39:23

1×

No transcript for this episode yet

We transcribe on demand. Request one and we'll notify you when it's ready — usually under 10 minutes.

Share this episode

Similar Episodes

No similar episodes found.

Similar Podcasts

No similar podcasts found.

Frequently Asked Questions

How long is this episode of イチゼロエフエム?

This episode is 39 minutes long.

When was this イチゼロエフエム episode published?

This episode was published on February 21, 2026.

Can I download this イチゼロエフエム episode?

Yes. Use the download control on the episode player to save the publisher-provided media file.

URL copied to clipboard!