おうちに HPC cluster を設置するつもりはなかったのにふしぎだなあ

マジ！？

それはなくない？

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

Ubiquiti から EdgeRouter 4 と UniFi nano HD と UniFi Switch を買うとするとそれだけで 6，7 万円は行きそうなのでこれはムリだなになっています

あれわたしいまなにかいいました？

UniFi かいたいなあ

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

『春風のスネグラチカ』もすき

『波よ聞いてくれ』と同じ原作者の『無限の住人』もよろしくね

@omasanori :sokka:

大臣に必要かは怪しいけど OSINT に従事する外交官みたいな人達はあれぐらい出来てそう

ポスト自体も運

業績とかポスト，運

@omasanori おっ何か買うんですか

朝永先生の文読むとノーベル賞学者でもこんな鬱々としてたんだな，それでもいいんだなって元気出る

@ksmakoto Modern Magic'k' にすると近代魔術の本が出てきますよ

SimulaVR，Godot を使ってるっぽいし Godot は Oculus Quest on Linux でも対応してそうなんで実は Simula のほうのビルドで頑張ればいいのか？

@cormojs さっきからそいつの話をしていた

でも Virtual Desktop だとデスクトップ画面を一枚のテクスチャで仮想空間にドーンと置くだけだからもう人ひねりほしい（ので SimulaVR を使いたかったんだけどね

人によるだろうけど

ちょっと Oculus Quest の Virtual Desktop でスライド作ったりしたことあるけどまあまあ使える

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

TYPE-MOON オタクか？

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

ImageMagick の Magick は手品や魔法じゃなくて近代魔術師の言う魔術なんだよな。

そこで近代魔術師たちは自身の業を k を加えて magick と自称するようになったのでは？

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

ALVR が C♯だけかと思ったら server 部分は C++ だ……ひぇ……

なさそう。頑張って driver 書いたら別だけど頑張るのがしんどそう

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

ALVR のコードを眺めてたけど，C♯ と .NET Framework なのはべつにいいんだけどビルドシステムが Visual Studio 依存だしこれを multi platform にするのまあやりたくないな。VR とか CUDA とかのコードあんまり良く知らんし。

そこまでしてもべつに Windows 環境もあるからあんまりどうでもいいっちゃいいんだけど単純に SimulaVR を DE にして仮想空間でコーディングするのがやりたかっただけ……。

ALVR が Linux 対応になるか自分で対応させるかだな

Oculus だけが厳しい（けど Oculus Rift S はまだ OpenHMD で対応するとかの可能性あっても Oculus Quest は Oculus Link がないと PC VRHMD にはならないので，まあむりだろうな

少なくとも HTC VIVE と Valve Index は Linux driver あるっぽいしね。

Oculus Quest みたいなヤツはともかく普通の HMD はただのディスプレイにしか過ぎないんだしセンサー類も普通にデヴァイスの入力として Linux に入るからそんなしんどくないと思う

Oculus Quest なら Oculus Link で Oculus Rift S 要らんじゃんと思ってたけどこういうワナもあるんだなあ。

さっきの SimulaVR，よく考えたら Oculus Quest じゃ Oculus Link 使っても Oculus アプリしか使えないし ALVR は Windows だしで SteamVR on Linux には使えなさそうなので厳しそうな気がしてきた（かなしい）

過学習ですね。

privilege，priviledge と書きたくなる（定期）

Intel VT が出た最初はあくまで計算機の仮想化が目的だったんだろうけど今はどちらかというと privileged process とか strong isolation みたいな目的で，単にプロセスをより強いサンドボックスに投げ込みたいとかマルチテナントされてるユーザーが privilege を持っててハードウェアを直接触って効率良く使える（気持ちになれる）ようになるほうがみたいな。

Intel VT/AMD-V のおかげで本来 Popek & Goldberg virtualization requirements を満たしていなかったハードウェアがなんとか満たせるようになった，というのはまあそうなんですが，それだけじゃなくて最近のクラウドプラットフォームなどの需要で企業がガンガン Linux mainline に準仮想化 driver を投げ込んだり VMM 側も firecracker みたいな Micro なヤツが産業的な要請で登場してきて仮想化の考えかたが変化してきた，というカンジ

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

