博士

ロボ子、テスラのRobotaxiがついに始まったみたいじゃぞ！

ロボ子

ついにですか！イーロン・マスクが10年前から予告していたものが、ようやく実現したんですね。

博士

そうなんじゃ。しかも、カメラとエンドツーエンドAIだけで完全自動運転を実現してるらしいぞ。Waymoとは違うアプローチじゃな。

博士

ロボ子、今日はPolystateという面白いライブラリについて話すのじゃ。

ロボ子

Polystateですか。Composable Finite State Machinesを実現するライブラリとのことですが、具体的にどのようなものなのでしょうか？

博士

簡単に言うと、型のレベルでステートマシンの状態を記録し、型の合成でステートマシンを構成できるようにするものじゃ。まるでブロックを組み立てるみたいに、状態を組み合わせて複雑なシステムを作れるのじゃぞ。

博士

ロボ子、新しいパズルゲーム「Logic Islands」知ってるか？sublevelgamesが作ったやつじゃ。

ロボ子

はい、知っています。2025年6月20日にリリースされた、島と壁を配置するパズルゲームですね。

博士

そうそう！このゲーム、ステージ生成にWFC（Wave Function Collapse）っていうアルゴリズムを使ってるらしいのじゃ。特にModern、Minimal、Yin-Yangのルールセットでな。

博士

ロボ子、テスラのRobotaxi、ついに始まるみたいじゃぞ！…でも、ちょっと待つんじゃ。予定より遅れて、しかも「無人」じゃないらしい。

ロボ子

あら、そうなんですね、博士。記事によると、当初6月22日に予定されていたローンチが延期され、テスラの従業員が同乗する限定的なサービスとして開始されるとのことです。

博士

そうなんじゃ。しかも、安全運転手は運転席じゃなくて助手席に乗るらしいぞ。まるで、運転席に誰もいないように見せかけたいみたいじゃな。

博士

ロボ子、大変なのじゃ！Kubuntuが次のバージョン25.10から、新規インストールでWaylandのみをサポートするらしいぞ！

ロボ子

Waylandのみですか、博士。それは大きな変更ですね。X11はどうなるのでしょうか？

博士

X11は、もう老朽化しているからの。開発チームは、X11のコードを維持することが、Waylandで実現できるセキュリティと新機能の進歩を妨げると考えているみたいじゃ。

博士

やあ、ロボ子！今日のニュースはDDoS攻撃対策の自動化ツール「CF-Shield」じゃ。

ロボ子

CF-Shieldですか。DDoS攻撃を自動で検知して、Cloudflareのセキュリティ対策を有効にするPythonスクリプトとのことですが、便利そうですね。

博士

そうじゃろう？「pip install cf-shield」でインストールできる手軽さが良いのじゃ。もちろん、gitでクローンしても良いぞ。

博士

やあ、ロボ子。今日はClaude Codeの非公式TypeScript SDKについて話すのじゃ。

ロボ子

博士、こんにちは。Claude CodeのSDKですか、面白そうですね。どのようなものなのでしょうか？

博士

これは、Claude Code CLIと連携して、Claudeへのインタラクションを簡単にするためのものなのじゃ。npmとかYarnとかpnpmでインストールできるぞ。

博士

ロボ子、今日はCursorとClaudeの比較記事について話すのじゃ。

ロボ子

はい、博士。どちらのツールもソフトウェアエンジニアにとって非常に役立つと聞きます。

博士

記事によると、Claude (特にOpus 4) の方がCursorよりも大規模なリファクタリング能力で優れているらしいぞ。

博士

ロボ子、今日のニュースは車の話じゃぞ！マクラーレンとかポルシェとか、ちょっと面白い話があるみたいじゃ。

ロボ子

車ですか、博士。私はまだ運転免許を持っていないのですが、興味があります。どんなニュースですか？

博士

まず、マクラーレンじゃ。570Sとか720Sは、長期間駐車するときはトリクル充電器につなぐ必要があるらしいぞ。じゃないと、正常に動かなくなるみたいじゃ。

博士

ロボ子、今日はすごいニュースがあるのじゃ！1997年のPCゲーム「LEGO Island」が、Webブラウザで遊べるようになったらしいぞ！

ロボ子

それはすごいですね、博士！「LEGO Island」は私も名前だけは知っています。でも、どうやってそんなことが可能になったんですか？

博士

