22:49:03
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
22:48:51
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2022-08-09 22:46:27 Giraffe Beerの投稿
giraffe_beer@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
20:18:59
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
20:07:00
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
20:06:49
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
おるみんの歌を奏でると自動運転でおるみんカーがやってくる。
20:00:42
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
おるみんカーではない。仮にそうなら知らんやつにエンジンルームまさぐられとるやんけ!
19:58:19
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
19:55:33
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
19:54:03
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
裏に hypervisor 置いて、syscall の gate に到達したら裏でペシペシページつなぎかえて guest からすれば単に連続したアドレスの命令をシーケンシャルに実行した気持ちにしかならないやつ
19:52:15
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
SkyBridge はかなりテクニカルにおもしろい
19:51:56
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
上海交通大学の「SkyBridge」は seL4 や Fiasco.OC、fuchsia の更に先に行ってて microkernel の server → server の IPC がただの jmp 命令ていどに置き換わるシロモノだったりする
19:51:48
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
マイクロカーネルのIPC fastpathとかいう魔境
19:51:22
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
上海交通大学の「SkyBridge」は seL4 や Fiasco.OC、fuchsia の更に先に行ってて microkernel の server → server の IPC がただの jmp 命令ていどに置き換わるシロモノだったりする
19:49:08
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
ただそもそもとしては Mach は 4.3BSD のスリム化したかっただけだから IPC 性能悪かったし、それで kernel space に引き戻さなきゃいけなかっただけで、フルスクラッチで設計したら実は IPC 性能は問題なんかにならいよ、が第二世代 microkernel の L4 (ほか)なので
19:47:24
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
べつに hybrid なのは悪いわけじゃない(工業製品に必要なのはキレイだけど使えないハリボテなわけではない)し、スパゲッティになってたものを構造化してキレイなアーキテクチャになってるだけでもかなり十分なのでそれがぜんぶ kernel space にいることはべつにあんまし問題ではないとは思いますね。最近ならたとえば Intel の MPK みたいな lightweight な memory protection をその上につければよかったりするわけで
19:44:55
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2022-08-09 19:43:03 藤敷菰八 🏇の投稿
FS5@uma.milkey.homes
このアカウントは、notestockで公開設定になっていません。
19:44:54
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2022-08-09 19:35:43 藤敷菰八 🏇の投稿
FS5@uma.milkey.homes
このアカウントは、notestockで公開設定になっていません。
19:30:38
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
神学論争はまずそのまえに神というものをどういう存在だと了解してるかというところから考えないとアレ
19:29:24
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
昨夜 kernelvm の Slack で雑談してて久々に L4Linux のサイトみにいったらまだ更新されててビビった。Linux 5.17 まで track してるし
19:28:23
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
L4 microkernel ベースで Linux system 組み立てる L4Linux とかもありますぜ(単に microkernel というとこだけ見ると Mach よりは L4 は洗練されている
19:27:29
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
素性は悪くないけど他にくらべてどうというかというとむつかしいところ
19:26:57
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
Darwin って kernel のつくりとしてそんな良いかというと、うーん。
19:26:36
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2022-08-09 19:15:31 藤敷菰八 🏇の投稿
FS5@uma.milkey.homes
このアカウントは、notestockで公開設定になっていません。
19:26:33
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2022-08-09 19:14:23 藤敷菰八 🏇の投稿
FS5@uma.milkey.homes
このアカウントは、notestockで公開設定になっていません。
17:19:04
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
15:27:10
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
まちカドおるみん御嬢様 (@orumin@mstdn.maud.io)
15:10:18
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
14:48:20
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
REHL6 以降の任意の distro で使えるとのことだったけど、これ本当は Go をつかうべきだったっぽさある
14:46:18
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
14:42:01
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
14:41:37
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2022-08-09 14:18:59 コロコロコロ助の投稿
naota344@social.mikutter.hachune.net
このアカウントは、notestockで公開設定になっていません。
14:41:07
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
サイトでは pledge.com を取得したら chmod +x つけて ./pledge.com ... でふつうに shell から実行するように指南されてるんだけど、MZ から始まるバイナリなので binfmt で wine とか設定しちゃってると wine 起動しはじめてしまい、sh -c ./pledge.com ... てやらないと意図通りにならない
14:36:58
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
これ興味深い(non privilege user でもバイナリ実行するとき制限をかけられる)んだけど、配布されてる Linux むけビルド済みバイナリが shell script にバイナリ埋めこんだりバイナヘッダーつけてて file(1) で DOS/MBR boot sector で判別されるのに、shell script として実行できて気持ち悪かった
14:36:44
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
14:20:16
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
core 機能は io_uring() 関係多いなー。
14:17:38
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
14:17:30
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
14:12:08
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
14:11:32
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
何かが常に価値があって、同等であることを定め、交換可能である、という所作が全部幻想という感じはある
14:10:25
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2022-08-09 13:44:27 アカハナの投稿
akahana@fla.red
このアカウントは、notestockで公開設定になっていません。
14:10:20
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2022-08-09 13:43:53 アカハナの投稿
akahana@fla.red
このアカウントは、notestockで公開設定になっていません。
14:10:16
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2022-08-09 13:43:33 コロコロコロ助の投稿
naota344@social.mikutter.hachune.net
このアカウントは、notestockで公開設定になっていません。
14:10:14
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2022-08-09 13:42:40 アカハナの投稿
akahana@fla.red
このアカウントは、notestockで公開設定になっていません。
14:09:59
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
14:09:49
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2022-08-09 13:39:13 酒呑み鬱太郎@がんばらないの投稿
kelvin27315@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
14:06:36
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
トランプ氏、FBI捜査官が「マールアラーゴ」捜索中との声明発表
03:09:20
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
03:08:51
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2022-08-09 03:05:52 K0eの投稿
K0eKaN@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
03:06:21
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
03:06:07
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
タイカンの実車どこかでみてみたいなとおもってタイカンで検索したら、Google 検索のたまに 3D モデル出してくる謎機能のやつにタイカン対応してた
03:03:08
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
馬力を溜めて、ストレッチ第7星雲ストレッチ星へ向けて射出
03:01:48
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
レブリミットがないとどうなる?
知らんのか
馬力が溜まる
03:01:41
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2022-08-09 02:57:52 ほたの投稿
hota@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
03:01:40
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2022-08-09 02:56:35 ほたの投稿
hota@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
02:56:32
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
02:56:28
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2022-08-09 02:55:08 酒呑み鬱太郎@がんばらないの投稿
kelvin27315@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
02:56:25
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
これ本来はアクセル開度から今のギアと回転数で出る馬力が計算されて表示されるだけ、のところ、アクセル踏みっぱなしで延々と回転数が伸びて馬力が比例して上がってるってことなのかな
02:55:00
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
でもたしかに動画みてると 15 万 hp まで溜まってるしそのあと凄い初速で射出されてる
02:54:03
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
「15 万馬力溜まるまで待つ」文章としてトチ狂っててかなり好き
02:53:07
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
馬力を溜めるって概念が初耳すぎてもう字面でわらえちゃうからズルい
02:52:48
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2022-08-09 02:48:58 ほたの投稿
hota@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
02:48:24
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
02:47:30
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2022-08-09 02:44:23 ほたの投稿
hota@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
02:42:55
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
AtCoderの社長のままトヨタ自動車にアルゴリズムグループを作った話
02:42:36
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
まあモーターも CVT も無段階だものね……それはそう……
02:42:00
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
このゲーム色々と電気自動車の扱いがガバガバなのでスピートグリッチとかの温床になりがち
02:41:55
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
02:41:43
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2022-08-09 02:41:29 ほたの投稿
hota@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
02:40:22
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
コンフィグで MT にしてもタイカンだと無視できるのめちゃくちゃおもしろいな
02:39:40
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
02:39:29
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2022-08-09 02:38:11 ほたの投稿
hota@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
02:39:11
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
02:39:02
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2022-08-09 02:38:07 酒呑み鬱太郎@がんばらないの投稿
kelvin27315@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
02:36:24
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
02:36:17
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2022-08-09 02:35:24 アカハナの投稿
akahana@fla.red
このアカウントは、notestockで公開設定になっていません。
02:35:31
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
02:34:29
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
02:33:25
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
02:33:19
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2022-08-09 02:32:49 アカハナの投稿
akahana@fla.red
このアカウントは、notestockで公開設定になっていません。
02:33:14
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
02:30:45
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
02:28:11
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
02:25:55
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
02:25:33
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
まあでもこの tweet の reply 先もまるきりアレでやべぇヤツとやべぇヤツの怪獣大決戦みたいなかんじだ
02:24:43
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
朝鮮民主主義人民共和国は地上の楽園、みたいなプロパガンダ信じる人 1970 年くらいで時間停まってらっしゃる?
02:22:22
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
02:20:24
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
02:20:20
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2022-08-09 02:20:14 酒呑み鬱太郎@がんばらないの投稿
kelvin27315@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
02:19:10
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
非合法任務に従事するエージェントを組織したりしていません
02:18:54
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2022-08-09 02:18:13 酒呑み鬱太郎@がんばらないの投稿
kelvin27315@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
02:18:51
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
02:18:13
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
02:04:05
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
01:53:53
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
01:53:09
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
代議士は国民の一部は代表できるけど立法府やましてや国家の代表ではないから……
01:43:31
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
01:42:48
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
ちなみに暴力装置は言葉の定義上国家によって組織されたもののことなので、特定の人が(公人であれ私人であれ)暴力集団を組織するのはただの反社会的違法組織であって暴力装置ではない。
01:41:44
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2022-08-08 23:56:01 ロージー / ハトの投稿
rosylilly@best-friends.chat
このアカウントは、notestockで公開設定になっていません。
01:39:06
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
01:35:43
まちカドおるみん御嬢様 @orumin@mstdn.maud.io