derive macroみたいな高度なことをしないシンプルなところが逆にウケて使われてるんじゃないかという予想 

 ぼくが最初にRustで書いたのがTLS実装で、そのときに作ったやつですね。今は別の人がメンテしてます 

 電子工作マンだ 

 ASN.1勉強します宣言じゃん 

 抽象～～～～～構文～～～～～記法～～～～～ドット～～～～～いち～～～～～ 

 A~~~~~S~~~~~N~~~~~.~~~~~1~~~~~ 

 ASN.1 

 ASN.1のBERに2種類の正規化形式(DERとCER)があってカスなのもリソース制約のあるエンコーダーのために注ぎ足し文字列をサポートする必要があるからなのでウッとなりますね 

 うっASN.1 CER 

 うっASN.1 BER 

 確かにprotobufの良いところはbytesがそのまま埋め込める&それを利用して再帰をうまくやってるところだけどJSONにはbytesがなかったんだった
bytesがないのは痛いですね
JSONにbytesがあればなあ (こうして悪いフォーマットが生まれる) 

 バイナリ化ってserialization/deserialization costの削減のためにやるのかと思ってた 

 そうはならなかったというのは、流行らなかったという意味ではなくて、(相対的に)流行ったものはJSONときっかり同じデータモデルではなかったという意図 

 JSONときっかり同じデータモデルを持つバイナリフォーマット、が流行ればもっと良かったんだろうけどmsgpackもCBORもそうはならなかった 

 JSONがあまりに強い、はほんとにそう。ちょうどいい抽象化になっている (S式だとマップがなくてややつらいし方言だらけになる) 

 *: L × L → P(L) が満たすべき条件を書くと結局 Kl(P) = Rel 上のモノイドということになり、話が戻ってきてしまった感はある 

 * がright adjointを持つ → colimitと可換 なので、ベースのHeyting代数を表現定理を使ってprime filterのjoinで表している場合、 * はpointwiseに定義されたものだとみなせそうだなみたいなことを考えていた 

 肩がさらに終わってる人からのオファーはありそう 

 三権分立って、「交通違反すると誰に怒られてどういう手続きが必要になるのか」とか、「著作権や表現規制で困ったときはどの権力に頼るのか、どの権力と戦えばいいのか」とか、そういう日常から1mくらいしか離れていない実用的な場面で必要な基本的な知識なんだよなって思うようになったけど、小学生のときはそういう視点はなかったのでわからないなりに暗記してよかったなと思ってる 

 110の王 

 献血で一番大事なこと、「献血できないことは悪いことではない」 

 RJ258445ってタイトル見て一瞬TSFかと思ったやつだ 

 ・体温が37.0越えてても風邪じゃなさそうだから気にしないことにした (他に症状があるときや37.5越えたときは別)
・鼻の調子がひどくても風邪じゃなさそうだから気にしないことにした (他に症状があるときは別) 

 中で副作用かましてるreduce(fold)は禁止してほしい 

 盛るウェイの海苔 

 こちらから頼まなくても一番ぴったりの性癖をお出ししてくる最高の作家にはSkebをする理由がないっていうジレンマ 

 マリオってポパイの代わりだったんだな
https://ja.wikipedia.org/wiki/%E3%83%89%E3%83%B3%E3%82%AD%E3%83%BC%E3%82%B3%E3%83%B3%E3%82%B0#%E7%B5%8C%E7%B7%AF 

 まじか
もうマリオより4年くらい年上なのに1mもジャンプできないし壁キックもできない 

 多分逆の実績もあるので周回が必要 

 やっぱAlloyって便利なんだけど、なぜかJavaみたいな書き方を強制される点が惜しい 

 わっ、家内！ 

 Heyting algebra with residual monoid の Heyting algebra 部分をStone双対でspectral spaceに移したときのresidual monoidってどんな感じになるんだろ 

 訪問営業、まずはじめに社名を名乗って営業に来ましたと言ってくれ 

 「乙女ゲームの悪役令嬢しかいない破滅世界に転生してしまった…」 

 SNSとかいう儲からない闇の事業の話より人生、愛、束論、モノイドとかのこと考えたほうがいいな 

 たとえば「あらゆるサーバーはそれ単体では信用に足らないのであり、それを連合のパワーゲームで保証しているに過ぎないのだから、一人勝ちしそうなサーバーはダメ」というドグマなら一応筋は通ってそうだなと思ったけど、その場合「一人勝ちしそうな連合サーバー」という事実に対して噛み付くのはともかく、その一人勝ちサーバーの運営がどういう考えかというところに噛みついてもしょうがないような 

 連合をパワーゲームとして見るなら、連合を切るとかえって負荷が高くなって終わる相互確証破壊みたいな設計は面白いかもと思った。TP-Linkとかが福岡大学に仕掛けたやつ 

 Nintendo Directは一義的には新情報発表の場だけど、ぼくがニンダイを楽しみにしている理由はそこじゃなくて、映像コンテンツとしての面白さとか、SNSのお祭り感とかだったりする 

 まあ議論の末尾から来た人に順路を案内するのは大事な社会福祉だしぼくもお世話にはなってますが 

 「分散には効率というメリットがないからダメ」なんて議論をしている人はいないでしょ……と言いたいところだが世界は広いからまあ数人はいるかもしれない 

 詭弁を感じる 

 o(・ω＜)o ←ラテン文字、ギリシャ文字
