13: OpenAI Incident Report, Automated Reasoning, io_uring, Limbo

12月11日に起きたOpenAIの障害、AWS・Amazonで活用されているAutomated reasoning、io_uringによるmemcachedのパフォーマンス改善、SQLiteのrewriteであるLimboなどについて話しました。

• Run your GitHub Actions locally
• API, ChatGPT & Sora Facing Issues Incident Report for OpenAI
• An unexpected discovery: Automated reasoning often makes systems more efficient and easier to maintain | AWS Security Blog
• Model checking distributed protocols in must - Amazon Science
  • The P programming language
• io_uringによるmemcachedの改善
  • Async Rust is not safe with io_uring
• In search of a faster SQLite

Chapters:

(00:00) Opening
(02:51) OpenAIのIncident Report
(11:36) AmazonによるAutomated Reasoningの活用
(17:58) Model checking distributed protocols in must
(24:52) io_uring Performance Measurements with memcached
(33:03) Limbo - In search of a faster SQLite
(40:07) Ending