1051

日本最高法院裁定 AI 不能在專利申請中列為發明人

日本最高法院裁定,只有人類才能在專利申請中列為發明人,駁回了將人工智慧系統認定為法律發明人的請求。

1052

Google 員工辭職與企業倫理辯論

一位前 Google 員工的辭職信聲稱公司失去了道德指南針,這在 Hacker News 上引發了關於大型科技公司是否曾真正擁有過倫理框架的廣泛辯論。

1053

Weave Robotics Isaac 1 家用機器人

Weave Robotics 推出了 Isaac 1,這是一款售價 7,999 美元的家用機器人,專為洗衣和整理而設計,預計於 2026 年秋季開始交付。

1054

全球審查確認 mRNA 疫苗安全性與未來治療潛力

英屬哥倫比亞大學研究人員在 *The Lancet* 發表的一項全面全球審查確認了 mRNA 疫苗是安全且有效的,並為未來治療癌症、流感與自體免疫疾病提供了基礎。

1055

ZCode Harness for GLM-5.2 概覽"}],

ZCode 為 GLM-5.2 模型推出了 harness,提供了一個即插即用的介面,簡化了部署與實驗流程。

1056

Senior SWE‑Bench:評估 AI 代理人作為資深軟體工程師的能力

Senior SWE‑Bench 是一個開源基準,旨在評估 AI 代理人在從不完整需求實作功能的能力,模擬資深軟體工程師的工作流程。

1057

Pieces 社交網路:以人為本的品牌驅動平台替代方案

Pieces 是一個新興的社交網路,透過排除品牌與組織,將焦點放在真實的人與人之間的連結,而非演算法推播的內容。

1058

程式碼審查的主要目的:將可維護性置於找錯誤之上

程式碼審查應主要聚焦於找出難以維護的程式碼,而非作為找錯誤的主要機制,找錯誤更適合交由自動化測試處理。

1059

Google 的年齡驗證零知識證明

Google 正在實施零知識證明(ZKP)技術,讓使用者在不透露實際出生日期或身分的情況下,證明其年齡以使用線上服務。

1060

Salt 系統程式語言:Z3 定理證明與 MLIR 產生碼

Salt 是一種系統程式語言,將 Z3 SMT 求解器直接整合到編譯器中,以提供數學驗證的安全合約,零執行時成本,且效能與 `clang -O3` 相當。

1061

Claude Fable 5 發佈與用戶回饋

Anthropic 重新推出了 Claude Fable 5 模型,但此次發佈因限制性的使用量限制、激進的安全防護機制,以及用戶對定價與存取權限的顯著不滿而蒙上陰影。

1062

Sony PlayStation Store 內容刪除與數位所有權的侵蝕

Sony 將於 9 月 1 日從 PlayStation 用戶媒體庫中移除 551 部 StudioCanal 電影與電視節目,這凸顯了數位「購買」實際上是可撤銷的授權。

1063

Valmis: 一款具備安全優先代理架構的開源 AI Agent 框架

Valmis 是一款專為生產環境設計的開源 AI agent 平台,其特色是具備安全代理系統,可將 agent runtime 與 API 憑證及主機檔案隔離。

1064

CursorBench 3.1:在真實任務中評估 AI 程式編寫代理人

CursorBench 3.1 以真實 Cursor 會話中的模糊、多檔案任務評估 AI 程式編寫代理人,目前 Fable 5 Max 在效能上領先。

1065

WorkerOwned.info:搜尋 22k+ 由勞工擁有的合作社產品目錄

WorkerOwned.info 將超過 22,000 件勞工擁有合作社的商品彙整成一個快速、可搜尋的目錄,凸顯其在倫理消費上的潛力,同時呈現社群驅動的改進建議。

1066

PlayStation 實體光碟生產將於 2028 年 1 月結束

Sony Interactive Entertainment 將從 2028 年 1 月起停止所有全新 PlayStation 主機遊戲的實體光碟生產,全面轉向數位格式。

1067

合成生物學:首個具備生長與分裂能力的實驗室建造細胞

由 Kate Adamala 領導的研究人員已創建了「spudcells」,即由非生物組件構建的合成細胞,能夠生長、複製 DNA 並分裂,這標誌著合成生物學的一個重要里程碑。