( ﾉ╹ヮ╹)ﾉ ←カタカナ
Σ(゜Д゜ノ)ノ ←カタカナ、ギリシャ文字、キリル文字
ლ(╹◡╹ლ) ←グルジア文字
(๑'ᴗ'๑) ←タイ数字 

 :arigato: 

 中英語の時代の流暢な話者が現代に来て「はちゃめちゃ英語」と謙遜する話？ 

 川中島の戦い
←→ 山中湖でスローライフ 

 Emoji Kitchen ってもしかして単なるPokemon Fusionじゃなくて、Little Alchemist的な要素があるやつ？ 

 「YAMLの本来の使い方」を仕様から読み取ってみる | Wantedly Engineer Blog by @58e59996 #JSON #XML #YAML https://www.wantedly.com/companies/wantedly/post_articles/540711 

 Blueskyの招待コードMastodonで配ってもあんまり興味持たれないし、Bluesky上で配ったらいいのかもしれない 

 でも面白いでしょ 旗印だった人物がアカ消したSNS 

 ジャックドーシーがBlueskyのアカ消したとかで面白いことになってる (別にジャックが自分で開発しているわけではないし、アカウントを持っていることと投資は直接関係はないのでいきなりBlueskyが終わるわけではない) 

 マリオストーリーはVCで配信してるからその次ってことかぁ 

 ニンダイ待機 

 めも

    "vim.handleKeys": {
        "<C-p>": false
    }, 

 備えあれば、うれしいな 

 自分ができてないことを棚に上げて後進を育成するぞ 

 3 ← AI (An Integer) 

 BlenderはGPLらしいからソフトウェア本体にお金を払わせるのは難しいしやらないんじゃないかな 

 ほえー巧妙なんだな 

 明日のニンダイで伝説のスタフィーが配信開始されたら混乱を招いて面白いことになりそう 

 > 9月14日（木）23時より「Nintendo Direct 2023.9.14」を放送します。
> この冬、発売を予定しているタイトルを中心に、Nintendo Switchソフトの情報をお届けします。
> 放送時間は約40分です。
> #NintendoDirectJP

https://twitter.com/Nintendo/status/1701958946674672116 

 RustSecに載った https://rustsec.org/advisories/RUSTSEC-2023-0060.html
GitHub Security Advisoriesへの同期は結構時間かかるっぽいから明日かも 

 ちょうど今RustSecのアドバイザリDBが更新されそうなので使ってる人には通知がいくと思う 

 今日は昔自分が作ったRustのライブラリに脆弱性を含むCのコードがバンドルされてるからパッチ取り込んでくれっていうのが来たから対応してました 

 Fediverseにいる一般人はXから追い出されたとかXから追い出された人を追っかけてきたとかそういうのっぴきならない事情でFediverseにいるのであって別に好奇心旺盛なわけではなく、したがってFediverseでBlueskyの招待コードを配っても物好きの変人にしかリーチしない 

 RustRoverとな https://blog.jetbrains.com/rust/2023/09/13/introducing-rustrover-a-standalone-rust-ide-by-jetbrains/ 

 「お父さん、ここにあったシャインマスカット食べちゃったの！？！？」
↑ショーンマスカット 

 このCVEなんでlibwebpじゃなくてChromeとして出されてるんだろ 

 みん営 (みんなで運営) 化 

 ブルースカイの亜種
スルー部会 

 ³Hなのはdecay 

 うさぎ　うなぎ
うさだ　うなだ 

 オムロンとタニタのアプリははやくヘルスコネクトに対応してくれ 

 クロ現的なやつかもしれない 

 新番組「社会の世相から」 

 アウトレットモール (多種多様なコンセントが売られている) 

 もし旅コログがブレワイの世界にいたら…… 

 これなんですよね
175条を何とかしないといけない 

 Bskyのコード売り切れました　また次をお待ち下さいというか多分持ってる人他にもたくさんいると思う 

 宗教の話CWかけずにガシガシ書いちゃったな