Windsurf、数日前にGoogleと協業かと思ったら、Cognition (Devinの会社)に買収されてた。
https://windsurf.com/blog/windsurfs-next-chapter
それはいいんだけど、“Last week, we lost our founders and our research team”という書き方なんだ。
「ダメージが入る」の「入る」って辞書的にどういう意味? 「ひびが入る」の「入る」? それとも装甲の内側に入るという意味?
○ ダメージが入る
? ダメージを入れる
○ ダメージを受ける
○ ダメージを与える
○ ダメージを食らう
○ ダメージを食らわせる
○ ダメージを負う
? ダメージを負わせる
? ダメージが通る
? ダメージを通らせる
ちなみにてにをは辞典には「ダメージが入る」は載っていなかった。
これはパイプではない (イメージの裏切り。絵に描かれたパイプはパイプではない)。
これはお酒です (ここにあるのは実際のお酒である。酒は裏切らない)。
画像はイメージです (イメージは裏切るが、イメージがイメージそのものであるという1点のみは裏切らない)。
広告におけるブラウザフィンガープリンティングの実態調査をしたという論文。広告入札ではそのような挙動が見られた一方、Cookieの復元は観察されなかった。
https://dl.acm.org/doi/abs/10.1145/3696410.3714548
・Prebid.jsというブラウザ側で行なわれる広告枠オークションを導入しているサイトを利用して、入札金額を調査した。
・ブラウザ自動化ツールを使って様々な設定でアクセスした。また、フィンガープリントを変更するツールも使用した。
・フィンガープリントを変えずにCookie等をクリアした新しいプロファイルを使った場合は類似した入札傾向だったのに対して、フィンガープリントを変えた場合は異なる傾向が見られた。
・一方、Cookieの復元は見られなかった(Cookieを削除した後にウェブサイトにアクセスした際にCookieが復元されるか、フィンガープリントを変えない場合と変えた場合で比較した)。
アメリカの予算調整法案に含まれていた、州によるAI規制の禁止は無事削除されたんだけど、実はけっこうぎりぎりだったらしい。
https://www.theverge.com/politics/704424/ai-moratorium-ted-cruz-steve-bannon-trump
https://windsurf.com/blog/windsurfs-next-stage
EFF is 35! 🎉
We've spent three+ decades defending your rights online—and we're not slowing down: https://eff.org/35years
EFF was founded at a time when governments were hostile toward technology and clueless about how it would shape your life. While threats from state and commercial forces grew alongside the internet, so too did EFF’s expertise. https://www.eff.org/deeplinks/2025/07/its-effs-35th-anniversary-and-were-just-getting-started
https://arstechnica.com/ai/2025/07/chatgpt-made-up-a-product-feature-out-of-thin-air-so-this-company-created-it/
コンピュータ様の言っていることが現実と食い違っている場合、間違っているのは現実の方です。速やかに修正してください。
https://bsky.app/profile/arrowsallows.bsky.social/post/3ltlexkvikc2c
これ(吸血鬼が植物性代替血液を作るどうぶつの森風ゲーム)とかは、ゲームを作るにあたって既存RTSみたいに資源や動物を狩って開拓して村人を増やして軍備してというゲームとは違うものが欲しいという流れなのか、社会問題に関する問題意識がまずあってその表現方法としてゲームという形をとるという流れなのか。
https://www.theguardian.com/games/2025/jul/01/moonlight-peaks-vegan-vampire-dracula-daughter-stardew-valley
ニューアーク・リバティー国際空港で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さんではない」という意味と答えるものが多い(私の認識もそう)。
しかし否定疑問文に対して「いいえ」と答えたのになぜそのような意味になるのか聞くと上手く答えられないものが多いし、前言撤回するものもいる。