1068

Claudoro: Claude Code 專用的番茄鐘計時器

Claudoro 是一款功能豐富的番茄鐘計時器,直接嵌入於 Claude Code 狀態列中,透過將時間追蹤保持在終端機內,消除了情境切換。

1069

FFmpeg 9.1 AAC 編碼器重寫

FFmpeg 9.1 引入了全新重寫的 AAC 編碼器,於品質指標上超越先前的原生編碼器,並與 fdk-aac 與 qaac 等競爭對手媲美。

1070

GolemUI: 一個宣告式的 JSON 驅動表單引擎

GolemUI 是一個開源函式庫,可從 JSON 定義生成動態表單,其特色是具有強型別開發層,並與 React、Angular、Vue 和 Lit 具備跨框架相容性。

1071

Hacker News Who is Hiring July 2026: AI Agents and Robotics Trends

2026 年 7 月 Hacker News 的「Who is Hiring」討論串揭示了市場對代理型 AI 工程師、機器人技術專家以及跨遠端與實地辦公的專業基礎設施職位有強烈的市場需求。

1072

成為即時圖形程式設計師:學習路徑與需求"}],

要成為一名具備僱用價值的即時圖形程式設計師,必須精通 CPU 端顯式 API 與 GPU 端著色數學,並專注於 C++ 與基於物理的渲染 (PBR)。

1073

Cloudflare Monetization Gateway and x402 Protocol

Cloudflare 推出了 Monetization Gateway,這是一個允許網站所有者透過使用穩定幣與開放的 x402 微支付協定,向 AI agent 和用戶收取數位資源費用工具。

1074

Hacker News 'Who wants to be hired?' 2026 年 7 月人才庫

來自 2026 年 7 月 Hacker News "Who wants to be hired?" 討論串的軟體工程師、設計師與產品經理綜合名錄,其特點是涵蓋了 AI、系統程式設計與基礎設施領域的多樣化專業技能。

1075

為什麼我停止與人爭論

一位軟體工程師反思為何過度優先技術正確性而忽視人類心理會導致失敗,主張從「對錯」的爭論轉向合作探討利弊。

1076

Godot Engine 禁止 AI 撰寫的程式碼貢獻

Godot Engine 基金會已禁止 AI 撰寫的程式碼貢獻,以防止維護者倦怠並確保貢獻者理解其提交的程式碼。

1077

Apple Hide My Email 漏洞揭露私人電子郵件地址

Apple 的 Hide My Email 服務存在安全漏洞,允許攻擊者揭露 iCloud+ 使用者的真實電子郵件地址,截至 2026 年 6 月 30 日,該漏洞仍未修復。

1078

內燃機的工作原理:第一原理指南

本指南解釋了四行程內燃機的機械運作原理,從基本的曲柄機制到複雜的組件,如曲軸、凸輪軸和燃油噴射系統。

1079

ZeroFS:用於 S3 相容儲存的日誌結構檔案系統

ZeroFS 是一套日誌結構檔案系統,讓 S3 相容的 bucket 可透過 NFS 與 9P 作為 POSIX 檔案系統,或透過 NBD 作為原始區塊裝置使用,並內建加密與壓縮功能。

1080

Box3D 開源 3D 物理引擎發布

Erin Catto 發布了 Box3D,一款基於 Box2D 架構、受 Valve Rubikon 影響的開源 3D 物理引擎,旨在為高效能遊戲開發提供支援。

1081

中國為何在噴射引擎生產上掙扎

中國無法製造世界級噴射引擎的原因在於該產業依賴深厚的隱性知識、極高的可靠性要求,以及分散的全球供應鏈,這些因素抵制了其他領域以規模為導向的產業政策。

1082

舊版 Reddit 登入需求與使用者存取問題

報告指出,有些使用者在 old.reddit.com 遇到登入牆,但在不同平台、VPN 與地區的存取情況仍不一致。

1083

任天堂在日本將基本薪資提升 10% – 對員工與產業的意義

任天堂宣布將日本員工的基本薪資提升 10%,此舉罕見且象徵對員工的尊重,亦可能影響產業的薪酬趨勢。

1084

Asahi Linux 7.1 進度報告

