1601

Cloudflare Meerkat: 透過 QuePaxa 實現全球分散式共識

Cloudflare 正在開發 Meerkat,這是一個由 QuePaxa 演算法驅動的實驗性全球共識服務,旨在提供線性化的控制平面狀態,且不會像 Raft 等基於領導者的協定那樣產生可用性瓶頸。

1602

Cognition SWE-1.7 發佈說明:軟體工程的前沿智能

Cognition 已發佈 SWE-1.7,這是一款針對長週期代理式軟體工程任務優化的模型,在專門的編碼基準測試中達到了與 GPT-5.5 和 Opus 4.8 相當的性能。

1603

人體中的微塑膠:檢測與測量的挑戰

環境化學家 Cassandra Rauert 解釋了為什麼目前的微塑膠檢測方法經常產生偽陽性結果,以及為什麼需要建立專門的無塑膠實驗室來準確測量人體的暴露量。

1604

Anthropic Fable:過度嚴苛的安全分類器使模型在技術研究中無法使用

Anthropic 的 Fable 模型因安全分類器在無害的技術提示上觸發誤報,導致生物學、網路安全與計算機科學的研究人員無法使用。

1605

Apple 與 Broadcom 擴大美國晶片生產協議

Apple 已與 Broadcom 簽署了一項超過 300 億美元的多年期協議,以生產超過 150 億顆美國製造的客製化矽元件與無線連接技術。

1606

GitLost:GitHub AI 代理人的提示注入漏洞

Noma Security 的研究人員發現,若給予 GitHub AI 代理人廣泛的組織存取權,透過提示注入即可欺騙其洩漏私有倉庫。

1607

MIT 結構與解讀電腦程式 (SICP) 1986 年影片講座

MIT 的 1986 年結構與解讀電腦程式 (SICP) 影片講座,由 Hal Abelson 與 Gerald Jay Sussman 主講,透過 MIT OpenCourseWare 提供,為計算基礎提供權威指南。

1608

Moxie Docs 免費 Mermaid 圖表編輯器

Moxie Docs 提供免費的基於瀏覽器的 Mermaid 圖表編輯器,具備即時預覽、SVG/PNG 匯出以及基於 URL 的分享,且不需帳號或安裝。

1609

Tenda Firmware CVE-2026-11405 Authentication Backdoor

多個 Tenda 韌體版本包含一個未記錄的身份驗證後門 (CVE-2026-11405),允許透過硬編碼密碼獲得完整管理權限,目前尚無官方補丁可用。

1610

Chiptune Radio:持續播放的復古音效晶片音樂

Chiptune Radio 是由 Aleph Void, LLC 營運的基於 Twitch 的串流服務,提供持續播放的音樂,這些音樂是為 SID、NES APU 等經典音效硬體所創作。

1611

GAO 關於 DOE 核廢料清理專案規劃的報告

美國政府問責局(GAO)發現,能源部(DOE)在核清理工作中過早排除節省成本的選項,因在定義實際任務需求之前就已確定特定解決方案。

1612

斯坦福健康 AI 週:拆解醫療 AI 的炒作與進展

來自醫療、生命科學與產業的領袖討論 AI 如何讓患者知識民主化、加速藥物開發,以及阻礙規模化影響的文化與結構性障礙。

1613

moonshine: 適用於即時代理與串流語音轉文字的低延遲裝置端語音工具包

一個開源的 AI 工具包,用於構建具備低延遲語音轉文字與文字轉語音能力的即時、裝置端語音代理。

1614

WhisperLiveKit:一個具備即時角色分段與翻譯功能的超低延遲自託管語音轉文字管線

一個超低延遲、自託管的語音轉文字管線,利用同步語音研究來提供高品質的即時逐字稿與翻譯。

1615

GPT-5.6 發布:Microsoft 365 Copilot 的新首選模型

OpenAI 已將 GPT-5.6 介紹為 Microsoft 365 Copilot 的首選模型,透過更高品質的輸出和更佳的 token 效率,提升 Word、Excel、PowerPoint、Chat 和 Cowork 的生產力。

1616

vision: 一個為 PyTorch 提供數據集、模型架構和圖像變換的全面電腦視覺函式庫

一個為電腦視覺提供熱門數據集、模型架構和圖像變換的 PyTorch 函式庫。

1617

OpenAI 生物安全賞金計畫過渡與 GPT-5.6 範圍

OpenAI 已將 GPT-5.5 生物安全錯誤賞金 過渡至持續的私人 OpenAI 生物安全賞金計畫,將普遍越獄的獎勵提高至 50,000 美元,適用於 GPT-5.6 和 GPT-5.5.

