22:49:03 @orumin@mstdn.maud.io
icon

いくらラダーフレームだからってめちゃくちゃすぎる

22:48:51 @orumin@mstdn.maud.io
2022-08-09 22:46:27 Giraffe Beerの投稿 giraffe_beer@mstdn.maud.io
icon

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

20:18:59 @orumin@mstdn.maud.io
2022-08-09 20:07:15 Masanori Ogino 𓀁の投稿 omasanori@mstdn.maud.io
icon

法律の記述に主眼を置いたプログラミング言語Catalaの0.7.0がリリースされた。🎉
現時点で最大のCatalaコードはフランスの住宅手当(housing benefits)制度の例を記述した10,000行規模のもの、らしい。

github.com/CatalaLang/catala/r

Web site image
Release v0.7.0 · CatalaLang/catala
20:07:00 @orumin@mstdn.maud.io
icon

知らない歌がでてきた

20:06:49 @orumin@mstdn.maud.io
2022-08-09 20:02:53 ぴけぴけ@Skeb募集中の投稿 pikepikeid@mstdn.maud.io
icon

おるみんの歌を奏でると自動運転でおるみんカーがやってくる。

20:00:42 @orumin@mstdn.maud.io
icon

おるみんカーではない。仮にそうなら知らんやつにエンジンルームまさぐられとるやんけ!

19:58:19 @orumin@mstdn.maud.io
icon

今宵の東京駅

Attach image
19:54:03 @orumin@mstdn.maud.io
icon

裏に hypervisor 置いて、syscall の gate に到達したら裏でペシペシページつなぎかえて guest からすれば単に連続したアドレスの命令をシーケンシャルに実行した気持ちにしかならないやつ

19:52:15 @orumin@mstdn.maud.io
icon

SkyBridge はかなりテクニカルにおもしろい

19:51:56 @orumin@mstdn.maud.io
2022-08-09 19:51:22 まちカドおるみん御嬢様の投稿 orumin@mstdn.maud.io
icon

上海交通大学の「SkyBridge」は seL4 や Fiasco.OC、fuchsia の更に先に行ってて microkernel の server → server の IPC がただの jmp 命令ていどに置き換わるシロモノだったりする

19:51:48 @orumin@mstdn.maud.io
2022-08-09 19:50:03 Masanori Ogino 𓀁の投稿 omasanori@mstdn.maud.io
icon

マイクロカーネルのIPC fastpathとかいう魔境

19:51:22 @orumin@mstdn.maud.io
icon

上海交通大学の「SkyBridge」は seL4 や Fiasco.OC、fuchsia の更に先に行ってて microkernel の server → server の IPC がただの jmp 命令ていどに置き換わるシロモノだったりする

19:49:08 @orumin@mstdn.maud.io
icon

ただそもそもとしては Mach は 4.3BSD のスリム化したかっただけだから IPC 性能悪かったし、それで kernel space に引き戻さなきゃいけなかっただけで、フルスクラッチで設計したら実は IPC 性能は問題なんかにならいよ、が第二世代 microkernel の L4 (ほか)なので

19:47:24 @orumin@mstdn.maud.io
icon

べつに 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
icon

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

19:44:54 @orumin@mstdn.maud.io
2022-08-09 19:35:43 藤敷菰八 🏇の投稿 FS5@uma.milkey.homes
icon

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

19:30:38 @orumin@mstdn.maud.io
icon

神学論争はまずそのまえに神というものをどういう存在だと了解してるかというところから考えないとアレ

19:29:24 @orumin@mstdn.maud.io
icon

昨夜 kernelvm の Slack で雑談してて久々に L4Linux のサイトみにいったらまだ更新されててビビった。Linux 5.17 まで track してるし

19:28:23 @orumin@mstdn.maud.io
icon

