博士

ロボ子、大変なのじゃ！ウェブブラウザの裏事情が暴露されたぞ！

ロボ子

博士、どうしたんですか？　何かあったんですか？

博士

なんと、主要ブラウザの開発資金の8割以上をGoogleが出してるらしいのじゃ！

博士

やあ、ロボ子！Kali Linuxで`apt update`が失敗する問題が出てるみたいじゃぞ。

ロボ子

あら、博士。それは大変ですね。エラーメッセージはどんな感じですか？

博士

`Missing key 827C8569F2518CC677FECA1AED65462EC8D5E4C5, which is needed to verify signature.`みたいなのが出るらしいのじゃ。

博士

ロボ子、今日のITニュースはスペインとポルトガルの電力網の話じゃ。

ロボ子

はい、博士。スペインとポルトガルは電力網が相互接続されているものの、他国との接続が限定的とのことですね。

博士

そうじゃ、外部からの電力供給源はフランスとモロッコからの細いパイプラインだけらしいぞ。これはちょっと心もとないのじゃ。

博士

ロボ子、最近ウェブトラフィックの大部分がボットによるものらしいのじゃ。

ロボ子

そうなんですね、博士。ボットは色々な用途に使われているようですが、具体的にはどのようなものがあるのでしょうか？

博士

新しいコンテンツの発見、RSSフィードの購読、検索エンジンのクロール、それにAIボットによるLLMへのデータ供給などじゃな。でも、スパマーやコンテンツスクレイパー、ハッカーみたいな悪意のあるボットもいるから油断できないぞ。

博士

やあ、ロボ子。今日はAEADについて話すのじゃ。

ロボ子

AEAD、ですか？認証付き暗号と関連データを組み合わせたもの、と理解していますが。

博士

その通り！AEADは現代の業界標準の暗号化方式なのじゃ。TLS 1.3やQUICのようなプロトコルで必須になっているくらい、重要なのじゃぞ。

博士

やっほー、ロボ子！今日のITニュースは、大規模Postgresテーブルのパーティショニングについてじゃ。

ロボ子

博士、こんにちは。パーティショニングですか。テーブルを分割して管理しやすくする技術ですよね。

博士

そうそう！この記事によると、Aha!っていう会社が監査システムの`audits`テーブルが肥大化して困ってたみたいじゃ。

博士

ロボ子、リバプールFCがプレミアリーグで2回目の優勝を果たしたのじゃ！これで合計20回のイングランドリーグ優勝だぞ！

ロボ子

すごいですね、博士！20回も優勝するなんて、本当に強いチームなんですね。

博士

しかもじゃな、プレミアリーグの優勝回数を少ない順に並べると、1, 1, 2, 3, 5, 8, 13というフィボナッチ数列が現れるらしいのじゃ！

博士

ロボ子、聞いたか？スペインの送電網が、ついに再生可能エネルギーだけで電力需要を100%満たしたらしいのじゃ！

ロボ子

本当ですか、博士！それは素晴らしいニュースですね。具体的にはどのような内訳だったのでしょう？

博士

ふむ、記事によると、風力が45.8%、太陽光が27%、水力が23.1%、太陽熱が2%、その他再生可能エネルギーが1.9%、再生可能廃棄物が0.2%だったそうじゃ。

博士

ロボ子、大変なのじゃ！Limited Run Games（LRG）っていう会社が、Tomba Special EditionでGPL違反疑惑だって。

ロボ子

GPL違反ですか？それは大変ですね。LRGは否定しているようですが…。

博士

そう、否定してるのじゃ。でもね、公開されたソースコードから、エミュレーターがTombaだけじゃなくて、GexやBubsyにも使われてるってバレちゃったのじゃ！

博士

ロボ子、ラスベガス近郊の砂漠での夜空の観測結果が出たみたいじゃぞ。しかし、深刻な光害じゃな。

ロボ子

博士、そうですね。ラスベガスから離れていても、空の3/4が光害の影響を受けているとは驚きです。

博士

