Notices by まちカドおるみん御嬢様 (orumin@mstdn.maud.io), page 5

OTA、そもそも Over-the-Air だけだと「無線で—」の形容にしかならないので OTA Software update としないと意味の通じない用語だし、用例から考えても Google が作った Android マーケットの用語なような。

80s の第一世代マイクロカーネルの登場から OS の発展はまったく凍結していて OS は進化をしていない、という誤った認知のひとをよくみるのでかなしい。『モダンオペレーティングシステム』でいいから読んでとなる

もともと microkernel の発展に、OS 機能のうち特権が必要な IPC やプロセス生成の部分だけのところを exokernel、filesystem や network、POSIX API のような microkernel の server にあたる部分を SDK のただのライブラリーにしてしまってアプリのバイナリにそのままくっつけてしまう library OS、という組み合せが 1995 年に提唱されている前史がまずある。
で、2013 年に exokernel を Amazon EC2 のようなクラウド IaaS 上の VM 環境を提供する hypervisor、library OS + app の組み合わせを VM 上の単一の OS kernel と app の結合（つまり、uni な kernel）、という現代への翻案をした論文が出てきて、unikernel はそれを実現する MirageOS という実装に対するアーキテクチャ名としての命名でした

東芝「ガバナンスごっこ」の8年　専門家「日本復活の象徴になって」：朝日新聞デジタル
https://www.asahi.com/articles/ASR9P2VW1R9GULFA01G.html

Neovim そもそもいろいろな言語から呼び出されるコア実装と UI、みたいな分離を進めるために fork された実装なので、Vim と違って単に Vim の modal な動きを実現する state machine とそれにアクセスする外向け API があって、当初は Python provider や node js provider で plugin 書かれまくるつもりだったのがいまは Lua を組み込んでいろいろやれる方向になっている、というところ

TianoCore の UEFI reference 実装兼 UEFI app SDK である EDK II がシステムハンガリアンだし typedef void VOID; とかで組み込み型すら upper case でなんでも define するしプロトタイプ宣言の引数に IN とか OUT とかつけたりするのも、inf とかでなんぇも設定書いたりするのも、UTF-8 ではなく UTF-16 とか使うのも、滅茶苦茶 Win32 API や NTDDK の雰囲気を感じるので UEFI の app 見た瞬間「あっこれは 90s 末期～00s 初頭の Microsoft……」となる雰囲気しかないのであるよ

UEFI の前身たる EFI v1.x は Intel と Microsoft と HP が組んで IA-64 ベースの server に Windows server を載せて売るぜ！をやろうとしたときに IBM PC と x86 の負の遺産を捨てる過程で firmware も新規に興しただけに過ぎないので、必然的に FAT32 やら PE やらが採用されただけに過ぎない

cdecl(1) だけじゃなくて cinfo(1) cinfoc(1) cinfodc(1) cundecl(1) cobfusc(1) chilight(1) cunloop(1) yyextract(1) yyref(1) が cutils でセットなのか……

べんりはべんりだがこれがべんりな時点でなにもかもおかしいのだよな

専用のコマンドあるのおもしろすぎでしょ

@lo48576 https://www.open-std.org/jtc1/sc22/wg14/www/docs/n2260.pdf

@lo48576 restrict とかも C23 で改訂入ったはず？

C23 でついにようやく K&R 式宣言が完全に死滅するし initializer list がつかえる気がする

C で関数ポインタ返す関数の宣言、羞ずかしながら未だに素で書くほうほうよくわかってないので返り値型はあらかじめ別所で typedef してそれを使ってます……

あと C23 に typeof() 入るんで関数ポインタを返り値にする関数のプロトタイプ宣言がめっちゃ可読性上がったのえらい！！！

```
typeof(int (*)(int, int)) func(int a);
```

可読性がメチャクチャ上がった成果がこれか……？

C99 で導入されて stdbool.h で bool に wrap されてた _Bool が C23 では組み込みで bool になるのもよいとおもう

それいったら _Complex とかもだれが使ってるかよくわからない

C23 かなり C++11 を取り込んだので modern C++ と互換して書きやすくなり C++ で書いたライブラの C ABI I/F で公開、とかやるときの面倒なところそれなりに減ったはず

C23 ではついに C の負数表現が二の補数であることに gurantee がつきますよ！喝采せよ！

C の生まれ故郷 PDP-11 からしてバイトではなくワードマシンだし、ミドルエンディアンだし、当時の環境からすると特殊でもなんでもないが現代からみればめちゃくちゃ