Notices by きゅーけー (tojoqk@mastodon.tojo.tokyo), page 78

仕事で証明したくなるようなロジックがあったので、いま趣味で書いているのが終わったら、また ACL2 の勉強しようと思ってる。

有給を使って4連休にした。素晴しい。

仕事のパソコンで有線のイヤホンを使っているのだけど、SSD の音が聞こえるのが割と気になってしまう。

恵方巻きのデメリットはスーパーから普通の寿司が消えることだな

この時間はさすがに寝てる人多くてアップデート祭みたいにはなってないのか

えーやば、と私に思わせて急いでアップデートをさせることに成功させているわけなので、うまくいっている。

最初迷惑メールかと思った。

えー、やばいじゃん

lMastodon がはよアップデートせよと脅してくるもんだから、v4.2.5 までアップデートした。
寝るか。

フォークだと無駄な苦労があるので箸でいい

コンビニで買ったナポリタンに割り箸のみついてた。私がどちらかというと箸派であることを見抜いたのだろうか。

酔って短気になっていたのか、ブラウザバッグを妨害して広告を表示するサイトにめちゃくちゃキレてた。スマホで被害にあって家に帰って調べた感じ、uBlock Origin でだいたい防げているらしいので少し落ち着いてきた。スマホにも入れているはずなんだけど、なんでくらったんだろ。

読売新聞オンライン、戻るをトラップする邪悪なことしてるじゃん。

Gentoo、なんか機能が動かないときに Gentoo の wiki みると、有効にする必要のある kernel config について書いてあって勉強になる。
make localmodconfig してからたまに何かが動かないことがあるのだけど、わりと説明がある。

エネルギーとか食料とかインフラ設備とかやっている会社なら投資してもいいかもしれない。老後資金に向いているかは分からないけど。

はあ、時価総額加重平均で投資しても気にならなくなるように明日あたりGAFAMが崩壊しないかなあ

老後資金のためなんとなく大量に投資されている企業があるという資本主義の真実

インデックスファンドに投資するのが最も合理的っぽいんだけど、それをすると自分が投資したくないところに投資をしなければならくなってしまうというジレンマ。
あまりこの問題をかかえている人いなそう。

どうせ年金貰えないし自己防衛として何かしたいんだけど、自分の心持ちとしては別に世界の資本主義がもっと発展していって欲しいとか思ってないし、でかいIT企業はだいたい嫌いだし、企業に成長して欲しいとか思ってないし、大分投資に不向きな氣がする。

時価総額加重平均で投資すると、嫌いなIT企業に対してだいぶ投資することになってしまうので、ぐぬぬとなっている。