23:18:49
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
23:18:32
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
2024-12-09 23:17:25 Giraffe Beerの投稿
giraffe_beer@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
22:56:34
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
22:56:15
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
2024-12-09 22:56:04 KOBA789の投稿
koba789@misskey.io
このアカウントは、notestockで公開設定になっていません。
22:55:28
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
同じ感じで四点ベルトも人のお下がりあるけどまだアイボルトが……
22:55:02
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
そういえばステアをモモかなんかにしようかと思ってたの思い出した。ボスとかだけあるんだよな
22:54:39
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
ZN6、シフトノブもステアも革巻きだからそこまで冷たくならない
22:49:30
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
22:49:23
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
2024-12-09 22:48:29 Giraffe Beerの投稿
giraffe_beer@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
22:47:04
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
22:46:53
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
2024-12-09 22:46:41 '; DELETE FROM users; --の投稿
boronology@social.penguinability.net
このアカウントは、notestockで公開設定になっていません。
22:46:52
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
2024-12-09 22:46:36 黒居シミの投稿
k8i_chan@misskey.io
このアカウントは、notestockで公開設定になっていません。
22:46:26
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
22:46:14
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
2024-12-09 22:45:33 '; DELETE FROM users; --の投稿
boronology@social.penguinability.net
このアカウントは、notestockで公開設定になっていません。
22:44:06
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
22:43:49
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
22:43:42
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
22:42:34
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
22:41:04
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
22:39:41
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
ホイールの前にブレーキパッドとフルードを交換したい気はするが
22:39:24
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
そもそも世の中のホイールとタイヤなにがあるかあんまり知らないけどそろそろ調べておくか
22:38:24
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
トレッドパターン的に微妙な判定繰り出すところもあるっぽいけど基本的に車検が通らないってわけではない、ないがコンパウンドだしなんだしで街乗りですぐ削れてなくなるのもったいなしとかでなんかみんなサーキットで付け替える印象ある
22:37:26
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
22:37:26
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
22:33:31
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
22:33:19
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
ヨーロッパ、2019 年までなら沿ドニエストルとか行く価値ぜんぜんあったでしょ!
22:32:44
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
はい、いいえ。おるみんさんの住まいが神社だったことはありません。
22:32:03
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
22:31:49
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
22:31:37
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
22:30:29
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
南米一度は行ってみたいが、ヴェネズエラなど行きたくなさすぎる
22:29:12
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
臓器カードみたいなかんじで三味線カードとかあったりする?
22:28:38
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
22:27:49
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
22:27:25
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
22:26:53
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
22:25:45
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
ジムカーナとかしてるひとみんなシバタイヤを持ってくるイメージある(偏見)
22:25:17
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
22:25:14
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
2024-12-09 22:24:44 ぽんこつ 27Lの投稿
ponkotuy@social.mikutter.hachune.net
このアカウントは、notestockで公開設定になっていません。
22:25:03
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
真面目な話、自分の車を持って行くかはさておき富士とか鈴鹿とかの有名なサーキットの練習コースとか広場とかそんなに高くなくて使えるし、富士とかだとサーキットとはべつに講習施設とかあるので、一度はキチンとフルブレーキングとかの練習してちゃんと車と運転の限界を知っておくことはかなり普段のためになる
22:22:58
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
空気抵抗を極限まで減らして軽量化するためにねこを剃ろう
22:22:38
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
ホイールからタイヤ外したり手組みしたりはあんまりしたくないはずなので、サーキット用と公道用ぐらいでセットがあるのは普通に実用そう。それ以上は見た目変えて楽しむやつだねぇ。
22:19:08
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
22:18:46
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
22:17:22
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
さいきん社内外で「このレイヤーの構造興味あるけど、大昔に授業で聞いた話からぜんぜん実装が浮かばないし実用されているコードは規模がデカいし、何から学べばいいかわからん……」って人に xv6 なり『ハイパーバイザのつくり方』なりおすすめする人になってる
22:15:07
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
22:14:45
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
@osa_k しゅううって人が Software Design で連載してた『ハイパーバイザのつくり方』ってやつ読むといいらしいですよ(今は GitHub Pages で無料公開中)
22:14:03
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
Ring 1/2 とか 2005 年ぐらいまでの Xen しか使ってないし……(正確には、現代になってあえて Ring 1/2 を再活用する検討をした仮想化の論文とかは出てた)
22:13:15
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
Ring -1 はかなり俗で x86 的には root/non-root のはずだし、Aarch64 とかだと EL2 (例外レベル2、x86 とは逆に数字が大きいほうが権限が強く、ユーザーランドは EL0、OS kernel は EL1)とかで、Ring というより階層で把える人のほうが多いと思うので、x86 の Ring protection モデルは有名無実化してると思う
22:11:32
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
22:10:03
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
22:05:43
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
21:59:09
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
Amazon EC2 の Xen は絶対そうしてないし Nitro とか ASIC などでハードウェアの部分を専用部品にして色々バイパスしてるはずだけど、一般のご家庭で素で Xen を使う場合は準仮想化ドライバ使うにしても、QEMU + Xen で一部 virtio や xen bus をかしこく使って多少速くするとかそういうのになると思う
21:57:28
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
21:51:57
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
Xen も結局ハードウェアをエミュレーションする機構とか持ってるわけではないので、準仮想化しない場合は普通 QEMU でそこを補って使うので、こういう手順で QEMU から domU を起動したりする
21:49:45
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
Dom0 (Hyper-V の root partition) はあくまで VMM から特別扱いされている VM のひとつだけど、QEMU/kvm の場合 QEMU を操作するコマンドを打つ場所とかは VM の外にある
21:47:55
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
Linux kvm はあくまで QEMU のアクセラレーターモジュールとしての出自があるので、QEMU が動いているユーザーランドの場所も含めてぜんぶ root mode (Ring -1) で動いちゃってる。
21:47:07
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
Xen は Xen kernel しか root mode に居ないし、プロダクトとして出てきた Xen は Linux kernel や FreeBSD kernel に組付けるモジュールだったけど、本来の Xen は Nemesis microkernel をベースとするマイクロカーネルベースの、コードベースの小さい OS のようなものだった(というか VMM がやるべき仕事と OS がやるべき仕事は、VM をハイパーバイズするかプロセスをスーパーバイズするかというところだけで本質的に構造は似ている)
21:45:35
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
さっき言ってた Ring -1 ってのが root mode です。
21:45:09
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
Xen や Hyper-V はこんなかんじ(Hyper-V はもともと Xen と祖先が同じと言われている
21:44:37
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
21:40:05
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
@moguno もっというと libvirt は Xen でも QEMU/kvm でも VirtualBox でも TCP/IP の先にいるべつの libvirt のサーバーでもバックエンドを選ばずに操作できる汎用のフロントエンド
21:38:36
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
21:37:24
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
ずいぶんまえから Hyper-V は nested VMM に対応し始めてるし VirtualBox を中で動かすなんてワケないとおもう。
21:36:45
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
2024-12-09 21:29:18 もぐのの投稿
moguno@social.mikutter.hachune.net
このアカウントは、notestockで公開設定になっていません。
21:35:42
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
この背景で、結局だれが Ring -1 の支配者になるか、というお話なので、Ring -1 で複数の VMM は建てらんないのだが、10 年前からは nested VMM の研究開発が進んで原理的には VirtualBox だろうと Hyper-V だろうと kvm だろうと入れ子で動かせます
21:33:46
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
ところでこれは測点に載るかもしれないし載らないかもしれない文章の一部
21:33:39
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
Core i7 の最初のが出るちょっと前から Intel VT や AMD V のようなハードウェア仮想化が CPU に追加されて、これはなんてことはなくて Ring 0 の下に Ring -1 を作ってむりやり仮想化要件に合致する命令体系として扱えるようにしたようなモードで(実際は他にもいろいろ仮想化特有の計算のためのハードウェアが追加)、Xen もこれを使うようになって OS の準仮想化のための改造不要になったし、Avi Kivity は 2007 年ぐらいに QEMU のアクセラレーション・ソフトウェア・モジュールとして kvm を作った
21:30:19
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
x86 はそんな綺麗な作り方になってないので Xen の初期は OS の Ring-0 モードとユーザーランドの Ring-3 モードの間にある Ring-1/2 をつかって、Xen を Ring-0、改造した準仮想化 OS を Ring-2 に、みたいなことをして性能は出るけど改変が必要、QEMU や VMware (not ESXi) は無改変で OS 動かせるけど単に CPU エミュレーションなのでバイナリトランスレートとかやってても遅い、というトレードオフが 2005 年ぐらいはあった
21:27:36
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
1975 年の Popek & Goldberg の論文にある仮想化要件が大事で、OS が複数動かされる時に OS が操作したら他の VM の OS の挙動が壊れる命令をセンシティヴ命令と呼んで、いわゆる CPU の特権モード(スーパーバイザーモード)の命令の集合とセンシティヴ命令の集合が完全に包含関係になっていれば、べつに OS が割り込みで命令捕まえるのと同じやり方やればいいので Type-1 で事前に作れる
21:23:43
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
VMM(virtual machine monitor) あるいは hypervisor の分類、ふつうは Type-1 と Type-2 だけど、Xen や Hyper-V, ESXi のような Type-1 と QEMU や VMware のようなバイナリトランスレーションやソフトウェアエミュレーションの Type-2、という分類は 15 年以上前から成り立たなくなってる
21:19:26
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
21:19:15
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
2024-12-09 21:16:52 Ushitora Anqouの投稿
anqou@mstdn.anqou.net
このアカウントは、notestockで公開設定になっていません。
21:09:29
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
戸建て住宅、東京で値下がり基調 実需層買えず - 日本経済新聞
21:08:45
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
21:08:10
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
21:08:06
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
2024-12-09 21:07:55 ろきの投稿
roamer7038@social.mikutter.hachune.net
このアカウントは、notestockで公開設定になっていません。
21:07:24
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
21:05:33
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
21:05:23
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
2024-12-09 21:02:42 unaristの投稿
unarist@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
20:59:33
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
20:43:59
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
三巻でねーなーっておもってたけどあれでないんだ……
20:41:45
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
20:40:10
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
ガンジス、遺体だけでなく何でも流すし洗濯にも使われますよ
20:37:45
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
20:34:37
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
20:34:33
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
20:33:58
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
最初の1枚で傾向かわったりするんじゃないか、そういうオカルトを信じていきている
20:33:34
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
20:33:01
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
20:32:31
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
20:32:22
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
20:28:45
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
そもそも seed を export できる OSS のやつにしとくとかしないのか、そうおもった。
20:28:41
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
Generate Symantec VIP Access Token as TOTP
20:21:17
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
20:19:27
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
20:18:44
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
元野村証券社員を追送検 放火前に800万円窃盗容疑―広島県警:時事ドットコム
20:18:12
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
2024-12-09 20:15:49 azegami🩵C105月曜日東1・E-40bの投稿
azegami392@misskey.io
このアカウントは、notestockで公開設定になっていません。
20:17:43
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
20:17:37
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
2024-12-09 20:16:41 るいーね@末代の投稿
ruine@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
20:15:34
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
そういえば示現流の開祖、東郷重位(ちゅうい)は相模原国渋谷荘を領した渋谷氏の支流、薩摩東郷氏の遠縁という話がある。渋谷氏の氏族としては桓武平氏。
20:10:57
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
20:08:32
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
渋谷は武士の時代以降の地名ではあるんだけど、べつにあそこが谷だからそうなのはやや違っていて、いまの高座渋谷駅(湘南台の北側)あたりの荘園を領した渋谷市が都内の渋谷にも所領があったとかそういう
20:05:13
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
いまの都内の地名は平安時代以降のものばかりだとおもうので縄文時代はあんまり関係ないとは思う
20:03:38
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
拝島、言うたらあんな八王子の山奥の手前で埋め立てするほどの低地にも思えないし、むかし海沿いだったんですには山奥すぎるんだよな
20:03:34
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
縄文海進の時代は秩父山系の麓からこっちは全部東京湾だったりはする
20:00:29
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
データベースシステムのトランザクションのために書き込まれる情報がログとよばれるパターンもあり混乱を招く
19:58:30
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
2024-12-09 19:56:46 Masaki Haraの投稿
qnighy@qnmd.info
このアカウントは、notestockで公開設定になっていません。
19:58:18
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
あとから欲しければ追加とかできへんかなおもって ACM と SIGOPS と ACM DL 以外のオプション切った
19:57:12
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
私もACMの会費払うかと思って手続き始めたらSkills Bundleってのを勧められてるんだけどこれどうなんすかね
19:56:43
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
前の車両の最後期は各席に置くのはやめてたけどトイレの所にエチケット袋おいてたはずで、新型ではトイレからも撤去されたんだろうか
19:55:52
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
2024-12-09 19:55:40 コロコロコロ助の投稿
naota344@social.mikutter.hachune.net
このアカウントは、notestockで公開設定になっていません。
19:53:11
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
19:51:39
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
fluentd とかの資料漁ったら何か出てこないのかな
19:51:17
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
2024-12-09 19:46:11 ちゃーしゅーねこの投稿
charsiuCat@social.mikutter.hachune.net
このアカウントは、notestockで公開設定になっていません。
19:50:50
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
うっかり燃えてしまった時の反応の激しさをガソリン程度に抑えられればいいのか……?
19:50:09
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
全固体電池とかの想定と比べてもガソリンのほうがエネルギー密度高かった
19:49:41
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
リチウムのエネルギー密度について誤ったことを書いていた気がするので恥の post 消しをした
19:47:35
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
あ、いまの車載のリチウムイオン電池はガソリンよりはるかにエネルギー密度低いはず
19:45:34
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
ぐだぐだ書いたけど単にエネルギー密度が高ければ何でも危険という話な気はしてくる
19:45:00
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
19:38:38
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
19:38:27
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
19:37:45
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
まだ乗ってないけど今のやくもってそれでも車体新しくした改良型の機械式振り子のはずだから、去年までのやくもよりかなりマシのはずなんだよな
19:35:32
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
ぐったりやくもの乗るコツ、初手酒を煽って意識を断つこと
19:33:06
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
19:32:52
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
2024-12-09 07:49:43 rootYの投稿
rooty2@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
19:32:26
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
19:32:18
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
2024-12-09 19:28:35 rootYの投稿
rooty2@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
19:32:04
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
でもこれで会費は払ってるはずなんだけど、今月は背景が緑から赤になって更に語気の強い感じで「お前に送る CACM はこれで最後だ!はよ更新せい!」みたいなの書いてあるビラが会誌の表紙にくっつけてあって首を傾げている
19:30:19
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
私 GSoC の無料会員特典で ACM 会員になったので6末ぐらいに会費払うべきなんだけどいつも催促の封筒みてから renewal してるんですが(カス)、今年は支払い忘れかけてて APSys の参加直前に慌てて renewal したら入れ違いで学会誌の表紙に韻を踏んだビラが貼り付けてあってウケてた
19:28:32
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
Don't Delay! Renew Today! がやや韻踏んでてよかった(renewal 済みです)
19:28:26
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
19:28:26
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
19:25:33
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
ACM、名前の上ではAssociation for Computing Machinery(計算機協会)でSocietyとは名乗ってないんだよな
19:25:30
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
私が日本物理学会に入っている意味は本当にあるのか問題と、私が情報系の学会に一切入ってないのはどうなんだ(入るべきじゃないのか vs. 入っていないことで具体的かつ深刻な不利益を感じるまでは別に入らなくていいんじゃないか)問題がある
19:23:37
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
19:20:40
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
@kb10uy lua_ls (sumneko_lua) はたとえば Neovim から vim.* で export されてる API を vim_meta.lua にアノテーションだけ書いておいたメタファイル用意しておいて、とかやれば普通にできるとおもう。
C コードからその meta file 自動出力できるまでやれるといいけどそれはまだこれからだとはおもう
19:13:31
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
建物がそこに住むことのない人々のマネーゲームに使うトークンになってそこに生きる人々が住む場所に困っているのはどうにかならんかなぁというのはある。
19:10:07
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
19:10:02
まちカドおるみん御嬢様
@orumin@mstdn.maud.io
2024-12-09 19:09:54 負けヒロイン@がんばらないの投稿
kelvin27315@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
19:09:52
まちカドおるみん御嬢様
@orumin@mstdn.maud.io