ロボ子、Wasmerがコンパイラエンジニアを募集してるのじゃ。フルリモートで、RustとかWebAssemblyを使うらしいぞ。
Wasmerですか。サーバーサイドWebAssemblyを推進している企業ですね。コンパイラエンジニアの募集、面白そうです。
そうじゃ！「Wasmerのミッション：ソフトウェアを普遍的に利用可能にすること」らしいぞ。なんだか壮大じゃな！
ロボ子、今日はTLA+を使ったglibcの条件変数のバグ調査について話すのじゃ。
条件変数のバグですか。それは大変ですね。TLA+はプログラムの検証に使う言語でしたっけ？
そうじゃ。TLA+はプログラムの実行を網羅的にチェックして、アサーションが満たされない最短パスを特定できるのじゃ。今回のバグはglibcの条件変数（pthread_cond_signal()）でwake-upが発生しないというものじゃ。
ロボ子、Rustが10周年を迎えたのじゃ！Amazonの人がRustWeekで講演したらしいぞ。
それはすごいですね、博士。AmazonもRustを使っているんですね。
そうなんじゃ。AWSのサービスやPrime Videoのクライアントで使われているらしいぞ。Prime VideoのクライアントはWebAssemblyにコンパイルされたRustを使っているらしいのじゃ。
ロボ子、Stripeのジョン・コリソンって知ってるか？
はい、博士。Stripeの共同創業者で、アイルランドで最も若い億万長者の一人ですよね。
そうそう！そのStripeが、FordとかAmazonみたいな大企業から、OpenAIみたいなAI企業まで顧客に抱えてるってんだから、すごいぞ。
やあ、ロボ子。今日もITニュースについて語り合うのじゃ！
はい、博士。今日はどんな話題でしょうか？
今日はPythonの台頭についてじゃ。1990年代後半から2010年代初頭にかけて、Pythonのエコシステムが自然発生的に生まれたのが始まりじゃった。
ロボ子、今日のニュースはドイツ語じゃ！ドイツ語の先生が3人とも亡くなってるらしいぞ。
それは大変ですね、博士。ドイツ語はそんなに危険なのでしょうか？
危険かどうかはさておき、ドイツ語は習得が難しいらしいのじゃ。規則が曖昧で例外が多いって。
ロボ子、今回のニュースはSoCal Pythonの主催者、Michael Ryabushkin氏の訃報じゃ。
それは残念です。どんな方だったんですか？
記事によると、彼はSoCal Pythonグループの発展に大きく貢献した人物らしいのじゃ。PyLadiesのイベントにも協力したり、ハッカソンのためにオフィスを提供したり…
ロボ子、大変なのじゃ！フランスのマリンランド・アンティーブが閉鎖されたらしいぞ。
閉鎖ですか、博士。それは一体どうしたことでしょう？
フランスでイルカとクジラのショーが禁止された影響らしいのじゃ。2021年に施行された禁止措置で、1月5日に閉鎖されたみたいだぞ。
ロボ子、驚くべきニュースなのじゃ！今年の第一四半期、アメリカで増えた発電容量のほとんどが太陽光と風力だったらしいぞ！
本当ですか、博士！具体的にはどのくらいの割合だったのでしょう？
なんと、98%近くが太陽光と風力なのじゃ！特に3月は、新しい発電容量の100%が再生可能エネルギーで、そのうち太陽光が66.6%を占めたらしいぞ。
ロボ子、AWS Transformが一般提供開始されたらしいのじゃ！
AWS Transformですか。GenAIを活用して、メインフレームや.NET、VMwareのワークロードを移行するとのことですが、具体的にどのようなことができるのでしょうか？
ふむ、AWSの説明によると、GenAIを使って、古いシステムをAWSに最適化された形に変換してくれるらしいぞ。まるで魔法みたいじゃな！
ロボ子、今回のニュースはVoyager探査機の各サブシステムのオン・オフ状況じゃ。
なるほど。長期間の運用で、いろいろと状況が変わってきているんですね。
そうじゃな。例えば、Cosmic Ray Subsystem (CRS)は、省電力のために2025年2月25日にオフになったらしいぞ。
ロボ子、今日は「I Dropped My Phone The Screen Cracked」っていう、ちょっと変わった名前のライブラリについて話すのじゃ。
博士、面白い名前ですね！どんなライブラリなんですか？
これはね、ブラウザでオーディオノードの作成、構成、接続を簡単にするためのものらしいぞ。つまり、Web上で音を扱うのが楽になるってことじゃ。
ロボ子、ウィリアムズ症候群って知ってるか？約7,500人に1人が罹患する遺伝性の病気なのじゃ。
はい、博士。確か、見知らぬ人にも愛情深く接する特徴があるんですよね。とても友好的で共感的、そして話し好きだと。
そうそう！でも、他人への警戒心が薄いから、虐待やいじめを受けやすいのが心配なのじゃ。不安とか、心臓の病気とか、発達の遅れも伴うことが多いみたい。
ロボ子、最近の物理学の研究って、なんか面白いことあったかのじゃ？
はい、博士。近年の物理学研究は、標準模型、一般相対性理論、量子論を超える理論の探求に集中していたようですが、実験結果は過去の物理学を裏付けるものが多かったようです。
ええー、そうなのじゃ？ 新しい理論は出てこなかったのかの？
ロボ子、大変なのじゃ！アメリカの国際観光支出が減少しちゃうらしいぞ！
それは大変ですね、博士。具体的にはどれくらい減るのでしょうか？
2025年には125億ドルも減る見込みらしいぞ！2024年の1810億ドルから1690億ドルに減るってことは、22.5%も減るってことじゃ！
ロボ子、Ollamaが新しいエンジンを導入して、マルチモーダルモデルをサポートし始めたのじゃ！
それはすごいですね、博士！マルチモーダルモデルって、具体的にどんなことができるようになるんですか？
ふむ、例えばじゃな、「Llama 4 Scout」モデルを使うと、画像内の場所に関する質問に答えられるようになるぞ。サンフランシスコのフェリービルディングからスタンフォード大学までの距離を尋ねると、約56キロメートルと教えてくれるのじゃ！
ロボ子、エリザベス・ホームズのニュースは知っておるかのじゃ？
はい、博士。セラノスの投資家を欺いた罪で服役中ですね。そして、パートナーだったビリー・エヴァンスという人物が、新たな会社を設立したというニュースも見ました。
そう、その名もHaemanthus！ギリシャ語で「血液」と「花」を意味するらしいぞ。なんとも詩的な名前じゃな。
ロボ子、今日はTealについて話すぞ！Luaの静的型付け版みたいなものじゃ。
Tealですか、博士。Luaに型アノテーションを追加したものなのですね。TypeScriptと似たような位置づけでしょうか？
そうそう！まさにそんな感じじゃ。配列、マップ、レコード、インターフェース、共用体型、ジェネリクスまで指定できるらしいぞ。すごいじゃろ？
ロボ子、カーディオイドって知ってるか？
心臓形の図形のことですね。確か、コーヒーカップの内側にできる模様もカーディオイドだと聞いたことがあります。
そうそう！ ある円の周りを同じ半径の別の円が回転するときに、最初の円上の点が描く曲線なんじゃ。
ロボ子、大変なのじゃ！NASAが50年近く前のVoyager 1宇宙船で、20年以上前に使用不能と宣言されたスラスターを復活させたらしいぞ！
それはすごいですね、博士！Voyager 1は1977年に打ち上げられたんですよね。そんな昔の技術がまだ使えるなんて。
そうなんじゃ！JPLが3月に完了した操縦で、Voyager 1の主要ロールスラスターを再始動させたって報告してるぞ。このスラスターは、宇宙船を追跡星に合わせるために使われるらしい。