Turing Complete Fm

戦略投票を行わなくてよいマッチングのアルゴリズム、Intel 3D XPointのような不揮発性メモリ、この世界はシミュレーションか、といった話などをしました。出演者: hikalium (@hikalium)、Rui Ueyama (@rui314) https://turingcomplete.fm/23 ハッシュタグは#tcfmです。 TCFMはサポーターの投げ銭によって収益を上げています。このコンテンツに課金してもいいよという方はぜひクリエイター支援サイトPatreonから登録してご協力ください。 イントロ (0:00) セキュキャン2018 (2:05) 戦略を必要としないマッチングアルゴリズム (3:34) デュヴェルジェの法則 (12:44) 比例投票制の制度設計 (18:32) 完全比例代表制と阻止条項 (20:41) 不揮発性DIMM (24:43) 不揮発性DIMMをどうモデル化するか (30:56) 不揮発性DIMMはファイルシステムとして見えるべきか、永遠に存在するプロセスとして見えるべきか (33:08) 3D XPointメモリは8バイト単位での書き込みがアトミック (39:37) Compare-and-swap命令 (42:57) ストレージ階層に新たな層が加わるのは面白い (45:32) シングル磁気記録方式のHDD (46:42) 水槽の脳 (52:02) 世界シミュレーション仮説 (54:33) シミューレーションと浮動小数点数演算の誤差 (55:19) パイオニア・アノマリー (58:25) カール・ポパーと反証可能性 (1:00:47) hikaliumはこの世界はシミュレーションだと思うかどうか (1:03:44) 世界無課金ゲーム仮説 (1:07:25) シンギュラリティ後の世界でコンピュータ内に移住したいかどうか (1:08:40) 「脳のなかの幽霊」と半球無視 (1:10:55) デュヴェルジェの法則 MTRRレジスタ Compare-and-swap シングル磁気記録方式 水槽の脳 胡蝶の夢 シミュレーション仮説 パイオニア・アノマリー 原子力電池 カール・ポパー 反証可能性 脳のなかの幽霊（書籍）