L4 microkernel ベースで Linux system 組み立てる L4Linux とかもありますぜ(単に microkernel というとこだけ見ると Mach よりは L4 は洗練されている

19:27:29 @orumin@mstdn.maud.io
icon

素性は悪くないけど他にくらべてどうというかというとむつかしいところ

19:26:57 @orumin@mstdn.maud.io
icon

Darwin って kernel のつくりとしてそんな良いかというと、うーん。

19:26:36 @orumin@mstdn.maud.io
2022-08-09 19:15:31 藤敷菰八 🏇の投稿 FS5@uma.milkey.homes
icon

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

19:26:33 @orumin@mstdn.maud.io
2022-08-09 19:14:23 藤敷菰八 🏇の投稿 FS5@uma.milkey.homes
icon

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

17:19:04 @orumin@mstdn.maud.io
icon

git bisect めちゃくちゃべんり

15:27:10 @orumin@mstdn.maud.io
icon

mstdn.maud.io/@orumin/10879142 これつかってるなるほど

Web site image
まちカドおるみん御嬢様 (@orumin@mstdn.maud.io)
15:10:18 @orumin@mstdn.maud.io
icon

Actually Portable Executable
justine.lol/ape.html

Web site image
Actually Portable Executable
14:48:20 @orumin@mstdn.maud.io
icon

REHL6 以降の任意の distro で使えるとのことだったけど、これ本当は Go をつかうべきだったっぽさある

14:46:18 @orumin@mstdn.maud.io
icon

うまくいく理由はわかるけどさあ……

Attach image
14:42:01 @orumin@mstdn.maud.io
icon

獣の Linux

14:41:37 @orumin@mstdn.maud.io
2022-08-09 14:18:59 コロコロコロ助の投稿 naota344@social.mikutter.hachune.net
icon

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

14:41:07 @orumin@mstdn.maud.io
icon

サイトでは pledge.​com を取得したら chmod +x つけて ./pledge.​com ... でふつうに shell から実行するように指南されてるんだけど、MZ から始まるバイナリなので binfmt で wine とか設定しちゃってると wine 起動しはじめてしまい、sh -c ./pledge.​com ... てやらないと意図通りにならない

14:36:58 @orumin@mstdn.maud.io
icon

これ興味深い(non privilege user でもバイナリ実行するとき制限をかけられる)んだけど、配布されてる Linux むけビルド済みバイナリが shell script にバイナリ埋めこんだりバイナヘッダーつけてて file(1) で DOS/MBR boot sector で判別されるのに、shell script として実行できて気持ち悪かった

14:36:44 @orumin@mstdn.maud.io
icon

Porting OpenBSD pledge() to Linux
justine.lol/pledge/

Web site image
Porting OpenBSD pledge() to Linux
14:20:16 @orumin@mstdn.maud.io
icon

core 機能は io_uring() 関係多いなー。

14:17:38 @orumin@mstdn.maud.io
icon

ついに次の Linux kernel は 6.x かー >> 6.0 Merge window, part 1 [LWN.net] lwn.net/Articles/903487/

6.0 Merge window, part 1
14:17:30 @orumin@mstdn.maud.io
icon

ノー全知全能

14:12:08 @orumin@mstdn.maud.io
icon

全てのものは同等に無価値だよ

14:11:32 @orumin@mstdn.maud.io
icon

何かが常に価値があって、同等であることを定め、交換可能である、という所作が全部幻想という感じはある

14:10:25 @orumin@mstdn.maud.io
2022-08-09 13:44:27 アカハナの投稿 akahana@fla.red
icon

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

14:10:20 @orumin@mstdn.maud.io
2022-08-09 13:43:53 アカハナの投稿 akahana@fla.red
icon

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

14:10:16 @orumin@mstdn.maud.io
2022-08-09 13:43:33 コロコロコロ助の投稿 naota344@social.mikutter.hachune.net
icon

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

14:10:14 @orumin@mstdn.maud.io
2022-08-09 13:42:40 アカハナの投稿 akahana@fla.red
icon

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

14:09:59 @orumin@mstdn.maud.io
icon

勝手になにか建てようとしない

14:09:49 @orumin@mstdn.maud.io
2022-08-09 13:39:13 酒呑み鬱太郎@がんばらないの投稿 kelvin27315@mstdn.maud.io
icon

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

14:06:36 @orumin@mstdn.maud.io
icon

トランプ氏宅の捜索、ホワイトハウスから持ち出した文書が焦点 - Bloomberg
bloomberg.co.jp/news/articles/

Web site image
トランプ氏、FBI捜査官が「マールアラーゴ」捜索中との声明発表
03:09:20 @orumin@mstdn.maud.io
icon

US まだ未発売なんだ……

03:08:51 @orumin@mstdn.maud.io
2022-08-09 03:05:52 K0eの投稿 K0eKaN@mstdn.maud.io
icon

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

03:06:07 @orumin@mstdn.maud.io
icon

タイカンの実車どこかでみてみたいなとおもってタイカンで検索したら、Google 検索のたまに 3D モデル出してくる謎機能のやつにタイカン対応してた

03:03:08 @orumin@mstdn.maud.io
icon

馬力を溜めて、ストレッチ第7星雲ストレッチ星へ向けて射出

03:01:48 @orumin@mstdn.maud.io
2022-08-09 02:57:34 kb10uyの投稿 kb10uy@mstdn.maud.io
icon

レブリミットがないとどうなる?
知らんのか
馬力が溜まる

03:01:41 @orumin@mstdn.maud.io
2022-08-09 02:57:52 ほたの投稿 hota@mstdn.maud.io
icon

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

03:01:40 @orumin@mstdn.maud.io
2022-08-09 02:56:35 ほたの投稿 hota@mstdn.maud.io
icon

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

02:56:32 @orumin@mstdn.maud.io
icon

だせないよ

02:56:28 @orumin@mstdn.maud.io
2022-08-09 02:55:08 酒呑み鬱太郎@がんばらないの投稿 kelvin27315@mstdn.maud.io
icon

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

02:56:25 @orumin@mstdn.maud.io
icon

これ本来はアクセル開度から今のギアと回転数で出る馬力が計算されて表示されるだけ、のところ、アクセル踏みっぱなしで延々と回転数が伸びて馬力が比例して上がってるってことなのかな

02:55:00 @orumin@mstdn.maud.io
icon

でもたしかに動画みてると 15 万 hp まで溜まってるしそのあと凄い初速で射出されてる

02:54:03 @orumin@mstdn.maud.io
2022-08-09 02:52:57 kb10uyの投稿 kb10uy@mstdn.maud.io
icon

「15 万馬力溜まるまで待つ」文章としてトチ狂っててかなり好き

02:53:07 @orumin@mstdn.maud.io
icon

馬力を溜めるって概念が初耳すぎてもう字面でわらえちゃうからズルい

02:52:48 @orumin@mstdn.maud.io
2022-08-09 02:48:58 ほたの投稿 hota@mstdn.maud.io
icon

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

02:48:24 @orumin@mstdn.maud.io
icon

強すぎ

02:47:30 @orumin@mstdn.maud.io
2022-08-09 02:44:23 ほたの投稿 hota@mstdn.maud.io
icon

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

02:42:55 @orumin@mstdn.maud.io
icon

AtCoderの社長のままトヨタ自動車にアルゴリズムグループを作った話 - chokudaiのブログ
chokudai.hatenablog.com/entry/

Web site image
AtCoderの社長のままトヨタ自動車にアルゴリズムグループを作った話
02:42:36 @orumin@mstdn.maud.io
icon

まあモーターも CVT も無段階だものね……それはそう……

02:42:00 @orumin@mstdn.maud.io
2022-08-09 02:41:12 kb10uyの投稿 kb10uy@mstdn.maud.io
icon

このゲーム色々と電気自動車の扱いがガバガバなのでスピートグリッチとかの温床になりがち

02:41:55 @orumin@mstdn.maud.io
icon

CVT でもイケるのね

02:41:43 @orumin@mstdn.maud.io
2022-08-09 02:41:29 ほたの投稿 hota@mstdn.maud.io
icon

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

02:40:22 @orumin@mstdn.maud.io
icon

コンフィグで MT にしてもタイカンだと無視できるのめちゃくちゃおもしろいな

02:39:40 @orumin@mstdn.maud.io
icon

それオッケーなんだ……

02:39:29 @orumin@mstdn.maud.io
2022-08-09 02:38:11 ほたの投稿 hota@mstdn.maud.io
icon

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

02:39:11 @orumin@mstdn.maud.io
icon

わたしはウマだったか……?

02:39:02 @orumin@mstdn.maud.io
2022-08-09 02:38:07 酒呑み鬱太郎@がんばらないの投稿 kelvin27315@mstdn.maud.io
icon

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

02:36:24 @orumin@mstdn.maud.io
icon

泣いてる

02:36:17 @orumin@mstdn.maud.io
2022-08-09 02:35:24 アカハナの投稿 akahana@fla.red
icon

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

02:35:31 @orumin@mstdn.maud.io
icon

これすごいな、明治 44 年の士官学校の名簿のまったく違う人の名前だして「ほら中野学校の卒業生!」ってなるのまず字を読んでほしい。twitter.com/mitsucanso/status/

02:34:29 @orumin@mstdn.maud.io
icon

悪意ある BT か?

02:33:25 @orumin@mstdn.maud.io
icon

マジだよ

02:33:19 @orumin@mstdn.maud.io
2022-08-09 02:32:49 アカハナの投稿 akahana@fla.red
icon

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

02:33:14 @orumin@mstdn.maud.io
icon

@akahana ないはある、あるはない

02:30:45 @orumin@mstdn.maud.io
icon

@akahana ないよ

02:28:11 @orumin@mstdn.maud.io
icon

満点低いね!?

02:25:55 @orumin@mstdn.maud.io
icon

みたらしさん6点

02:25:33 @orumin@mstdn.maud.io
icon

まあでもこの tweet の reply 先もまるきりアレでやべぇヤツとやべぇヤツの怪獣大決戦みたいなかんじだ

02:24:43 @orumin@mstdn.maud.io
icon

朝鮮民主主義人民共和国は地上の楽園、みたいなプロパガンダ信じる人 1970 年くらいで時間停まってらっしゃる?

02:22:22 @orumin@mstdn.maud.io
icon

ふと、中野学校で Twitter 検索したら強烈なひとがでてきちゃった twitter.com/LaMilch/status/155

02:20:24 @orumin@mstdn.maud.io
icon

???

02:20:20 @orumin@mstdn.maud.io
2022-08-09 02:20:14 酒呑み鬱太郎@がんばらないの投稿 kelvin27315@mstdn.maud.io
icon

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

02:19:10 @orumin@mstdn.maud.io
icon

非合法任務に従事するエージェントを組織したりしていません

02:18:54 @orumin@mstdn.maud.io
2022-08-09 02:18:13 酒呑み鬱太郎@がんばらないの投稿 kelvin27315@mstdn.maud.io
icon

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

02:18:51 @orumin@mstdn.maud.io
icon

コンコン

02:18:13 @orumin@mstdn.maud.io
icon

稲荷寿司とか好きじゃよ

02:04:05 @orumin@mstdn.maud.io
icon

民青みたいなのやめて

01:53:53 @orumin@mstdn.maud.io
icon

狂気の 18 児ではない

01:53:09 @orumin@mstdn.maud.io
icon

代議士は国民の一部は代表できるけど立法府やましてや国家の代表ではないから……

01:43:31 @orumin@mstdn.maud.io
icon

端的に換言すればテロリスト

01:42:48 @orumin@mstdn.maud.io
icon

ちなみに暴力装置は言葉の定義上国家によって組織されたもののことなので、特定の人が(公人であれ私人であれ)暴力集団を組織するのはただの反社会的違法組織であって暴力装置ではない。

01:41:44 @orumin@mstdn.maud.io
2022-08-08 23:56:01 ロージー / ハトの投稿 rosylilly@best-friends.chat
icon

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

01:39:06 @orumin@mstdn.maud.io
icon

@mayaeh 国会議員は通常国会の会期中は不逮捕特権があり……

01:35:43 @orumin@mstdn.maud.io
2022-08-09 00:03:18 Masanori Ogino 𓀁の投稿 omasanori@mstdn.maud.io
icon

Porting OpenBSD pledge() to Linux
justine.lol/pledge/

Web site image
Porting OpenBSD pledge() to Linux