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

This account is not set to public on notestock.

知らない歌がでてきた

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

今宵の東京駅

たしかにこれはうまくいく
https://www.cse.unsw.edu.au/~cs9242/19/exam/paper1.pdf

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

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

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

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

べつに hybrid なのは悪いわけじゃない（工業製品に必要なのはキレイだけど使えないハリボテなわけではない）し、スパゲッティになってたものを構造化してキレイなアーキテクチャになってるだけでもかなり十分なのでそれがぜんぶ kernel space にいることはべつにあんまし問題ではないとは思いますね。最近ならたとえば Intel の MPK みたいな lightweight な memory protection をその上につければよかったりするわけで

This account is not set to public on notestock.

This account is not set to public on notestock.

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

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

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

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

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

This account is not set to public on notestock.

This account is not set to public on notestock.

git bisect めちゃくちゃべんり

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

Actually Portable Executable
https://justine.lol/ape.html

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

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

獣の Linux

This account is not set to public on notestock.

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

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

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

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

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

ノー全知全能

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

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

This account is not set to public on notestock.

This account is not set to public on notestock.

This account is not set to public on notestock.

This account is not set to public on notestock.

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

This account is not set to public on notestock.

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

US まだ未発売なんだ……

This account is not set to public on notestock.

https://arvr.google.com/scene-viewer/web?file=https://storage.googleapis.com/searchar/v/9a4d5eaf6da2c73/17030b387d7bc413/gltf/porsche-Taycan.glb&title=Taycan&referrer=google.com:result&link=https://www.porsche.com/japan/jp/models/taycan/taycan-models/taycan/&resizable=false&fdl

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

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

This account is not set to public on notestock.

This account is not set to public on notestock.

だせないよ

This account is not set to public on notestock.

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

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

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

This account is not set to public on notestock.

強すぎ

This account is not set to public on notestock.

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

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

CVT でもイケるのね

This account is not set to public on notestock.

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

それオッケーなんだ……

This account is not set to public on notestock.

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

This account is not set to public on notestock.

泣いてる

This account is not set to public on notestock.

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

悪意ある BT か？

マジだよ

This account is not set to public on notestock.

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

@akahana ないよ

満点低いね！？

みたらしさん６点

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

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

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

？？？

This account is not set to public on notestock.

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

This account is not set to public on notestock.

コンコン

稲荷寿司とか好きじゃよ

民青みたいなのやめて

狂気の 18 児ではない

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

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

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

This account is not set to public on notestock.

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