02:12:20 @lo48576@mastodon.cardina1.red
2020-11-01 01:26:45 きゅーけーの投稿 tojoqk@mastodon.tojo.tokyo
icon

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

02:14:04 @lo48576@mastodon.cardina1.red
icon

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

02:19:02 @lo48576@mastodon.cardina1.red
icon

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

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

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

02:19:17 @lo48576@mastodon.cardina1.red
icon

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

02:20:34 @lo48576@mastodon.cardina1.red
2020-11-01 02:19:30 きゅーけーの投稿 tojoqk@mastodon.tojo.tokyo
icon

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

02:24:53 @lo48576@mastodon.cardina1.red
2020-11-01 02:21:21 きゅーけーの投稿 tojoqk@mastodon.tojo.tokyo
icon

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

02:24:59 @lo48576@mastodon.cardina1.red
2020-11-01 02:22:25 きゅーけーの投稿 tojoqk@mastodon.tojo.tokyo
icon

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

02:26:17 @lo48576@mastodon.cardina1.red
icon

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

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

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

02:27:26 @lo48576@mastodon.cardina1.red
icon

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

02:29:09 @lo48576@mastodon.cardina1.red
icon

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

02:31:15 @lo48576@mastodon.cardina1.red
2020-11-01 02:29:11 きゅーけーの投稿 tojoqk@mastodon.tojo.tokyo
icon

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

02:31:16 @lo48576@mastodon.cardina1.red
2020-11-01 02:30:54 きゅーけーの投稿 tojoqk@mastodon.tojo.tokyo
icon

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

03:25:56 @lo48576@mastodon.cardina1.red
icon

あっ
SATA ケーブル

03:27:38 @lo48576@mastodon.cardina1.red
icon

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

04:07:40 @lo48576@mastodon.cardina1.red
icon

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

Attach image
05:33:33 @lo48576@mastodon.cardina1.red
icon

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

05:34:38 @lo48576@mastodon.cardina1.red
icon

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

05:36:02 @lo48576@mastodon.cardina1.red
icon

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

05:37:02 @lo48576@mastodon.cardina1.red
icon

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

05:38:39 @lo48576@mastodon.cardina1.red
2020-11-01 05:37:54 8の投稿 r8_gre@mstdn.maud.io
icon

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

15:47:00 @lo48576@mastodon.cardina1.red
icon

ぽきた

17:30:04 @lo48576@mastodon.cardina1.red
icon

いままでデスクトッポ機に NVMe SSD 500 GB と SATA SSD 1 TB を積んでいて、今回新たに SATA HDD 2 TB ×2 を積んだんだけど、この 2TB×2 をどういう構成にしようかずっと悩んでる

17:32:19 @lo48576@mastodon.cardina1.red
icon

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

18:51:32 @lo48576@mastodon.cardina1.red
icon

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

18:58:04 @lo48576@mastodon.cardina1.red
icon

[SOLVED] Keyboard continually freezing / Kernel & Hardware / Arch Linux Forums
bbs.archlinux.org/viewtopic.ph

ふーむ……?

[SOLVED] Keyboard continually freezing / Kernel & Hardware / Arch Linux Forums
19:01:21 @lo48576@mastodon.cardina1.red
icon

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

Web site image
USB ports reset during sleep/wakeup; USB drives ejected · Issue #8 · osy/HaC-Mini
19:06:37 @lo48576@mastodon.cardina1.red
icon

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

19:24:49 @lo48576@mastodon.cardina1.red
icon

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

19:26:47 @lo48576@mastodon.cardina1.red
icon

Release 8.10.1 · UltimateHackingKeyboard/firmware
github.com/UltimateHackingKeyb

> Release 8.10.1 · UltimateHackingKeyboard/firmware
github.com/UltimateHackingKeyb

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

Web site image
Release 8.10.1 · UltimateHackingKeyboard/firmware
Web site image
Release 8.10.1 · UltimateHackingKeyboard/firmware
19:28:18 @lo48576@mastodon.cardina1.red
icon

USB 3.x compatibility problem · Issue #269 · UltimateHackingKeyboard/firmware
github.com/UltimateHackingKeyb

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

Web site image
USB 3.x compatibility problem · Issue #269 · UltimateHackingKeyboard/firmware
19:38:09 @lo48576@mastodon.cardina1.red
icon

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

19:38:55 @lo48576@mastodon.cardina1.red
icon

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

19:43:22 @lo48576@mastodon.cardina1.red
icon

やっべ

Attach image
19:45:40 @lo48576@mastodon.cardina1.red
icon

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

19:52:34 @lo48576@mastodon.cardina1.red
icon

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

19:53:03 @lo48576@mastodon.cardina1.red
icon

カスタマーサッポトに連絡するしかねえか……

20:16:56 @lo48576@mastodon.cardina1.red
icon

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

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

Web site image
USB resets on Ryzen via USB 2.0 happen frequently on Linux with firmware 8.10.1 · Issue #314 · UltimateHackingKeyboard/firmware
20:27:10 @lo48576@mastodon.cardina1.red
icon

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

20:38:21 @lo48576@mastodon.cardina1.red
icon

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

21:57:49 @lo48576@mastodon.cardina1.red
icon

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

21:58:49 @lo48576@mastodon.cardina1.red
icon

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

22:00:18 @lo48576@mastodon.cardina1.red
2020-11-01 22:00:11 zgock999の投稿 zgock999@mstdn.maud.io
icon

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

22:00:35 @lo48576@mastodon.cardina1.red
icon

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

22:01:05 @lo48576@mastodon.cardina1.red
icon

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

22:15:39 @lo48576@mastodon.cardina1.red
icon

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

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

Web site image
Amazon曰く、Amazon Prime Videoで「購入」したコンテンツは購入者のものではないと規約に書いてある | スラド YRO
23:18:57 @lo48576@mastodon.cardina1.red
2020-11-01 23:05:09 Masataka "CAMELLIA" KONDOの投稿 machey@mstdn.maud.io
icon

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

23:19:19 @lo48576@mastodon.cardina1.red
2020-11-01 22:22:43 すまりん🍰の投稿 smileattribute@best-friends.chat
icon

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

23:20:18 @lo48576@mastodon.cardina1.red
2020-11-01 23:16:52 金木犀 :kusa:の投稿 kinmokusei@mstdn.maud.io
icon

それに、東京都って名前もアレよな
東の京都ですよ。

京都の代わりでしかない地名であることが露骨なわけで、アイデンティティーのかけらもない

そろそろ東京都は自分たちのアイデンティティーたる地名に変えた方がいい。
江戸県?

23:20:19 @lo48576@mastodon.cardina1.red
2020-11-01 23:18:47 Giraffe Beerの投稿 giraffe_beer@mstdn.maud.io
icon

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

23:21:05 @lo48576@mastodon.cardina1.red
icon

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

23:22:58 @lo48576@mastodon.cardina1.red
icon

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

23:27:41 @lo48576@mastodon.cardina1.red
icon

対馬行くかぁ〜