This account is not set to public on notestock.

鯖はミスったときのリカバリが面倒だったりするので、本質的に同期が重要でないタスクはできるだけ各クライアントの能力でやらせたいみたいな気持ちがある (これは単に鯖管理が雑なだけ)

勝手に訳を用意していいなら

eq? => 同一
eqv? => 等価
equal? => 同値

かなぁ……いや eqv? と equal? は大概微妙なので shallow equal と deep equal とかにした方がいいのではと思うけど

それっぽい名前で区別するにも無理がある気はしなくもない

This account is not set to public on notestock.

This account is not set to public on notestock.

This account is not set to public on notestock.

eqv? がある気持ちは少しわかる気がして、

eq? => 実質的にポインタの比較なので、中身の値を比較していない
eqv? => 値そのものを比較している (ポインタはポインタとして比較する)
equal? => ポインタに対しては再帰的に比較する

という感じで、0と1と*という感じなので。

equal? って eqv? を使って実装できそうじゃないですか。
そういう意味では、 equal? よりも eqv? の方がずっと “存在することが自然” だし、 equal? よりも処理系外からの実装が難しい

eqv? が equal? よりも必要とされる場面はそんなに多くないかもしれないけど、プリミティブとしては eqv? は重要そうだし、逆にないと「なんでないの」とはなりそう

This account is not set to public on notestock.

This account is not set to public on notestock.

あっ
SATA ケーブル

「NAS 用だしいらんやろwww」とか思って HDD しか買わなかったけど、 NAS から2台抜いたやつをデスクトップに持っていくなら結局ケーブル必要やんけ
M/B 付属のやつ余ってたかな……

まって、なんで机の上にネジが残ってるの……

実験の結果、 CONFIG_NO_HZ_IDLE=y するか HIGH_RES_TIMERS=y すると何故か usb reset が頻繁にかかるようになり、両方とも n にすると正常に動作することが判明しました。
linux 5.9.2 で実験したけど、 5.8.16 でも同じトラブルがあったので原因もおそらく同様。

で、悲しいことに KVM のための CONFIG_KVM_AMD=m と CONFIG_KVM=m が HIGH_RES_TIMERS=y を要求しているため、ワイのマシンでは KVM と USB を同時に正常に動かすことはできないことがわかった (マジで何故……)

迷子のネジ、残りのネジを数えて確認したところ、袋から零れて片付け忘れていただけで取り付け忘れではないことを確信した

kernel config で二分探索したところ、 Linux kernel にググっても出てこない感じの不具合が判明したのが11月最初のイベントでした (つらい)

This account is not set to public on notestock.

ぽきた

いままでﾃﾞｽｸﾄｯﾎﾟ機に NVMe SSD 500 GB と SATA SSD 1 TB を積んでいて、今回新たに SATA HDD 2 TB ×2 を積んだんだけど、この 2TB×2 をどういう構成にしようかずっと悩んでる

btrfs on LUKS にするか、{XFS, btrfs} on LVM on LUKS にするか、 XFS on LVM on LUKS + btrfs on LUKS にするか……

やっぱり HIGH_RES_TIMERS=y で USB がﾌﾞﾁﾌﾞﾁ切れるようになるやつ、解消しないといかんな……

[SOLVED] Keyboard continually freezing / Kernel & Hardware / Arch Linux Forums
https://bbs.archlinux.org/viewtopic.php?id=233495

ふーむ……？

USB ports reset during sleep/wakeup; USB drives ejected · Issue #8 · osy86/HaC-Mini · GitHub
https://github.com/osy86/HaC-Mini/issues/8

どうも USB ハブが怪しそうだったので除去してみたところ問題が発生しなくなった、これが当たりか……
なんという罠

違うっぽかった、 UHK 単体で繋いでも問題が発生するし、 UHK を外して HHKB Lite2 を挿したら問題が起きなくなった。
どうやら UHK の問題らしい……なんでだ？
ファームウェアも UHK Agent も最新のはずなんだけど

Release 8.10.1 · UltimateHackingKeyboard/firmware
https://github.com/UltimateHackingKeyboard/firmware/releases/tag/v8.10.1

> Release 8.10.1 · UltimateHackingKeyboard/firmware
https://github.com/UltimateHackingKeyboard/firmware/releases/tag/v8.10.1

どう考えてもこれ怪しいやんけ！！！！！

USB 3.x compatibility problem · Issue #269 · UltimateHackingKeyboard/firmware
https://github.com/UltimateHackingKeyboard/firmware/issues/269

xhci_hcd における full-speed について言及があるのでビンゴっぽいな……

ファームウェアをダウングレードして確認してみようとしたけど、書き込み中に usb reset が発生して左側が死んだ、草

そうですね、カーネル切り替えてからでないと駄目よね……
たぶん UHK agent から修復できるはずなので再起動して修復するわ

やっべ

やべえな、本当に左側が文鎮化したかもしれん

UHK の左半分が死んだ、 Agent から認識されないだけでなく LED 類も一切点灯しない

ｶｽﾀﾏｰｻｯﾎﾟﾄに連絡するしかねえか……

USB reset happens frequently on linux with firmware 8.10.1 · Issue #314 · UltimateHackingKeyboard/firmware
https://github.com/UltimateHackingKeyboard/firmware/issues/314

検証を続行できなくなったので仕方なく現状のままで報告した

[実績解除] キーボードを brick させる

キーボードが2つある一般家庭なので一命をとりとめた (ほんまか)

電気回路なぁ
アナログ回路を中途半端に独学のまま線形回路とかやってて、まあ出来はﾊｲという感じだった

電気回路、たぶん経験積んだりシミュレーションしないと「自分が組もうと思ったこの回路の、この抵抗は何Ωにすべきなのか」みたいな定数が決められないのがかなり険しくてな
(なぜなら田舎の子供は電子部品が簡単に手に入らないため)

This account is not set to public on notestock.

電子ブロックで養えなくてアナログ世界から脱落したマンです

その点論理回路は (よほど高速化とかを考えるでなければ) 定性的に考えて設計ができるので気楽なものよ

Amazon曰く、Amazon Prime Videoで「購入」したコンテンツは購入者のものではないと規約に書いてある | スラド YRO
https://yro.srad.jp/story/20/11/01/0532256/

ザ・アマゾン (ザではない) という感じの、大変典型的な邪悪さの発露だ

This account is not set to public on notestock.

This account is not set to public on notestock.

This account is not set to public on notestock.

東京大学
日本大学
亜細亜大学
国連大学 (?)
地球大学
太陽系大学
銀河大学
宇宙大学

名前のカバーする範囲が広い大学は強いので、「工業大学 (Institute of Technology)」とか「森羅万象大学 (University of Everything)」とか名乗ってほしい。
「時空大学」とか「大学」でもいいと思う

対馬行くかぁ〜