951

ruler

Ruler 是一個將 AI 程式碼助理指令集中於單一真實來源的工具,並自動將其分發至各支援 AI 代理的設定檔中。

952

OpenAim: 一種新型的 FPS 瞄準訓練器 – 功能與社群回饋

OpenAim 是一款於 2026 年 7 月發布的基於瀏覽器的 FPS 瞄準訓練器,提供可自訂的視覺主題、準星設定、回饋提示、靈敏度校準、教練系統以及可選的資料分享;早期使用者既讚賞其深度,也對斷斷續續的瞄準、Firefox 相容性以及靈敏度匯入問題提出了擔憂。

953

agent-service-toolkit

一個使用 LangGraph, FastAPI, 和 Streamlit 構建和部署 AI agent 的全棧工具包,提供從 agent 邏輯到用戶界面的完整模板。

954

三維雅可比猜想反例說明

Terence Tao 於 2026 年的部落格文章展示了一個明確的多項式映射 F:C^3 → C^3,其雅可比行列式恆為非零常數但不可逆,從而提供了三維雅可比猜想的反例。

955

potpie

Potpie 將程式碼庫及其開發生命週期轉化為活的上下文圖,為 AI 代理提供執行編碼、除錯與變更規劃所需的專案特定知識。

956

text-to-cad: 它是什麼,它解決什麼問題 & 為什麼它正在獲得關注

SUMMARY: 一個代理技能庫,使 AI 能夠為製造和模擬生成、檢查和準備 CAD 模型和機器人描述檔案。

957

agents

一個用於構建能夠看、聽、並說話的即時、多模態 AI 代理(agents)框架,透過 WebRTC 集成 STT、LLM 和 TTS 提供商。

958

Apple 在 Amy 訴 Apple 案中因未掃描 iCloud 內的 CSAM 而免除責任

美國法院駁回對 Apple 的訴訟,裁定第 230 條為公司決定不掃描 iCloud 內兒童性剝削資料(CSAM)提供免責,強化了隱私與加密相較於主動內容審查的法律優先性。

959

cube

Cube Core 是一個開源語義層,讓您可以在程式碼中定義一次指標與業務邏輯,並透過 APIs 向 BI 工具與 AI agent 暴露它們。

960

明尼蘇達聯邦儲備銀行住宅擁有者與人口比例(HPOP)

明尼蘇達聯邦儲備銀行推出了住宅擁有者與人口比例(HPOP),這是一項以個人為單位的指標,顯示美國實際的住宅擁有率為 53%,遠低於傳統引用的 65% 自住率。

961

agents

一個生產就緒的代理構建模組(插件、agents、skills 和 commands)市場,可以部署在多個 AI 編碼助手上,例如 Claude Code、Cursor 和 Gemini CLI。

962

novu

一個開源的通訊基礎設施,透過提供單一 API 和統一的對話模型,將產品和 AI agent 連接到多個訊息管道。

963

貝南海岸發現繁茂的珊瑚礁

科學家在貝南海岸附近重新發現了一個繁茂的中光層珊瑚生態系統,證實了一個自 1960 年代以來長期被認為已經死亡的珊瑚礁依然存在。

964

Jane Street Incremental: 增量計算函式庫

Jane Street 的 Incremental 是一個 OCaml 函式庫,旨在透過在來源數據變動時部分更新計算圖,來最小化重新計算的次數。

965

Poolside 的 Model Factory、Laguna S 與開放模型:Eiso Kant 談如何為 AGI 構建程式碼模型

Eiso Kant 解釋了 Poolside 的 Model Factory 如何實現快速的八週模型週期、為什麼 Laguna S 依賴持續性和驗證而非原始智能,以及為什麼他支持擁有許多開放基礎模型公司,而非少數封閉的公司。

966

史丹佛機器人研討會:利用變形物質實現具身智能

姚琳(Lining Yao)助理教授討論了如何利用變形材料與機構來創造「具身智能」——即能夠透過形狀改變和可調式材料實現可編程性與決策能力的硬體系統。

967

Castle Map:全球 2,435 座城堡的互動圖集

Castle Map 是一個免費的互動圖集,收錄了遍佈 129 個國家的 2,435 座策展過的城堡、要塞與宮殿,使用 Wikidata 與 Wikimedia Commons 的開放資料建構。

