人間が手作業でリーンコードを書くなんて信じられません。そして、LLMの前にその中で形式化されていたことも。リーンで何かを形式化するのは、ジャガイモの皮むきで皮を剥ぐのと同じくらい楽しく、塗料が乾くのを見るのと同じくらい面白いと感じました。

「ゲームの楽しさ」や「とてもインタラクティブだ」などを言わないでください。どこにでも見るべきゲームがあるし、どこにでもレイがあるのと同じで、その違いはわかっています

@notmoeezm「機械が証明を検証するかどうかなんてどうでもいい」 出典:Lee😞を使ってproof spaceの検索アルゴリズムを楽しく調整している人