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

やっぱりEitherモナドが最強なんやなって……

Walter Brightは例外の代わりにpoisoned objectというquiet NaNに似た振る舞いをするオブジェクトを返すテクを使ってるらしい https://news.ycombinator.com/item?id=28164905

10年くらい前にちょっと流行ってたので、オリジナルがじっくり殺されていくというモチーフならこれでほぼ間違いないと思う

思考実験（２）どこでもドア - 哲学的な何か、あと科学とか http://noexit.jp/tn/doc/sikou2.html

マスク義務化の禁止令を出したりReopenを強行するなど多岐にわたる活動をしていたテキサス州知事がコロナに感染したらしく、笑い事ではないが草 https://twitter.com/shawnarchen/status/1427735345051828226?s=19

言われてみれば z + hjkl./ もSKKで残った習慣だな（これができないの辛すぎてWindowsでもATOK入れるのやめてGoogle IMEにした）

HHKB無刻印だとキー数が足りないからC-\はかなり合理的なんだよな

もうSKK使ってないけどC-\でIME切り替えする習慣だけ残った

イラストはqirasutoじゃないの

注釈なく可算って言ったら普通は可算無限のことを指しませんか？有限なら有限って言うので

あ〜〜〜あ！人生が可算回くらいあったらなあ！

calコマンドの引数の順番は一生覚えられないので、逆っぽかったらひっくり返してくれるラッパーがzshrcに書いてある https://github.com/osak/dotfiles/blob/master/zshrc#L25

測度論やったので頭が可測になりました

選択公理をやると頭が5つに分割されて組み替えると元の頭と合同な頭が2つできてしまうが、測度論をやることでそのような分割は非可測であることに気付き元に戻れる

TASにもたまに付いてる

ミドルランクくらいのRTA動画には「こうすればいいのに」系のコメントがだいたいありますねぇ！

実数は可算 #英語

印刷所から紙見本もらって理想の紙質のやつを厳選した！って言ってる同人作家をTwitterで見た記憶がある

❌GPLを大企業に変な行動させるためのおもちゃにしない

おそらく実際にはGPLは弾かれるんだろうけど