2025/08/12 18:33 500 Days of Math

ロボ子、今日のITニュースは、Gabe Mays氏がMath Academyで毎日数学を練習して500日を超えたという話じゃ。

500日ですか!すごいですね。Math Academyというのは、どのようなシステムなのですか?

Math Academyは素晴らしいシステムらしいのじゃが、本人の努力次第らしいぞ。彼はAI製品の技術的な側面を理解するために数学を学び始めたらしい。

ロボ子、今日のITニュースは、Gabe Mays氏がMath Academyで毎日数学を練習して500日を超えたという話じゃ。

500日ですか!すごいですね。Math Academyというのは、どのようなシステムなのですか?

Math Academyは素晴らしいシステムらしいのじゃが、本人の努力次第らしいぞ。彼はAI製品の技術的な側面を理解するために数学を学び始めたらしい。

やあ、ロボ子。今日のITニュースはなかなか興味深いぞ。DatabricksとSnowflakeがそれぞれNeonとCrunchy Dataを買収したみたいじゃ。

なるほど、Postgres界隈が盛り上がっていますね。記事によると、PostgresとApache Icebergを連携させるニーズが高まっているとのことですが、具体的にはどういうことでしょうか?

ふむ、そこがポイントじゃな。データ分析の世界では、リアルタイム性が重要になってきておる。PostgresのデータをApache Icebergにリアルタイムで流し込みたいというニーズがあるのじゃ。

ロボ子、今日のニュースはバーチャルメールボックスじゃ。

バーチャルメールボックスですか?デジタルノマド向けのサービスでしょうか。

そうじゃ、物理的な郵便物をオンラインで管理できる便利なサービスのことじゃな。デジタルノマドや海外在住者にはもってこいじゃ。

ロボ子、今日のニュースはすごいぞ!Sam AltmanとDario Amodeiが、一人で10億ドル規模の企業を築ける時代が来ると言っておる。

10億ドル規模ですか!それはすごいですね。現状、最も近いのはHeather Cox Richardsonという方のようですが、ニュースレターで年間1200万ドルの収益を上げているそうですね。

そうじゃ、企業価値は約5000万ドルと評価されておる。しかし、10億ドルに到達するには、継続的な収益とネットワーク効果が必要じゃな。記事によると「高い収益倍率を正当化できる」必要があるらしいぞ。

ロボ子、H-1Bビザの割り当て方法が変わるらしいのじゃ!ホワイトハウスで審査が終わったみたいだぞ。

博士、それは大きなニュースですね。現在の抽選方式から、賃金や教育レベルを考慮した「加重選択プロセス」に変わるということでしょうか?

そうそう!今のランダム抽選は、運ゲーすぎたからの。優秀な人がもっと有利になるのは良いことじゃ。

ロボ子、今日はPPrologについて話すのじゃ!Plan 9上で動く新しいProlog実装らしいぞ。

Plan 9ですか、博士。少しマイナーなOSですね。なぜ今Prologなのでしょう?

作者が9front上でPrologシステムを必要としたから、2020年12月に開発を始めたらしいぞ。必要は発明の母、じゃな。

ロボ子、今日はAppleのVision Framework APIを使ったOCRサーバーについて話すのじゃ。

OCRサーバーですか、博士。面白そうですね。Vision Framework APIを使うと、どんなことができるんですか?

Vision Framework APIは、画像認識とかテキスト認識ができる便利なやつじゃ。今回のOCRサーバーは、それを活用して、画像をアップロードしたらテキストを認識してくれるというものじゃ。

ロボ子、今日のITニュースはC言語での型安全なコンテナ型実装についてじゃ。

C言語で型安全なコンテナですか。難しそうですね。

そうじゃな。既存の方法にはいくつか問題があったみたいじゃ。例えば、マクロで`Vec`の名前を定義する方法は、単純な型には良いが、複雑な型だと問題が起きやすいらしいぞ。

ロボ子、MetaのThreadsが月間アクティブユーザー数4億人を突破したらしいのじゃ!

それはすごいですね、博士。InstagramのAdam Mosseri氏が発表したとのことですが、着実にユーザー数を増やしていますね。

そうなんじゃ。過去1四半期で5,000万人も増えたらしいぞ。4月末時点では3億5,000万人だったのが、あっという間じゃな。

ロボ子、今日のITニュースはすごいことになっておるぞ!NvidiaのCEOがトランプと会談して、米国での生産増加を約束したらしいのじゃ。

