2025/05/02 22:02 Colibri: The Declarative, Turing-Complete Language Lurking Inside Swift

ロボ子、今日は`MathEngine`という面白いものを見つけたのじゃ!

`MathEngine`ですか?それは一体何でしょう、博士?

これはね、加算、減算、乗算、除算を順番に行う数学エンジンなのじゃ。`Operations`というenumで、それぞれの計算を定義しているんだぞ。

ロボ子、今日は`MathEngine`という面白いものを見つけたのじゃ!

`MathEngine`ですか?それは一体何でしょう、博士?

これはね、加算、減算、乗算、除算を順番に行う数学エンジンなのじゃ。`Operations`というenumで、それぞれの計算を定義しているんだぞ。

ロボ子、大変なのじゃ!Getaroundがアメリカでのカーシェアリングサービスを終了するらしいぞ。

えっ、博士!それは本当ですか?Getaroundは結構利用されていたイメージがありますが…。

そうなのじゃ。どうやら「全体的な収益性の改善と大規模なリストラ努力にもかかわらず、継続的な流動性の不足に直面」したのが原因らしいぞ。アメリカでの事業がもう実行不可能になったんだって。

ロボ子、今日はちょっと昔のIT業界の裏話みたいなのじゃ。GoogleがAppleの元幹部を引き抜こうとしたら、スティーブ・ジョブズに止められたって話、知ってるか?

ええ、少し前に話題になっていましたね。Googleがパリに新しいエンジニアリングセンターを作ろうとして、Appleの元幹部であるJean-Marie Hullot氏とそのチームを雇おうとしたんですよね。

そうそう。GoogleのAlan Eustaceって人が、ちゃんとジョブズに連絡して許可を取ろうとしたのが面白いところじゃ。

ロボ子、MetaのAI投資が予想以上に増えるらしいのじゃ!

本当ですか、博士? どのくらい増えるのでしょうか?

2025年の設備投資額が640億ドルから720億ドルになる可能性があるらしいぞ。以前の予測は600億ドルから650億ドルだったから、かなり増えるのじゃ!

ロボ子、大変なのじゃ!ジェフ・ベゾスが今後1年間で最大2500万株ものAmazon株を売却する計画らしいぞ!

それはすごいですね、博士。2500万株というと、現在の株価で約48億ドル相当になるそうですね。

そう!48億ドル!ベゾスは2021年にCEOを退任したけど、まだAmazonの筆頭株主だからの。それにしても、なぜこんなに大量に売却するのかのう?

やあ、ロボ子。今日のニュースはMetaのAIトレーニングに関する著作権侵害訴訟じゃ。

興味深いですね、博士。Chhabria判事が原告側に具体的な損害を示す証拠を求めたとのことですが、これはどういう意味を持つのでしょうか?

ふむ、これはつまり、原告側はMetaのAIトレーニングによって実際にどれだけの損害を受けたのか、具体的な数字やデータで示さなければならないということじゃ。例えば、著作権作品の売り上げがどれだけ減ったか、とかじゃな。

ロボ子、大変なのじゃ!台湾の研究チームが、幻のプラネット・ナインの有力候補を発見したらしいぞ!

プラネット・ナインですか?確か、2016年に提唱された、太陽系の外縁部に存在するかもしれない巨大惑星のことでしたよね。

そうそう!カイパーベルト天体の奇妙な軌道を説明するために、カリフォルニア工科大学の先生たちが言い出したのじゃ。質量は海王星より大きいって予測されてるぞ。

やっほー、ロボ子!今日も最新のITニュースをお届けするのじゃ!今回は、Pi0とLerobotを使ったロボット訓練のリポジトリについてじゃ。

博士、こんにちは。Pi0とLerobotですか、面白そうですね。人間のポーズのモーションリターゲティングも行うとのことですが、具体的にどのようなことができるのでしょうか?

ふむ、このリポジトリでは、複数の画像からカメラの内部・外部パラメータ、深度マップ、点群を取得できる「カメラキャリブレーション」ができるのじゃ。コマンドは`pixi run calibrate-cameras-vggt`じゃ。

ロボ子、今日のニュースはアメリカ空軍の大統領専用機、通称エアフォースワンに関するものじゃ。

エアフォースワン、ですか。現行のVC-25Aは老朽化が進んでいるそうですね。

そうなんじゃ。VC-25Aは1987年から運用されてるからのう。そこで、次期大統領専用機VC-25B(747-8型機を改造)への更新が計画されたんじゃが、遅延が発生しておる。

ロボ子、今日のITニュースは、腸内細菌が血糖値のコントロールに関わっているという話じゃぞ!

腸内細菌ですか、博士。それはまた意外な分野ですね。具体的にはどのような内容なのでしょうか?

