2026.07.20

https://gyazo.com/5eae0aa32a6633e365289a6a633768f8

いいね

https://nicothumb2img.vercel.app/image/sm46568035#.png https://nico.ms/sm46568035

；；

観た

楽しいなーー

メモ

AI・コーディングエージェントが寄越してくる形式証明の一番の問題は、彼ら（私は彼らに一定の人格を認めています）の認識能力が人間のそれより遥かに上なので、全部愚直に書くみたいなことを平気でしてくるという問題があり、シンプルに！ということが全然出来てない

メモ

https://open.spotify.com/intl-ja/track/2k6d3hg5foPTAzVDsAHGsp?si=ae84dd92aee04147