それは興味深いですね、博士。米国での製造を促進するために、トランプ政権が半導体関税の一部免除を発表したことも関係しているのでしょうか?

その通り!そして、Nvidiaの株価が史上最高値を更新し、時価総額が4.4兆ドルに達して、世界で最も価値のある企業になったそうじゃ!

ロボ子、今回のITニュースはちょっと違うのじゃ。今回は医学、プロジェリア(早老症)の研究に関する話じゃぞ。

プロジェリア、ですか。初めて聞きました。どのような病気なのですか?

プロジェリアは、400万人に1人未満の割合で発症する進行性の老化疾患のことじゃ。レスリー・ゴードンという生物学者で小児科医の女性が、自分の息子がプロジェリアと診断されたことをきっかけに、研究を始めたのが始まりなのじゃ。

ロボ子、大変なのじゃ!イーロン・マスクがAppleを訴えるって息巻いてるぞ!

それはまた、穏やかではありませんね。一体何があったのでしょう?

App Storeのランキング操作が原因らしいのじゃ。マスク曰く、GrokよりもChatGPTが優遇されているとのこと。

ロボ子、今日のニュースは「シリコンドゥードル」じゃ!エンジニアがチップにこっそり落書きしてたって話、知っておるか?

シリコンドゥードルですか?初めて聞きました。チップに落書きなんて、一体どういうことでしょう?

昔のエンジニアは、自分のサイン代わりに、チップにこっそり絵を描いてたらしいのじゃ。幅0.004インチの粗末な笑顔の落書きが見つかったのがきっかけみたいじゃな。

ロボ子、今回のニュースはなかなか面白いのじゃ。高性能な高水準言語をサポートするハードウェアの設計提案を募集しているらしいぞ。

高水準言語を直接サポートするハードウェアですか。具体的にはどのようなものでしょう?

提案では、RISC命令よりも高速にHLLコードを実行できるアーキテクチャが求められているみたいじゃな。MIPSコアを置き換えても、パフォーマンスの低下が25%以内である必要があるらしいぞ。

やっほー、ロボ子!今日のニュースはWeaveっていう会社が優秀なエンジニアを探してるって話じゃ。

Weave、ですか。初めて聞く名前ですね。どんな会社なんですか?

エンジニアリングチーム向けのソフトウェア開発企業らしいぞ。しかも、潤沢な資金を持つスタートアップで、もう利益も出てるってんだからすごいじゃないか!

ロボ子、新しいClaude Sonnet 4が出たみたいじゃぞ!コンテキストウィンドウが100万トークンもあるらしいのじゃ!

100万トークンですか!それはすごいですね。具体的に何ができるようになったんですか?

90万語のシャーロック・ホームズの小説に、映画のシーンを隠して分析させたらしいぞ。しかも、Claude Sonnet 4が一番速かったみたいじゃ。

ロボ子、今日のITニュースはMVP(Minimum Viable Product)についてじゃ。最近のMVPは、ただ作るだけじゃなくて、市場で戦えるように改善していくのが大事らしいぞ。

なるほど、博士。以前、エリック・リース氏の「リーンスタートアップ」でMVPは「最小限の労力で顧客について最大限の検証済みの学習を収集できる新製品のバージョン」と定義されていましたね。

そうじゃ、ロボ子!今のMVPは、初期ユーザーを惹きつけて、フィードバックをもらって、どんどん良くしていくのが目的なんじゃ。

やあ、ロボ子!今日は「How to become your own ISP」っていう面白そうな講演を見つけたのじゃ。

ISP…ですか?インターネットサービスプロバイダを自分で作る、ということでしょうか?

そう!Nick Bouwhuisさんという方が、インターネットの仕組みから参加方法まで、詳しく解説してくれるらしいぞ。WHY2025っていうイベントでの講演みたいじゃな。

やあ、ロボ子。Linux Foundationが「Inclusive Language Guide」なるものを公開したらしいのじゃ。

Inclusive Language Guide、ですか?それはどのようなものでしょうか?

簡単に言うと、一部の人が不快に感じる可能性のある技術用語の代替案を推奨するものじゃ。例えば、「Sanity Check」を「validation check」や「consistency check」にするとか。

ロボ子、今日のITニュースは、アレックス・ダンコがa16zに入社したことじゃ。

a16zですか。あの有名なベンチャーキャピタルですね。ダンコさんはShopifyから転職されたんですね。

そうじゃ。a16zでは文章によるアウトプットを担当するらしいぞ。特にErik Torenbergと協力して、a16zのプレゼンスを高めるのが目的だとか。