中国の研究チームが、特定の腸内細菌とその代謝産物が、GLP-1っていうホルモンの分泌を促進することを発見したのじゃ。GLP-1は血糖値と満腹感を調節する、とっても大事なホルモンなんじゃぞ。

ロボ子、CoreCode Ltd.がMacUpdaterの開発を2026年1月1日以降に中止するらしいのじゃ。

MacUpdaterですか? macOSアプリのアップデートを支援するツールですよね。なぜ中止されるのでしょう?

それがの、記事によると「ユーザーの支持と技術的な優位性にもかかわらず、CoreCodeは非サブスクリプションモデルでの収益化が困難」とのことじゃ。つまり、みんな買ってくれなかったってことじゃな。

ロボ子、今日のITニュースはBitNet b1.58モデルじゃ!メモリ要件を削減できるらしいぞ。

BitNet b1.58モデル、ですか。具体的にはどのようにメモリを削減するのでしょう?

内部ウェイトの複雑さを軽減するらしいのじゃ。必要なメモリはたったの0.4GB!他の同程度のモデルが2〜5GB必要なのに比べて、すごいじゃろ?

ロボ子、大変なのじゃ!アメリカ司法省(DOJ)がGoogleの検索独占を制限しようとしてるみたいだけど、これが実現するとFirefoxが事業から撤退するかもしれないって、Mozillaの幹部が言ってるらしいぞ。

それは大変ですね、博士。具体的にはどのような提案がされているのでしょうか?

DOJは、GoogleがFirefoxみたいな第三者のブラウザで、デフォルト検索エンジンになるためにお金を払うのを禁止することを求めてるんだって。裁判所はすでに、Googleが検索市場で違法な独占をしてるって判断してるみたいだぞ。

ロボ子、今日はワールドパスキーデーじゃぞ!Microsoftもパスキーの普及に力を入れているみたいじゃな。

パスキーですか。パスワードに代わる、フィッシング耐性のある認証方法とのことですが、具体的にはどういう仕組みなのでしょう?

ふむ、パスキーは顔認証、指紋認証、PINなどを使って、アプリやウェブサイトにサインインできる仕組みのことじゃ。FIDO Allianceと協力して開発されたみたいじゃな。

ロボ子、今日のITニュースはハッシュテーブルの進化についてじゃぞ!SBCLのハッシュテーブルが「Adaptive Hashing」で賢くなったらしい。

ハッシュテーブルですか、博士。それは興味深いですね。具体的にはどのように適応するようになったのでしょうか?

それが面白いんじゃ!従来のハッシュテーブルって、最悪のケースばかり気にして、実際の速さとか、キーの分布を考えてなかったんじゃ。でも、このAdaptive Hashingは、キーの分布に合わせてハッシュ関数をオンラインで変えることで、衝突を減らして、キャッシュ効率を上げるらしいぞ。

ロボ子、イングランドで新築住宅への太陽光パネル設置が義務化されるらしいのじゃ!

それは素晴らしいニュースですね、博士。環境に優しい家が増えるのは良いことです。

そうじゃろう?記事によると、ほぼすべての新築住宅に建設から2年以内に太陽光パネルが設置されることになるらしいぞ。

ロボ子、MITの研究者たちが量子システムで過去最高の非線形光物質結合を実証したらしいのじゃ!

非線形光物質結合ですか。それが量子コンピューティングにどう影響するのでしょう?

それがすごいんじゃ!新しい超伝導回路アーキテクチャを使って、従来のデモより約1桁も強力な結合を実現したらしいぞ。つまり、量子プロセッサの実行速度が約10倍になる可能性があるってことじゃ!

ロボ子、大変なのじゃ!テキサス州司法長官が、大手歯磨き粉メーカーを調査しているらしいぞ!

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

どうやら、コルゲートとクレストがフッ化物に関して「誤解を招き、欺瞞的で、危険な方法で」歯磨き粉を販売している疑いがあるらしいのじゃ。

ロボ子、大変なのじゃ!アメリカの科学研究を支える教育システムへの資金が削減されようとしているらしいぞ。

それは由々しき事態ですね、博士。具体的にはどのようなプログラムが対象になっているのでしょうか?

教育省の廃止に加えて、低所得者層向けのプログラムが標的にされているみたいじゃ。例えば、GEAR UPプログラムじゃな。

ロボ子、今日のニュースはイギリスのGraven Hillという場所での住宅建設実験の話じゃ。

住宅建設実験、ですか?一体どんな実験なのでしょう?

住民が自由にデザインした家を建てられるという、大規模な試みらしいぞ。記事によると、屋根の傾斜から窓の形、バルコニーの素材まで、みんなバラバラなんだって。