1618

ChatGPT Work 與 GPT-5.6 發布

OpenAI 已推出 ChatGPT Work,這是一個由 GPT-5.6 驅動的代理系統,能夠跨應用執行多步驟工作流程,創建文件和網頁應用,並執行排程任務。

1619

GPT‑5.6 Sol、Terra、Luna:效能、功能與可用性

OpenAI 推出 GPT‑5.6,推出 Sol、Terra 與 Luna 模型,提升每美元的效能、具備 ultra 多代理能力,並加強安全防護。

1620

mellea: 一個用於編寫具有類型註解輸出與自動修復功能的結構化、可測試生成式程式的 Python 函式庫

一個 Python 函式庫,透過將具備類型的函式轉換為具備結構化 LLM 呼叫,並結合自動驗證與重試功能,來建構可預測的 AI 工作流。

1621

騰訊 Hy3 模型概覽

騰訊已發布 Hy3,一款擁有 2950 億參數的混合專家模型,專為代理任務與本地部署設計,提供與 GLM 5.2 等中階模型競爭的替代方案。

1622

agentic-awesome-skills: 為 AI 編碼助手提供超過 1,935 種可安裝的代理技能與劇本的函式庫

一個可安裝的函式庫,包含超過 1,935 種代理技能與劇本,適用於 Claude Code 和 Cursor 等 AI 編碼助手,以提升任務執行與上下文能力。

1623

Modal: 解決 AI Agent 的 100,000 個沙盒問題

Modal CTO Akshat Bubna 解釋了 Modal 如何提供一個專為爆發式 AI 工作負載設計的無伺服器、彈性的基礎設施,從開發者體驗 (DX) 到 Agent 體驗 (AX) 的轉向,以支持 RL rollouts 和自定義模型推理的大規模擴展。

1624

邁向可信自主:護欄與數據飛輪

Rohan Sinha 解釋了如何透過結合用於語義異常檢測的快速運行時監控器,以及用於系統化策略改進的以數據為中心的「飛輪」來建立可信的機器人系統。

1625

AI x Crypto Roundup: 代理經濟的崛起

AI 與 Web3 的交集正從投機模型轉向功能性基礎設施,特別關注透過 x402 進行機器對機器支付、去中心化計算與可驗證 AI 裁決。

1626

AI 與前沿技術綜覽:Grok 4.5、代理式工程與本地基礎設施的崛起

AI 版圖正向專門的程式編寫模型(如 Grok 4.5)轉變,代理式工作流程快速擴散,同時本地、未受審查的 AI 基礎設施的需求也日益增長。

1627

軟體品質筆記 – 重點摘要

Anthony Hobday 的《軟體品質筆記》概述了構建可靠軟體的核心原則,說明了為何將品質放在首位對長期專案成功至關重要。

1628

Meta 面臨因青少年參與做法而可能高達 1.4 兆美元的法律責任

Meta 因州檢察長主張公司故意設計平台讓青少年上癮,面臨最高 1.4 兆美元的潛在法律處罰。

1629

為何我們打造了另一個 Postgres 連線池

作者說明了打造全新 PostgreSQL 連線池化器的動機,指出現有解決方案的具體不足,並闡述他們所追求的設計目標與實現方式。

1630

為何技術移民在德國工作後選擇離開

DW 報導指出,德國的官僚體制、語言障礙、住房短缺以及有限的職涯支援,使許多技術移民在短暫逗留後選擇離開德國。

1631

本地 CPU 友好型 TTS(文字轉語音)— Kokoro

Kokoro 是一個輕量級、8200 萬參數的文字轉語音模型,能在本機 CPU 上本地產出高品質、多語言的語音合成,無需 GPU。

1632

docx-cli:讓 AI 代理人以高保真度編輯 Word 文件

docx-cli 是一個命令列介面,讓 AI 代理人能使用穩定的定位器與原位 XML 變更來讀取、編輯與註解 .docx 檔案,從而保留格式並降低 token 用量。

1633

EU 強制性駕駛員監控攝像頭(ADDW)— 隱私風險與實務影響

自 2026 年 7 月起,所有新 EU 車輛必須配備紅外線駕駛員監控攝像頭以警示分心駕駛,但法規對資料處理模糊,導致隱私疑慮。

1634

歐盟聊天管制 1.0 與 2.0:時間表、政治僵局與爭議

聊天管制 1.0 的臨時掃描制度於 2026 年 4 月到期,EU 現正嘗試前所未有的復活,同時永久的聊天管制 2.0 規範仍陷入僵局。

1635

