1801

Wordgard: ProseMirrorの作者による新しいセマンティック・リッチテキスト・エディタ

Wordgardは、多用途なプログラミング・インターフェースと関数型デザインに焦点を当てた、高度にカスタマイズ可能なスキーマベースのリッチテキスト・エディタを構築するためのオープンソースのJavaScriptライブラリです。

1802

AI とロボティクス ラウンドアップ:エージェントワークフロー、ローカル LLM、そしてヒューマノイド市場

最近の動向は、自律エージェント群へのシフト、高性能ローカル LLM(例:GLM-5.2)の台頭、そして 2050 年までに 7.5 兆ドル規模になると予測されるヒューマノイドロボティクス市場を強調しています。

1803

地球最深の穴を可視化する:xkcd 3266からの洞察

xkcd の漫画 3266 は、世界で最も深い穴の比較可視化を提供し、バイカル湖の堆積層や最深の金鉱山などの極端な深さを強調しています。

1804

ニューワールド・スクリューワームの再来:根絶史と現在のアウトブレイク

ニューワールド・スクリューワームは、パナマでの不妊昆虫バリアが崩壊し、中米を北上した後、数十年ぶりに米国へ再侵入した。

1805

製造業の神秘を解く:工場は単なる部屋である理由

製造業へのアクセス性を技術的に探求し、工場を「単なる部屋」と位置付けることで、次世代のデザイナーやエンジニアが消費から創造へと移行することを促すという主張。

1806

AI自信シアターを終わらせる:誇大宣伝を超えて実用性へ

Elena Verna は、AI エージェントやワークフローの能力を誇張する現在の "AI 自信シアター" のトレンドが、偽の成功基準を作り出し、ユーザーの士気を低下させ、真の AI 革新への信頼を蝕んでいると論じています。

1807

FIDE、倫理規定違反によりGM Vladimir Kramnikに制裁を下す

FIDE倫理・規律委員会は、サイバーブリーイングおよび他のプレイヤーに対する不当な公的不正疑惑の提起により、元世界チャンピオンのVladimir Kramnikに対し、1年間の実質的な出場停止処分と社会奉仕活動を科しました。

1808

Alibaba Bans Claude Code Over Alleged Backdoor and Security Risks

Alibaba は、疑われるバックドアと米国ベースの AI プロバイダーへの機密データ流出リスクを懸念し、社内での Claude Code の使用を禁止しています。

1809

ローカルインテリジェンスの権利キャンペーン:個人デバイス上のオープンAIを保護する

ローカルインテリジェンスの権利キャンペーンは、個人デバイス上で実行されるオープンAIモデルの法的保護を求め、既存の法律で濫用はすでに抑止できると主張し、ライセンス制度が個人コンピューティングの自律性を脅かすと警鐘を鳴らしています。

1810

米国商務省指令 DAO 216-26 と差分プライバシーの禁止

米国商務長官は指令 DAO 216-26 を発令し、国勢調査や BEA データにおける差分プライバシーやその他の最新ノイズ注入技術を禁止しました。これにより、データの有用性と回答者の機密保持の両方が危険にさらされています。

1811

P != NP である場合に限り、市場は競争的である

新しい研究論文は、市場の競争性と情報的効率性は相互に排他的であり、アルゴリズムによる共謀の出現は計算能力の増大によって引き起こされると主張しています。

1812

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

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

1813

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

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

1814

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

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

1815

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

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

1816

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

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

1817

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

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

1818

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

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

1819

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

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

1820

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

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

1821

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

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

1822

Podman v6.0.0 リリースノート

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

1823

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

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

1824

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

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

1825

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

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

1826

sem: エンティティレベルでコード変更を追跡するセマンティック バージョン管理ツール(行単位ではなく)

Git 上に構築されたセマンティック バージョン管理ツールで、テキスト行ではなくエンティティ(関数、クラス、メソッド)レベルで変更を追跡します。

1827

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

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

1828

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

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

1829

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

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

1830

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

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

1831

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

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

1832

agent-scripts: ローカルワークスペース間で共有エージェント指示とポータブルワークフロースキルを統合するハブ

ローカルワークスペース間で共有 AI エージェント指示、再利用可能なスキル、ポータブルヘルパースクリプトを管理するための集中化リポジトリ。

1833

page-agent: テキストベースの DOM 操作でウェブインターフェースを自然言語で制御できるクライアントサイド GUI エージェント

テキストベースの DOM 操作を通じてウェブインターフェースを自然言語で制御できる JavaScript ライブラリで、開発者が AI コパイロットをウェブページに直接埋め込むことが可能です。

1834

ai-website-cloner-template: AI コーディングエージェントを使ってウェブサイトを Next.js コードベースに逆コンパイルする再利用可能テンプレート

AI コーディングエージェントを活用し、デザイン抽出とコンポーネント再構築を自動化してウェブサイトを Next.js コードベースに逆コンパイルする再利用可能テンプレート。

1835

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

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

1836

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

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

1837

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

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

1838

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

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

1839

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

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

1840

ISAT_with_segment_anything: Segment Anything に基づくインタラクティブな半自動画像セグメンテーションアノテーションツール

Segment Anything Model(SAM)を利用し、ラベル付きデータセットの作成を高速化するインタラクティブな半自動画像セグメンテーションアノテーションツール。

1841

graphify: AIコーディングアシスタントと統合し、アーキテクチャのクエリを実現するコードベースからナレッジグラフへのマッパー

コードベースとプロジェクトアセットをクエリ可能なナレッジグラフにマッピングし、AIコーディングアシスタントと統合してアーキテクチャのコンテキストを提供するためのツール。

1842

ai-berkshire: 投資の達人たちのマルチエージェントチームをシミュレートし、意思決定レベルのレポートを生成するバリュー投資リサーチフレームワーク

Claude Code と Codex 用の構造化投資リサーチフレームワークで、バリュー投資手法を体系化し、プロフェッショナルな意思決定レベルの財務レポートを生成します。

1843

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

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

1844

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

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

1845

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

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

1846

Hacker News Show HN Attention Half-Life Analysis

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

1847

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

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

1848

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

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

1849

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

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

1850

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

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