Notices by らりお・ザ・何らかの🈗然㊌ソムリエ (lo48576@mastodon.cardina1.red), page 8

翻訳:プログラミング言語Lazy_Khttp://legacy.e.tir.jp/wiliki?%CB%DD%CC%F5%3A%A5%D7%A5%ED%A5%B0%A5%E9%A5%DF%A5%F3%A5%B0%B8%C0%B8%ECLazy_K

たとえば副作用を認めない “純粋関数型言語” である Lazy K のドキュメントでは「インタラクティブなプログラムには気をつけてね」という例があって、結局これは「オメーの脳内状態(認識)がプログラムにとって暗黙である」という話

あれ、でも OpenXanadu はリリースされたんだよね？

@orumin compose でなく、 podman 単体でコンテナが起動できたりできなかったりするんですよね (sudo の有無でも変わってきたりして、原因がどのレイヤーにあるか探るだけでも一苦労)

@orumin わかる (でもアレもたまによくわからないエラーで動かないことがあるので難しい)

docker を使っている人々が nftables を使えない最悪のアレ、さっさとどうにかなってほしいわね……

一応 WHATWG では題名だけにしとけということになっていたはず

jar で動的にモジュールを挿入できるというのは (最大の理由かは知らんが) 大きいと思うXSLT に拡張関数突っ込むにせよ、 DITA でオレオレ要素の処理モジュールを突っ込むにせよ、動的リンクがやりやすいとかなり無茶ができる

XML のエコシステムが基本的に Java なのも険しい……

Spotifyのアカウントデータ流出、同じパスワードは変更を | マイナビニュースttps://news.mynavi.jp/article/20201125-1523755/

> 音楽ストリーミングサービス「Spotify」からアカウントデータが流出したと伝えた。

この「から」は完全に誤りで、「の」が正しい

https://mastodon.cardina1.red/@lo48576/105274742748998599

リンク先記事には

Spotify Users Hit with Rash of Account Takeovers | Threatposthttps://threatpost.com/spotify-account-takeovers/161495/

> Subscribers of Spotify streaming music service may have experienced some disruption, thanks to a likely credential-stuffing operation.

とあり解説まであるので、訳者が悪い

visudo って編集するファイルを指定できたはずなので、 USB boot したうえで visudo で編集するのが一番安全そう

TASUKETE...

usb 1-10.3: reset full-speed USB device number 7 using xhci_hcd

何が原因かわからないんだけど、高速タイピングしてるとこれが大量に出てくるようになっていてつらい感じになってきた

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

usb の reset 連発の続報なんですが、試しに linux 5.9 で起動してみたら問題が発現しなかったので、 5.8 に何か問題があるか、 libvirtd 用に有効化したカーネルモジュールあたりに問題がある可能性が高い (今 make mrproper して 5.8.16 をコンパイルしなおしてる)

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

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

ふーむ……？

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

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