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