8時間 #知らぬ間に椅子の上で気絶部

Division by zero in type theory: a FAQ 日本語訳
https://zenn.dev/leanja/articles/division_by_zero

たとえば C の未定義動作について、コンパイルエラーにする代わりにランダムな値を返すように追加の保証を与えた処理系みたいなイメージか。
未定義動作がどうなろうが「結局は踏まないパス」なのでどうでもいいし、定理証明なのだから最終的に踏まないパスであることは保証できると。

「内部的な個々の関数は状況次第で未定義動作を引き起こす可能性があるが、それらを呼ぶ側が正しく統制されているから結果的に未定義動作は起こさない」みたいなことをやっている印象。

24Uの19インチラックを部屋にどう置くかずっと考えている (いいかげんセールの締切が近いので設置可能か判定しないといけない)

実は “最後の手段” を使うと不思議なことに空間を拡張できて部屋のレイアウト変更ほぼなしにラックをもう1つ設定できるようになるのだが、代償に地震が起きたら死ぬことになる

そうでなくとも置くだけなら生活空間を更に圧迫すれば物理的に可能ではあるのだが、その場合「奥のラックに置いてあるものが取れなくなる」などの不都合が発生しうるので使い物になるレイアウトにしなければいけない

加えて、現状のサーバラックの位置がエアコンの冷風を受けられずそれでいてデスクに熱と騒音を強く伝達してくる最悪の場所にあるので、それもなんとか解決したい

こういうときロフトベッドだと表面的には空間を有効活用できそうに見えるのだが、これは罠で、ロフトベッドの下は埃と湿気が非常に良くないレベルで大量に蓄積されるため、電子機器と書籍に向いておらず、しかも机や棚など上面が平坦なものも置きたくないため、つまり下の空間は VR で遊ぶときくらいしか使い道がない。(座っていても両手を上げると手が当たるから VR にすら使えないか……。)
しかも床を歪ませて脚や梯子がカタカタ鳴ったり、煎餅布団で食い込むからその対処も必要だったり、通気性の良さそうな金網式であっても網の骨組の隙間に埃が蓄積されたうえ湿気で固められて不衛生だったりと、本当に良いことがない。

ロフトベッドだけはやめておけ。

ロフトベッドは駄目というのを私の代からの家訓にしようと思います (末代 (誤用))

セントラル・毒饅頭

TIP: 部屋のレイアウトを悩むよりもさっさと引っ越した方が QOL が上がる

リビングの半分が “廊下” になることを受け入れれば保守性と可用性を確保しながら19インチラックをもう1つ置けることがわかった

あーあ

あとは ToR スイッチをもうひとつ用意できれば完璧で、つまり SFP+ で 24ポートくらいあるスイッチがほしいなぁ (ﾁﾗｯ) という感じ。

さてここで思い出す必要があるのは、今の Amazon の高額マイナー電子機器は「海外の倉庫から発送しています (←無在庫転売していますの意)」というカス出品者の巣窟で、数週間かけてからの注文キャンセルによって個人情報だけ回収される事案の多発地帯であるということ

そんなものがあったら最初から買っとるわ！

そもそも公式通販もやってないっぽくてｱﾏﾝｿﾞｿﾞくらいしかクレカ情報を渡して良いと思える出品サイトがないわけです

ヨドバ氏たのむ〜 (???)

eBay を使う手も……いやしかし……うーん……

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

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

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

やっぱEコアしか勝たん (?)

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

今のところのクラスタが

* nagisa: Ryzen 7 3800X
* sakuno: Ryzen 9 7900X
* millicent: Ryzen 9 7950X

なのだが、ここから nagisa を追い出して新しく調達した (してしまった) 7950X で入れ替えるつもりなので、そうするとクラスタ全体 Ryzen の 7000番台ということになり、 VM で拡張命令を有効化するのに大変都合が良い

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

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

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

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

チューリップの球根と違って中に入っているものが明確で機能もするのだから (←何でもチューリップの球根と比較する人)

個人的にはヘッドホン (オーバーイヤー) をして飯を食うと咀嚼音がうるさいのと顎に力がかかって気になるので外で食べるときは外すのだが、それはあくまで私個人の事情であって、他人がそれを不快に思わなかろうがそりゃ本人の問題でしかないよなと思う

昔からアレルギー性鼻炎で鼻がつまりがちで、「鼻を塞いで物を食べると味がしない」とかの言説に対して「んなわけねえだろ人間エアプか！？」と思ったりなどしていたので、「そんな食べ方したらおいしくないだろ」みたいな言説はシンプルに傲慢だし余計なお世話だとしか思わない