事ここに至っては QEMU（kvm）は完全仮想化で Xen は準仮想化！とはなんだったのかみたいな話ではある。kvm 使ってる firecracker とかもう準仮想化の塊じゃん，準仮想化はゲストにパッチが要る！って話ももう今は Linux 自体がバリバリ準仮想化前提でミニマルな形にして動かせるじゃん！みたいな。

virtio-9p もある意味そうかも。virtio-fs のほうが軽量と謳われてるけど。

まあ virtio-blk や virtio-net みたいな初期の virtio は実際のデヴァイスがあってそれの代わりに動作するもので，virtio-gpu もそうなんだけど，virtio-fs や virtio-video，virtio-snd は実在のハードウェアとは何ら関係なくただゲストの処理をホストに bypass するためだけの抜け道みたいな作りなんですよ，という話かな。

MMIO，いまなら Linux の uio 使えば誰でもサクっと[要出典]ユーザーランドで PCIe のなんらかの driver が書けちゃうしまあまあ理解しやすそう

virtio-video もまだ Linux の mainline に merge されてるかどうかってところだ >> VirtIO Video Driver Coming Together For The Mainline Linux Kernel - Phoronix https://www.phoronix.com/scan.php?page=news_item&px=VirtIO-Video-2020

inb 命令と outb 命令は x86 で OS 作るときに PCIe device driver 実装前の early print で役立つから……。

それはそもそも PCIe device の操作な基本的に MMIO だが……。

これは MMIO がわからないという話なのか MMIO なの？という疑問文なのか

QEMU 側の virtio の実装はしたことないけど virtio のゲスト側の実装は最近してた

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

Windows はヤだ。わからんし

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

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

X server と X client みたいな。

アクセラレーション，まあそうと言えばそうなんだけど，今までの PCIe のデヴァイスをまあまあ模倣してた virtio と違って最近出てるやつ（virtio-fs なんかもそう）はもうホストとゲストでメモリ空間を共有します，その上でフロントエンド・バックエンドの間のプロトコルを決めます，みたいになってて普通のアプリ同士の通信を分割してるだけっぽくなってる

ちくしょう，これで私参加して実装するべきだったな（QEMU と virtio はちょっと経験値がある

QEMU の今年の Google Summer of Code，virtio-snd の実装がアイディアに出てた >> https://wiki.qemu.org/Google_Summer_of_Code_2020#VirtioSound

virtio-gpu と違ってゲームはむつかしそうだけど。

https://events19.linuxfoundation.org/wp-content/uploads/2018/07/Automotive-Virtual-Platform-Using-VIRTIO-ALS-2019-1.pdf

virtio-snd はそのサウンド版

virtio-video は VA-API とかでデコードしたいデータをメモリバッファに置いて，このメモリバッファを ivshmem かなんかでホスト／ゲストで共有する shared memory にしてしまえばあとは backend が普通のアプリから貰ったデータみたいに処理するみたいなかなりハイレイヤーな driver です

kvm，いまなら QEMU を microVM で動かすか Firecracker を手元でビルドして動かして，virtio-gpu じゃなくて virtio-video とか virtio-snd を使う，とか結構アツいと思う

Xen で driver domain 建てたほうがまだしも backend driver をホスト環境から分離できて安全でしょ

完全仮想化ならともかく準仮想化，それも Linux/kvm ならそりゃホスト環境巻き込んでも仕方ないところある（それも virtio-gpu にしろ Ubuntu 20.04 にしろこなれてないし

Simula: A VR window manager for Linux | Hacker News https://news.ycombinator.com/item?id=22823891&ref=hvper.com&utm_source=hvper.com&utm_medium=website

何をやったの。というかエラーログは

ところでこれ Oculus Quest でも使えるのかな。 >> SimulaVR/Simula: Linux VR Desktop https://github.com/SimulaVR/Simula

いいじゃんかちょっと使ってみようかな >> VR空間にLinuxのデスクトップを表示して作業可能なオープンソースソフトウェア「Simula」 - GIGAZINE https://gigazine.net/news/20200413-simula/

不死ではないからね。

えーやだ

ライゼルグ県どこ……

その奇態な favicon みたいな生命体なに

どうかお平に

どうして……

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