Asahi Linux 7.1 引入了 M3 系列支援、自訂 Apple 影片解碼器 (AVD) 韌體解決方案,以及針對 macOS 27 相容性的關鍵修正。

1085

Meta 失敗於駁回指稱 Facebook 與 Instagram 使兒童上癮的州訴訟

聯邦法官駁回了 Meta 試圖撤銷 33 個美國州提起的訴訟,該訴訟指稱其平台 Facebook 與 Instagram 故意使兒童上癮,這對公司而言是一個重大的法律挫折。

1086

唐納德·特朗普的加密貨幣收入與2025年財務暴利

唐納德·特朗普透過加密貨幣交易賺取超過10億美元,成為2025年更廣泛財務暴利的一部分,這引發了對政治腐敗與利益衝突的重大關切。

1087

Google Copybara:在儲存庫之間轉換與移動程式碼

Google Copybara 是一個無狀態工具,旨在於儲存庫之間轉換與移動原始碼,特別是為了促進私有與公開儲存庫之間的同步,同時維持單一的事實來源。

1088

Claude Fable 5 重新部署與 AI 資安框架

Anthropic 隨美國出口管制解除後,正在全球重新部署 Claude Fable 5,並推出一套用於評估 AI 越獄嚴重程度的新產業框架。

1089

arXiv 從康奈爾大學分拆

2026年7月1日,arXiv 將成為一家獨立的非營利組織,從康奈爾大學分拆,以獲得營運彈性,同時保持其對免費存取與提交的承諾。

1090

Anthropic Claude Fable 5 與 Mythos 5 出口管制已解除

美國商務部已解除對 Anthropic 的 Claude Fable 5 與 Mythos 5 模型的出口管制,前提是已就安全風險偵測與政府協調達成協議。

1091

網路的演進與中心化:從探索到封閉

對網路從去中心化的探索「地方」轉變為整合進日常生活各個面向的、中心化且由演算法驅動的公用事業進行的回顧性分析。

1092

Claude Sonnet 5 發布說明

Anthropic 發布了 Claude Sonnet 5,這是一款針對代理工作流優化的模型,其性能接近 Opus 4.8,且價格更低廉。

1093

亨利科縣能源危機:資料中心擴張與電費上漲

弗吉尼亞州亨利科縣要求政府員工與學校在電費上漲 25% 後節約用電,該漲幅將在下一財政年度使縣政府成本估計增加 500 萬美元。

1094

IPFS Kubo 0.39.0: 使用 Optimistic Provide 加速內容發佈

IPFS Kubo v0.39.0 引入了 Optimistic Provide,這是一種統計優化技術,透過將僵化的 DHT walk 終止條件替換為機率性啟發式方法,將內容發佈延遲從約 15 秒降低到 1 秒以下。

1095

Pglayers – 可堆疊的 PostgreSQL 擴充套件 Docker 層

Pglayers 讓您將 PostgreSQL 擴充套件組合為可重用的 Docker 層,簡化容器化資料庫中擴充套件的管理。

1096

Ewingella americana: 從青蛙獲取的細菌能根除小鼠的大腸直腸腫瘤

*Gut Microbes* 上發表的一項同行評審研究發現,單次劑量的天然細菌 *Ewingella americana* 完全消除了 100% 免疫健全小鼠的大腸直腸腫瘤,其表現優於化學治療和免疫檢查點阻斷。

1097

Leanstral 1.5 發佈說明

Mistral AI 已發佈 Leanstral 1.5,這是一個擁有 119B 參數的專用模型,針對 Lean 4 形式化證明工程、自動定理證明和自動形式化進行了優化。

1098

Claude Code 2.1.196 提示詞隱寫術發現

分析 Claude Code 2.1.196 版本顯示,該工具在系統提示詞中使用隱寫標記來識別 API 轉售商與自定義閘道器。

1099

索尼數位內容移除與數位所有權的幻象

索尼從使用者圖書館中移除已購買的數位內容,凸顯了購買產品與授權存取之間的法律區別,並在數位時代引發關於消費者權益與「首次販售原則」的激烈討論。

1100

至高法院維持出生公民權

美國至高法院維持了對出生公民權的廣泛概念,主張在美國出生的人即為公民,無論其父母的移民身份為何。