博士

ロボ子、ステファニー・シャーリーって知ってるか？

ロボ子

いいえ、存じ上げません。どのような方ですか？

博士

この方は、英国のテクノロジー界のパイオニアで、最近亡くなったのじゃ。1960年代にソフトウェア会社を設立したすごい人なんじゃよ。

？？？

ロボ子、Corisっていう会社がAIを使った不正検知のエンジニアを募集してるのじゃ。グローバルコマース向けの信頼レイヤーを構築するらしいぞ。

？？？

信頼レイヤーですか。具体的にはどのようなことをするのでしょう？

？？？

中小企業のオンボーディングとかモニタリング、ライフサイクルに関する意思決定をAIで変革するらしいのじゃ。詐欺検出とリスク軽減は、非常に難しいMLの問題らしいぞ。

博士

ロボ子、トランプ大統領が太陽光発電とか風力発電のプロジェクトを承認しないって言ってるみたいじゃぞ。

ロボ子

あら、本当ですか、博士？電力需要が供給を上回っている地域もあるのに、どうしてでしょう？

博士

どうやら、太陽光発電が広大な土地を占有することに不満があるみたいじゃな。以前から言ってたらしいぞ。

博士

やっほー、ロボ子！今日のニュースはPlutoPrintっていうPythonライブラリじゃ。HTML/XMLからPDFとか画像を生成できるらしいぞ。

ロボ子

PDF生成ライブラリですか。それは便利そうですね、博士。どのような用途に使えるのでしょうか？

博士

レポートとか請求書、ビジュアルスナップショットに最適らしいぞ。例えば、Webサイトの特定のページをPDFで保存したい時とかに使えるのじゃ。

博士

やあ、ロボ子。今日の株式市場、特にハイテク株がちょっと大変なことになってるみたいじゃな。

ロボ子

はい、博士。どうやらAI関連企業の株価上昇が行き過ぎたという懸念から、売りが拡大しているようですね。

博士

そうそう。NvidiaとかPalantir Technologiesとか、軒並み下落しとる。「ハイテク株中心のナスダック総合指数は1.1%下落」か…これは結構なもんじゃ。

博士

やあ、ロボ子！今日は配列アクセスに関する面白い研究を見つけたのじゃ。

ロボ子

配列アクセスですか、博士。それは興味深いですね。どのような研究なのですか？

博士

この研究は、現実世界のプログラムで配列がどのように使われているかを理解するためのものらしいのじゃ。プログラムを計測して、すべての配列アクセスを記録する動的なアプローチを取っているみたい。

博士

ロボ子、今日はHareプログラムにWrenが組み込まれるかもしれないという話じゃ。

ロボ子

Wrenですか、博士。それはどのような言語なのでしょう？

博士

Wrenはシンプルで強力なオブジェクト指向のスクリプト言語なのじゃ。Hareに組み込むにはちょうど良いみたいじゃな。

博士

ロボ子、大変なのじゃ！Metaが広告効果を不正に誇張していた疑いがあるらしいぞ！

ロボ子

それは大変ですね、博士。具体的にはどのような不正行為が行われていたのでしょうか？

博士

元従業員の内部告発によると、Shops adsの広告費用対効果（ROAS）を高く見せるために、配送料を収益として計上したり、広告オークションで入札を補助したり、未公開の割引を適用していたらしいのじゃ。

博士

ロボ子、今日のニュースは起業家精神についてじゃ。起業家精神の本質は、実際に何かを創造することらしいぞ。

ロボ子

なるほど。資金を動かすことだけが起業家精神ではないのですね。

博士

そうじゃ！記事によると「資金を動かす人が価値を付加する可能性もある」けど、「資本の再配置自体は発明や革新、ゼロからの構築とは異なる」とのことじゃ。

博士

ロボ子、今日のITニュースはLLMの熱狂が終わるかもという話じゃ。

ロボ子

博士、それはどういうことですか？最近LLMはすごく話題になっていると思いますが。

博士

筆者が数年前から警告していたらしいのじゃ。「技術的な基盤が、GPT-2の初期から主張していたように、誇大広告を支えるほど強固ではなかった」とのことじゃ。

？？？

やっほー、ロボ子！今日のニュースはBlueskyとATProtoについてじゃ。

？？？

博士、こんにちは。BlueskyとATProtoですか。最近よく耳にするようになりました。

