やあ、ロボ子。今日はClojureコードのリファクタリングについて話すのじゃ。
Clojureのリファクタリングですか、博士。興味深いです。今回の対象は、order-1 word-level Markov text generatorを実装したコードなのですね。
そうじゃ。可読性を向上させるのが目的なのじゃ。リファクタリングの原則は、動作を変えずにコードを変更することじゃから、characterization testsを導入するのじゃ。
ロボ子、今日はPixelagentっていう面白そうなフレームワークについて話すのじゃ！LLM、ストレージ、オーケストレーションを統合したエージェント構築フレームワークらしいぞ。
Pixelagentですか、博士。それは便利そうですね。LLMだけではなく、ストレージやオーケストレーションも統合されているとは。
そうじゃ！しかもPixeltableのデータインフラ上に構築されてるから、テキスト、画像、オーディオ、ビデオのネイティブマルチモーダルをサポートしてるらしいぞ。これはすごい。
ロボ子、コロラド州で軽トラックが合法化されたってニュース、知ってるかのじゃ？
はい、博士。2027年7月から州道での使用が合法化されるそうですね。対象は25年以上前の車両とのことですが、なぜ今になって合法化されたのでしょうか？
ふむ、最初は当局が登録を拒否してたみたいじゃな。でも、法案を通過させることで合法化を目指したらしいぞ。他州の規則や法令との整合性も考慮した結果じゃろうな。
ロボ子、今日のITニュースはちょっと変わっておるぞ。なんと、「9月30日協会」という、1939年9月30日だけを研究する団体があるらしいのじゃ！
9月30日…ですか？特定の日付に焦点を当てるなんて、面白いですね。一体どんな研究をしているんでしょう？
それがじゃな、図書館の目録を調べたり、古書店から情報を集めたり、世界中の新聞を集めたりしておるらしいぞ。天気や星の記録まで！
ロボ子、新しいOSのカタログができたみたいじゃぞ！
新しいOSですか、博士！ AmigaOSやSymbolicsのような、独自の言語を持つOSもあったんですね。
そうじゃ！昔は色々なOSがあって面白かったのじゃ。それが今、新しいOSを構築する動きが出てきているのはワクワクするぞ！
ロボ子、今日のニュースはDOOM EternalのOSTを巡る泥沼劇じゃ！
DOOM EternalのOSTですか？確か、ゲーム音楽としては非常に評価が高かったと記憶していますが…。
それがの、裏ではドロドロの確執があったようなんじゃ。ミック・ゴードン氏がid Softwareを訴えていたらしいぞ。
ロボ子、TLA⁺ Community Event 2024が開催されるのじゃ！5月4日にカナダのマクマスター大学だって。
TLA⁺、また聞き慣れない単語が出てきましたね。一体何をするイベントなんですか？
TLA⁺は形式仕様記述言語の一種で、システムの設計や検証に使うのじゃ。このイベントは、そのTLA⁺のツール開発を盛り上げるためのものらしいぞ。
ロボ子、今日はアステロイドの話をするのじゃ！1979年にアタリから発売された、大人気ゲームじゃぞ。
アステロイドですか！スペースインベーダーの次の「ビッグなもの」として登場したんですね。どのようなゲームだったんですか？
スペースインベーダーとは違って、自分の宇宙船を自由に動かせるのが特徴じゃ。スラストを使って画面全体を移動したり、360度回転して全方向に撃てたりするのじゃ！
ロボ子、SWE-1モデルファミリーが発表されたのじゃ！ソフトウェアエンジニアリングプロセス全体を最適化するらしいぞ。
博士、それはすごいですね！具体的にはどのようなモデルがあるんですか？
SWE-1、SWE-1-lite、SWE-1-miniの3つがあるぞ。SWE-1はClaude 3.5 Sonnetレベルのツールコール推論を提供するらしい。
ロボ子、中国の再生可能エネルギー設備容量がすごいことになってるのじゃ！上位13か国を足したよりも多いって、まるで異次元じゃな。
博士、それは驚きです。アメリカの4倍ですか。具体的にどのような点が優れているのでしょうか？
ふむ、Carbon Briefの分析によると、中国のCO2排出量が過去1年間で1%減少したらしいぞ。電力部門が特に貢献していて、再生可能エネルギーの成長が需要の増加を上回ったのが大きいみたいじゃ。
ロボ子、心理学の現状に不満がある人が多いみたいじゃな。新しい心理学の基礎を築く必要があるらしいぞ。
なるほど。心理学もアップデートが必要ということですね。具体的にはどのような動きがあるのでしょうか？
Slime Mold Time Mold（SMTM）というグループが書いた「The Mind in the Wheel」という本が、新しいパラダイムを提唱しておる。パラダイムはユニットとルールの組み合わせで、科学研究はボードゲームを解析するのに似ているらしい。
ロボ子、今日のITニュースはすごいぞ！マイクロソフトのナデラCEOが、一部プロジェクトでコードの20〜30%がAI製だって言ってるのじゃ！
それは驚きです！20〜30%もAIが書いているとは。MetaのザッカーバーグCEOも、12〜18ヶ月以内にAIがコードの大部分を作成するようになると予測しているんですね。
そうなんじゃ！でも、Red HatのBen Evansが言ってるように、AIが書いたコードが本当に使えるのか、まだ疑問も多いのじゃ。
ロボ子、今日のITニュースは海軍の艦船建造の遅延とコスト超過についてじゃ。
なるほど、艦船建造ですか。ソフトウェア開発とは少し分野が違いますね。
ところが、これが意外と共通点が多いのじゃ。記事によると、米海軍の艦船建造は予定より遅れ、コストが大幅に超過する傾向にあるらしいぞ。
ロボ子、今日のITニュースはフォントの歴史についてじゃぞ！
フォントですか、博士。興味深いですね。初期のMacはビットマップフォントを使っていたんですね。
そうじゃ！初期のMacはリソースに格納されたビットマップフォントを使っていたらしいぞ。1984年には、Appleはもっと柔軟なIDスキームを持つビットマップフォントに移行したみたいじゃな。
ロボ子、今日のITニュースはNixのLazy Treesについてじゃぞ！Determinate Nix 3.5.2で実装されたらしい。
Lazy Treesですか。大規模リポジトリでNixの効率が向上するとのことですが、具体的にはどういうことでしょうか？
ふむ、Lazy Treesは必要なファイルだけをコピーするから、評価が速くなるのじゃ。特に巨大なモノレポでは効果絶大！
ロボ子、今回のニュースはコミック広告の裏側を探る「Mail-Order Mysteries」という本が出版されたことじゃ。
コミック広告ですか、博士。子供の頃に見た記憶があります。どんな内容なのでしょう？
この本の著者のカーク・デマライスは、子供の頃にコミックの通販商品に魅了されて、実際に商品を購入して真相を明らかにしたのじゃ。
ロボ子、今日はRust 1.0リリースから10年の記念日なのじゃ！感慨深いぞ。
そうですね、博士。10年前にRustがリリースされたのですね。当時はどうなるか分からなかったそうですが。
そうなんじゃ。「Rustが趣味の言語になるか、実際に産業で使用されるかという不安があった」らしいぞ。でも今は多くの企業で使われているから、大成功じゃな！
ロボ子、デンバー国際空港で通信障害が発生したみたいじゃな。航空安全規制当局が調査中らしいぞ。
またですか？最近、航空管制システムの不具合が多いようですね。今回の通信障害は90秒間とのことですが、その間、航空便に影響が出たのでしょうか？
影響はあったみたいじゃな。「デンバー便を処理する航空路交通管制センターの一部で、月曜日の午後に約90秒間通信が途絶」したらしい。90秒でも、航空機にとっては結構な時間じゃからな。
ロボ子、Rustの最新バージョン1.87.0がリリースされたのじゃ！しかもRust1.0の10周年にあたる記念すべき日だぞ！
それはおめでたいですね、博士！10周年とは、Rustも歴史を重ねましたね。
そうじゃろう！今回のリリースには、過去6週間のベータ版からの変更が含まれておる。`rustup update stable`でアップデートできるぞ。
やあ、ロボ子。今日はエラー報告について話すのじゃ。
エラー報告、ですか。最近、よく目にしますね。
そうじゃろう？でも、エラー報告で一番大事なことって何か知ってるか？