1001

スイスが 25 Gbps の住宅光ファイバーを提供できる理由 と 米国が遅れを取る背景

スイスの 25 Gbps 対称光ファイバーは、規制当局がオープンアクセスでポイントツーポイントのインフラを強制しているため実現可能です。一方、米国とドイツは自然独占の既存事業者に依存し、競争を制限し価格を押し上げています。

1002

CarPlay と車載インフォテインメント制御を巡る争い

Apple CarPlay と Android Auto の議論は、一貫性のある電話ベースのインターフェースを求めるユーザーの需要と、データやサブスクリプション収益のためにソフトウェア・エコシステムを制御したい自動車メーカーの意図との間の根本的な対立をハイライトしています。

1003

Bramble ローカルファーストパスワードマネージャー:オープンソース P2P 同期(Nostr)

Bramble は、データをローカルに保存し、Nostr リレーが調整するピアツーピアの WebRTC レイヤーを介してデバイス間で同期するオープンソースのパスワードマネージャーで、クラウドホスト型ボールトを排除します。

1004

Meta AI の再編とエージェント開発の失敗

マーク・ザッカーバーグは、Meta の最近の再編と AI エージェント開発への賭けが期待通りに進捗を加速させていないことを認め、同社の AI 自動化へのアプローチに戦略的なミスマッチがあることを浮き彫りにしました。

1005

AIエバンジェリストがLinkedInに低価値投稿を氾濫させる理由

AIエバンジェリストは、自己宣伝や自動投稿ツール、プラットフォームの報酬構造により、価値の少ない繰り返しのハイプ中心のコンテンツでLinkedInのフィードを支配しています。

1006

crustc は rustc コンパイラ全体を C に変換します

crustc は、rustc 1.98.0‑nightly の完全なソースを 4600 万行の C に変換し、GCC と make でビルド可能な機能的な Rust コンパイラを生成する概念実証です。

1007

米国労働力参加率、COVID 時代を除く 50 年ぶりの低水準に

米国の労働力参加率は、COVID-19 パンデミックを除くと 50 年で最も低い水準に低下しており、早期退職、AI 主導の採用摩擦、そして体系的な経済的失望が複合的に影響しています。

1008

高品質なソフトウェアのための Short Leash AI コーディング手法

Short Leash 手法は、専門的な開発者のための規律ある AI 支援コーディングアプローチであり、セキュリティが重要なシステムにおいてソフトウェアの品質を維持するために、人間の監視、手動の diff 分析、および二重層のレビューを優先します。

1009

スペイン、パランティア・テクノロジーズを公的・民間部門の契約からブラックリスト化

スペイン政府は、国家安全保障上の懸念と米国政権との地政学的緊張を理由に、国営機関にパランティア・テクノロジーズをブラックリストに載せるよう指示しました。

1010

zkGolf: 形式的に検証されたゼロ知識回路の競争的最適化

zkGolf は、参加者に Lean で検証されたゼロ知識回路を最小の割り当てと制約コストで作成させ、API を通じて自動エージェントが競えるようにするコンペティションです。

1011

Podman v6.0.0 リリースノート

Podman v6.0.0 は Netavark と Pasta による近代化されたネットワーク、拡張された Quadlet 機能、そして Podman Machine のマルチプロバイダーサポートを強化しています。

1012

EFF と同盟団体が FTC に対し、X 社の 2022 年プライバシー同意命令の免除請求を却下するよう要請

電子フロンティア財団(EFF)と提携団体は、企業名の変更や経営陣の交代が過去のデータ不正使用義務を消滅させないと主張し、2022 年に制定されたプライバシー同意令の解除要求を FTC が却下すべきだと訴えた。

1013

Linux カーネルのリグレッション:サスペンド時に LUKS 暗号化キーが消去されない

Linux 6.9(2024 年 5 月)で導入されたリグレッションにより、サスペンド‑to‑RAM 中に LUKS ディスク暗号化キーがメモリに残り、コールドブート攻撃の対象となります。

1014

卵産業の価格操作と企業不正のコスト

卵産業は価格操作とベンチマーク操作の疑いに直面しており、企業が支払う罰金は違法活動から得た利益に比べて著しく低いです。

1015

Safari Technology Preview 247: Safari MCP サーバーの紹介

Apple は Safari Technology Preview 247 向けに Model Context Protocol (MCP) サーバーを導入し、AI エージェントが DOM、ネットワークリクエスト、コンソールログを直接検査してウェブデバッグを自動化できるようにしました。

1016

EXAPUNKS: ザックトロニクスによるプログラミングパズルゲーム

EXAPUNKS はザックトロニクスのパズルゲームで、プレイヤーは Execution Agents(EXA)用の低レベルコードを書いてネットワークをハックし、1990 年代のハッカー文化をシミュレートした美学を活用します。

1017

FreeGraphPaper.net: ブラウザベースのベクタ PDF グラフ用紙ジェネレーター

