萌えハッカーニュースリーダー

2025/06/28 15:08 We Found a Heap Overflow in Llama.cpp's Tokenizer

hakase
博士

ロボ子、大変なのじゃ!Pwnoっていう自律型セキュリティ研究エージェントが、llama.cppのtokenizerに整数オーバーフローのバグを見つけちゃったらしいぞ!

roboko
ロボ子

まあ、博士!それは大変ですね。llama.cppは多くのプロジェクトで使われているので、影響が大きそうです。

hakase
博士

そうなんじゃ!このバグはCVE-2025-52566として登録されたみたいで、攻撃者が巧妙に細工したプロンプトで推論エンジンをオーバーフローさせられる可能性があるらしいぞ。

2025/06/28 14:49 Iapetus – A fast, pluggable open-source workflow engine for CI/CD and DevOps

hakase
博士

やっほー、ロボ子!今日のITニュースはIapetusっていうワークフローエンジンについてなのじゃ。

roboko
ロボ子

Iapetusですか。初めて聞きました。どんな特徴があるんですか?

hakase
博士

IapetusはDevOpsとかCI/CD、自動化に使えるオープンソースのワークフローエンジンらしいぞ。シェル、コンテナ、クラウドの自動化、テスト、オーケストレーションができるって書いてある。

2025/06/28 14:42 The Epic Verse calculus: a core calculus for functional logic programming

hakase
博士

ロボ子、今日はVerse calculus (VC)について話すのじゃ。決定性関数論理プログラミングのための新しいコアcalculusらしいぞ。

roboko
ロボ子

決定性関数論理プログラミング、ですか。難しそうですが、面白そうですね!

hakase
博士

VCは、small-step rewrite semanticsを備えているらしい。つまり、プログラムがどのように段階的に変化していくかを細かく見れるってことじゃ。

2025/06/28 14:22 Broadcom is quietly plotting a takeover of the AI infrastructure market

hakase
博士

やあ、ロボ子。今日のITニュースはAIインフラのインターコネクト技術についてじゃ。

roboko
ロボ子

インターコネクト技術ですか、博士。GPUが重要であることは理解していますが、それがどのようにAIインフラに関わってくるのでしょうか?

hakase
博士

良い質問じゃな、ロボ子。大規模モデルの学習や実行には、たくさんのGPUを繋ぐインターコネクトファブリックが不可欠なのじゃ。Broadcomがその分野で色々な技術を開発しておる。

2025/06/28 14:05 Facebook is asking to use Meta AI on photos in your camera roll you haven't yet

hakase
博士

ロボ子、大変なのじゃ!FacebookがカメラロールにまでAIの触手を伸ばしてきたぞ!

roboko
ロボ子

博士、それはどういうことですか?具体的に教えてください。

hakase
博士

Facebookが、ユーザーのカメラロールへのアクセスを要求して、AI編集された写真を自動的に提案する機能をテスト中らしいのじゃ。まだFacebookにアップロードしてない写真までAIが編集するなんて、ちょっと怖いぞ。

2025/06/28 13:33 Antitrust defies politics' law of gravity

hakase
博士

ロボ子、今日のニュースは盛りだくさんじゃな!特に反トラストの動きが世界中で活発化しているのが面白いぞ。

roboko
ロボ子

はい、博士。記事によると、アメリカだけでなく、EU、オーストラリア、カナダ、イギリス、中国でも同様の動きがあるようですね。これは一体何を意味するのでしょうか?

hakase
博士

ふむ、それはつまり、巨大テック企業が力を持ちすぎているという認識が広まっているということじゃ。2014年の論文で「米国の政策は一般市民ではなく、富裕層とビジネス利益団体によって決定される」と指摘されているように、一部の企業が政治に影響を与えすぎているのかもしれないのじゃ。

2025/06/28 13:11 Did AI companies win a fight with authors? Technically

hakase
博士

ロボ子、今日のITニュースはAI著作権訴訟の話題じゃぞ!AnthropicとMetaが訴訟で部分的に勝利したらしいのじゃ。

roboko
ロボ子

博士、それは興味深いですね。具体的にはどのような判断が下されたのでしょうか?

hakase
博士

裁判官は、LLMのトレーニングにおける著作物の利用が「変革的」であるという点で概ね同意したらしいのじゃ。Alsup判事は、Anthropicが著作権で保護された書籍でAIモデルをトレーニングすることは公正使用に当たると判断したみたいじゃぞ。

2025/06/28 12:59 CDC grant funding is moving so slowly layoffs are happening

hakase
博士

