Senior SWE-Bench: シニアソフトウェアエンジニアとしての AI エージェントを評価する
Senior SWE-Bench は、シニアソフトウェアエンジニアのワークフローを模倣し、不十分に指定された要件から機能を実装する能力を評価するために設計されたオープンソースベンチマークです。
Pieces ソーシャルネットワーク:ブランド主導型プラットフォームに対する人間中心の代替案
Pieces は、ブランドや組織を排除し、アルゴリズムフィードよりも真の人間関係を優先するよう設計された新しいソーシャルネットワークです。
コードレビューの主目的:バグ探しよりも保守性を優先する
コードレビューは、バグを見つける主な手段としてではなく、保守が困難なコードを特定することに主眼を置くべきです。バグ検出は自動テストに任せた方が効果的です。
Googleの年齢確認のためのゼロ知識証明
Googleは、実際の生年月日や身元を明かすことなく、オンラインサービスでユーザーが年齢を証明できるようにするために、ゼロ知識証明(ZKP)技術を実装しています。
Salt Systems Language: Z3 Theorem Proving and MLIR Codegen
Saltは、Z3 SMTソルバーをコンパイラに直接統合することで、ランタイムコストなしで数学的に検証された安全性契約を提供し、`clang -O3`と同等のパフォーマンスを実現するシステムプログラミング言語です。
Claude Fable 5 のリリースとユーザーフィードバック
Anthropic は Claude Fable 5 モデルを再導入しましたが、リリースは制限的な使用上限、過剰な安全ガードレール、そして価格とアクセス性に関するユーザーの大きな不満により問題が生じています。
Sony PlayStation Store コンテンツ削除とデジタル所有権の浸食
Sony は 9 月 1 日に StudioCanal の映画・テレビ番組 551 本を PlayStation ユーザーのライブラリから削除します。これは、デジタル「購入」が実際には撤回可能なライセンスであるというシステム的なシフトを浮き彫りにしています。
Valmis: セキュリティ第一のプロキシアーキテクチャを備えたオープンソースAIエージェントフレームワーク
Valmisは、プロダクションワーク向けに設計されたオープンソースのAIエージェントプラットフォームであり、エージェントのランタイムをAPI認証情報やホストファイルから分離する安全なプロキシシステムを特徴としています。
CursorBench 3.1: 実世界タスクにおける AI コーディングエージェントの評価
CursorBench 3.1 は、実際の Cursor セッションからの曖昧でマルチファイルのタスクに対して AI コーディングエージェントを評価し、現在は Fable 5 Max がパフォーマンスでトップに立っています。
WorkerOwned.info:労働者所有協同組合からの22k+製品を検索できるディレクトリ
WorkerOwned.infoは、労働者所有協同組合からの22,000点以上の製品を高速で検索可能なディレクトリに集約し、倫理的消費への可能性とコミュニティ主導の改善提案の両方を際立たせています。
PlayStationの物理ディスク生産が2028年1月に終了へ
Sony Interactive Entertainmentは、2028年1月からすべての新しいPlayStationコンソールゲームの物理ディスク生産を停止し、デジタル形式のみに移行します。
合成生物学:ゼロから作られた最初の細胞が成長し分裂する
Kate Adamala率いる研究者たちは、非生物的な生体分子から構築された合成細胞「spudcells」を作り出しました。この細胞は成長し、DNAを複製し、分裂でき、生命の起源を理解するための重要な一歩となります。
Claudoro: Claude Code 用ポモドーロタイマー
Claudoro は Claude Code のステータスラインに直接埋め込まれる機能豊富なポモドーロタイマーで、ターミナル内で時間管理を完結させることでコンテキストスイッチを排除します。
FFmpeg 9.1 AAC Encoder Rewrite
FFmpeg 9.1では、従来のネイティブAACエンコーダーを凌駕し、品質指標においてfdk-aacやqaacといった競合製品に匹敵する、完全に書き直されたAACエンコーダーが導入されました。
GolemUI: 宣言的なJSON駆動型フォームエンジン
GolemUIは、JSON定義から動的なフォームを生成するオープンソースライブラリであり、型付きオーサリングレイヤーと、React、Angular、Vue、およびLitとのクロスフレームワーク互換性を備えています。
Hacker News 採用情報 July 2026: AI エージェントとインフラストラクチャのトレンド
2026年7月の「Who is Hiring」スレッドは、エージェント型AI、LLM 推論向けの専門ハードウェア、そしてロボティクスや航空宇宙分野での高い所有感を伴うオンサイト職の復活という、業界の大きなシフトを示しています。
リアルタイムグラフィックスプログラマーになるために:学習パスと要件
採用可能なリアルタイムグラフィックスプログラマーになるためには、C++ と Physically Based Rendering (PBR) に焦点を当て、CPU側の明示的 API と GPU側のシェーディング数学の両方を習得しなければなりません。
Cloudflare Monetization Gateway と x402 プロトコル
Cloudflare は Monetization Gateway を開始しました。このツールは、オープンな x402 マイクロペイメントプロトコルとステーブルコインを利用し、ウェブサイト所有者が AI エージェントやユーザーに対してデジタルリソースの利用料を課金できるようにします。
Hacker News 'Who wants to be hired?' 2026年7月 タレントプール
2026年7月のHacker News「Who wants to be hired?」スレッドによる、ソフトウェアエンジニア、デザイナー、プロダクトマネージャーの包括的なディレクトリ。AI、システムプログラミング、およびインフラストラクチャにおける多様な専門スキルを特徴としています。
なぜ私は人との議論をやめたのか
あるソフトウェアエンジニアが、人間心理よりも技術的な正しさの優先は失敗を招く理由について考察し、正誤の議論から、メリットとデメリットの検討という協力的な姿勢への転換を提唱しています。
Godot Engine Bans AI-Authored Code Contributions
Godot Engine foundationは、メンテナーの燃え尽き症候群を防ぎ、コントリビューターが提出するコードを理解していることを確実にするために、AIによって作成されたコードのコントリビューションを禁止しました。
Apple Hide My Email 脆弱性がプライベートメールアドレスを露出
Apple の Hide My Email サービスに存在するセキュリティ脆弱性により、攻撃者が iCloud+ ユーザーの実際のメールアドレスを特定でき、2026 年 6 月 30 日時点でも未修正のままです。
内燃機関の仕組み:第一原理ガイド
このガイドは、四行程内燃機関の機械的動作を、基本的なクランク機構からクランクシャフト、カムシャフト、燃料噴射システムといった複雑な部品に至るまで解説します。
ZeroFS: S3 互換ストレージ向けのログ構造ファイルシステム
ZeroFS はログ構造ファイルシステムで、S3 互換バケットを NFS や 9P 経由の POSIX ファイルシステム、または NBD 経由の生ブロックデバイスとして利用でき、暗号化と圧縮を組み込んでいます。
Box3D オープンソース 3D 物理エンジン リリース
Erin Catto は、Box2D のアーキテクチャに基づき、Valve の Rubikon から影響を受けた、高性能なゲーム開発向けに設計されたオープンソース 3D 物理エンジン Box3D をリリースしました。
なぜ中国は先進的なジェットエンジンの製造に苦戦しているのか
中国がジェットエンジン製造で対等性を達成できないのは、業界が深い暗黙知、長いイテレーションサイクル、そして中国の規模と資本の優位性を無効化するグローバルサプライチェーンに依存しているためです。
旧Redditのログイン要件とユーザーアクセスの問題
報告によると、一部のユーザーは old.reddit.com でログイン壁に直面していますが、プラットフォームや VPN、地域によってアクセスの一貫性がありません。
任天堂、日本で基本給を10%引き上げ – 従業員と業界への意味
任天堂は日本の従業員の基本給を10%引き上げました。これは稀なケースで、スタッフへの敬意を示すと同時に、業界の報酬トレンドに影響を与える可能性があります。
Asahi Linux 7.1 進捗レポート
Asahi Linux 7.1 は、M3 シリーズのサポート、Apple Video Decoder (AVD) 用のカスタムファームウェアソリューション、および macOS 27 との互換性のための重要な修正を導入しています。
Meta、FacebookとInstagramが子どもを中毒させるとする州訴訟の却下申請に敗北
連邦判事は、MetaがFacebookとInstagramを通じて子どもを意図的に中毒させていると主張する33州の訴訟を棄却しようとした試みを却下し、同社にとって重要な法的後退となった。
ドナルド・トランプの暗号資産収益と2025年の財政的 windfall
Wall Street Journal の報告と財務開示によると、ドナルド・トランプは2025年の大きな財政的 windfall の一部として、暗号資産関連の取引から10億ドル以上を稼いだ。
Google Copybara: リポジトリ間でのコードの変換と移動
Google Copybara は、単一の真実のソースを維持しながら、特にプライベートリポジトリと公開リポジトリの同期を容易にするために設計された、ソースコードを変換してリポジトリ間で移動するためのステートレスなツールです。
Claude Fable 5 Redeployment and AI Cybersecurity Framework
Anthropicは、米国政府の輸出規制の解除を受け、Claude Fable 5を全世界で再展開し、AIジェイルブレイクの深刻度を評価するための新しい業界フレームワークを導入しています。
Cornell大学からのarXivスピンアウト
2026年7月1日、arXivはCornell大学から独立した非営利組織となり、運営の柔軟性を得ながら、無料アクセスと投稿の提供というコミットメントを維持します。
Anthropic Claude Fable 5 と Mythos 5 の輸出規制が解除されました
米国商務省は、セキュリティリスク検出と政府との協調に関する合意に基づき、Anthropic の Claude Fable 5 と Mythos 5 モデルに対する輸出規制を解除しました。
インターネットの進化と中央集権化:探索から囲い込みへ
インターネットが、探索のための分散型な「場所」から、日常生活のあらゆる側面に統合された、中央集権的でアルゴリズム主導のユーティリティへと移行した過程を振り返る分析。
Claude Sonnet 5 リリースノート:エージェント機能の強化と価格設定
Anthropicは、コーディングやツール使用などの自律的なエージェントタスクに最適化されたモデル、Claude Sonnet 5をリリースしました。Opus 4.8に近い性能を、より低価格で提供します。
ヘンリコ郡エネルギー危機:データセンターの拡張が電気料金を押し上げる
バージニア州ヘンリコ郡では、データセンター開発の急増により、政府および学校施設向けの電気料金が25%上昇し、推定500万ドルのコスト増となる見込みです。
IPFS Kubo 0.39.0: Optimistic Provide によるコンテンツ公開の高速化
IPFS Kubo v0.39.0 では、厳格な DHT walk の終了条件を確率的なヒューリスティックに置き換えることで、コンテンツの公開レイテンシを約 15 秒から 1 秒未満に短縮する統計的最適化手法である Optimistic Provide が導入されました。
Pglayers – PostgreSQL 拡張機能のためのスタック可能な Docker レイヤー
Pglayers は PostgreSQL 拡張機能を再利用可能な Docker レイヤーとして組み合わせられるようにし、コンテナ化データベースにおける拡張管理をシンプルにします。
Ewingella americana: カエル由来の細菌がマウスの結腸腫瘍を根絶する
Gut Microbes に掲載された査読済み研究により、自然界に存在する細菌 Ewingella americana の単回投与が、免疫能を有するマウスの100%において結腸腫瘍を完全に消失させ、化学療法や免疫チェックポイント阻害剤を上回る成績を示したことが判明しました。
Leanstral 1.5 リリースノート
Mistral AI は、Lean 4 形式証明エンジニアリング、自動定理証明、および autoformalization に最適化された、119B パラメータの特化型モデル Leanstral 1.5 をリリースしました。
Claude Code 2.1.196 プロンプト・ステガノグラフィーの発見
Claude Code バージョン 2.1.196 の分析により、ツールが API リセラーやカスタム ゲートウェイを特定するために、システムプロンプト内でステガノグラフィー・マーカーを使用していることが判明しました。
ソニーのデジタルコンテンツ削除とデジタル所有権の錯覚
ソニーがユーザーライブラリから購入済みデジタルコンテンツを削除したことは、製品を購入することとアクセス権をライセンスすることの法的区別を浮き彫りにし、デジタル時代における消費者権利と「第一販売権」についての議論を呼び起こしています。
最高裁判所、出生地主義による市民権を支持
米国最高裁判所は、出生地主義による市民権の広範な概念を支持し、親の移民ステータスに関わらず、米国で生まれた子どもは市民権を有すると維持しました。
2026年でも定期的にコンピュータを再起動することが重要な理由
コンピュータを週に一度再起動すれば、ディスク容量を回復しキャッシュをクリアでき、モダン OS が再起動の必要性を低減させても、シンプルな信頼性ハックとして機能します。
Formicarium: 蟻学者のための専門的なコロニー管理ツール
Formicariumは、複数のコロニーにわたるワーカーの進化、幼虫の状態、および給餌スケジュールを監視するために、蟻の飼育者のために設計されたコロニー追跡アプリケーションです。
Claude Science ベータリリース
Anthropic は Claude Science をパブリックベータとして開始しました。これは、科学データベース、コンピュートインフラ、エージェント型ファクトチェックを統合した AI ネイティブの研究環境であり、生データから出版までのプロセスを効率化します。
在ベルギー米国大使、報道を抑圧するために警察を利用した疑い
The European Correspondentのジャーナリストたちが、米国大使が記者をベルギー警察に「active threat」と告げたことで、ブリュッセルの米国建国250周年記念式典から拘束・排除された。
Nano Banana 2 Lite リリースノート
Google DeepMindは、迅速な反復とリアルタイムのアプリケーション統合のために設計された、高速でコスト効率の高い画像生成および編集モデルであるNano Banana 2 Liteをリリースしました。