Follow

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

Sign in to participate in the conversation
qnmd.info

The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!