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

同じCPU使っている別の商品で、4k画質で2枚いけるというのがあったので大丈夫な可能性が少し上がった。

調査した感じたぶん私のノートパソコンのスペックで4k出力できそうだったので、28インチの4kディスプレイを買った。
ノートパソコンの方が2kなのだけど2k出力と4k出力を両立できるかは分からない。そこまで無理だったとしても後悔しないという気持ちを持って購入した。

R7RS で書こうとすると compose 的な間数がないのちょっと面倒だなあと思って探したところ SRFI-197 を発見。これは便利だ。超快適で最高。

SRFI 197: Pipeline Operators
https://srfi.schemers.org/srfi-197/srfi-197.html

正直 Either, Left, Right の表現はあんま好きじゃないんだけど SRFI で決まったならしゃあないか。

SRFI-189 を知ってびっくりしている。
これ Guix で簡単に入れられるし使おうかな。

189: Maybe and Either: optional container types
https://srfi.schemers.org/srfi-189/srfi-189.html

これは本当に欲しかったものかもしれん。

SRFI-171 いいじゃん。普通のリストで中間リストができないようにプログラミングできるのは QoL 高そう。

「ギガ」表現、モバイルネットワークの通信事業者がネットワークの月間通信量に制限をかけているという文脈における残通信量という意味を持つところに利便性を感じる。

いやまあキロで表現するのが適切なのにギガで表現しているのをみて「ギガの無駄」というようなことはギリありえるか。まあ会話には文脈があるので普通は文脈から判断できるわけであまり実害はないか

若者言葉の「ギガ」という概念について

いま諸事情で光回線が使えない状態でスマホのテザリングに頼っているため通信量をマネジメントしないといけなくなったのだけど、その立場になってみると「ギガ」という表現は便利なものだと感じた。さっき「それはギガの無駄」と表現をしたのだけどそれで意味が伝わる。

ギガが無駄ということはありえないのでデータ通信量の方だと判断できる。

ただ将来的にギガが適切な単位でなくなった場合に困りそうというのはある。テラが減るとでもいうのだろうか。

しかも、今ある動画もいずれ消える。

何もする必要はないけど、意識を維持していないといけない状態でつらい。疲れたので寝たいが眠るわけにはいかないという状況。

あついな。いま室温計がないからエアコンの設定温度の調節が難しい。体感で判断するしかないか。

部署の名前変えただけSRE、たくさん存在すると思ってる。

超わかる。ただのクラウド化されたシステムを構築・運用する人を SRE と呼んでるだけみたいな感じまじで嫌い。そんなにインフラエンジニアと呼ばれるのが嫌なのか。

DevOpsだのSREだの言葉遊びして、かつ、定義が曖昧なことをいい事に都合よく解釈してくるおじさん（自覚がないので何も説明しなくてもSREと言えば言いたいことが伝わって当然だと思っている）みたいなのもいい加減にしろよ

都会のビジネスマン向け広告の嵐がなくなって快適

いま私の鞄に時報のなる腕時計が入ってるな。。。これ結構リスクあるから後で取り除いておかないと。

路線を確認したところ同じ線の急行に乗り換えるのではなくて別の線の急行に乗り換えるパターンだった。危ない。

人が減って景色を楽しめる感じになってきた。