タグ

2020年3月9日のブックマーク (2件)

  • 後期クイーン的問題から『虚構推理』へ

    探偵って何なの、推理って何なの。 その答えをずーっと求め続けているのが、ミステリという界隈なのだと思う。 多重解決、ってのが流行ったことがあった。 ひとつの事件から複数の探偵が複数の真相を引き出す。 新たな証拠によって前の推理が否定され、新しい推理が発表される。 でもそれも次の証拠によって覆される。 そしたら真相ってのは何なんだ。どうしたらそれが真相とわかるのだ。 そのの中でたまたま最後に発表された推理が正解となるのか。 それだって次の証拠が出たら覆るかもしれないじゃないか。 格推理には「読者への挑戦」がないと成り立たないという人もいる。 要するにミステリは作者と読者の戦いで、フェアな戦いにはルールが必要なのだ。 読者への挑戦はそれを保証する。 或る頁において、ここまでに集めた証拠で謎は解けますよ、これ以上の証拠は出ませんよと宣言するのだ。 でもそんな作者と読者の戦いに巻き込まれる作中

    後期クイーン的問題から『虚構推理』へ
    tarao
    tarao 2020/03/09
  • Let's EncryptがはまったGolangの落とし穴 - ぼちぼち日記

    0. 短いまとめ 300万以上の証明書の失効を迫られたLet's Encryptのインシデントは「Golangでよくある間違い」と書かれているようなバグが原因でした。 1. はじめに、 Let's Encryptは、無料でサーバ証明書を自動化して発行するサービスを行う非営利団体として2014年に設立されました。 2015年にサービス開始されると証明書の発行数はぐんぐん伸び、先月末のプレスリリースでは累計10億枚のサーバ証明書を発行したことがアナウンスされました「Let's Encrypt Has Issued a Billion Certificates」。CTLogの調査から、2020年2月末の時点では有効な全証明書の38.4%がLet's Encryptの証明書であるとみられています「Certificate Validity Dates」。 無料の証明書を提供してもらえるのは非常に嬉し

    Let's EncryptがはまったGolangの落とし穴 - ぼちぼち日記
    tarao
    tarao 2020/03/09