968

在人機互動中促進自主性:史丹佛大學 CS547 HCI 研討會

Matthew Jörke 主張 AI 系統應從自動化任務的助手轉型為增強型顧問,透過非指令式支持和引發定性背景來維護使用者的自主性。

969

AI 繪畫競技場:GPT-5.6 Sol、Claude Fable 5、Gemini 3.6 Flash 與 Grok 4.5 之比較

透過使用彩色鉛筆工具集對四個前沿視覺模型進行技術評估,結果顯示 GPT-5.6 Sol 在品質與效率方面領先,而 Claude Fable 5 成本顯著較高且邊際效益遞減。

970

FreeInk:開源電子紙閱讀器生態系統

FreeInk 是一個開源社群,提供硬體無關的 SDK、社群建置的韌體與開源硬體設計,打造完整透明的電子紙閱讀器堆疊。

971

Flock Safety ALPR 爭議:錯誤陳述與隱私關切的模式

ACLU 已記錄出 Flock Safety 向政府官員提供關於 ALPR 熱圖、聯邦資料共享以及與公民自由組織合作的虛假資訊之模式。

972

vLLM AFD Plugin:針對 MoE 推論實現 Attention 與 FFN 解耦

vLLM AFD Plugin 引入了 Attention-FFN 解耦 (AFD) 技術,允許混合專家模型 (MoE) 中的 Attention 與 FFN 路徑進行獨立擴展與執行,以優化服務吞吐量與延遲。

973

在 NVIDIA B300 GPU 上使用 vLLM 服務 GLM-5.2

vLLM 透過實作 P/D 分離、投機填充和 IndexerCache 優化,在 24 顆 NVIDIA B300 GPU 上達成 GLM-5.2-NVFP4 的生產 SLA 合規。

974

Hugging Face 將 Nunchaku 4-bit Diffusion 推論整合至 Diffusers

Hugging Face 已將 Nunchaku Lite 整合至 Diffusers 函式庫,實現 4-bit 權重與激活值 (W4A4) 量化,可減少高達 50% 的 VRAM 使用量並提升約 30% 的推論速度。

975

ChatGPT 健康功能上線

OpenAI 已為美國用戶推出 ChatGPT 中的健康功能,使 AI 能安全地連接到 Apple Health 和醫療記錄,提供個人化且具情境感知的健康見解。

976

寒蟬效應:監控與社會壓力如何影響網路言論

Hacker News 使用者的討論揭示,現代網路言論受限於企業 AI 分析、社會「取消文化」以及經濟後果,而非僅僅受限於直接的國家監控。

977

ciso-assistant-community

CISO Assistant 是一個開源 GRC 平台,透過將合規性與安全控制措施解耦,簡化了網路安全管理並減少了數據重複。

978

Jellyfin 專案領導層變動

Jellyfin 專案負責人 Joshua Boniface、核心成員 Anthony 以及創始人 Andrew 已離開專案,理由是倦怠與個人優先事項,並將專案交由剩餘的核心團隊接手。

979

tracecat

一個結合 AI 代理、低程式碼工作流程與案件管理的代理式安全自動化平台,用於自動化安全運營。

980

osaurus

Osaurus 是一款針對 macOS 的本地優先 AI 框架,提供在裝置上執行的代理、記憶與工具,使使用者在本地與雲端模型之間切換時,仍能保有自己的 AI 身分與上下文。

981

mistral.rs

一個快速、零設定的 LLM 推理引擎,支援多模態模型、代理執行環境,並提供相容 OpenAI/Anthropic 的 API。

982

opencodex: 一個通用提供者代理,使任何 LLM 能與 OpenAI Codex 和 Claude Code 協同工作

一個本地代理,翻譯 Codex 的 API,以允許任何 LLM 提供者(如 Anthropic、Gemini、Ollama 等)在 OpenAI Codex 和 Claude Code 中使用。

983

WordInWeb: 一款開源的瀏覽器端 DOCX 編輯器

WordInWeb 是一款開源的 DOCX 渲染與編輯工具,旨在於瀏覽器環境中實現與 Microsoft Word 的佈局與格式近乎一致的效果。

984

AI 與程式設計難度的轉變

AI 已將軟體開發的主要挑戰從技術回憶和語法轉移到高階架構判斷與驗證。