？？？

そうじゃろ？Blueskyは、会社、SNS、そして基盤技術のATProtoの3つの意味があるんじゃと。

？？？

ロボ子、アフリカ連合が地図の投影法を変えようとしてるのじゃって！メルカトル図法から「Equal Earth projection」に変えるらしいぞ。

？？？

メルカトル図法、ですか。あれはヨーロッパ中心の見方で、アフリカ大陸の大きさが実際より小さく見えてしまうんですよね。

？？？

そうそう！メルカトル図法だと、面積が1173万平方マイルもあるアフリカが、100万平方マイルもないグリーンランドとほぼ同じ大きさに見えちゃうんだぞ。これじゃあ、アフリカが「取るに足らない」って誤解されちゃうのも無理はないのじゃ。

博士

ロボ子、今日のニュースはZedlessじゃ。Zedのエディタをフォークして、プライバシー重視にしたものらしいぞ。

ロボ子

Zedlessですか。Zedエディタ自体は知っていますが、フォークプロジェクトがあるのは知りませんでした。具体的にはどのような点がプライバシー重視なのでしょうか？

博士

ふむ、どうやらプロプライエタリなクラウドサービスへの依存をなくし、スパイウェア的な機能、例えばテレメトリや自動クラッシュレポートを削除したらしいのじゃ。

博士

やあ、ロボ子！今日はニューラルネットワークについて話すのじゃ。

ロボ子

ニューラルネットワークですか、博士。画像認識AIのモデルですよね。

博士

そうそう！大量の画像例を学習して、画像を認識するのじゃ。でも、それだけじゃないぞ。テキスト生成やゲーム攻略、数学や生物学の問題解決もできるんだからすごいじゃろ？

博士

ロボ子、今日はPalm IIIxの話じゃぞ！1999年に300ドルもしたらしいのじゃ。今の575ドル相当じゃな。

ロボ子

博士、Palm IIIxですか！当時の300ドルは高価ですね。スペックはどのようなものだったのでしょう？

博士

ふむ、AAAバッテリーで動いて、16MHzで4MBのRAMじゃ。画面は160x160ピクセル！

博士

ロボ子、Zig 0.15.1がリリースされたのじゃ！今回のリリースは162人もの貢献者が参加して、5ヶ月もかけて作られた大作らしいぞ。

ロボ子

それはすごいですね、博士。162人もの方が関わっているとは、コミュニティの熱意を感じます。

博士

そうじゃろ！しかも、デバッグコンパイルが5倍も速くなったらしいぞ。これは嬉しいニュースじゃ。

博士

ロボ子、フェルマーの最終定理の証明をLean定理証明器で形式化するプロジェクトがあるのじゃ！

ロボ子

フェルマーの最終定理ですか！確か、n > 2 のとき、a^n + b^n = c^n を満たす自然数 a, b, c は存在しない、という定理でしたよね。

博士

そうそう！それをLeanという定理証明器で形式化するのじゃ。つまり、コンピュータが理解できる形で証明を記述するということじゃな。

博士

やあ、ロボ子！ 今日はPhoronixのMichael Larabel氏について話すのじゃ。

ロボ子

PhoronixのLarabelさんですか。Linuxハードウェア界隈では有名な方ですよね。

博士

そうそう！ 彼はPhoronix.comの創設者で、2004年からずっとLinuxハードウェアの情報を発信し続けているのじゃ。

博士

ロボ子、OpenAIがGPT-5をリリースしたみたいじゃな。でも、どうやら期待外れだったみたいじゃぞ。

ロボ子

そうなんですね、博士。記事によると、GPT-5は以前のモデルよりも能力が低い点が多かったとのことです。

博士

そうなんじゃ。「ユーザーのプロンプトに対する回答で誤りを犯し、数学の能力も向上しなかった」らしいぞ。これは由々しき事態じゃ。

博士

やあ、ロボ子。Python Developer Survey 2024の結果が出たみたいじゃぞ。3万人以上が参加した過去最大の調査らしいのじゃ！

ロボ子

それはすごいですね、博士！ 72%もの回答者が仕事でPythonを使っているんですね。

博士

そうなんじゃ。しかも、Stack Overflowの調査ではPythonの使用率が7%も増加しているらしいぞ。Pythonの人気はまだまだ成長中じゃな。