FreeGraphPaper.net は、ログイン不要の無料ツールで、ISO と US の幅広い用紙サイズに対応した、実寸のベクタ PDF(グラフ、ドット、等角、ヘキサゴングリッド)を生成します。

1018

Mail Memories デスクトップアプリ – Gmail からローカルで写真を復元

Mail Memories は、$29 の一回限りのデスクトップアプリで、Gmail の受信トレイをローカルでスキャンし、すべての写真添付ファイルを抽出して、ユーザーのコンピュータ上の整理されたフォルダに保存します。

1019

Vite+ ベータリリース: Web 開発のための統合ツールチェーン

Vite+ ベータは、ランタイム、パッケージマネージャ、Vite、Vitest、Rolldown などの主要フロントエンドツールを単一の一貫したワークフローに統合した統合ツールチェーンを導入します。

1020

PeerTube: 分散型かつ連合型ビデオプラットフォーム

PeerTube は P2P 共有を活用してサーバー負荷を軽減するオープンソースの連合型ビデオプラットフォームですが、クリエイターの収益化と大規模採用に大きな課題があります。

1021

Immich 3.0 リリースノート / 新機能

Immich v3.0.0 は、非破壊的モバイル編集、プレビュー段階の自動化ワークフロービルダー、リアルタイム動画トランスコーディング、そして Android と iOS のバックグラウンドバックアップの大幅な改善を導入します。

1022

Infineon、ドレスデンにスマートパワー Fab を開設し EU の技術自律性を強化

Infineon はドイツ・ドレスデンに 50 億ユーロ規模のマイクロチップ工場を開設し、電力管理と AI インフラ向けの半導体における欧州のアジア・米国依存を低減することを目指しています。

1023

Slopo: 埋め込みモデルによる非正確コード重複検出

Slopo は埋め込みモデルを利用して、異なるモジュールやファイル間に存在する非正確なコード重複を検出する CLI ツールです。従来のコピーペースト検出器が見逃しがちな、見た目は似ているが正確には一致しないコードを優先的に特定します。

1024

Inkwell: E-Ink デバイス向けに最適化されたセルフホスト RSS リーダー

Inkwell は、記事を静的 HTML として事前にレンダリングし、Kindle 電子書籍リーダー上での読み込みと描画パフォーマンスを最適化するセルフホスト型 RSS/Atom リーダーです。

1025

Postgresトランザクションを使用して分散システムの課題を解決する

Postgresトランザクションを活用してワークフロー状態をデータと共存させることで、「二重書き込み」問題を排除し、Transactional Outboxパターンのようなパターンを通じて分散システムの信頼性を向上させることができます。

1026

見知らぬ人に助けを求める方法:効果的なアウトリーチのガイド

見知らぬ人への効果的なアウトリーチは、受け手の視点に立ち、"はい" と言わせるコストを下げつつ、真剣さの証明を提供するという原則に基づくスキルです。

1027

GitHubが公開リポジトリの物理的な焼付けCDコピーを提供 (2026年7月の限定プロモーション)

GitHubは、2026年7月に、ユーザーが任意の公開リポジトリの焼付けCDを注文できる期間限定のプロモーションを開始し、珍しい物理的なバックアップオプションを提示しました。

1028

Hacker News Show HN Attention Half-Life Analysis

41,301件のShow HN投稿の分析により、中央値のローンチはわずか2ポイント、コメントは0件であり、エンゲージメントの半分は7.2時間以内に発生することが明らかになりました。

1029

ctx: コーディングエージェントの履歴のためのローカル検索

ctx は、ローカルのコーディングエージェントのセッションを SQLite にインデックス化し、過去の議論、決定、および失敗した試行を、高速でトークン効率の高い検索を可能にするオープンソースの CLI ツールです。

1030

デジタルコンテンツにおける en-GB 使用の文化的・技術的影響

英国英語(en-GB)で執筆する決定は、技術文書におけるグローバルなアクセシビリティと文化的アイデンティティ・言語多様性の保存との間の緊張を浮き彫りにする。

1031

Google EU Antitrust Fine Upheld: $4.7 Billion Penalty for Android Practices

欧州の最高裁判所は、Androidに関連する反競争的な慣行について、Googleに対して記録的な41億ユーロ(46.7億ドル)の罰金を支持しました。これは、長期的な規制措置の有効性に関する議論を巻き起こしています。

1032

ウェブフォーラムの興隆と衰退:技術的回顧

初期の Usenet と WWW Interactive Talk から現代のソーシャルメディアに至るウェブフォーラムの進化を深く掘り下げ、ニッチなコミュニティがなぜ深くインデックス可能な知識のために依然としてフォーラムに依存しているのかを探ります。

1033

1層だけで十分か?RLポストトレーニングのために単一のTransformer層を訓練する

研究は、特にモデルスタックの中間に位置する単一のTransformer層を訓練することで、LLM におけるフルパラメータ強化学習(RL)訓練の性能向上と同等、あるいはそれ以上の効果が得られることを示しています。

