huggingface.js：用於管理 Hugging Face 倉庫與執行模型推理的 JS/TS 函式庫套件
一套用於與 Hugging Face Hub 互動並在數千個機器學習模型上執行推理的 JavaScript 與 TypeScript 函式庫集合。
網路可訪問性的侵蝕：摩擦、機器人偵測與以應用為中心的互聯網
黑客新聞上的討論探討了日益增加的機器人偵測、強制應用安裝和激進的 MFA 要求如何將開放的網頁轉變為封閉、高摩擦的環境。
AI 公司增加華盛頓遊說支出達到創紀錄水平
領先的 AI 公司，包括 OpenAI 和 Anthropic，已顯著增加其聯邦遊說支出，以影響華盛頓的 AI 監管和政策。
Claude AI Team Plan 服務中斷與支援挑戰
使用者報告 Claude AI Team 方案出現顯著的服務不可用情況，且由於依賴類似 Fin 的自動化機器人，難以聯繫到人工支援。
Lean 與 LLMs 的證明自動化
大型語言模型 (LLM) 與像 Lean 這樣的依賴型別語言的結合，正在大幅降低形式化驗證的成本，使得證明先前實施成本過高的複雜軟體不變式變得可行。
spikingjelly: 一個用於大規模脈衝神經網路訓練與推論的 PyTorch-native 框架
一個用於脈衝神經網路 (SNNs) 的 PyTorch-native 框架，提供用於在神經形態硬體上進行訓練、推論與部署的工具。
Volvo/Eicher 車隊平台的安全性漏洞
一名安全研究員在 Volvo/Eicher 車隊平台中發現了一個嚴重的漏洞，該漏洞可能允許對所有使用者與車輛進行未經授權的控制，凸顯了雲端管理汽車軟體中的系統性風險。
Audio-Cassette-Simulation: 使用 FFmpeg 模擬磁帶音訊
Audio-Cassette-Simulation 儲存庫提供基於 FFmpeg 的技術來模擬磁帶音訊輪廓，如其標題和在 Hacker News 上分享的連結所示。
Scriptc: Vercel 的 TypeScript 轉原生編譯器
Scriptc 將普通的 TypeScript 編譯成小型、快速的原生執行檔，無需 JavaScript 引擎；它對大部分程式碼使用靜態編譯，並為動態特性提供可選的 QuickJS-NG 引擎。
預測顯示 2026-2027 年將出現有史以來最強的 El Niño
多模式預測顯示，2026-2027 年的 El Niño 很可能是有記錄以來最強的，其中位峰值為 3.6C，顯著超過先前紀錄的 2.75C。
physicsnemo: 一個用於科學與工程領域建構與訓練物理告知 AI 模型的可擴展深度學習框架
一個用於科學與工程領域建構與訓練物理告知 AI 模型的開源深度學習框架，並針對 NVIDIA GPUs 進行了優化。
Rescript: 一個開源的、基於瀏覽器的 Descript 替代方案
Rescript 是一個開源的視頻編輯器，允許使用者通過編輯文字逐字稿來編輯視頻，所有轉錄和渲染均在瀏覽器內本地進行，以達到最大隱私。
lightly: 一個用於自我監督預訓練的模組化電腦視覺框架
一個用於自我監督學習的電腦視覺框架，提供模組化的構建組件，以便使用 PyTorch 在未標記的圖像數據上訓練模型。
VLC for Unity 加入 Linux 支援
VLC for Unity 現在支援 Linux 在 x86_64 架構上，利用 libVLC 提供硬體加速的視訊播放，在 Unity 遊戲引擎內。
法國消防員首次遭遇火積雲 – 2026 年 7 月
2026 年 7 月 26 日，法國消防員在蘭德地區面對由野火產生的火積雲，這標誌著法國首次記錄到此類火災驅動風暴，並凸顯了其自生風力、閃電和不可預測蔓延所帶來的史無前例的挑戰。
Decker：一款受 HyperCard 啟發的現代互動式文件平台
Decker 是一個免費的開源多媒體平台，透過現代腳本語言 (Lil)、可匯出為獨立 HTML 的跨平台功能以及懷舊的 1-bit 美學，重現了 HyperCard 的卡片式工作流程，讓任何人都能在沒有廣告或遙測的情況下創建互動式文件、遊戲和工具。
boxmot: 一個可插拔的多目標追蹤框架，針對任何檢測器提供統一的 Python 與 C++ API
一個可插拔的多目標追蹤庫，提供統一的 Python 與 C++ API，以便在任何檢測器上運行和部署各種追蹤演算法。
yolov3: 一個具有多尺度預測與多種模型變體，適用於邊緣與伺服器部署的即時物件偵測框架
一個 YOLOv3 即時物件偵測模型的 PyTorch 實作，提供多種模型變體的訓練、推理與部署工具。
在具代理AI時代的科學計算 – OpenAI 現場報告
OpenAI 分享了一份探索性現場報告，顯示像 Codex 和 Claude Code 這樣的 AI 代理如何加速了八個生命科學軟體專案，將研究者的角色轉向驗證，同時凸顯長期維護的必要性。
OlmoEarth 平台：行星規模的地理空間推斷
Hugging Face 與 Ai2 推出了 OlmoEarth 平台，這是一種基礎設施，旨在將地理空間基礎模型從微調擴展到洲際規模的推斷，成本僅為每平方公里幾分钱。
OpenAI 的 ChatGPT Work 發佈與與 Codex 共享的代理架構
OpenAI 發佈了 ChatGPT Work，將 Codex 的代理能力與 ChatGPT 融合，為知識工作者提供持久環境、Artifacts、Sites、記憶功能和子代理，同時為大多數用戶保持單一的預設體驗。
ctrlb-decompose：針對 LLM 的日誌壓縮與模式提取
ctrlb-decompose 是一款基於 Rust 的工具，能將數百萬行雜亂的日誌壓縮成一組帶有統計數據與異常檢測的結構化模式，使日誌更適合 LLM 使用。
BMW 車內 Spider-Man™ 動畫與汽車廣告之爭論
BMW 在車輛顯示器中推出可選擇的 Spider-Man™ 主題動畫，引發用戶對廣告侵入私人車輛擁有權的爭論。
資料導向設計導論
資料導向設計（DOD）優先考慮記憶體布局與資料存取模式，而非物件階層，以最大化 CPU 快取效率並啟用大規模平行處理。
onnxruntime：跨平台的機器學習模型推論與訓練加速器
跨平台的機器學習加速器，提供在各種硬體與作業系統上高效能的推論與訓練。
MAI-Cyber-1-Flash 內含於 MDASH – Microsoft AI 公告
Microsoft 宣布 MAI-Cyber-1-Flash，一個緊湊的安全模型，整合至 MDASH，以領先模型的一半成本提供世界級的漏洞偵測。
HMTP：使用現有 Web 標準設計現代化電子郵件繼承者
HMTP (Hypertext Mail Transfer Protocol) 是一個提議中的電子郵件繼承者，它使用包括 HTTP、WebFinger 和 ActivityPub 在內的現有 Web 標準堆疊來取代 SMTP，以解決垃圾郵件、偽造和加密等長期存在的問題。
LFM2.5-Encoders 發佈
Liquid AI 已發佈 LFM2.5-Encoder-230M 與 LFM2.5-Encoder-350M，這兩款通用編碼器模型提供高品質的長文本推理（最高達 8,192 個 token），且在 CPU 上的性能顯著優於 ModernBERT-base。
Stanley Robotics 倫敦格威克機場自動泊車系統
倫敦格威克機場引入了由 Stanley Robotics 提供的機械人泊車服務，該服務允許乘客在車輛被自動移動並存放以優化空間的過程中保留他們的鑰匙。
supervision：一個模型無關的電腦視覺工具套件，用於資料處理與視覺化
一套完整的電腦視覺工具套件，提供模型無關的資料載入、視覺化與資料集管理建構模組。
streamlit: 一個用於快速建立與分享互動式數據與 AI 應用程式的 Python 框架
一個開源的 Python 框架，可將腳本轉換為用於數據儀表板、報告和 AI 聊天應用程式的互動式網頁應用程式。
yolov5: 一個用於物件偵測、分割與分類的快速且經過生產驗證的電腦視覺框架
一個基於 PyTorch 的快速且易於使用的電腦視覺模型，用於即時物件偵測、影像分割與影像分類。
Gemini Robotics 2 版本說明 / 新功能
Google DeepMind 推出了 Gemini Robotics 2，一套模型組合，實現智慧的全身控制、高級靈巧度以及多機器人協作，適用於可適應的機器人系統。
Let's Seal: 一種免費、自託管文件簽署的開放標準
Let's Seal 引入 SEAL (Sealed Evidence Anchored to a Ledger) 標準，以透過結合加密簽章、以 Bitcoin 錨定的時間戳記和透明度日誌，提供一個免費、開放原始碼的付費文件簽署服務替代方案。
殺死 Cookie 橫幅：歐盟委員會提出的瀏覽器級隱私訊號與產業阻力
歐盟委員會已提出瀏覽器級隱私訊號以取代 Cookie 橫幅，但追蹤產業的遊說正在阻礙此項改革。
Terence Tao：AI 時代的數學
Terence Tao 主張，隨著 AI 能力的增長，數學界必須將重心從證明生成轉向證明消化與規範化，以避免出現「證明過剩」的危機。
向日葵：具備分層難度引擎的邏輯益智遊戲
Sunflowers 是一款使用專用邏輯引擎來根據解題所需的特定推理技巧對謎題進行分類的邏輯益智遊戲，難度從 Basic 到 Insane。
mirage：一個統一的虛擬檔案系統，讓 AI 代理能使用 bash 指令與多元資料來源互動
一個統一的虛擬檔案系統，將 S3、Google Drive、Slack 等服務掛載為單一檔案系統，讓 AI 代理能使用 bash 指令與資料互動。
liteflow：一個將複雜業務邏輯與 AI 代理統一為組件的規則引擎框架
一個為 Java 設計的現代規則引擎框架，能將複雜的業務編排解耦，並允許 AI 代理作為可編排的組件使用。
Google 披露在 SpaceX 持有 $94.1 億美元的股權，佔約 6 % 持股
Google 已披露其在 SpaceX 的股權現在價值為 $94.1 億美元，相當於約 6 % 的持股比例。
PGSimCity: 以3D方式視覺化PostgreSQL引擎
PGSimCity 是一個開源的 3D 工作模型，旨在視覺化 PostgreSQL 資料庫引擎的內部架構與排程。
Ruff v0.16.0 發佈說明 / 新功能
Ruff v0.16.0 將其預設規則集從 59 條大幅擴展至 413 條，並引入了 Markdown 程式碼區塊格式化功能以及新的抑制註釋格式。
SenseNova-Skills：為 AI 代理提供端到端辦公功能的套件，涵蓋資訊圖表生成與深度研究
一套為 AI 代理設計的專業辦公技能集合，能自動化產生資訊圖表、製作 PPT、分析 Excel 資料以及執行深度研究。
Libsm64: 使用超級瑪利歐64作為外部遊戲引擎的庫
Libsm64 提供了一個可重複使用的庫，讓開發者能將超級瑪利歐64 嵌入其他遊戲引擎，正如社群示範所示，例如瑪利歐在 半條命 2 中運行。
中繼市場：代幣轉售者與詐騙生態系統如何利用 AI 模型
深入探討多層中繼市場，該市場透過帳號濫用、盜用憑證以及如 one-api 和 new-api 之類的開源閘道軟體，以深度折扣代理 AI 模型的存取。
holaOS：一個本地優先的工作代理，透過 100 多項工作場所整合建立持久的專業記憶
HolaOS 是一個本地優先的 AI 工作代理，透過整合超過 100 項工作場所工具，建立使用者可自行控制的持久專業上下文記憶。
新 AI 超能力：專注與執行
AI 提升任務效率，但同時帶來 'make-work' 與倦怠的風險；解決方案是將專案從水平擴張轉向垂直深度與品質。
InsForge：為具備代理能力的程式編寫提供基礎設施原語作為 AI 代理工具的全方位後端平台
一個開源後端平台，為 AI 程式編寫代理提供資料庫、驗證、儲存等工具與基礎設施，讓其能端到端建置與部署全端應用程式。
zcf: 零配置設定工具，用於一鍵初始化 Claude Code 與 Codex AI 編碼代理
一個零配置初始化工具，提供 Claude Code 與 Codex 的一鍵設置，包括工作流程、API 配置和 MCP。
antigravity-awesome-skills: 這是什麼、解決什麼問題以及為什麼它正受到關注
可安裝的 GitHub 庫，包含超過 1,900 種適用於 Claude Code、Cursor、Codex CLI、Autohand Code、Gemini CLI、Antigravity 等工具的代理技能。包含專業插件、安裝程式 CLI、套件、工作流以及官方/社群技能集合。