おるみんさんは人間だし三段論法の例にも微妙な顔をしないよ。（私も死すべき運命にある命なので）

ゲルググじゃないジオングです

ゲルググ倒したらライフめっちゃギリギリになってそのあと基地内で死んで爆散しまくった覚えがある

なんかでもあのゲームは HARD でアー・バオア・クーを何回もやりなおしてようやくクリアしたことぐらいしかほとんど覚えてないな

ソロモンも悪くなった気がする。ララァ。

あのゲーム，クソゲーオブザイヤーでいいとこまでいった押しも押されぬクソゲーとして知られてるらしい

ν ガンダムじゃなくてガンダム NT-1（アレックス）だったわ

νガンダム使えるようになるところまでやった

いやそんなことしてる場合ではなくてだな私

仮に起動しても音声出力やコントローラ入力のコールバックが実装されてないんだけど。

このまえ出てた Play! っていう PS2 エミュレータの PSVita 移植，あれで手持ちの『PERSONA 3 FES』のデータを起動できないかコードを改造してみたんだけど ELF 単体の Homebrew は起動できてもディスクイメージファイルからの読み込みは微妙に失敗するので起動にすら辿りついてない

@S_H_
1/2 → PS，移植が PSP
3/4 → PS2，3 の後日談＋完全版（FES）は PS2 だけど移植版が PSP，4 は完全版が PSVita
5 → PS4
という感じですね。PS3 ではとくに出てませんが 4 の外伝的格闘ゲームが PS3 で出てる，そんな感じです。

『PERSONA 3 Portable』はハム子が使えてコミュもそれに応じて色々違うのがかなりプラスなんだけどタルタロスなど以外が 3D から 2D になった上にアニメーションのカットシーンが全部消えたマイナスポイント（それと PSP が PS2 に比べて操作性がちょっと劣ること，これは仕方ないが）

@S_H_ 『ペルソナ』シリーズは移植や完全版以外は基本的にまず据え置きで出てますね

@S_H_ PS2 が原作です……。

『女神異聞録ペルソナ』と『PERSONA 2』も PSP 移植版出たけど。

ライドウやってたなら PS2 はあるはずなので『ペルソナ 3』と『～4』はプレイできたのでは……？という疑問が生まれた（PSP で出たのは『ペルソナ 3』の移植版）

『真・女神転生 STRANGE JOURNEY』と『女神異聞録デビルサバイバー』シリーズの世界の位置付けはちょっとわからんけど（後者はあきらかに別世界な気がするんだけど前者はどうなんだろ）

『デビルサマナー』の中でも「葛葉ライドウ」2 作品は大正時代なので『真・女神転生』でも『ペルソナ』『デビルサマナー』でもどっちでも起きた事件なのかも。

『ペルソナ』シリーズと『デビルサマナー』シリーズの両者もたしか同じ世界

『女神転生』シリーズって『真・女神転生』でトルーマンが ICBM を落とすかどうかでルート分岐があって，落とさなかったほうでは『真・女神転生 if...』ルートに入ってたまきちゃんが学校で頑張るハメになって，そのあと『ペルソナ』シリーズ世界（1～5 ...）に一本続いてるはず

『PERSONA 2』で既に『女神異聞録ペルソナ』のキャラクターが大人になってたので『PERSONA 3』だと流石に三十路入ってそうだしやんちゃもナリを潜めて……いやどうだろうな

まあそれに『ペルソナ』シリーズは基本的に学園を舞台にした作品なので，1 や 2 のキャラクターがもういい大人すぎるんだよね

『ペルソナ』シリーズは 1/2 と 3 以降でちょっと断絶してるし 1 のキャラクターが 2 でも出てくるのと違ってて 1/2 のキャラクターが 3 以降に絡んだりはしないけど，カメオ出演っぽいことはしていて同じ世界ではあるという匂わせがある

桐条家の家訓は「調和する2つは、完全なる1つに優る」で，実は南条家の家訓もそうらしい，という設定がある（この家訓はゲーム中に桐条家が経営する学校のエントランスのモニュメントかなにか調べれば出てくるはず）

生徒会長の桐条美鶴が，なんじょうくんのおうちの分家。

まあでも世界は単純じゃないから驚きと変化に満ちていてたのしいんだよなーそれはそうなんだよなー

