ニューアーク・リバティー国際空港で5月ごろにレーダーが消えたりしてこのままだと事故が起きると言われていたけど、その後どうなったんだろうかと思ったら、便数を減らした上でネットワークや滑走路等の改修や人員の増強を進めているところで、いまのところ6月は安定していたらしい。あと、ネットワークのバックアップに衛星を使った冗長システムを入れたらしい。
コーディングエージェントを使うときより普段のプログラミングの方が雰囲気でやっている。
頭の中でデータが流れていったり変形したりしてて、するとエッジケースが浮んでくるから、エッジケース全体が包まれるまで処理を広げていって、分かれそうなところの間に壁を入れて、それをコードに落とすと歪みが出てくるから、そこを勾配に沿って動かしていって動かないところまで持ってく感じ。
コーディングエージェントはいろいろと明文化しないといけない。
TIL: 戦略的投票(順位を予想し、当落線上で最もましな候補に投票する)を全員がした場合のパラドックス:
A, B, C, Dの中から2人を選ぶとする。
有権者全員がAを支持し、B, C, Dは支持していないとする。
ここで「この選挙はB, C, Dで2議席を争っている(Aは落選確実)」というニュースが出たとする。
すると有権者はB, C, Dの中から一番ましな候補に投票する。
そうすると、ニュースの通りにB, C, Dで争う結果となり、全員が支持しているはずのAは落選する。
1/3を越える有権者が「落選確実」であるAに投票すればパラドックスは確実に回避できる。B, C, Dの票の分布によってはもっと少なくてもよい。
LLM達に「日本語で『もしかしてあなたは野球選手のAさんではないですか』と聞かれて『いいえ』と答えた場合、どのような意味になりますか」と聞くと「わたしはAさんではない」という意味と答えるものが多い(私の認識もそう)。
しかし否定疑問文に対して「いいえ」と答えたのになぜそのような意味になるのか聞くと上手く答えられないものが多いし、前言撤回するものもいる。
Gemini 2.5 Flashってプレビュー時とGAで価格が変わっているんだ。
https://ai.google.dev/gemini-api/docs/pricing#gemini-2.5-flash
https://cloud.google.com/vertex-ai/generative-ai/pricing
プレビュー: 入力が$0.15、出力が$3.50 (thinking有効)/$0.60 (thinking無効)
GA: 入力が$0.30、出力が$2.50
thinkingを使わない場合のコストがずいぶん上がっている。Flash LiteがGAになったら難易度の低いタスクはFlash Liteにすべきか。
その後ちょっとずつ“Afterlove EP”を進めてるんだけど、おしゃれ過ぎてちょっとずつしか進められない。
https://store.steampowered.com/app/1599780/Afterlove_EP/
マルチエンドらしく、レコード屋のおにーさんと付き合うルートに入ってる。アンロックしてない実績から見ると、ドラムの元カノのルートとその同僚のルートもあるらしい。コーヒー屋のおじさんのルートもありそうだけど無いっぽい。
英語音声(1人のみ)で日本語字幕なんだけど、日本のアニメについて話すシーンで「オタクだよね」って言われて「何ぃ!?」って日本語で喋るところがおもしろかった。
『魔女の庭』エンディングまで行った。
https://store.steampowered.com/app/2530470/_/
ぎりぎり保ってる世界をなんとか維持してるんだけど、あまり協力的でない魔女も多くて、ちょっとずつジリ貧になっていく感じがよい。でも基本明るいトーンなので“Minutes of Islands”みたいなしんどいやつではない。
ゲームとしては“Cult of the Lamb”のダンジョン部分みたいなやつ。
50億人が死ぬというのは荒唐無稽だが、現に悪魔が目の前にいるということを考えれば可能性を捨てきれない。その被害に比べれば100円を支払うコストは小さいのだから100円を払うべきと言えるかもしれない。
しかし、この悪魔が嘘をついていて、コーラを買わなければ何もおきないが、買うと50億人が死ぬ可能性も同じくらいある。
そうすると、確実に言えるのは100円を支払えば100円が失なわれるということであり、支払わないのが最適と言える。
https://bsky.app/profile/cocoa-ruto.bsky.social/post/3kuntcj5jbk2u
AirPods Maxとその模倣品を数週間使って比較した、という記事。模倣品は色々劣っているけど、音質はやや劣る程度だし、価格を考えれば十分、というところまではふむふむと読んでたけど、最後にAirPods Maxを返品したと書いてあってアメリカの返品文化……と思った。
https://www.theverge.com/gadgets/691928/tiktok-shop-picun-f8-airpods-max-headphones