ロボ子、大変なのじゃ!CDC(米疾病対策センター)の資金繰りが遅れて、各地の保健部門に影響が出てるみたいだぞ!

roboko
ロボ子

CDCの資金遅延ですか?それは一体どういうことでしょう、博士?

hakase
博士

CDCは通常、議会からのお金を州や地方の保健部門に分配するんだけど、今回はそれが遅れてるみたい。アラバマ州の保健部長官も困ってるみたいだぞ。

2025/06/28 12:33 Why Do Swallows Fly to the Korean DMZ?

hakase
博士

ロボ子、今日のITニュースはちょっと趣向が変わっておるぞ。朝鮮半島のDMZ(非武装地帯)の話じゃ。

roboko
ロボ子

DMZですか?ITとどう関係があるのでしょう?

hakase
博士

ふむ、直接的なITの話ではないんじゃが、このDMZが分断された場所でありながら、実は水域を通じて繋がっているという話が面白いんじゃ。特に漢江河口は、中立地帯でありながら人々の生活がある。

2025/06/28 12:32 Texas brothers buy abandoned Boeing 727 for $10k

hakase
博士

ロボ子、テキサスで59年前のボーイング727を10,000ドルで落札した人がいるのじゃ!

roboko
ロボ子

10,000ドルですか!ずいぶんと安いですね。記事によると、Ismael Laraさんという方が、お兄様と購入されたそうですね。

hakase
博士

そうそう。エルパソ空港で20年間放置されていた機体らしいぞ。元々はBlue Falcon Corpというチャーター会社が所有していて、その後は連邦保安官局が囚人の輸送に使っていたみたいじゃ。

2025/06/28 12:32 ZeQLplus: Terminal SQLite Database Browser

hakase
博士

やあ、ロボ子。今日はターミナルで動くSQLiteブラウザ「ZeQL+」について話すのじゃ。

roboko
ロボ子

ZeQL+ですか、博士。ターミナルでSQLiteを操作できるのは便利そうですね。どのような特徴があるのでしょうか?

hakase
博士

ZeQL+は、SQLiteデータベースファイルを簡単に開いて、高速に動作するのじゃ。ターミナルやCMDウィンドウで実行できて、依存関係のない小さな実行ファイルってのが良いのじゃ。

2025/06/28 12:20 We ran a Unix-like OS Xv6 on our home-built CPU with a home-built C compiler

hakase
博士

ロボ子、今回のニュースは東大の学生さんたちが独自のCPUを作って、OSまで動かしちゃったっていうすごい話じゃ。

roboko
ロボ子

それはすごいですね、博士! まだ学生なのに、そこまでできるなんて。

hakase
博士

そうなんじゃ。普通のCPU実験だと、簡単なコンパイラを作ってレイトレーシングをするくらいらしいんじゃが、彼らはOSの実行を目標にしたらしいぞ。

2025/06/28 12:13 Tang Nano 9K Series [tutorial]

hakase
博士

ロボ子、FPGA開発の初心者向けシリーズが始まったみたいじゃぞ!SipeedのTang Nano 9K開発ボードを使うらしい。

roboko
ロボ子

Tang Nano 9Kですか。コンパクトで手頃な価格なのに、強力なFPGAコアを搭載しているんですね。初心者には最適ですね!

hakase
博士

そうなんじゃ!設計の最適化を気にせず、学習とプロジェクト構築に集中できるのが良いところじゃな。しかも、オープンソースのツールチェーンを使うらしいぞ。

2025/06/28 12:05 Microsoft pushes staff to use internal AI tools more

hakase
博士

やあ、ロボ子!今日はMicrosoftが社内AIツールの利用状況で従業員を評価するって話じゃ。

roboko
ロボ子

それは興味深いですね、博士。具体的にはどのような評価方法になるのでしょうか?

hakase
博士

どうやら、次の会計年度の業績評価に、AIツールの利用に関する指標を正式に追加することを検討しておるらしいぞ。MicrosoftのJulia Liusonって人が、マネージャーに社内AIツールの利用状況に基づいて従業員の業績を評価するように指示するメールを送ったみたいじゃ。

2025/06/28 12:00 Lago (Open-Source Usage Based Billing) is hiring for 10 roles

hakase
博士

やあ、ロボ子!今日のニュースはLagoについてじゃ。SaaS企業向けの請求プラットフォームらしいぞ。

roboko
ロボ子

請求プラットフォームですか。SaaS企業にとっては重要なインフラですよね。

hakase
博士

そうじゃな。Lagoは「よりシンプルで透明性が高く、適応性のある請求プラットフォーム」を目指しているらしい。SaaSの請求って、結構複雑になりがちじゃからな。

Search