Listen

Description

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

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