『FINAL FANTASY VII Remake』は全作品出揃ってから買おうとする決意が折れつつあるけど買うなら物理でという誓いが私を引き留めている。まあ通販でポチれば誓い守れちゃうんだけど……。

ああいうのを無邪気に信じられる人にとっての世界はどれほど単純で美しいんだろうか

各国政府はイルミナリティや百人委員会といった裏の組織によってひとつの意思の元統治されているし悪いことはだいたいアベのせいだし世界の庶民はみんな善なる幸福を求めて規範良くきゃっきゃうふふと暮らしているんだ……。

マルチプロセスとマルチスレッドどっちも登場する世界本当に混乱する。世界はもっと単純でいてほしい

はーわからん

いやね，私は人類や社会の総体の幸福みたいな政治家が考えるべき話じゃなくてこのマルチスレッドなコードをどう別のパラダイムと擦り合せるべきかを考えるべきなの

いや私は火の鳥でもないが

『PERSONA 3』の劇場版はみんなみて

なんで仏陀の説話みたいなセリフを私に言わせようとしているの？

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

アイギスだいすき

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

たとえば人類が労働から解放されて，かつ一部の「労働」を好んでやる（ある種では異常な）人間が残って人類の発展を牽引していくような状況を考えるとして，発展のあゆみが遅滞していく中でそのような一部の人間が特権階級化して，さらにその血筋を有り難がって新しい階級社会が出現する，みたいな SF は十分に考えられる

悠久の時を生きてはいません

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

そういう人間にとってネガティヴな状況のことを指して先ほどの toot ではストレスと表現したのだけれども。

そういう話なんだけどその戦争の必要性みたいなのをミニマルにしていくと労働の必要性も肯首しなければならなくなる，そいういうこともあるのかなーという話でしたとさ。

不死の人にもたぶん何らかの締切はあったりするんじゃないかな？私は不死じゃないケド。

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

でもまあ人類は 1000 年後の結果を起点に逆算して人類総体の幸福にとっての最善手をとる，みたいなことは出来ないのですが

個人の希望としてはそりゃ労働義務とか無くなればいいですけどね

人類全体の幸福を望むためにはある程度人間の幸福を潰さないといけないという話を考えている

さっきの toot https://mstdn.maud.io/@orumin/103986428949604950 もそうだけど人類の幸福と人間の幸福は別物だと思ってて，人類の幸福の話をしている

必要性があったからこそ嫌々ながらもコトを成してそれが人類総体への偉大な貢献になった才能もなかなかどうしてたくさん居るので，むずかしいと思う

べつに管理はしなくてもいいんじゃ？

人類をあまり過大評価しすぎているのではないかと思うため……。

まったくの自己責任に帰結するリバタリズムにはあんまり同意できない

必要性が無くてもコトが出来るのはごく一部の人間だけですよ

狩猟でも農耕でも労働でもなんでもいいけど一切ストレスから解放される生活というのは人間の思考力が衰退しそうな気がしなくもない

労働を放棄することが本当に人類の幸福になるのか，これもわからない。実はそうではないのではないかとさえ思っているけれども。

いまなんか休業や解雇が増えてるからこそそういう構造の変革をネジ込みやすそうではある，でもそれをネジ込めるほど人類の労働の自動化は進んでいるのか？（そうではない，と思う）

でもどっかで産業の構造が大幅に変わらないといつまでたっても誰も労働を放棄できない

食い繋ぐためになんとか労働をしなくてはならない人間を，実は自動化や効率化でやらなくてもいい仕事でも雇い口として用意してそういう人間を雇う，みたいなの，どっかのタイミングでベーシックインカムみたいなの実現すれば不要になって，社会の効率化が進めやすくなったりしたり……そう簡単には行かんだろうな

ある部分ではやりやすいだろうけどある部分（文芸的な実験とか）はやりづらいだろうから，フットワークの軽さってのも分野によるんだろうなという気がする。デモンストレーションがしやすい分野かどうかでしかなさそう（もっと言うとそのデモンストレーションを使ったプロパガンダが上手いかどうかかもしれない）