誇張だろうが本当にそう思っていようがどうでもいいよ、飯とどう向き合うかは (他人の邪魔にならない限りは) 本人の勝手であるべきだ

不快感云々とか以外で他人の邪魔になるのなら普通にそこは考えて行動しろよという感想で、料理がどうとか食事がどうとかは一切無関係な一般論で済む話でしかない

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

映画館でポップコーンに集中するなど活動は多岐にわたる (?)

映画館でポップコーン (の音がしないような繊細な動作) に集中せざるを得ないので映画館ポップコーンは駄目 (???)

なんなら炭酸飲料とかだとゲップの音をさせないことに集中させられるのでもっと駄目 (?????)

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

「回転率が下がって迷惑だからやめろ」←わかる
「ちゃんと味わって堪能しろ」←わからない

人間は全ての行動に喜びを感じていて自分から望んでやっているとでも思ってるのか？

そういう人は排泄するのもさぞ楽しくて小便や💩が体から出ていく感覚を十全に堪能しないと気が済まないのでしょうねえ。人生楽しそうで大変結構です。

「この行為は誰にとっても楽しいに決まっている」みたいな “適合者の感性” の押し付けには (自分がその感性を持っているかに全く関係なく) 常に強く反発したいところです

おもらしのプロだからといってアピールしてこなくても大丈夫です、否定するつもりはないので✋

肛門や排泄の快感についてはフロイトおじさんが何か言ってたわね

ｺﾛ試合するか……

最初の試合でちゃんぽんしたのでﾝｷﾞﾓﾁﾞになってる

ゲームの開発規模なんて分散がデカすぎて何とでも言えそう

インディーズも市場に出る時代だし尚更。

ﾋﾟｯﾎﾟﾊﾟﾎﾟで出したﾌﾟﾙﾘｺが merge されるのを待っている

いいかげん惰性で使ってきたエセ git-flow を見直す時期が来たかなという気分になっている (なおｳｪﾋﾞマンではないので GitHub Flow を採用するつもりはない)

いやまあ言うてそれなりに合理的にしようと思ったらｳｪﾋﾞでなくとも GitHub Flow の派生型みたいになりそうな気はしているが

点数ってやつ、ちゃんと考えて勾配を作らないと普通に役に立たなくなる

冷静に考えてほしいのだが、評価を見て我々が第一に知りたいのは「面白いものがどのくらい面白かったか」であって、「つまらないものがどのくらいつまらなかったか」ではない。
ということは、「つまらない」の分解能は低くてよく、「おもしろい」の分解能を高くしないといけない。
そして目盛の幅を変えられないのであれば、「つまらない」に割り当てる範囲を狭くして「おもしろい」に割り当てる範囲を広くとるしかない。

たとえば1〜5の評価であれば「つまらない」を1〜2にして「おもしろい」を3〜5にするとか、1〜10であれば「つまらない」を1〜3にして「おもしろい」を4〜10にするとかである。

論理的に考えて、あなたがクソゲーソムリエやB級映画マニアでもない限り、「おもしろい」の評価は数字の低い範囲にまで届くべきである。中央の数字は「十分に満足できるレベルで面白い」とかで良いくらいだ。

「このアニメどんなんだったっけな〜」と思ったとき「あのクソアニメよりはつまらなかったが、あのクソアニメよりはマシだった」みたいな精度を必要としていないのなら、評価値の範囲の中央は面白さの中央であってはいけないのだ。

機能 #50: BookWyrm での★評価の基準策定 - 鯖缶 - Nopmine
https://redmine.potato.immo/issues/50#note-2

……ということを以前から考えているのだが、具体的にどう数字を割り当てるかというのを決める時間と心の余裕がなくてなぁ。

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

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

まあそういうことやね。精度が高くなるべきところを広く取る

これはある

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

🦀🦆🌾のコンボを考えると🦀の方が (?)

「面白かったら満点をつけろ、原点方式にする方が作者のモチベになる」みたいなのには (評価システムの存在意義にもよるが) 基本的に強く反対する立場です

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

そもそも1次元で評価するのが無理があるからなぁ。
とはいえ基準を提示するだけでもある程度は揃えられると思うし、多くのユーザの評価値を一律にまとめて要約してしまうサービスであるならそこにある程度の基準を設けるのはサービスとしての義務でさえあると思うのだが

最低でも「普通の作品は★3、最高に面白い作品は★5」とか「普通に面白ければ★5」くらいの雑なガイドでも十分に有益でしょ

それをサボって著者に「★5評価してください」と言わせるのは卑怯とさえいえる