新着記事
Mistral AI が Lean 4 専用の定理証明エージェント「Leanstral 1.5」をリリース—数学難題 587 問を自動解法
フランスの AI 企業 Mistral AI は 2026 年 7 月 3 日、Lean 4 向けの専用コード エージェント「Leanstral 1.5」をリリースしました。定理証明と証明工学を対象とした同モデルは、Apache 2.0 ラ…
2026-07-05
RISC-V が Physical AI チップを加速—ロボット・自動運転向けカスタム設計の時代へ
Open Source For You が2026年7月に報じたところによると、RISC-V アーキテクチャが Physical AI（ロボットや自動運転システムなど、物理世界で動作する AI）の次世代チップ設計を大きく変えようとしています…
2026-07-05
Apple Q3 2026決算7月30日発表—Tim Cook最後の決算説明会の注目点
米Appleは2026年7月30日、会計年度第3四半期（Q3 2026）の決算結果を発表することを明らかにしました。同日の決算説明会ではティム・クックCEOが最後の決算説明会に登壇する予定。前年同期の売上高94.04億ドル（10%成長）から…
2026-07-05
GitHubが2万件の秘密情報アラートをゼロに—内部の実践的な対策を公開
米GitHubは、Secret Scanning機能を使った社内のシークレット管理改善の取り組みについて、2024年に詳細を公開しました。15,000以上のリポジトリから2万件以上の秘密情報を検出し、9ヶ月でアラートをゼロに削減した経験から…
2026-07-05
AI用語を整理する—LLM、RAG、AGIなど開発者が押さえるべき基本概念
AI業界の急速な発展に伴い、LLM、RAG、RLHF、AGIといった専門用語が飛び交うようになりました。TechCrunchが公開した包括的なAI用語集をもとに、エンジニアが実際のプロダクト開発や技術判断で直面する重要な概念を整理します。こ…
2026-07-05
Secretlab ゲーミングチェア・デスクが最大129ドル割引—7月4日セール開催
米国の大手ゲーミング家具メーカー Secretlab が 7 月 4 日の独立記念日セールを開催しています。人気製品の Titan Evo チェアや Magnus スタンディングデスクなど、最大 129 ドル（約 19,000 円相当）の割…
2026-07-05
Apple 製品が値上げ後も割引継続—7月4日セール で AirTag 2 は最安値
米国の 7月4日独立記念日の週末セールで、Apple 製品と周辺機器に大幅な割引が入っています。先週の値上げ発表の直後だけに、この機会に旧世代モデルを狙う購入者が増えそうです。AirTag 2 は4個セットで約 $89 となり、Anker …
2026-07-05
公開特許が産業を変えた—AT&Tの1956年反トラスト和解から学ぶイノベーション
1956年1月、米AT&Tが反トラスト法の和解に応じ、保有する7,820件の特許をロイヤリティなしで米国内の全企業に開放しました。この決定により、Bell Labsで生み出された知的資産が民間に流出。その後数年で、放出された特許から約60億…
2026-07-05
HP ゲーミング PC が最大 71% オフ—7月 4 日セールで RTX 5090・5080 搭載機が狙い目
米 HP が 7 月 4 日（Independence Day）を機に実施するゲーミング PC・ノート PC セールで、最大 71% の割引を実施しています。RTX 5090・5080 搭載の高性能モデルから、エントリーモデルまで幅広いライ…
2026-07-04
AI が生成した誤情報で提訴—Palo Alto Networks 傘下 Koi Security の脅威レポートが企業を危機に
2026年7月、動画会議スタートアップ MeetingTV が Palo Alto Networks 傘下の脅威インテリジェンス企業 Koi Security を提訴しました。Koi が LLM で自動生成した脅威レポートが AI のハルシ…
2026-07-04
Vagrant を手放した理由—KVM と libvirt で仮想環境を「素」で管理する
開発者向けの仮想環境管理ツール Vagrant を、2010 年から使い続けていたエンジニアが捨てた。理由は単純で、Linux カーネルに統合された KVM と libvirt を使えば、Vagrant というソフトウェアレイヤーは不要だと…
2026-07-04
AIコーディングエージェントの落とし穴—幻の実行結果を見抜くには
開発者向けの生成AI・LLM利用に関する考察記事が公開されました。昨年11月以降、AIコーディングエージェントを実際に使い込んだ開発者による詳細な経験レポートです。記事では、GPT/Codexが魅力的に見えながらも、実は「存在しない実行結果…
2026-07-04
英国の「喫煙終焉」政策は機能するか—世代別禁止タバコ規制の衝撃
英国が2026年7月、世代別のタバコ販売禁止法を可決しました。これは喫煙を段階的に削減するのではなく、完全に排除することを目指す「エンドゲーム戦略」です。成功の見込みは不透明ですが、この大胆な政策が世界的に注目を集めている背景と、実現の可能…
2026-07-04
ポケットコンピュータの先駆者デヴィッド・ポッター氏が逝去—Psion とスマートフォン史に残す遺産
ポケットコンピュータ「Psion」の創業者で、英国テック産業の先駆者デヴィッド・ポッター氏が 2026 年 6 月 28 日に 82 歳で亡くなりました。1980 年代から 2000 年代にかけて Psion が開発した手持ちコンピュータは…
2026-07-04
WebBrain：ローカルで動作するオープンソースのAIブラウザエージェント、Chrome・Firefoxの自動操作が可能に
エンジニア Emre Sokullu が開発したオープンソースプロジェクト「WebBrain」が、ブラウザ内で直接動作するAIエージェントとして注目を集めています。ページの読み込みやデータ抽出、複数ステップのタスク自動化に対応し、最大の特徴…
2026-07-04
iOS 27は9月リリース—AI活用の写真拡張やSafariの自動タブ整理など12の新機能
Apple は2026年9月に iOS 27 をリリース予定です。同社は今年、基本的な安定性とバグ修正に注力していますが、生成AI時代に再設計されたコンテキスト認識 Siri を筆頭に、新機能もしっかり用意されています。主記事（MacRum…
2026-07-04
Guix の重大脆弱性—リモートからの権限昇格が可能に、今すぐアップデートが必須
GNU Guix のパッケージ管理ツールに複数の重大な脆弱性が発見されました。substitute ダウンロード機能では、悪意あるサーバーやネットワーク上の攻撃者が任意のファイルを書き込める可能性があり、デーモンが root で動作している…
2026-07-04
JavaScriptに「文脈の自動伝播」が来る—Async Context提案がStage 2へ
TC39がJavaScriptの非同期処理に対応した新機能「Async Context」をStage 2に進めた。非同期コード内で値を暗黙的に伝播させる仕組みで、トレーシング・リクエストスコープ・ロギングなど実務的なユースケースで手動のコン…
2026-07-04
Nvidia、AI クラウド企業向け融資プログラム発表—ハードウェア売上に加えて収益シェアも獲得へ
2026年7月、米 Nvidia がデータセンター融資の新しいスキームを発表しました。GPU ベンダーとしての売上に加えて、提携するクラウド企業の収益の一部を獲得する仕組みです。既に Sharon AI（オーストラリア）と Firmus（イ…
2026-07-04
LLM生成コードは時限爆弾か—フリーソフトウェアの著作権問題
フリーソフトウェアの開発現場で、LLM（大規模言語モデル）が生成したコードの取り込みが急速に進んでいます。しかしその著作権の帰属は未解決のまま。git-annex の開発者は、この不確実性を「将来への地雷」と判断し、LLM生成コードを一切含…
2026-07-04