Wantedly に最近入社した @fetburner をゲストに迎えて、Wantedly の仕事内容や大学時代の形式証明の研究、 Apple が最近リリースした M1 チップ、"AMD CPU への想い" について話しました。