ApplicaSet @applicaset@fedibird.com

いやまじでContTの能力バカやばすぎ

ContTがfused-effectsで扱えない（Cont effectとContCは定義できない）らしい以上、ContT (FooC (BarC (...とやるのが正解か。

バカのための、つまり人のもっと緻密な行動選択モデルを組み込んだ経済学が必要で、ﾌﾞﾂﾌﾞﾂ…

共産主義は独裁者が（計画経済に必要な計算リソースを持った超人に比べて圧倒的に）バカだったから失敗した。
同様に、資本主義は皆が合理的経済人じゃなくてただのバカだったから失敗した。
バカのための（気取って言えば、エルゴノミックな）経済システムが必要

市場原理は人が馬鹿であるという前提を組み込めてない時点でなにやってもダメ

たまにPCが落ちる（電源はついたまま画面出力が切れてフリーズする）の、ファンの設定弄ってからおかしくなったから熱暴走だと思ったんだけど、ファンの設定戻してもなったわ
しかもDRAMがエラー出してるってことは熱暴走じゃない…？

GHCが内部でIOモナドをどう機械語列に落としているのかは知らないけど、この理由からやはり自分はIOモナドをState RealWorldと解釈するのではなく、単に機械語塊のリストと解釈するのがしっくりくるなぁと前から思っている（LLVM.IRBuilder.Monadのイメージ）

https://hackage.haskell.org/package/llvm-hs-pure-9.0.0/docs/LLVM-IRBuilder-Monad.html

ただこれは昔からの疑問なんだけど、現実的にはIOモナドの簡約には一定の時間がかかるわけで、その間にも外界(RealWorld)の状態(State)は変化しているはずなのに、このIOモナドの解釈(IO a = State RealWorld a)だと簡約は完全に時間0で完了するか、あるいは簡約中は一切外界の状態は変化してはいけないので、やはりそこが気になる

Haskell の IO モナドと参照透過性の秘密
http://labs.timedia.co.jp/2017/08/haskell-io-monad.html

これ昔読んだときは理解しづらかったけど今はスッと入ってくる

任意選択科目　連続体仮説

まああんまり上書きできすぎても、形式パズルに強い実在性を感じてしまい、ツールとして現実を記述する利便さを無視する異常者になってしまうので、もしそれを望まないのであれば気を付けなければならない（自戒）

おれ、直観上書きやれます、おれにやらせてください

形式数学、そんなのありえないと自分の直観が拒絶するような命題を、形式的証明によってねじ伏せどこまで直観を上書きできるか耐久ゲームみたいな所ある

まあぶっちゃけ直観を†教育†されてしまったので、有理数と整数が同じ濃度なんて当たり前だろとなってしまっているな
直観は脆い