Follow

形式証明に賞金懸けられるサイトを作って、Falseの証明(=Coqのsoundness bug)に1BTC (当時8万円くらい) を懸けてたら、サイト側の検査ツールのバグを突かれて1BTCお持ち帰りされちゃった先輩のことをふと思い出した

Sign in to participate in the conversation
qnmd.info

@qnighy によるMastodonインスタンス