blank🍳 @blank71@fedibird.com

「型推論」特別講義 (プログラミング言語の基礎理論シリーズ）第１回 https://youtu.be/Ju-vJilPjEU

適当に眺めている。
https://ossinsight.io/analyze/mastodon/mastodon

Open Source Conference で「ディストリビューションって何ですか」と聞いて確か openSUSE の人を絶句させたのが最古の OSC の思い出。

SML# の研究開発（先端プログラミング言語実現を目指す学術研究の可能性について） https://youtu.be/SgEV76ZoAYk

結構効率的だし、クロック上げれば更に性能が上がるわけにゃ。上げれるか知らんけど。

今使っている i5 12400 が定格 2.5 GHz だという気づき。

初めてみた。32GB 積んでいるけども。

- 身長が高い
- メガネを掛けていない

が必要だとか言われて悲しくなってしまった。

恋人がまずいない

結婚したい

風呂に入る時間 > /dev/null

ちょっと穴作ったけど、その後埋めといたから大丈夫！（ではない）

セキュリティホール人材になりました！！！！

本番環境のブロックデバイスを満杯にしてしまった罪

PICO4 を体験してみたら思いの外よかった。自宅の Virtual モニターとして使ってみたいけれど、その為に購入する価値があるのか。

ホストマシンが big.LITTLE のときに、仮想マシンはどのように振る舞うのか、よく分からない。

仕様では Alder のほうが使われるそうなので、あまり気にならないな。

raptor が正しいのか。

i5 13400 のコアが Alder と Rapter の混合になる可能性があるというのを小耳に挟む。すると L2 Cache がこの世代間で違うので、L2 cache のトータルが容量がくじ引き状態になるらしい。