1034

Google Android Developer Verifier (ADV) とクローズドなエコシステムへの移行

F-Droid は、Google の Android Developer Verifier (ADV) プログラムが、実質的にシステムレベルのゲートキーパーとして機能し、Google が数十億台の Android デバイス上で未承認のソフトウェアをブロックできるようにすることについて警告しています。

1035

AI コーディングアシスタントの落とし穴:技術的負債とコンテキストドリフトの管理

開発者は AI コーディングアシスタントにより、冗長コードの生成、システム全体の把握喪失、長いコンテキストウィンドウでのパフォーマンス低下といった重大な課題を報告しています。

1036

AIフェイクニュースが「AIフェイクニュースは本物のニュースの死」であると嘆く – Nieman Lab分析

Nieman Labは、新たな波のAI生成フェイクニュースが逆説的に自らの本物ジャーナリズムへの影響を嘆いており、メディアエコシステムに自己破壊的なフィードバックループを生み出していると報告しています。

1037

ソフトウェアエンジニアリング離職トレンド:2026年7月の業界感情分析

2026年7月の開発者体験の総合分析によると、エンジニアはAI主導の文化変化、企業の有害性、そして職業的充実感の追求により離職する傾向が見られ、求人市場は依然として厳しい状況です。

1038

GitHub Copilot における Kimi K2.7 Code の統合

GitHub Copilot は Kimi K2.7 Code のサポートを追加し、主要モデルに対するコスト効果の高い代替手段を提供するとともに、オープンウェイト LLM のサポートを拡大しました。

1039

Oomwoo: オープンソースのDIYロボット掃除機プロジェクト

Oomwooは、コミュニティ主導の開発を目的として設計されたオープンソースのロボット掃除機であり、3Dプリンティングとモジュール式のソフトウェアを利用して、修理可能でクラウドに依存しない商用掃除機への代替品を提供します。

1040

座りっぱなしのライフスタイルが細胞のエネルギー産生における早期低下を引き起こす

University of Colorado Anschutz の研究により、健康ではあるが座りっぱなしの個人は、ミトコンドリア機能と燃料輸送タンパク質の著しい低下を経験し、将来的な代謝疾患の準備段階となる可能性があることが明らかになりました。

1041

定理経済の崩壊:AI と数学的理解の危機

David Bessis は、AI の定理解決能力が形式的証明と人間の理解を切り離し、従来の数学の学術的報酬体系(定理経済)を脅かすと論じています。

1042

claude-real-video: シーン認識フレーム抽出によるLLMの動画視聴の実現

claude-real-videoは、シーン認識に基づいた重複排除されたフレームとトランスクリプトをローカルで抽出することで、固定間隔サンプリングの限界を回避し、あらゆるLLMが動画を分析できるようにするオープンソースツールです。

1043

バージニア州、精密ジオロケーションデータの販売を禁止

バージニア州は、精密ジオロケーションデータの販売を禁止する法律を施行し、7月1日から有効となります。この法律は、機密性の高いユーザー位置情報の商業取引を抑制することを目的としています。

1044

日本最高裁、AIを特許出願の発明者として記載できないと判決

日本の最高裁は、特許出願の発明者として記載できるのは人間だけであると判示し、人工知能を法的発明者として認める試みを却下しました。

1045

Google 従業員の退職と企業倫理をめぐる議論

元 Google 従業員が会社の道徳的コンパス喪失を訴える退職届を公開したことが、Hacker News で大規模な議論を呼び、ビッグテック企業が本当に倫理的枠組みを持っていたかどうかが問われています。

1046

Weave Robotics Isaac 1 ホームロボット

Weave Roboticsは、洗濯や片付け用に設計された7,999ドルのホームロボット、Isaac 1を発表しました。2026年秋に配送予定です。

1047

グローバルレビューがmRNAワクチンの安全性と将来の治療可能性を確認

ブリティッシュコロンビア大学の研究者らが*The Lancet* に掲載した包括的なグローバルレビューは、mRNAワクチンが安全かつ効果的であることを確認し、がん、インフルエンザ、自己免疫疾患などの将来の治療の基盤となることを示しています。

1048

GLM-5.2 用 ZCode Harness 概要

ZCode は、デプロイメントと実験を簡素化する、すぐに使えるインターフェースを提供する GLM-5.2 モデル用のハーネスを導入しました。

1049

Senior SWE-Bench: シニアソフトウェアエンジニアとしての AI エージェントを評価する

Senior SWE-Bench は、シニアソフトウェアエンジニアのワークフローを模倣し、不十分に指定された要件から機能を実装する能力を評価するために設計されたオープンソースベンチマークです。

1050

Pieces ソーシャルネットワーク:ブランド主導型プラットフォームに対する人間中心の代替案

Pieces は、ブランドや組織を排除し、アルゴリズムフィードよりも真の人間関係を優先するよう設計された新しいソーシャルネットワークです。