Notices by みかん (osa_k@social.mikutter.hachune.net), page 2

お前は決定論の奴隷、唯物論を信じろ

あらゆる人々は何も理解していないし丸暗記のパターンゲーで人生している、それはそう

外接だから長い、って結構非自明では

年下のお姉ちゃんに甘やかされたいという人類普遍の欲求

real sisterとrational sisterって書くとうっすら実妹と義妹っぽく見えませんか？見えんか

実妹は有理妹の完備化

計算機科学エアプラジオでライプニッツのモナド論について話したい

暗記教育で言うなら小学校で群・環・体の定義くらい覚えさせて欲しかったと思ってるよ

????????????????????????????????で盛んに情報発信するようなコミュニティにいると非直感的に感じるんですが、世の中の人はそもそも戦いたいと思ってなかったりするんですよね……

どんな学問も多かれ少なかれ暗記なんだけど、その主な対象が「事実」か「手続き」か「手続きを導出する手続き」のどれになるかは分野や興味範囲やレベルによって異なるという話っぽい

Wordle 212 4/6

⬜⬜⬜⬜⬜⬜????⬜⬜????????????????????????????????????????????

なんだこの単語

鯖の名前を39回唱えてからMIKU Lispを始めろ

ハンドコンパイルできるほど素朴だけどリッチな言語、ジャバじゃん（JVMはgivenとする）

Cをやる理由、Cで書かれた資産がめちゃくちゃ多くて大部分の人が多かれ少なかれCに影響を受けた考え方をするからくらいしか思いつかん（英語じゃん）

抽象化のレイヤが少ないプログラミング言語をやった方が転用可能な知識の幅が広がるので長期的には楽、くらいならそうかなと思うけど、それだとなぜCで止まって良くてアセンブリやCPU自作まで降りなくていいのかはよく分からない

目隠ししてても遊べるゲームがあるんですよ、数学って言うんですけど [要検証]

WSL + VcXsrv + ディスプレイ3枚というエッジケースの極みみたいな環境なので何が起こっても不思議ではないんだけど、どうもmikutterからは3枚全部合わせて1画面みたいに見えてるっぽい

プログラマーになれる代わりに選択公理に依存した操作ができなくなる

本来プログラミングに向いてない人間が金のために無理してプログラミングを勉強しようとして破滅しても知ったことではないので、本人がやりたいと言ってるならやらせてみれば良いんでは

人間が失効している人に近づくと警告が表示される