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

今中華民国が南京が首都！って宣言してもまあ中華人民共和国があるし国際社会の承認は得られないわな。実効支配してる領土の中の都市なら誰も文句付けないだろうけど。

なんであんなアルゴリズム名になったの……。

型推論だっけ。あれ検索性低すぎて本当にこの名前なのかといぶかしんだよね

『やがて君になる』の英題が『Bloom into You』なの素敵だよね

Tomasulo のアルゴリズム，Out-of-Order のやつよねたしか

ところで一般的に Hennesy って言うとブランデーのブランドのほうが通りが良い気がする

Hennesy×Paterson と Paterson×Hennesy みたいな話やめろ！

Hennesy とPaterson は今年の ACM A.M. Turing Award（自然科学の Nobel Prize や数学の Filelds Medal に匹敵する賞）の受賞者です覚えてね。

“ゼルダの伝説”の迷いの森と同じ風情がある。テナントがやってる時間帯なら問題ないけどテナントのシャッターが閉まってる時間だと本格的に迷いやすい

『梅田地下オデッセイ』って SF は名作だし無料で公開されてるからみんな読もうね。まだディアモールが完成してないころの作品だけど。

apt/deb とか dnf/rpm とかコマンド複数あるの歴史的経緯あるから仕方ないけど苦手

まあでも GRUB みたいな多段ロケットは BIOS とともに不要になった九龍城みたいなものでイマドキは systemd-boot（旧 gummi boot）でいいし多少リッチにしたければ rEFInd でいい。

@babukaru Mac のハードウェアは PowerPC から Intel に移行した時点（2006 年）から EFI に UEFI の規格の一部を魔改造した上で Bluetooth や WiFi や HFS+ 対応に魔改造した Mac EFI 使ってるよ。

@babukaru EFI 1.x が Intel Itanium に合わせて Intel と HP と MS が作り出されたのは 1999 年のことだし Itanium が死んで x86 が生き続けてもそのまま新時代のファームウェアとして業界標準団体を作り出し UEFI 2.x として規格が出たのも 2005 年，実物がコンシューマーに出てきたのも 2012 年で 2014 年には新製品みんな UEFI なってたよ。

UEFI または UEFI BIOS です。PC においては BIOS は旧世紀の遺物だからはやく忘れて

@babukaru https://qiita.com/advent-calendar/2014/uefi もう BIOS は旧世紀の遺物だから忘れてね

株式会社Cygames、佐賀県・佐賀市と三者間立地協定を締結　新拠点「Cygames佐賀ビル（仮称）」の設立を発表 | 株式会社Cygames https://www.cygames.co.jp/press/press-17840/

Crowi がメルカリ発なの今知った

gollum で記事タイトルに日本語とか使うとすごい厳しくなるやつあれ良くなったりしてるのかな

gollum で前いろいろハマったことあって最近は Crowi がいいかねえという気持ちになってる