2022.10.18
https://lh3.googleusercontent.com/OAb-MyiybJNG0Pmrzk8WxA1ahz6Gn8szEPtCRsIRKOdbCVDcvUwLUwghVgQ3KaX1tmv33yE9N8szQZ9xlmzlpLtfgcLv2bSnIDOUHHx2r1W5Gr3vB-vGvvC2dZXJYHiBew=w740#.jpg
37/45だった
これ描けるなら全然AIすごすぎると思った
知った
見た
これメタくていい
思った
Raymond SmullyanのGödel不完全性定理（タルスキ編）は背理法を使いまくっている（このようなGödel文があるとするとありえない文が構成できるので棄却する） 現状のNimとNixはもしかすると破滅的に相性が悪い可能性がある Nimbleがロックファイルが無いので（一応0.14にはある） 目視で頑張って依存関係を解決する必要がある気がする
おれがshell.nix忘れてただけでした（バカ）
違うだろ
いいね
https://nicothumb2img.vercel.app/image/sm41239953#.png https://nico.ms/sm41239953
観た
今日観るべきアニメではなかった（失敗）
メモ