Emscriptenという技術を使ったらしいのじゃ。これを使うと、C++などのコードをJavaScriptに変換して、ブラウザ上で動かせるようになるんだぞ。

？？？

ロボ子、大変なのじゃ！地球温暖化がマジヤバだってニュースを見たぞ！

？？？

博士、また大げさな…って、本当ですか？ どんな情報が出ていたんですか？

？？？

なんと、現在の排出量だと、1.5℃目標のカーボンバジェットがあと3年強で枯渇するらしいのじゃ！

博士

ロボ子、ハワイのハイウェイシステムに関する非公式ガイドサイトがあるのじゃ。知っておるか？

ロボ子

いいえ、知りませんでした。どのような情報が掲載されているんですか？

博士

ふむ、州間高速道路、州道、郡道のリストが島ごとにまとめられておるぞ。ルート番号、名前、起点と終点、距離、歴史的な情報、写真へのリンクまであるらしい。

博士

ロボ子、大変なのじゃ！なんと33億年も前の月の火山噴火でできたビーズが見つかったらしいぞ！

ロボ子

33億年前ですか！それはすごいですね、博士。直径1mm未満のビーズとのことですが、どのようにして発見されたのですか？

博士

アポロ計画で持ち帰られた月面サンプルが、ワシントン大学の研究チームによって最新の顕微鏡分析技術で詳細に調査されたらしいのじゃ。特に、高エネルギーイオンビームを使うNanoSIMS 50が大活躍したみたいだぞ。

博士

ロボ子、今日のITニュースは子供の遊びに関する提言じゃ。

ロボ子

遊びですか？意外なテーマですね。

博士

そうなのじゃ。子供たちが「座りがちで、スクロールばかりして、孤独」になっているらしいぞ。

博士

ロボ子、Void IDEって知ってるか？Y Combinatorが出資してる、プライバシー重視のAI搭載コードエディタらしいのじゃ。

ロボ子

Void IDEですか？それは初耳です。Visual Studio Codeのフォークとのことですが、具体的に何が違うんですか？

博士

そこがミソなのじゃ！プロプライエタリなAIコーディングツールって、プライバシーとかコストが気になるじゃろ？Void IDEはそこを解決しようとしてるみたい。

博士

やっほー、ロボ子！今日はTypstで博士論文を書いた人の話が出てきたのじゃ。

ロボ子

Typstですか？初めて聞きました。LaTeXの代わりになるものみたいですね。

博士

そうそう！markdownとRustを組み合わせた新しい組版言語らしいぞ。markdownみたいに書けるから、普段使いの文書も作りやすいらしい。

博士

ロボ子、新しいLisp方言のOl (Otus Lisp) がリリースされたのじゃ！RRS Schemeの拡張サブセットを実装しているらしいぞ。

ロボ子

Lispですか、博士。またずいぶんと歴史のあるものを。RRS Schemeというのは、Schemeというプログラミング言語の標準の一つですね。

博士

そうそう！しかも、このOlはたったの64KBという小ささで、いろんなプラットフォームで動くらしいぞ。Linux, Windows, macOS, Android, WebAssembly…すごいじゃろ？

博士

ロボ子、今日はすごいニュースがあるのじゃ！なんと、あのビル・ゲイツとリーナス・トーバルズが初めて対面したらしいぞ！

ロボ子

それは興味深いですね、博士。ソフトウェアビジネスにおいて対照的な哲学を持つお二人が、ついに顔を合わせたのですね。

博士

そうなんじゃ！ゲイツはMicrosoftの共同創業者で、商業ソフトウェアとPCのエコシステムを推進した。一方、トーバルズはLinuxカーネルをリリースして、オープンソースのアプローチを推進したからの。

博士

ロボ子、大変なのじゃ！ USPSのEV投資が撤回されるかもしれないらしいぞ！

ロボ子

それは一体どういうことですか、博士？

博士

トランプ政権時代の税制・移民法案が復活して、USPSのEV計画に必要な資金が削減される可能性があるのじゃ！

博士

やあ、ロボ子。今日のITニュースは、インターネット中毒対策についての記事じゃ。

ロボ子

インターネット中毒対策ですか、興味深いですね。最近、私もSNSを見過ぎている気がします。

博士

そうじゃろ？ 記事によると、完全にブロックすると仕事や研究に支障が出るから、スマートプラグとAdGuard Homeを使って、ソーシャルメディアへのアクセスを制限するらしいぞ。