それでも「どうせ失敗するでしょ」で誰もなにもやらない社会よりはみんながトライして失敗経験が蓄積できる社会のほうが健全なのだけど（中国はそれ以外の部分が不健全な部分多いけどね

シェアサイクルでもなんでもそうだけど中国スゴイ！で広く知られた事項でも後を追うと結局豫想された諸問題が出てきて「あーあやっぱりね」ってなるのでまあなかなか

SF 小説みたいに自己修復・自己生産機能のあるロボットが半永久的にやってくれるなら別だがね（いっそそうなって人類が労働から解放されるべきだよな

アメリカの野菜が安いのは結局マスの原理が働くからとしか言い様がなくて，じゃあ日本は付加価値で勝負するしかないんだけど付加価値で「有機野菜」「無農薬」とか言ってもこう，なんというか

それをくつがえすためには労働者団結せよ闘争せよ，デモだストライキだ，みたいな話になるのかもしれんけど

実際ワープアにしろ学生にしろ今だって使い「潰し」ていいわけないし安く買い叩いていいわけでもないんだけど現実問題そうなっちゃってるんだよな

人口がヤバい中国と違って日本は超高齢化社会なんでそのうち人口減るしそうすると使い潰せる安い労働力（学生とか，職歴がないワープアとか）が居なくなるのでその問題は真面目に考えるべきなんだけどあんまりそこまで考えてやってる経営者はそういう人間を雇う事業やってなさそう

正直な話，シンギュラリティを期待して超高度な機械学習結果を載せたなんらかの装置を設置したり無人化に伴う色々な tracker を設置するより人間を置いたほうが安い

“また、無人運営に必要なRFIDタグのコストが、商品価格へ跳ね返っている点も見逃せない。同タグの価格は1つあたり0.3元（約5円）。これを全商品へと設置する必要があるため、商品の数だけコストがかかる。全額を売上からまかなうかは運営側次第だが、商品価格への影響は免れないだろう。”

「あの無人コンビニはいま」中国のコンビニ事情から学ぶ、小売店舗が大切にすべきもの | 株式会社Showcase Gig https://www.showcase-gig.com/dig-in/convini/

“いったいなぜ中国の無人コンビニは減少したのだろうか。本来、同モデルは利益の出やすいビジネスモデルだったはずだ。その理由には顧客体験上の問題点があった。”
「あの無人コンビニはいま」中国のコンビニ事情から学ぶ、小売店舗が大切にすべきもの | 株式会社Showcase Gig https://www.showcase-gig.com/dig-in/convini/

最初に資金調達してガッと 500 店舗も出店したのはまあバブルだったんだろうけどそれでもすごいっちゃすごい

Bingo Box（Amazon Go よりも先駆者だよ）で検索すると色々情報は出てくる

たとえば中国で実際に設置された無人コンビニは大爆死しました

そういうの，可能かどうかと儲けられるかどうかはまた別だしいまの時世だとむしろ無人化されると困る労働者とかたくさん居たりして，諸問題がとても絡まり合ってててちょっとやそっとじゃ解けない

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

タレを入れるに投票したけどよく考えたらさっき食べた納豆はまず別の器に移してた

卵を割り入れるとか別の器に移すとか他の行動は色々想像は付く

subscriber になると読める weekly edition とかすごい便利だけどね

LWN.net

ので若干鮮度落ちていいならべつに購読しなくてもいい

LWN はべつに購読しなくても読める記事がたくさんあるのと subscriber-only の記事（$ マークがついている）もそのうち無料公開になる

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

どうせ読み逃すからメールで購読してる

私は基本的に LWN\.net はカーネルまわりの最新情報を追うために購読してるがこういう私自身の興味分野の外の話もいろいろ入ってきてとってもべんりなんだよな

LWN\.net は $3.5/month だし購読するのめっちゃいい

よく使うライブラリしか覚えてない（そしてそれがひどく狭い

C++ にしろ Python にしろだいたいライブラリの細かい使いかたを覚えてないのでググってよいのはうれしい

パーサー新しくなるハナシ >> https://mstdn.maud.io/@orumin/103984500328755630

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

パーサー新しくなるってよ

@tacumi なるほどー。いいのか。

そういえば競技プログラミング中にググるのってアリなんですか

はー実装もアルゴリズムもなんもわからん

ヒューマノイドおばけ