Notices by Masaki Hara (qnighy@qnmd.info)

両装両子 (男性性と女性性をあわせもった装いをしている、　　　　　　。)

Cat6Aには6Aの電流を流してよい(冗談)

任天堂がパルワールドの会社を提訴。著作権ではなく特許。
https://x.com/NintendoCoLtd/status/1836548463439597937

𝒇𝒂𝒃𝒖𝒍𝒐𝒖𝒔

@sublimer 最初に配列を統合したときにkey2が消えるのは、オブジェクトリテラル型の本来の解釈に基づくものと考えると正当化されます。value1[*]はkey2を宣言していませんが、宣言していないということはこの名前のプロパティについて何も情報を持っていないということです。value2[*]はkey2を宣言しているものの、不明な型と明らかな型を混ぜたら不明な型として扱うしかありません。これはanyとnumberを混ぜたらanyになるのと似たような考え方で、自然な帰結です。

@sublimer これはTypeScriptの著名な非健全性のひとつです。TypeScriptにおけるオブジェクトリテラル型は一義的には「言及されていないキーについては不明」と見なすのが正式と考えられますが、これを正直に運用しているとつらい部分があるためあえて妥協したルールになっている場所があります。それは、optional propertyを増やす形でのキャストです。TypeScriptでは、このようなキャストは安全なことが多いことからasを使わずに許可しています。しかし、総合的に見れば最初に挙げたように一度プロパティを減らしてからまた増やす変換により不健全な例を構成できます。

@sublimer f1に渡す前の配列式の型を見ると、この時点でkey2が消えているのがわかります。つまり、 { key2?: number} → {} → { key2?: string } という変換をたどっていることになります。

@ikeji typoというより、うろおぼえで書いてました。指摘ありがとうございます。

Plan9のレガシーといえばUTF-8やP9, ItaniumのレガシーといえばUEFIやC++ABI

いや一般論としては別に全然ありだと思う

東大にだって農学生命科学研究科・農学部はある

というか、アカデミックな背景を持つ人が多様な仕事につくこと・あるいは多様なバックグラウンドを持つ人がアカデミアを通ることを否定したくない

だいいち、院を出てアカデミアに入らずに農家になるのと院を出てアカデミアに入らずにWebサービスを作ることの差なんてそれほどないのではないか

FC2ブログで "DLsite" を口に出すことができなくなったらしい

http://shiomusubigames.blog.fc2.com/blog-entry-6056.html

https://engineering.fb.com/2024/03/21/networking-traffic/threads-has-entered-the-fediverse/
Misskeyの名称がMetaのブログに登場してる

NFC読めるiPhone/Android端末とマイナカードがあるなら、e-Taxアプリとか入れるよりそっちのほうが多分お手軽じゃないかと……。

いい文書を書くコツですが、紙面をケチらずに同じことを2回も3回も書くことですね

下町ロケットの対義語、村上ミサイル

「味蕾はNa+を直接検出するので人工甘味料はあっても人工塩味はない」という話と「微弱電流によって塩味を強化する研究」という話を組み合わるとなんかかっこいい物語感を感じる

Aさん「アイパス持ってません」 ← 応用情報を持っています
Bさん「アイパス持ってません」 ← IDとパスワードを使わず、Google WorkspaceのアカウントでSSOしています