Davit 0.1 版本發佈:Apple Container 的原生 macOS UI

Davit 為 Apple 的容器平台提供輕量級、原生的 macOS UI,讓 Apple‑silicon 用戶可以在不使用 Docker Desktop 的情況下執行 Linux 容器。

1636

歐洲議會通過緊急動議以恢復 Chat Control 1.0

歐洲議會批准緊急程序以恢復已失效的「Chat Control」規範,為可能在先前被否決的兒童虐待掃描法案通過鋪路。

1637

Microsoft 在 Xbox 大規模裁員期間解雇 idTech 團隊於 id Software

Microsoft 正在進行大規模的 Xbox 重組,在 FY27 期間裁減約 3,200 個職位,作為其中一部分,Microsoft 已終止了 id Software 內大部分的 idTech 開發團隊。

1638

WhimFiles: 一款原生、以篩選為核心的 macOS 檔案管理員

WhimFiles 是一款輕量級、原生的 macOS 檔案管理員,專為高階用戶設計,具備即時按類型、日期和大小進行篩選、雙窗格瀏覽、以及模糊搜尋導航功能。

1639

在家 DNA 定序與 Oxford Nanopore MinION:完整流程、成本與實務見解

在家使用 Oxford Nanopore MinION 進行個人基因組測序是可行的,但需要一台約 7.5 萬美元的裝置、豐富的實驗耗材、謹慎的濕實驗操作,以及將原始 reads 轉換為可用 VCF 的高階生訊分析。

1640

l:高效能新執行環境,適用於 k、q 與 qSQL

l 是一個針對 k4、q 與 qSQL 的新執行環境,透過透明的 SIMD、自動平行化以及在壓縮向量上的原生操作來提升效能。

1641

Anthropic 延長 Claude Fable 5 付費方案存取至 7 月 12 日

Anthropic 宣布 Claude Fable 5 將持續對所有付費訂閱者開放至 7 月 12 日,對代幣上限、模型可靠性與行銷手法產生了複雜的反應。

1642

Jim's QR Font 使用 OpenType 特性直接從文本生成 QR Code

Jim's QR Font 是一款實驗性的 OpenType 字體,能將括號分隔的 ASCII 文本轉換為 QR Code,同時保持周圍文本的可讀性,展示了 GSUB shaping 的新穎用法。

1643

Slopfix 服務:花費 1 萬美元的一週,重構 AI 生成的程式碼庫

Slopfix 提供每週 10,000 美元的服務,旨在重構臃腫的 AI 生成程式碼庫,並保證減少可衡量的行數,否則將按比例退款。

1644

Rowboat 開源本地優先 AI 同事 – 功能、架構與社群回饋

Rowboat 是一款開源的桌面 AI 同事,將所有資料本地以 Markdown 形式儲存,構建持久的知識圖譜,並提供內建的工作介面,如電子郵件、筆記、瀏覽器與程式碼代理。

1645

Ilya Sutskever 的必讀機器學習論文:為初學者精選的閱讀清單

一套精選的 27 篇必讀機器學習論文與資源,根據傳聞中 Ilya Sutskever 提供給 John Carmack 的清單彙整,旨在引導初學者掌握深度學習與 AI 的核心概念。

1646

中國官員因受賄 3.25 億美元被判死刑

一名中國官員因受賄 3.25 億美元被判死刑,凸顯該國對高層腐敗的零容忍立場,同時引發關於選擇性起訴與經濟犯罪使用死刑的爭論。

1647

Knockoff: Filtering Pseudo-Brands on Amazon

Knockoff 是一款瀏覽器擴充功能,可從 Amazon 搜尋結果中移除「偽品牌」(pseudo-brands)——即那些難以發音、搶註商標的名稱——以優先顯示具有聲譽的既有品牌。

1648

荷蘭啟動鬱金香基金以吸引頂尖國際研究人員

荷蘭的鬱金香基金以 5,000 萬歐元的預算,招募 34 位領先科學家——大多來自美國——前往荷蘭從事研究,並引發關於其影響與可行性的討論。

1649

Ternlight:基於瀏覽器的語意搜尋,僅 7 MB 嵌入模型

Ternlight 是一個極小的嵌入模型(5‑7 MB),完全在客戶端透過 WASM 執行,實現快速且保護隱私的語意搜尋,無需 API 呼叫。

1650

StreetComplete: 將 OpenStreetMap 資料收集遊戲化

StreetComplete 是一款 Android 應用程式,透過將缺失的地圖資料收集轉銷為一系列基於位置的任務,讓使用者在現場解決,從而改善 OpenStreetMap。