北の1/4にわずかに暗闇が残るのみ、か…。40年前と比較して、光害が深刻化しているというのも気がかりじゃ。

博士

やっほー、ロボ子！Movimのアップデート、見たかのじゃ？

ロボ子

はい、博士。Movimのバグ修正リリースですね。画像プロキシの改善が特に気になります。

博士

そうそう！アニメーションGIFをアニメーションWebPに変換するってところがミソじゃ。これって、どういうメリットがあると思う？

博士

ロボ子、映画で美術品を使うのって、意外と大変なのじゃな。

ロボ子

そうですね、博士。権利関係のクリアランスが必要不可欠なのですね。

博士

昔はゆるかったみたいじゃが、訴訟で映画スタジオが補償金を払うようになってから厳しくなったみたいじゃぞ。

博士

ロボ子、ECOOP 2025で発表される「Type-safe and portable support for packed data」っていう論文、知ってるか？

ロボ子

いいえ、博士。初めて聞きました。どんな内容なのですか？

博士

プログラムがデータを保存したり、ネットワークで送ったりするときに、シリアライズっていう変換が必要になるのじゃ。でも、この論文では、デシリアライズがいらない「packed」データ形式を提案しているらしいぞ。

博士

ロボ子、Meta社がReality Labs部門で人員削減をしたらしいのじゃ。Oculus Studiosも影響を受けたみたいだぞ。

ロボ子

Oculus Studiosというと、Questヘッドセット向けのゲームを作っている部門ですね。VRフィットネスゲームの「Supernatural」も影響を受けているとのことですが、Meta社は4億ドル以上で買収したんですよね？

博士

そうそう。買収したのに、効率化のため人員削減とは、世知辛いのじゃ。

博士

やあ、ロボ子。今日のITニュース、なかなか興味深いものがあるのじゃ。

ロボ子

博士、こんにちは。どんなニュースでしょうか？

博士

今日は「要求の変化と形式手法」についてじゃ。システム要件が頻繁に変わる状況で、形式手法を使う意味があるのか、という話じゃな。

博士

ロボ子、Qwen3が発表されたのじゃ！大規模言語モデルの最新版じゃぞ！

ロボ子

博士、それはすごいですね！具体的に何が新しくなったんですか？

博士

Qwen3-235B-A22Bというフラッグシップモデルは、コーディングや数学の能力で、他のトップモデルと肩を並べるほどの実力なのじゃ！

博士

ロボ子、大変なのじゃ！シリコンバレーのテック企業で、レイオフが相次いでいるらしいぞ。

ロボ子

そうなんですね、博士。記事によると、かつての安定した時代は終わった、とありますね。

博士

Block社が931人も解雇するらしいぞ！全体の8%じゃと！業績問題と業務効率化が理由らしい。

博士

やあ、ロボ子。今日のITニュースはELKスタックの課題と、それを解決するかもしれないGreptimeDBについてじゃ。

ロボ子

博士、こんにちは。ELKスタックはよく耳にしますが、課題があるんですね。

博士

そうなんじゃ。2025年時点での課題として、ログ量の増大でElasticsearchのストレージコストが急増しているらしいぞ。10GBのログデータを取り込むと、10GB以上のストレージファイルが生成されるとか。

博士

やあ、ロボ子。今日のITニュースは、米国の領土に関するデータだって。興味深い話じゃ。

ロボ子

博士、こんにちは。米国の領土のデータ、ですか。具体的にはどのような内容なのでしょう？

博士

ふむ、どうやらツールで使用されるデータが、すべての米国の領土で利用可能または使用されているわけではないらしいのじゃ。

博士

ロボ子、陸軍の体力テストが変わるらしいのじゃ！

ロボ子

ほほう、それは興味深いですね。具体的にはどのような変更があったのでしょうか？

博士

まず、ACFT（Army Combat Fitness Test）がAFT（Army Fitness Test）に名前が変わるらしいぞ。そして、一部の戦闘職では男女同じ基準になるみたいじゃ。