985

Claude 不是編譯器:Vibe-Engineering 的興起

Bryan Mikaelian 認為,像 Claude 這樣的 LLM 並非單純將自然語言轉換為程式碼的編譯器,而是垂直整合的資源,讓工程師能夠在整個軟體堆疊中做出高階策略與架構決策。

986

透過 3D Gaussian Splatting 進行 Grace Cathedral 的數位保存

Vincent Woo 使用 Gaussian Splatting 與 PlayCanvas 建立了舊金山 Grace Cathedral 的沉浸式 3D 導覽,實現了對複雜建築細節的高保真數位保存。

987

Firefox 153 容器預覽

Firefox 153 推出原生容器預覽,將 Multi-Account Containers 擴充功能的功能直接整合到瀏覽器中,以隔離不同瀏覽情境之間的 Cookie 與追蹤。

988

inference

Xorbits Inference(Xinference)是一個多功能函式庫,能以單一指令輕鬆部署與服務語言、語音與多模態 AI 模型。

989

NarratoAI

一款用於製作電影和電視劇解說影片的自動化 AI 工具,可處理腳本編寫、影片剪輯、配音和字幕。

990

superset

一款可以同時編排多個基於 CLI 的 AI 編碼代理的代碼編輯器,使用 git worktrees 來隔離任務並防止干擾。

991

US Tech Giants Accumulate $1.65 Trillion in Off-Balance Sheet AI Debt

五大美國科技巨頭已累積約 1.65 兆美元的隱藏債務,用於資助 AI 基礎設施,並利用特殊目的載體 (SPVs) 將這些負債保留在主要資產負債表之外。

992

Toonflow-app: 它是什麼,它解決什麼問題 & 為什麼它正在獲得關注

Toonflow 是一個由 AI 驅動的短劇製作工作台,能夠自動化從編劇和分鏡到最終影片生成的工作流程。

993

Qwen-Image-3.0 發佈說明

Qwen-Image-3.0 是一款專注於生產力的基礎圖像生成模型,具備支持 4.5k token 輸入以進行複雜佈局、精確的 10px 文字渲染,以及原生支持 12 種語言的功能。

994

bisheng

BISHENG 是一個為企業設計的開源 LLM 應用程式 DevOps 平台,提供視覺化工作流編排、專家級 Agent 指引以及高精度文件解析。

995

Kimi K3、Qwen 3.8 與 Anthropic 的潛力,以及 Anthropic 的策略挑戰

Moonshot Labs 的 Kimi K3 與阿里巴巴的 Qwen 3.8 的發布顯示,開源模型能匹配 Anthropic 的 Fable 5 效能,挑戰 Anthropic 依賴利潤率的商業模式,並凸顯擁有基礎設施的策略優勢。

996

AI 產生的反例在 2026 年壓倒人類數學家

在 2026 年,AI 系統如 ChatGPT、Sol 與 Claude Fable 已自動生成並形式化了多個重要猜想的反例——包括 Erdős 的單位距離猜想、Grothendieck 的群綱問題以及雅可比猜想——顯示機器現在已能在「反例」上超越人類數學家。

997

Kimi Work:知識工作者的桌面 AI 代理 – 功能、接受度與批評

Kimi Work 是一個本地安裝的 AI 桌面代理,整合檔案存取、透過 WebBridge 進行網頁自動化、排程任務以及代理群集,但 HN 評論者指出其 UI 幾乎直接複製了 Claude Codex,提出隱私與資料主權的疑慮,並質疑其定價與原創性。

998

中國開放權重 AI 策略 vs 美國封閉模型:為何開放分發可能正在贏勢

中國的開放權重 AI 策略正逐漸取得市場份額,可能削弱美國的封閉模型商業模式,進而重塑全球 AI 生態系統。

999

astron-agent: 一個企業級的 Agentic 工作流平台,整合 AI 編排與 RPA,實現跨系統自動化

一個企業級的 Agentic 工作流開發平台,結合 AI 編排與 RPA,構建可擴展、可投入生產的智能代理。

1000

Cursor Agent Swarms and Model Economics

Cursor 證明了層級化的 "planner-worker" 代理群集可以透過策略性地混合頂尖模型與高效模型,以高精確度並在顯著降低成本的情況下,在 Rust 中重建 SQLite。