㌦の時間か

Wordle 287 4/6*

⬛⬛⬛⬛🟨
⬛🟨🟩🟨🟩
🟩🟩🟩⬛🟩
🟩🟩🟩🟩🟩

#Wordle

オンラインになったことのあるシステムから秘密鍵に直接アクセスできないようにしてあるので、 papekey も zbar もｲﾝｽｺできない

や、べつにパッケージファイルをストレージ経由で持ってきてもいいんだけど……せずに済むならそれに越したことはないので避けている

大学時代は尊師スタイルやってた。14型の lifebook の上に HHKB Lite2 を乗せて。

HHKB Lite2 の裏面の脚は格納した状態だと滑り止めの横向きの棒状のゴムみたいなのがあるんだけど、これが lifebook のフレームにちょうど乗る感じになって HHKB の底面自体は下のキートップから浮いた状態になるので、実に丁度良い寸法だった

このアカウントは、notestockで公開設定になっていません。

キーボードは外付けできると割り切って、スペック重視で選んでるなぁ

2代目の XPS 15 を買うときは「Linux から LVFS でファームウェアアップデートできる」というのはかなり加点要素だった

で、 CPU が i7 で GPU が載ってて 4K ディスプレイも使えるとなれば、もう決まりでしたね

筐体がメタル云々とかカーボン云々で、プラスチック等と違って手汗等による腐食とか衝撃への弱さを心配する必要がなかったのも大きい

不満があるとすれば、外付け電源のコイル鳴きがちょっとうるさいとかかな。静かな環境だと割と気になった

これはさすがにスペック表からは読み取りようもなく、買ってみないとわからなかった。
XPS 15 9570。

Mastodon の「インスタンス」が「サーバ」という呼び方に変更されたのは、いつ頃の話だったか……

ルートノードへの Rc を持つオブジェクトへの Rc を持つオブジェクトへの Rc を持つオブジェクトと、それらの (Rc の代わりに) Weak を持つ版と、それらの型への命名について考えている

カオスすぎるんだが、頭の中ではこれで何もかも綺麗にうまくいくことになっているので、たぶん適切な名前を与えられさえすれば全てが自明かつ必要に見えるはずなんだ……信じてくれ……

まず tree 全体の所有権を表現するオブジェクトの型を Soul とか名付けた時点で破綻が始まっている気がするので、これも割と真面目に改名しなければいけない

アヒルのように引き、麺のように食えるなら、それはプルダック麺だ #適当

/dev/neru

#今すぐ寝ることで救える命があります

Rustオンラインもくもく会に1024週間ぶりに間に合った

DIDs (Distributed Identifiers) なぁ

右が内側になって先に適用されるやつなぁ

h = f∘g のとき
h(x) := f(g(x))
なのか
h(x) := g(f(x))
なのか

個人的には、 SKI コンビネータ (というか BCKW コンビネータ) に慣れ親しんでいるので B x y → λz. x (y z) の気持ちが強い

まあちゃんと冒頭で定義なり提示なりしてくれればそれで読むからいいんだけど、正直界隈で統一してほしかった気持ちは強い

Tracking Issue for `nonzero_ops` · Issue #84186 · rust-lang/rust
https://github.com/rust-lang/rust/issues/84186

NonZeroUsize::checked_add() が nightly だった。泣いてる

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

どうしてもシステムを変えたくないという強い意志が感じられる。 “お役所仕事” はこうでないと。

“お役所” の仕事、とことん改善されて合理的になってほしいという気持ちと、不合理の代表として慣用句的ロールを保ち続けてほしいという気持ちが共存している

善良な市民としての感情と悪いオタクとしての感情がな

「末は博士か大臣か」がこのご時世だと煽りか罵倒にしか聞こえなくて泣けるみたいな話を思い出した

慣用句のおそろしさね (?)

このアカウントは、notestockで公開設定になっていません。

㍂

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

まあ神を信じる科学者がいるんだし、自由意志を信じる科学者がいても仕方ないとは思う

あるいは、単に人間の「自由意志に見えるもの」について理屈を立てるのが面倒なのでブラックボックス化して仮に「自由意志」と呼んでいるという文脈も結構ありそう

人間に興味ない人は特にそうだと思う

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

まあ人間が単なる有機物ではなく “人権” を持つ特別な存在であるというイデオロギーが……

「賢い動物に権利はなくて人間にだけあるのか」とかの話も近い文脈だと思うけど

それこそ実証できない幻想を信じるのかという話だと、自分以外のあらゆる存在についてその実在性とか知覚を持っていること自体も確信を持てないわけで、そこは「そういうことにする (となんとなくうまくいく)」という線引きがどうしても必要になる

このアカウントは、notestockで公開設定になっていません。

まあ行動の制御という限られた文脈で言うなら、そういう研究や実践をしている人は結構いるのだと思う。

というより、「そういう文脈の外で市民権を獲得できずにいる」の方が近いのではという気がするんだけど、そこはあまり詳しくないのでなんとも

たぶん多くの人は、自分が特別でもなんでもなく無力であるという事実に耐えられるほど強くなくて、そういうのが人々を宗教 (特に新興宗教) に走らせるんだろうなと思うことはある

ワイも今はこんなだけど、精神ぶっ壊れたとき耐えられるかはその時になってみないとわからん

陰謀論も新興宗教の類型みたいなところがある気がしてきた

何か (妙なこと) を知っていることが特別で、その特別な知によって救う力や救われる力を得たように錯覚できる

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

最近の高度制限の変更で、スライム TT の湧き層の最高効率の高さが変わったとかなんとか聞いたような気がするけど、 TT 作らないのでもう何もかも忘れた

このアカウントは、notestockで公開設定になっていません。

画像忘れてますよ

このアカウントは、notestockで公開設定になっていません。

NOT OK
Cry again

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

ぼちぼち飯にするか……

「そういえば deploy の逆って enploy……いや p の前だから employ…… ！？！！？！？？」となった (今初めて気付いた)

【英語語源ploy】employ, deploy, diploma…の意味 | | 死ぬほどわかる英文法ブログ
https://shinuwakaeng.com/ploy-employ-deploy-diploma-diplomatic-deploy

㍂

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

6700かぁ

ぼちぼち Radeon の新作が出てきそうな感じだし在庫処分が始まっていてもおかしくないかなという感じ

6700〜6900 あたりを買う人は GPU にカネ出す層だろうし

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

なんかリークで有名らしい人が下半期でも早い時期みたいな感じのことを言っていた (根拠は不明) 的なアレもあるので、ぼちぼちね……

このアカウントは、notestockで公開設定になっていません。

なお発売直後は御祝儀価格なので時期が悪い

このアカウントは、notestockで公開設定になっていません。

6800 XT の次世代くらいのやつを狙っている (7800?)

27型と31.5/32型のディスプレイ、どちらにすべきかかなり悩んだけど結局27型にしたのよな……
これが正解だったかは今でもわからない

ディスプレイと目の距離次第なので、ディスプレイを選ぶ前に広い部屋とデカい机を用意すべきなんだよな……

このアカウントは、notestockで公開設定になっていません。

FSF で用意してくれているという Jitsi インスタンス、使ったことないんだよな…… (なぜなら話す相手がいないため)

4Kディスプレイ×2で、全画面表示しているターミナルが GPU を使っていて、かつﾖｰﾂｰﾍﾞとかの動画ももう1画面で 60fps 全画面表示したかったりするので、こんなしょーもない要件でも結構スペックを要求してしまう

30fps だと問題なく快適に使えるしモニタ1枚でも 60fps 出るけど、 4K 60fps ×2 はテアリング不可避

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

自分で登録シナ

？