TOPIC

開源模型與工具

整理開源模型、推論框架、資料集與開發工具的版本變化。

最新內容

365 則 · 最後更新:10/21 04:03

eMudhra 八張中介 CA 憑證私鑰洩漏,主流瀏覽器已封鎖相關根憑證

2026年10月20日,安全研究人員揭露 eMudhra 旗下八張中介憑證授權中心(Intermediate CA)的私鑰遭洩漏。這些憑證鏈結至 Mozilla、Microsoft、Apple 及 Chrome 等主流信任根,攻擊者若持有私鑰可偽造任何網站身分;目前各大瀏覽器已透過撤銷機制保護用戶,但許多作業系統與開發工具仍需手動更新或調整設定才能確保安全。

媒體部分確認

Waymo擬獲50億美元貸款擴充無人計程車隊至2萬輛

Waymo計畫在2027年底前將無人駕駛車隊規模從約4,000輛擴大至2萬輛,並尋求獲得50億美元貸款支持。該公司安全中心數據顯示,其無人車嚴重傷害事故率較人類駕駛基準低95%。

社群訊號部分確認

Anthropic 設立公共利益基金,承諾捐出 20% 股份

Anthropic 宣布成立一個公共利益基金,並承諾將公司 20% 的股份捐贈給該基金。此外,若公司估值每增加 50%,可能再額外捐贈 2% 的股份。

社群訊號部分確認

OpenAI Python SDK 推出 v3.34.0 版本,新增即時翻譯 WebSocket 功能

OpenAI 於 2026 年 10 月 17 日發布 openai-python SDK 的 v3.34.0 版本。此次更新主要新增了即時翻譯 WebSocket 會話支援,並加入了外部儲存降級狀態的 API 欄位。

GitHub部分確認

TempoPFN 以合成資料預訓練線性 RNN,實現零樣本時間序列預測

研究團隊發表 TempoPFN,透過一套合成時間序列生成器與增強技術,預訓練線性循環神經網路(Linear RNN),使其具備零樣本時間序列預測能力。該方法已被 NeurIPS 2026 接收,且相關合成資料技術此前已應用於 Toto-2 與 TS-ICL 等模型。

社群訊號部分確認

Nature 發表結合生命週期意識的 AI 永續材料發現

《Nature》期刊發表了一篇標題為「Artificial intelligence for life-cycle-aware sustainable materials discovery」的文章。該文章探討如何透過在材料發現過程中納入生命週期意識,來應用人工智慧以發現永續材料。由於原始來源僅提供標題與連結,未提供文章正文內容,因此無法驗證具體的方法…

媒體部分確認

金融穩定委員會定稿金融業負責任採用 AI 的健全實務

金融穩定委員會(FSB)已定稿一套旨在指導金融機構負責任地採用人工智慧(AI)的健全實務。該文件標題為「負責任採用人工智慧(AI)的健全實務」,並包含諮詢回應概覽。

媒體部分確認

Simons 基金會啟動 1500 萬美元計畫協助數學家應對 AI 時代

Simons 基金會宣布一項新計畫,旨在協助數學社群應對人工智慧在該領域的快速崛起。根據合作協議,Simons 基金會、Anthropic 和 OpenAI 將共同承諾提供總計 1500 萬美元的資金與資源。Simons 基金會將負責管理並發放這筆資金,包括透過公開徵求提案的方式,資助研討會及其他倡議,以幫助研究人員評估近期的 AI 輔助成果、學習與使…

媒體部分確認

Steam 客戶端更新後啟動速度快於 Epic 全新 Vibe Coded 啟動器

Epic Games 於 10 月 14 日推出其新「Vibe Coded」啟動器(Epic Games Launcher V2 Preview)的預覽版,主要行銷賣點是強調其載入速度快於 Steam。然而,僅在 24 小時後,Valve 推送了一個小型更新,使 Steam 客戶端的啟動速度快於 Epic 的新啟動器。根據測試數據,在基本測試系統上,更…

媒體部分確認

Ai2 推出 HiRO-ACEv2:以極低成本模擬 3 公里解析度極端天氣

Ai2 發布了 HiRO-ACEv2,這是其高解析度輸出 Ai2 氣候模擬器(HiRO-ACE)系統的最新更新版本。該系統由兩部分組成:ACE,一個在較粗的 100 公里解析度下運作的 AI 模型,以及 HiRO,一個將粗解析度輸出細化為 3 公里細節的降尺度模型。HiRO-ACEv2 的主要變化在於新的降尺度模型 HiROv2,它現在能夠同時預測多個…

官方部分確認

Character.AI 申請破產,將部分資產以 2000 萬美元出售給迪士尼

根據《洛杉磯時報》報導,AI 新創公司 Character.AI 已申請破產,並同意將部分資產以 2000 萬美元出售給迪士尼。原始來源僅提供標題與連結,未包含交易細節、具體出售資產項目或破產申請的具體背景資訊。

社群訊號部分確認

AOSP 原始碼發布延遲迫使開發者反組譯函式庫以回報錯誤:Android 17 Bionic 寬字元處理回歸

開發者 francisdb 於 2026 年 10 月 12 日在 GitHub 上回報,Android 17 的 bionic libc 中存在一個回歸錯誤,導致 `wcscspn()` 和 `wcspbrk()` 函數在處理寬字串時出現異常。具體而言,當拒絕集(reject set)包含兩個或以上全部小於 U+0100 的字元時,這兩個函數會錯誤地…

GitHub部分確認

Python 3.15 發布:新增顯式延遲匯入與取樣分析器,正式終止 Python 3.10 支援

Python 3.15 正式發布,由 3.14 和 3.15 發布經理 Hugo van Kemenade 編纂了「Python 3.15 新功能」指南。此次更新引入了多項重要功能,包括基於 PEP 810 的顯式延遲匯入(Explicit lazy imports)、基於 PEP 798 的列表解析式解包語法,以及名為 Tachyon 的高頻統計取樣…

媒體部分確認

DeepMind AlphaProof Nexus 解決 9 個 Erdős 開放問題及 44 個數列猜想,經同儕審查論文刊於《Science》

DeepMind 的 AlphaProof Nexus 據報導解決了 9 個 Erdős 開放問題及 44 個數列猜想,其中包括兩個懸而未決超過 50 年的問題。這些解決方案最初於 2026 年 5 月以預印本形式發布在 arXiv 上。最新進展是該論文的經同儕審查版本已發表於《Science》期刊(2026 年 10 月出版)。

媒體部分確認

法國超市冷藏系統遭網路攻擊 數百家門店食品損毀

一場針對丹麥工程公司 Danfoss 所提供軟體的網路攻擊,導致法國數百家超市的冷藏與冷凍設備溫度異常升高,造成估計價值數百萬歐元的生鮮及冷凍食品損毀。攻擊者控制了調節製冷單元溫度的軟體,迫使部分設備在夜間加熱至攝氏 50 度(華氏 120 度)。受影響的連鎖店包括 Coopérative U(超過 100 家門店)、Intermarché 及其 Ne…

媒體部分確認

研究員發現 Google 開發者網站因 Flask 會話簽名金鑰洩漏導致 9 萬美元遠端程式碼執行漏洞

安全研究員 Simon Koeck 在 Google 開發者文件網站(developers.google.com)發現一個價值 9 萬美元的遠端程式碼執行(RCE)漏洞。該漏洞源於 Google 的共享 DevSite 平台在 OAuth 流程中,將 OAuth 客戶端密鑰(client_secret)同時用作 Flask 會話 Cookie 的簽名金…

媒體部分確認

Cactus Compute 發布 Whistle:16.9 MB 裝置端語音轉文字模型,支援七種語言與離線處理

Cactus Compute 發布了 Whistle,這是一個專為手機、可穿戴裝置、機器人、智能家居、汽車及微控制器設計的語音識別模型。該模型僅佔用 16.9 MB,無需依賴外部依賴項,直接在 CPU 上運行,並載入與 Needle 模型相同的 C++ 引擎中。Whistle 提供三種主要功能,全部在裝置端本地執行:1. 轉錄:支援 16 kHz 單聲…

媒體部分確認

Telegram Desktop 漏洞允許透過 IPC 注入竊取任意檔案並接管帳號

Telegram Desktop 7.2.8 及更早版本(已在 Windows 6.9.3 確認)存在一個嚴重漏洞(CVE-2026-107181,CVSS 評分 8.1 High),攻擊者可透過誘使使用者點擊連結,利用 IPC 注入缺陷讀取本地任意檔案並最終接管帳號。該漏洞已在版本 7.2.9 中修復。 漏洞成因涉及兩個缺陷的結合:首先是 IPC …

媒體部分確認

Cloudflare 收購 Deno,Deno 執行環境將於一年後終止維護

Cloudflare 正式收購 Deno,目標是基於 'celld' 專案,讓 'workerd' 的自託管成為使用 Workers 程式設計模型構建和運行應用程式的一級支援方式。'celld' 是 Deno 團隊於 8 月發布的開源專案,實作了 Cloudflare Workers 中的 Durable Objects 模式。 根據 Cloudfl…

媒體部分確認

Eurydice:將 Rust 編譯為保留結構之 C 碼的新工具

LWN.net 報導了名為 Eurydice 的新專案,其目標是將 Rust 程式碼轉換為乾淨的 C 程式碼。與傳統編譯器不同,Eurydice 旨在保留程式碼的整體結構,同時移除 Rust 中存在但 C 語言不支援的構建。這對於高保證軟體特別有用,因為現有的驗證和合規工具通常預期輸入為 C 語言。Eurydice 已被用於將部分後量子密碼學例程從 R…

媒體部分確認

Python 3.15 發布:強化 JIT 編譯器與延遲匯入功能

Python 3.15.0 於 2026 年 10 月 9 日正式發布,包含顯著升級的實驗性 JIT 編譯器,在 x86-64 Linux 和 AArch64 macOS 上分別帶來 7-8% 和 11-12% 的效能提升。此外,該版本引入了多項新語言特性,包括明確的延遲匯入語法(PEP 810)、內建的不可變字典類型 frozendict(PEP 8…

媒體已確認

OpenAI 更新數學倉庫:撤回三項結果並新增六項 Lean 形式化證明

OpenAI 研究員 Dan Roberts 於 2026 年 10 月 8 日在 X(原 Twitter)上宣布,OpenAI 已更新其 GitHub 數學倉庫(openai/math)。此次更新包含 6 項新的 Lean 形式化證明、19 項修改以及 3 項結果的撤回。Roberts 指出,該倉庫目前已有約 42% 的頂層結果(top-line r…

社群訊號部分確認

川普政府暫停微軟綠卡申請資格 指控其以外籍勞工取代美國員工

美國副總統 JD Vance 於 2026 年 10 月 8 日(週四)在白宮新聞發布會上宣布,川普政府暫停微軟公司透過 H-1B 簽證員工申請綠卡的資格,指控該公司存在詐欺行為。Vance 指稱微軟利用該制度,將被裁員的美國員工替換為外籍勞工。他具體指出,微軟去年裁員 6,000 名美國員工,卻同時獲得了 6,300 個 H-1B 簽證及近 3,00…

媒體部分確認

論文指出 Lean 驗證無法保證 AI 自動形式化後自然語言證明的正確性

Alexander Bastounis、Fabian Circelli 和 Anders C. Hansen 於 2026 年 10 月 6 日在 arXiv 發表論文《Navier–Stokes Lost in Translation》,探討利用 AI 將自然語言數學文本自動形式化(Autoformalisation)為 Lean 等形式語言並進行機…

研究部分確認

Google 推出 Playground:無需編程即可創作與遊玩自訂遊戲

Google 於 2026 年 10 月 7 日推出 Playground,這是一個實驗性遊戲平台,允許使用者透過文字提示(text prompts)來創作、遊玩及分享自訂遊戲,無需具備編程經驗。使用者可以從空白畫布開始、重新混合起始提示或使用引導式支援來構思遊戲,並即時測試。平台支援調整物理效果、規則、角色及環境,讓創作者從概念到成品保持完全控制。P…

媒體部分確認

Gleam v1.19.0 發布:改用 Erlang 抽象形式編譯以提升效能與除錯精度

Gleam 語言發布 v1.19.0 版本,其中最重要的變更是由 Giacomo Cavalieri 重寫了 Erlang 程式碼產生器。新產生器不再輸出 Erlang 原始碼,而是直接產生「Erlang 抽象形式」(Erlang abstract forms)。抽象形式是 Erlang 編譯器使用的中間表示法,透過 Erlang 的外部術語格式(Ex…

媒體部分確認

JetBrains 2025 年營收創新高但首現淨虧損,ROE 大幅下滑

根據 Helgi Library 整理的捷克商業登記處財務申報資料,JetBrains s.r.o. 在 2025 年錄得 160.08 億捷克克朗(CZK 16,008 mil)的營收,較 2024 年成長 6.3%,創下該公司有記錄以來的最高營收紀錄。然而,該公司在 2025 年結束時錄得 3.15 億捷克克朗(CZK -315 mil)的淨虧損,…

媒體部分確認

德國機器人公司 RobCo 估值達 10 億美元

根據標題資訊,德國機器人公司 RobCo 的估值已達到 10 億美元。提供的原始來源正文內容極短且主要包含其他新聞標題(如劍橋 Reclinker 融資),未提供關於 RobCo 融資細節、投資人名單或商業模式的具體文字描述。

媒體部分確認

Anthropic 高層向梵蒂岡遊說 AI 意識議題,遭教宗良十四世通諭明確否認

據《紐約時報》報導,AI 公司 Anthropic 過去數月秘密宴請全球宗教學者,試圖說服他們 AI 模型具有思考與感受能力。Anthropic 共同創辦人兼資深研究員 Christopher Olah 在得知教宗良十四世(Pope Leo XIV)對 AI 的官方立場後,積極向梵蒂岡進行遊說,但未能成功。 今年 5 月,教宗發布了首篇通諭《Magn…

媒體部分確認

首個大規模聯網汽車隱私研究:21 輛測試車中 19 輛透過 Wi-Fi 向第三方傳輸數據

東北大學(Northeastern University)的研究團隊與 Consumer Reports 合作,發表了首個針對聯網汽車生態系統的大規模測量研究。該研究於 2024 年 10 月至 2025 年 8 月期間進行,測試了美國市場上的 21 輛新款車型(涵蓋 19 個品牌)及 30 個配套手機應用程式。研究發現,21 輛受測車輛中有 19 輛…

媒體部分確認

Cloudflare 推出 OHTTP 閘道器,強化無感知 HTTP 隱私架構

Cloudflare 正式宣布推出 OHTTP 閘道器,作為支援無感知 HTTP(Oblivious HTTP)的新基礎建設元件。此服務透過中繼伺服器機制,讓客戶端在與原始伺服器保持安全連線的同時,能有效隱藏其 IP 位址。 在運作機制上,閘道器自動處理請求的解包與回應的封包作業,並管理 HPKE 金鑰,同時透過 Cloudflare Access …

官方已確認

Apple 更新 macOS 全磁碟存取權限與容器限制

Apple 更新了 macOS 中的全磁碟存取權限,引入了更嚴格的控制措施。即使應用程式已獲得全磁碟存取權限,系統仍會限制其對特定系統容器的存取,旨在透過縮小應用程式可讀取的範圍來提升安全性。 一個顯著的技術細節是,全磁碟存取不再保證能存取所有系統容器,例如存放 Apple 螢幕保護程式設定的容器。這導致像 Ghostty 或 Alfred 等應用程…

媒體已確認

機器人學習評估:手部追蹤遮擋空隙對指標的影響

Reddit 上的討論指出,在機器人示範期間,若因遮擋導致手部追蹤出現空隙,可能會扭曲評估指標。特別是當整體高召回率掩蓋了插頭插入等關鍵階段的錯誤時,問題更為嚴重。文章引用 MEgoVista 和 HaPTIC 資料集,說明接觸階段偵測遺漏如何影響姿態誤差的計算。 此問題對機器人學習至關重要,因為關鍵操作階段的姿態標籤若不準確,即使整體追蹤指標看起來…

社群訊號已確認

模擬果蠅大腦:第一個永生的生物?

Reddit 上的討論探討了掃描人類大腦並將其轉移至可修復的人形機器人體內,是否構成真正的永生。此辯論結合了果蠅大腦完整連接組(connectome)繪製的最新進展。 此主題結合了神經科學與哲學,質疑數位存在是否能保留意識與身份。它突顯了大腦模擬在追求數位永生過程中的日益重要性。 討論指出,目前的模擬可能僅捕捉連接組(神經線路)而缺乏突觸權重,這引發了…

媒體部分確認

哈薩比斯:AI 藝術的意義源自人類經驗

Google DeepMind 聯合創始人戴密斯·哈薩比斯(Demis Hassabis)在獲得 RSA 愛伯特獎章時指出,雖然 AI 在技術上能與人類創意匹敵,但人類經歷賦予了藝術獨特的意義層面。他強調,即使 AI 能產生同等質量的作品,知道背後有真實的人類生活經驗,仍會加深我們與作品的連結。 哈薩比斯以西洋棋和圍棋為例,指出這些領域有明確的優劣標…

媒體已確認

Ahmad Al-Dahle 主導 Airbnb 的內向外 AI 轉型策略

前 Meta Llama 模型負責人 Ahmad Al-Dahle 已出任 Airbnb 首席技術長,目前負責全球工程與數據科學團隊。他致力於擴展技術平台,並在各產品與內部系統中推進 AI 應用,推動「內向外」AI 策略。此策略旨在利用 AI 加速內部產品開發,隨後將相同技術應用於提升對客服務體驗。這為企業採用 AI 提供了高價值的案例研究,展示了來自…

媒體已確認

保羅·哈爾莫斯回顧馮·諾伊曼的傳奇

數學家保羅·哈爾莫斯於 1973 年撰寫的一篇論文最近在 Hacker News 上受到關注,深入探討了馮·諾伊曼廣博的智力與多方面的貢獻。討論中包含了諸如馮·諾伊曼能與幼兒平等對話等軼事,並提及了相關的傳記作品。 這篇回顧性文章與對博學之士和計算機科學奠基人物感興趣的 Hacker News 讀者產生強烈共鳴。它強調了馮·諾伊曼作為 20 世紀最具影…

媒體部分確認

聯網汽車數據隱私研究:消費者面臨功能與隱私的兩難

一項針對聯網汽車的數據隱私研究指出,現代車輛日益強制共享遙測數據,迫使消費者在隱私保護、車輛功能或更換品牌之間做出取捨。這項趨勢顯示數據隱私已成為車輛所有權的核心特徵,並影響汽車產業的消費者主權,創造出日常駕駛中「隱私與便利性」的權衡。研究進一步指出,這反映了更廣泛的行業趨勢,即物聯網連接優先於用戶對個人數據的控制。在技術層面,激光雷達和雷達等先進傳感…

媒體已確認

特朗普入侵委內瑞拉前諮詢 Grok,美軍亦於伊朗戰役中使用該 AI

據報道,特朗普在下令執行抓捕委內瑞拉總統馬杜羅的任務前,花了數小時諮詢伊隆·馬斯克的 Grok 聊天機器人,以預測委內瑞拉民眾的反應。Grok 正確預測委內瑞拉人會慶祝馬杜羅被俘,驗證了其在政治預測方面的實用性。 此外,美國軍隊在近期的伊朗戰爭中使用了「政府版 Grok」來部署和打擊目標。五角大廈人工智能主管確認,軍隊在伊朗衝突期間使用了 Grok …

社群訊號已確認

Rust 編譯器於 2026 年 9 月加速 4.57%

Rust 編譯器在 2026 年 9 月實現了 4.57% 的平均牆鐘時間縮減。這項進展得益於 LLVM 23、Clippy PGO 的改進,以及 Polonius 借用檢查器和特徵求解器的修復。 技術層面上,優化借用檢查器的不動點分析成為關鍵突破,將 apply_effects_in_block 的呼叫次數從 150 萬次減少到僅 9 萬次。此外,…

媒體已確認

Cloudflare 推出 K2:基於物件儲存體的無伺服器事件串流服務

Cloudflare 正式推出 K2,這是一項新的無伺服器事件串流服務。該服務利用物件儲存體(S3)作為核心基礎架構,用於管理耐用且有序的日誌。 此架構允許應用程式將事件產出至串流,並由獨立消費者進行消費,無需管理傳統的中介軟體基礎設施。K2 代表了向「以物件儲存體為首」系統的重大架構轉變,與傳統的 Kafka 式訊息佇列相比,可能簡化了基礎設施的複…

官方已確認

Turbopuffer v3 以次級索引架構挑戰向量資料庫現狀

Turbopuffer v3 引入新架構,將向量視為次級索引而非主鍵,藉此大幅降低寫入放大效應。此設計透過將向量搜尋與主要資料儲存解耦,旨在最佳化索引吞吐量。該方法挑戰了向量資料庫的主流設計,為搜尋速度與寫入效率的權衡提供潛在解決方案,並為 AI 基礎設施從業者提供更具擴展性且具成本效益的替代方案,特別適合大量資料匯入場景。其架構類似於 Postgre…

媒體已確認

StreetComplete iOS 公開測試版上線,開放 OpenStreetMap 編輯

廣受歡迎的遊戲化 OpenStreetMap 編輯器 StreetComplete 已在 iOS 平台推出公開測試版,將其任務導向的編輯體驗帶入蘋果裝置。此次發布得益於德國聯邦教育與研究部及 NLnet 基金會的贊助開發。 此更新對開放原始碼地圖社群具有重要意義,因為它將 StreetComplete 帶入了此前缺席的 iOS 平台。這讓 iPhon…

GitHub已確認

IBM 擬淘汰 Red Hat 品牌?業界擔憂重演 VMware 劇本

近期討論指出,IBM 可能正計畫淘汰 Red Hat 品牌,其做法類似 Broadcom 對 VMware 的策略。這項潛在變動旨在將中間件策略統一於 IBM 旗下,同時利用 Red Hat 的技術開發新產品。 Red Hat 的後勤部門在收購後六年被 IBM 吸收,目前的重點在於統一產品策略。社群成員指出,Red Hat 支撐著許多低能見度但關鍵的…

媒體已確認

解密冷戰間諜衛星:URSALA、RAQUEL 與 FARRAH

近期一篇文章詳細介紹了從 1970 年代運行至 21 世紀的頂密 URSALA、RAQUEL 和 FARRAH 衛星計畫。這些手提箱大小的次衛星從大型母船部署,執行電子情報(ELINT)和信號情報(SIGINT)任務。這些計畫突顯了美國國家偵察局(NRO)在現代同等衛星出現前幾十年,部署小型專用間諜衛星的先進能力。解密文件顯示,這些資產如何將太空情報從…

媒體已確認

數位時代前的模組化工業儀表板:機械互動與功能設計

這篇文章介紹了德國和波蘭博物館中常見的模組化工業儀表板,強調其相比現代數位介面更具機械互動性與功能性設計。文中詳細說明了這些實體面板如何透過直接的機械連接,讓操作員控制複雜系統,而非依賴軟體指令。顯著的技术細節包括這些系統的可客製化特性,例如鐵路號誌面板,按住按鈕即可透過機械方式設定開關並鎖定路線。討論還涉及底層的接線方式,質疑它們是簡單的安裝解決方案…

媒體已確認

Hugging Face 推出開放式多語言語音合成排行榜

Hugging Face 推出了開放式語音合成排行榜(Open TTS Leaderboard),這是一個用於評估多語言語音合成與聲音克隆模型的可擴展框架。該平台提供標準化指標,以衡量不同語言的語意清晰度與生成速度。在評估方法上,系統利用基於自動語音辨識(ASR)的詞錯率(WER)作為語意清晰度的指標,並使用說話人相似度估計來衡量聲音身份保留程度。基準…

官方已確認

DeepMind 推出 SynthID Bio,為 AI 設計蛋白質嵌入可偵測水印

Google DeepMind 宣布推出 SynthID Bio,這是一款能將可偵測水印嵌入 AI 設計蛋白質序列的工具。這些水印在蛋白質於實驗室中物理合成後,依然可以被識別。該技術已發表於《自然》期刊,並建立在先前用於數位媒體的 SynthID 技術之上。 這項進展解決了 AI 藥物發現領域中日益增長的智慧財產權保護和生物安全需求。透過讓設計來源可…

官方已確認

佛蒙特州以家用電池虛擬電廠取代傳統尖峰電廠

佛蒙特州透過虛擬電廠(VPP)計畫,成功以家用電池網路取代傳統的尖峰電廠,有效管理尖峰用電需求並降低成本。此舉已讓該州關閉兩座尖峰電廠,因為它聚合了分散式能源資源來平衡供需。 這展示了一個具擴展性的電網穩定模式,證明分散式家用電池能提供與傳統電廠相同的可靠性和經濟價值。它影響了公用事業公司和房東,透過轉移基礎設施成本並提供能源儲存參與獎勵來改變現狀。…

媒體已確認

即時太陽系視覺化工具:整合 52.6 萬顆小行星與衛星軌道

一項新的瀏覽器視覺化工具利用 WebGL2 和 Web Workers 即時呈現太陽系,渲染了 52.6 萬顆小行星與追蹤中的衛星。該專案每日更新 CelesTrak 和 JPL 的數據,讓使用者能從地球附近探索至更廣闊的太陽系軌道。 技術上,小行星資料集約為 30 MB,並在背景載入,而軌道傳播則在 Web Workers 中運行以避免阻塞使用者介…

媒體已確認

NeurIPS 2026:CO₂Jump 實現文本與圖像生成的一致性與自我修正

NeurIPS 2026 發表的論文推出了 CO₂Jump,這是一種無需訓練的採樣器,利用耦合馬可夫跳躍過程來確保同時生成的文本與圖像之間的一致性。 CO₂Jump 在每個去噪步驟中僅需一次模型前向傳遞,且其效能隨採樣步數的增加而單調提升。它利用文本置信度和跨模態注意力來引導圖像更新,確保隨著新證據出現,早期的決策可以被修正。該方法允許低置信度的詞元…

社群訊號已確認

DraftKings 利用 AI 鎖定長期輸錢的賭客

最新報告指出,DraftKings 利用客戶的投注紀錄訓練機器學習模型,以識別長期輸錢的賭客並向其發送促銷優惠。該公司於 2023 年中開始建構此預測模型,旨在從這些特定用戶身上最大化收益。 該 AI 模型能預測促銷活動如何轉化為客戶的獲勝或損失,使 DraftKings 能在用戶可能離開或輸掉更多錢時介入並提供獎勵。雖然 DraftKings 對部…

媒體已確認

OpenAI 發布前沿 AI 訓練安全案例初步指南

OpenAI 發布了針對前沿 AI 訓練的安全案例初步指南,內容涵蓋技術保障措施、運營實踐,以及對齊偏差事件的調查機制。該框架為在強化學習訓練期間及之前評估安全性,建立了一套結構化的方法。 指南將安全案例視為一個願景目標,並承認由於新興複雜性,在應用類似航空或核電的嚴格標準時面臨挑戰。作為業界領先者,此指南標誌著 AI 安全評估標準化的重要一步,為研…

官方已確認

德里電網損耗從 50% 降至 5%,停電問題獲解

德里透過基礎設施改善與管理優化,成功將綜合技術與商業(AT&C)電網損耗從 50% 大幅降至 5%。這項成就有效消除了頻繁的停電現象,為當地居民和企業提供了穩定的電力供應。 減損成果提升了電網穩定性,使營運得以連續進行,並減少了對備用發電機的需求。這為其他面臨類似盜電與基礎設施老化挑戰的發展中地區樹立了典範。 為防止盜電而對電力線路進行絕緣處理,產…

研究已確認

透過 GDExtension 在 Godot 中使用任意 C++ 函式庫

一篇新指南詳細說明如何透過 GDExtension 將任意 C++ 函式庫整合至 Godot 引擎,解決了開發者當效能需求超越 GDScript 時的常見痛點。該文章提供了連結外部函式庫及管理 Godot 生態系中相依性的實用步驟,讓開發者能利用現有的 C++ 生態系處理大量計算任務(如物理模擬或程序化生成),而無需將邏輯重寫為 GDScript。 …

媒體已確認

研究發現全球每八個癌症案例中就有一個由感染引起

最新研究顯示,2024年全球超過兩百萬例新發癌症是由感染因子引起的,佔所有診斷案例的八分之一。這項統計數據突顯了感染相關癌症的巨大負擔,且透過現有的醫療干預措施,這些癌症大多是可以預防的。 該研究指出病毒和細菌都是主要的致癌因子,並強調這些微生物產生的慢性發炎反應及特定毒素會驅動細胞轉化。雖然其比例相對於生活習慣因素看似較低,但絕對病例數依然龐大且高…

媒體已確認

macOS Golden Gate 被指漏洞百出,社群評價兩極

一篇標題為《macOS Golden Gate 是漏洞百出的爛攤子》的部落格文章,指出 macOS 27 存在重大問題,特別是 Mission Control 失效與音訊錯誤。主要報告的故障包括 Mission Control 快捷鍵失效(需重新啟動 Dock 才能恢復)、視窗隨機重新排列,以及選單列置中問題等。然而,部分用戶指出音訊錯誤已修復,且其他…

媒體已確認

倫敦車站臉部辨識試驗:50萬掃描僅1誤報

倫敦車站進行為期六個月的即時臉部辨識(LFR)攝影機試驗,涵蓋 16 個部署點。試驗期間共掃描了五十萬張臉龐,最終產生零逮捕與單一誤報的結果。 這項數據挑戰了廣泛臉部掃描能顯著降低繁忙公共區域犯罪率的假設。掃描量僅相當於利物浦街車站每日平均流量的兩天,顯示攝影機可能在大部分時間處於非活動狀態,或目標人口稀疏。

媒體已確認

Import AI 474:柏拉圖心智空間、太空 TPUs 與智譜的強化學習迴圈

Jack Clark 的 Import AI 電子報重點介紹了 Michael Levin 的心智柏拉圖空間理論、史丹佛大學 Trillium TPU 透過 SpaceX 部署至軌道,以及智譜(Zhipu)實作的強化學習外層迴圈架構。 Levin 提出生物體與機器僅作為非物理柏拉圖模式的介面,而智譜的架構則利用學習後的殘差動態預測器(Residual…

媒體已確認

NeurIPS 論文:具有自適應表示的函數梯度下降法

一篇被 NeurIPS 接受的論文提出了具有自適應表示的函數梯度下降法,該方法在多種設定下不僅能保證收斂至全局最小值,其性能更比神經網路高出整整一個數量級。此方法解決了無限維函數梯度近似難題,避免了以往簡單近似導致收斂至錯誤解的問題。 這項研究提供了一種理論嚴謹且實作可行的神經網路訓練替代方案,有望革新無限維空間中的最佳化技術。它透過提供一個能保證收斂…

媒體部分確認

Parley:基於純 IRC 協定的去中心化聊天應用

Parley 是一款全新的開源聊天應用程式,採用普及的 IRC 協定來實現去中心化通訊,並強調簡易性與自我託管功能。其架構包含跨越已知主機的全球房間,但社群討論指出動態伺服器垃圾郵件可能帶來的擴展性問題,以及有限的封禁範圍。

媒體已確認

MongoDB 執行長 CJ Desai 辭職,轉任 Meta 企業平台負責人

MongoDB 執行長 Chirantan "CJ" Desai 宣布即日起辭職,將出任 Meta 新成立的 Meta Enterprise Platform 負責人。此次離職發生在 Meta 宣布拓展企業人工智慧市場不久之後,顯示 Meta 正積極打入企業市場,並利用 Desai 的資料庫專業與既有供應商競爭。 Desai 的辭職立即生效,暗示他可…

媒體已確認

日產發布第三代 e-POWER 串聯式混合動力系統

日產正式發布第三代 e-POWER 串聯式混合動力系統,這是其獨特電驅系統的一次重大工程迭代。此次更新針對該技術進行了效率與設計的優化,並將應用於即將在美國上市的 2027 年式 Nissan Rogue Hybrid 等車型。 這項進展突顯了串聯式混合動力作為內燃機與純電動車之間過渡技術的持續生命力。它影響了消費者,提供了一種既能消除里程焦慮又能保持…

媒體部分確認

Hntui:結合 Zig 與 React 的 Hacker News 終端介面

開發者 ahmd-sh 推出了 Hntui,這是一款基於 OpenTUI 函式庫建構的 Hacker News 終端使用者介面(TUI)。該工具採用了一種非傳統的技術堆疊,將 Zig 程式語言與 TypeScript 繫結及 React 元件結合。該應用程式利用 OpenTUI 的原生 Zig 渲染器,同時允許使用者介面元件以 TypeScript 和…

GitHub已確認

在暗網自架網站的技術指南與社群討論

一篇新文章詳細介紹了如何在 Tor 網路上架網站,讓使用者能夠在 NAT 後方暴露本地服務,同時將伺服器 IP 位址對訪客隱藏。對於尋求隱私保護型網頁託管的開發者而言,此資源具有重要意義,因為它解決了 Tor 網路獨特的頻寬和延遲限制。社群評論則提供了具體的效能優化技巧,例如將資源嵌入為 base64、利用 CSS 進行動畫以減少 JavaScript…

媒體已確認

可塑軟體:在封閉應用程式中恢復使用者主導權

Geoffrey Litt 等人於 2025 年 6 月發表文章,主張透過「可塑軟體」恢復使用者對工具的掌控權,以對抗當前封閉且僵化的應用程式設計趨勢。文章探討如何讓使用者能以最小摩擦自訂工具,使適應性調整成為日常常態。此觀點呼應個人計算最初的承諾,即軟體應像黏土一樣可塑,對於提升使用者擁有感並抵消現代軟體設計的僵化性至關重要。隨著人工智慧時代來臨,能…

媒體已確認

艾倫·凱談早期電腦開機機制與 BIOS 演變

Hacker News 上的討論探討了 ENIAC 等早期電腦是否具備 BIOS,並納入艾倫·凱的見解,以及關於 EDSAC 和 CDC 6600 初始化過程的技術細節。討論指出,EDSAC 等機器透過旋轉開關設定八進位數字,從紙帶載入初始程式,發揮類似啟動 ROM 的功能。這項分析釐清了開機過程的歷史演變,顯示從非揮發性儲存載入初始程式的概念早於現代…

媒體已確認

駭客新聞探討月球晨昏線悖論與視覺誤解

駭客新聞上的討論聚焦於「月球晨昏線悖論」,即月球受光面相對於地平線呈現出反直覺的指向。這種現象挑戰了人們對月球相位與光照隨其在天空中移動而變化的常見直覺。此話題對天文愛好者和教育工作者具有重要意義,因為它釐清了月球相位進程與視在方向之間的區別。理解這個悖論有助於糾正對天體力學的視覺誤解,並提升天文視覺化的準確性。該悖論產生的原因是晨昏線始終垂直於陽光方…

媒體已確認

汽車旅館內的顯微觀察:發現 Paulinella 新物種特徵

一位科學家在八十八美元的汽車旅館房間內繪製樣本時,注意到 Paulinella chromatophores 的矽質鱗片呈現順時針與逆時針兩種不同的重疊方向。這項由新鮮視角捕捉到的細節,是專家長時間注視樣本後仍忽略的特徵,暗示可能存在兩個不同的物種。此發現突顯了直接觀察與手繪在顯微鏡術中的持久價值,並證明高品質的科學見解可從非傳統環境中產生,進而強調公…

媒體已確認

Neovim 更新因格式不相容導致原始 Vim 撤銷檔案被刪除

最近的 Neovim 更新因格式不相容,導致由 Vim 建立的原始撤銷檔案被刪除。此問題影響了從 Vim 遷移至 Neovim 並依賴持久撤銷歷史記錄的使用者。這突顯了 Neovim 中顯著的向後相容性問題,影響了大量開發者社群的資料完整性。它引發了專案對檔案系統中使用者資料的照顧責任方面的擔憂。不相容性源自 Neovim 0.4.4 開始的撤銷檔案格…

媒體已確認

新工具透過靜態分析預測 PostgreSQL 遷移安全性

一款新工具透過分析 PostgreSQL 的 DDL 語句來預測遷移安全性,引發了關於靜態分析與狀態依賴型資料庫操作之間限制的技術討論。這透過協助開發人員在變更部署至生產環境前識別高鎖定或會破壞應用程式的變更,解決了資料庫工程中的常見痛點。該工具使用基於規則的檢查,但專家指出某些安全性取決於資料庫狀態,例如欄位重寫是否需要獨佔鎖定。

媒體已確認

Conversations 應用程式脫離 Google Play 以避稅並改善支援

開源 XMPP 客戶端「Conversations」的開發者宣布該應用程式現已免費下載,從而避開了 Google Play 的分發費用。這項舉措讓開發者能保留更多收入,同時解決了 Google 客戶支援與審核流程的問題。 Conversations 是一款廣泛使用、省電的 XMPP 客戶端,支援端到端加密和檔案分享。透過改為免費,開發者移除了 15% …

媒體部分確認

Floci:輕量級開源雲端服務模擬器

Floci 是一款新興的開源工具,允許開發者使用 Quarkus Native 容器在本地模擬 AWS、Azure、GCP 和 OCI 服務。它為每個雲端供應商運行一個容器,並使用單一連接埠,確保無需功能閥門或驗證令牌。Floci 提供了比 Localstack 更輕量且免費的替代方案,無需驗證令牌或遥測數據。此外,它能與 Testcontainers…

媒體已確認

作業系統定義之爭:從資源管理到信任邊界

一篇近期的部落格文章引發了社群討論,透過對比傳統的資源配置模型與現代以應用程式為中心的限制及信任邊界,質疑作業系統的根本定義。資深工程師指出,現代應用程式為了安全性與開發商利益,往往優先於使用者的完全自由,這挑戰了傳統作業系統的角色。這場辯論突顯了系統哲學的轉變,作業系統正從通用的資源管理器演變為為商業應用程式強制執行特定信任邊界的平台。這影響了開發者…

媒體已確認

Excel 原生支援單一儲存格內的多值與巢狀陣列

Microsoft Excel 現在原生支援在單一儲存格內儲存多個值、清單及巢狀陣列,打破了其四十年来「一儲存格一值」的傳統。此功能最初在 Microsoft Excel for Windows 和 Mac 的 Beta 頻道中提供。 此更新允許將逗號分隔的清單等複雜結構存放在單一儲存格中,簡化了資料解析過程,並可能取代中間計算所需的動態陣列溢出範圍…

官方已確認

AI 影片模型擬真度大增,納森·菲爾德與伊莉莎白·霍姆斯影片引發熱議

Reddit 社群流傳一段由納森·菲爾德(Nathan Fielder)與伊莉莎白·霍姆斯(Elizabeth Holmes)出演的 AI 生成影片,展現了臉部細節、光影與動作上的顯著質變。這支影片具體展示了生成式影片模型的快速進步,突顯了 AI 僅憑少量輸入即可讓觀眾信以為真的潛力。該影片具備逼真的真人臉部與光影效果,部分觀察者指出其擬真度極高,若事…

媒體已確認

Go 1.27 引入實驗性跨平台 SIMD 功能

Go 1.27 引入了實驗性的跨平台 SIMD API,能夠在 SVE 和 RVV 等多種架構上實現可移植的向量運算,而無需依賴特定架構的內建函式。此功能讓開發者能夠編寫出在不同 CPU 架構和固定長度向量實現之間無縫運作的程式碼。 這項進展解決了可移植 Go 二進制文件在計算密集型任務(如 AI/ML 推論和媒體處理)中的性能瓶頸,帶來了顯著的速度提…

媒體部分確認

美國上訴法院維持五角大廈將 Anthropic 列為供應鏈風險之決定

美國上訴法院維持五角大廈將 Anthropic 列為供應鏈風險的決定。核心爭議在於 Anthropic 希望規範軍隊如何使用其 AI,這與五角大廈對無限制存取的需求形成了對比。主要原因在於該公司拒絕向軍隊提供無限制的 AI 模型存取權,導致政府認為 Anthropic 的使用條款對國防運作構成潛在威脅。 該指定終止了 Anthropic 與國防部價值…

媒體已確認

荷蘭政府基於 NixOS 打造微軟替代方案,強化數位自主

繼法國與德國之後,荷蘭政府正基於 NixOS 開發微軟的替代方案,旨在提升國家的數位自主權。此舉透過採用可重複使用的系統配置,減少對專有大科技生態系的依賴,標誌著從美國專有軟體向開放、可驗證 Linux 發行版的戰略轉變。 NixOS 使用函式程式語言進行聲明式系統配置,支援版本控制與可回滾的部署。這與傳統的指令式 Linux 發行版不同,為伺服器設…

媒體已確認

Wube Software 的工程文化與異塵餘生(Factorio)的技術深度

Hacker News 上的討論突顯了 Wube Software 獨特的工程哲學,特別是他們將《異塵餘生》(Factorio)移植到 ARM64 平台時的技術好奇心以及渲染方式。社群成員深入探討了 VRAM 使用量以及 2D 貼圖與 3D 模型之間的區別等細節。 Factorio 使用以 C++ 編寫的自訂引擎,並採用 Allegro 進行圖形渲染…

媒體已確認

CVE-2025-13032:透過 TOCTOU 漏洞突破 Avast 防毒軟體沙盒

技術分析詳細說明了 CVE-2025-13032,這是一個極為精妙的「檢查時至使用時」(TOCTOU)漏洞,攻擊者可藉此進入並突破 Avast 防毒軟體的沙盒環境。此漏洞突顯了 Avast 用於分析可疑檔案之專屬 CyberCapture 功能中的一個特定競態條件問題。該利用程式碼透過系統檢查檔案狀態與實際使用該檔案之間的競態條件,使惡意程式碼得以繞過…

媒體已確認

arXiv 獲多年資金承諾,鞏固獨立非營利地位

arXiv 於 2026 年 9 月 23 日宣布獲得多年資金承諾,以維持其獨立非營利組織的地位。此舉緊接在該平台於同年 7 月 1 日從康奈爾大學正式獨立之後,旨在應對日益增加的營運成本與 AI 生成論文數量,確保長期永續發展。 這項資金對作為科學研究基礎設施的 arXiv 至關重要,使其能夠獨立運作而不依賴單一大學。它解決了關鍵挑戰,包括 AI …

研究已確認

蘋果英國撤下進階資料保護功能

在英國政府根據《調查權法案》要求後門後,蘋果已從英國的 iCloud 服務中移除進階資料保護(ADP)功能。受影響的英國用戶已恢復為標準資料保護,在此模式下,蘋果持有大多數資料類別的加密金鑰。 這一轉變標誌著蘋果在抵抗政府指令方面的立場顯著退縮,影響了英國用戶的資料主權。它突顯了科技公司隱私承諾與政府監控權力之間日益增長的緊張關係。 雖然 ADP 已移…

媒體部分確認

關於現代化開放原始碼桌面架構的辯論

Hacker News 上的一場討論突顯了將應用程式與作業系統邊界融為一體的提案,引發了支持徹底架構變革者與偏好漸進式使用者介面改進者之間的辯論。 這場辯論的重要性在於它解決了使用者長期以來對資料碎片化和不同軟體間介面不一致的困擾,並可能重塑使用者與桌面環境的互動方式。 關鍵細節包括應用程式目前擁有自訂的儲存格式和使用者介面,使得整體資料管理變得困難,…

媒體部分確認

Trail of Bits 剖析 SAML 為設計不良的分形結構

Trail of Bits 最新分析將 SAML 形容為「設計不良的分形結構」,突顯其與現代標準相比的內在複雜性與歷史包袱。該文章引發了社群對於 SAML 在企業環境中持續存在的相關性與 OIDC 現代優勢之間的討論。這項批評共鳴了身份管理產業長期以來的痛點,強調了組織為何逐漸遷移至 OIDC。它釐清了儘管 SAML 存在缺陷,但由於具備 IdP 發起…

媒體已確認

高層主管應聚焦成果而非細節

Michael Heap 主張,高效的高層領導在於信任團隊,聚焦於成果而非鑽研技術細節。這種做法與那些要求管理層深入參與技術細節以驅動責任的文化形成對比。 這種觀點挑戰了「高層主管必須親力親為才有效率」的常見迷思,並提供了亞馬遜等公司所見的高效運作模式。它突顯了領導層的抽象思維如何賦能團隊並簡化決策流程。 文章指出,說「我不想要細節」往往是信任的表現,…

媒體部分確認

西雅圖市議會通過法案,禁止超市採用監控定價

西雅圖市議會已通過一項新法案,禁止超市在銷售商品時使用「監控定價」。此做法指企業利用個人數據為不同顧客設定個別化價格。該法案主要針對歧視性定價,核心問題在於企業給予部分消費者折扣,卻對其他人維持原價,而非單純設定不利的客製化高價。為平衡市場運作,法案允許實施多種折扣措施,但要求提高折扣透明度,並限制企業對消費者進行畫像分析的方式。

媒體已確認

Waymo 推出大眾運輸獎勵計畫以補貼公共交通

Waymo 推出了一項新計畫,為搭乘大眾運輸的用戶提供積分獎勵,從而補貼通勤費用。此計劃利用與維薩(Visa)等夥伴的合作來驗證行程,鼓勵共享出行與大眾運輸系統的整合。 此策略透過提高大眾運輸的財務吸引力,解決了美國城市的「最後一哩路」問題並減少對私家車的依賴。這代表了城市移動方式的重大轉變,將自動駕駛叫車服務定位為大眾運輸的補充而非競爭對手。 該計畫…

媒體部分確認

GitHub Wiki 被視為反模式:規模擴大後的難以管理

Michael Heap 的文章指出,隨著專案規模擴大,GitHub Wiki 會因擴展性問題而變得難以管理,建議改用獨立的文件倉儲。GitHub Wiki 實際上是由一個隱藏的獨立倉儲支援,可透過在網址後加上 .wiki 來存取。雖然支援 CI,但當文件超出單一資料夾範圍時,其維護成本會顯著增加。這引發了社群對於整合式文件系統與獨立倉儲之間權衡的深入…

媒體已確認

Visual FoxPro 透過 Rust 與 WebAssembly 重獲新生

開發者使用 Rust 將 Visual FoxPro 編譯為 WebAssembly,建立了一個現代化執行階段。該執行階段支援 Lambda、JSON 和 HTTP 伺服器,並與原始的 vfp9.exe 進行比對以確保準確性。同時,它保留了對舊版 32 位元 .fll 擴充功能的相容性,讓 2007 年問世的語言得以在瀏覽器中運行。這項復興計畫移除了過…

媒體已確認

HLE-Diamond 發布以修正人類最後考試缺陷

AI 安全中心與 Scale AI 發布了「人類最後考試」(Humanity's Last Exam)基準的更新版本 HLE-Diamond,旨在修正原版測試中報告的缺陷。此次修訂包含 2,500 道由專家編寫的問題,涵蓋廣泛學科領域,以更精確地評估前沿人工智慧的智慧與推理能力。 此次更新具有重要意義,因為原版基準曾因準確性問題受到批評,使 HLE-…

社群訊號已確認

Cloudflare Python Workers 正式通用可用

經過兩年的預覽期,Cloudflare 已正式將 Python Workers 發布為其開發平台上的穩定且一級支援的語言選項。此版本利用 Pyodide 在基於 V8 的 workerd 執行環境中,運行編譯為 WebAssembly 的 Python 程式碼。 這項發布標誌著 Python 生態系在邊緣運算領域的重要里程碑,讓開發人員能夠在邊緣端利…

媒體已確認

Drop:支援 gVisor 的無根 Linux 沙盒工具

Drop 是一款新的無根 Linux 沙盒工具,利用 gVisor 為本地開發提供隔離的執行環境,且無需傳統容器或虛擬機的配置負擔。它使用 Linux 命名空間和可選的用戶空間內核,在保護開發者生產力的同時抵禦主機內核漏洞。此工具解決了安全隔離與開發生產力之間的常見痛點,因為傳統容器通常會移除必要的本地工具和配置。透過提供輕量且可丟棄的環境,它降低了在…

媒體已確認

Spymarks:無形 AI 追蹤訊號引發隱私與廣告歸因爭議

文章提出「Spymarks」(間諜浮水印)一詞,用以描述無形的 AI 嵌入追蹤訊號(如 Google 的 SynthID)。與傳統浮水印不同,Spymarks 能在使用者不知情或未同意的情況下運作,突顯數位內容正轉向被動背景監控。此技術依賴隱寫術將數據嵌入像素或文字中,使其比可見浮水印更難被偵測。這對於隱私和廣告歸因至關重要,允許企業在用戶不知情的情況…

媒體已確認

Meta Muse AI 助理曝嚴重零日漏洞,ClickFix 攻擊可突破隔離

Meta 新推出的個人 AI 助理 Muse 被發現存在嚴重的零日漏洞。攻擊者可透過名為「ClickFix」的社交工程技術,誘騙使用者將惡意指令複製並貼入系統層級工具,進而執行任意程式碼。 此漏洞利用了 Muse 所擁有的高系統權限(近管理員等級)。儘管 Muse 運行於專屬的 Muse Secure VM 以提供隔離,但該漏洞允許本地端程式碼執行,…

媒體已確認

研究顯示 H-2B 簽證對美國就業具零或正面影響

美國經濟學會的研究指出,聘僱 H-2B 簽證勞工對美國整體就業產生零或正面的影響。數據顯示,低技能外籍勞工與本國勞工之間的替代性較低,這與常見的假設相反。研究估計兩者之間的替代彈性為 0.8 至 2.2,遠低於其他研究發現的 4 至 10 範圍。特別是在鄉村企業中,H-2B 勞工每增加百分之一,美國勞工人數便增加超過百分之零点五(彈性係數為 0.61)。

媒體已確認

RAND 建議美國採取開放選項的超人工智能戰略;鼠腦植入人類神經元與機器詮釋學

Jack Clark 的 Import AI 通訊報導了 RAND 公司的新報告,建議美國在面對超人工智能時採取保持所有選項開放的戰略。由於通往超人工智能的最佳路徑尚不明確,報告強調應保持靈活性,以應對地緣政治與存在主義風險。 本期內容同時涵蓋兩項技術進展:一是將人類皮層神經元植入剝奪補充能力的小鼠顱骨間隙中,使其大腦幾乎有一半由人類神經元組成;二是…

媒體已確認

網路瀏覽模式演變:從有意書籤到演算法策劃

該文章分析了網際網路從以書籤為主的有意瀏覽模式,轉變為由演算法策劃的被動消費生態系的歷史過程。這種轉變根本性地改變了用戶行為與內容發現方式,解釋了無盡滾動(doom-scrolling)的興起以及數位素養主動性的下降,進而影響今日資訊消費與社群媒體互動的方式。文章對比了早期工具(如 Mosaic 的文字搜尋和 RSS 訂閱)與現代地址列整合功能(如 F…

媒體已確認

史諾登檔案為何逐漸沉寂

分析指出,史諾登檔案因組織問題、公眾的曖昧態度以及監控數據的常態化而逐漸沉寂。這項回顧性分析突顯了公眾認知的轉變與組織失誤,如何影響了歷史上最重大的資料新聞專案之一。衰退的原因包括勒索、個性衝突,以及曾經驚人的細節(如元數據)已融入日常討論之中。

媒體已確認

Mini-AGI:8GB VRAM 訓練的動態持續學習模型

開發者分享了「Mini-AGI」,這是一個能在 8GB VRAM 上進行訓練的動態持續學習模型,引發了關於災難性遺忘與縮放定律的討論。

GitHub已確認

資深工程師的死亡螺旋:責任增加與倦怠危機

本文探討「資深工程師的死亡螺旋」現象,指出隨著職級提升,責任增加卻導致報酬遞減,最終引發倦怠。社區成員的個人經歷驗證了這一趨勢,顯示努力工作往往換來更多工作,而非更好的回報。此議題對軟體工程管理至關重要,直接影響職涯發展與人才留任。理解這種動態有助於公司設計更合理的晉升路徑與工作量預期,以防止頂尖人才流失。值得注意的是,資深工程師必須學會設定界線並協商…

媒體已確認

UTF-8000 提案:突破位元組限制的無上限 UTF-8 編碼

名為 UTF-8000 的獨立提案擴展了 UTF-8 標準,允許程式碼點具有任意位元組長度,從而能夠在不使用特殊情況的情況下編碼非常大的數字或向量。這種方法保留了所有 UTF-8 屬性,同時移除了目前的四位元組限制。UTF-8000 繼承了 UTF-8 的兩個特殊情況:ASCII 保持不變,且兩位元組的 UTF-8 需要四個強制內容位來檢查過長編碼。該…

媒體已確認

互動式演示:視覺化神經網路函數逼近過程

Luke Salamone 推出了一款互動式演示工具,視覺化展示具有 ReLU 激活函數的全連接神經網路如何對目標函數進行分段線性逼近。該工具允許使用者調整網路架構(層寬度與深度),並觀察逼近函數複雜度的變化。 該工具直觀地展示了通用逼近定理,說明了網路深度如何指數級增加線性線段的數量。它作為教育資源,幫助學生與從業者理解架構與模型容量之間的關係。 …

媒體已確認

Reddit 用戶分享高畫質 AI 影片《勝利的手段》引熱議

一名 Reddit 用戶分享了一段名為《勝利的手段》的高畫質 AI 生成影片,因其逼真的畫面與電影級的調色而獲得讚賞。該貼文引發了關於 AI 演員可行性的討論,許多觀眾誤以為這些生成內容是真實人類演員的演出片段。這部影片突顯了生成式影片技術的快速進步,特別是在時間一致性和美學質量方面,這些都是取代人類演員的關鍵要素。它顯示出一個日益增長的產業趨勢,即 …

媒體已確認

遠端控制半機械蟑螂搭載相機與藥物,協助災區救援

昆士蘭大學研究人員開發名為「paraborg」的半機械蟑螂,這些生物混合機器人搭載相機與藥物注射裝置。它們可透過遠端控制,向被困在倒塌建築或洞穴中的受災者提供緊急醫療護理。這項創新利用昆蟲穿梭狹窄空間的能力,彌補人類救援人員無法到達的盲區,為群體搜尋救援行動及危險環境中的靶向藥物遞送開闢新可能性。這些 paraborg 以巨型掘穴蟑螂為基底,能攜帶體重…

媒體已確認

Android 17 創紀錄:自 3.x 以來首次未同步 AOSP 即引入新 API

Android 17 在發布至 Android 開放原始碼專案(AOSP)之前,先在 Pixel 更新中引入新 API,這是自 3.x 版本以來 Google 首次採用此策略。此變更讓 Pixel 使用者能比其它裝置更早體驗到如 EyeDropper API 和網路權限增強等功能。 此轉變影響了依賴 AOSP 原始碼的第三方 ROM(如 Graphe…

媒體已確認

陶哲軒:AI 促使數學界回歸直覺與溝通

陶哲軒指出,AI 正迫使數學界重新重視直覺與溝通,而非單純依賴證明生成,這為傳統學術模式帶來了潛在危機。這種轉變挑戰了過去對形式化驗證的絕對重視,轉而強調人類自身的理解能力。 此範式轉移重新定義了數學家的角色,顯示原始計算技能的重要性正逐漸低於洞察力與解釋能力。它影響學術評估、終身職評審流程,以及未來數學家的培訓方式。 陶哲軒將現代 AI 視為人類…

媒體已確認

AI 海報品質爭議:主因在於人類品味與刻板印象

一項針對 AI 生成海報的分析指出,這些作品被認為品質不佳,主要原因在於人類的刻板印象與品味,而非 AI 模型本身的固有缺陷。這意味著改善設計成果的重點,應放在優化人類的選擇與篩選機制,而非單純提升模型架構。文章進一步說明,AI 經常預設使用表面關聯,例如用櫻花代表日本;雖然人類可能覺得這類設計過於平庸,但在經過人類篩選後,這些輸出通常被視為足夠可用。

媒體已確認

史丹佛研究發現人類大腦由兩個不同的祖細胞譜系構成

史丹佛大學醫學院領導的研究團隊推翻了大腦單一祖細胞的傳統理論,發現存在兩個不同的譜系:負責前腦和中腦的 Otx2 表達譜系,以及負責後腦的 Gbx2 表達譜系。這項發現還催生了一種在體外培養這些特定大腦幹細胞的新技術。 這一發現徹底改變了我們對大腦發育和進化的理解,表明大腦起源於兩個不同的祖先譜系。在實踐方面,新的體外培養技術將顯著加速疾病研究,特別是…

媒體部分確認

PlanetScale 推出 Postgres 全文搜尋功能 TIN

PlanetScale 推出了名為「Tin」的全新全文搜尋功能,專為其 Postgres 資料庫服務設計,支援 BM25 排名與 TINQL 查詢語言。此功能讓開發者能直接在資料庫內執行複雜的文字搜尋,無需依賴外部搜尋引擎。 這項發布延續了資料庫新增原生搜尋功能的產業趨勢,與 ParadeDB 和 Timescale 等工具競爭。它透過消除對獨立 El…

媒體部分確認

科學研究應效仿開放原始碼軟體,以容器技術確保結果可重現

一篇文章主張科學研究應效仿開放原始碼軟體的實踐,透過標準化的環境與容器技術,確保每個研究結果都能立即重現。該提案建議讀者可以直接在瀏覽器中執行作者所使用的精確分析、資料處理及視覺化程式,以驗證研究內容。此方法旨在解決科學界持續存在的可重複性危機,針對許多已發表結果無法被重現的問題提出解決方案。透過採用這些原則,科學界有望提升透明度、信任度與效率,並可能…

媒體已確認

Baseten 攜手 Hugging Face 與 Goodfire 打造開放權重模型安全基礎設施

Baseten 與其研究部門 Base Labs 推出新的安全基礎設施標準,並與 Hugging Face 及 Goodfire AI 合作,為開放權重模型建立評估與監控系統。此舉旨在應對日益普及的「消融」(abliteration)技術,該技術可移除模型的安全防護。目前 Hugging Face 平台上已列出超過 6,000 個經過消融處理的模型,顯…

媒體已確認

DeepMind 推進對基因體開關以進行 DNA 編輯的理解

Google DeepMind 宣布在理解每秒決定細胞功能的數百萬個基因體開關方面取得進展,這是生物基礎模型的重要一步。此次更新強調了他們持續努力掌握 DNA 語言,以轉變對生物學的認知。掌握這些基因體開關可以顯著增強我們理解生物學的能力並提高 DNA 編輯的精確度,影響醫學和生物技術等領域。這代表了應用人工智慧解碼複雜基因調控機制的重要進展。該公告強…

社群訊號已確認

Neuralink VOICE 試驗助晚期漸凍人重獲語言能力

Neuralink 的 VOICE 臨床試驗已成功讓晚期漸凍人(ALS)患者透過腦部訊號進行溝通,將神經活動轉譯為語言。該技術透過捕捉負責規劃動作的大腦區域的神經訊號運作,繞過受損的神經。這項突破展示了 N1 植入物解讀意圖動作並恢復日常生活自主性的能力。該研究評估了 N1 和 R1 系統的初步臨床安全性與功效,專注於透過植入電極恢復語言能力。此試驗代…

媒體已確認

Rust 安全團隊警告針對開發者的視訊通話供應鏈攻擊

繼上月成功攻擊 arrayref crate 後,Rust 安全團隊宣布有一場針對知名 Rust 開發者的持續性活動,透過視訊通話誘導受害者安裝惡意軟體或執行指令。 攻擊者利用社交工程,在面試或專案會議中聲稱缺少音訊編解碼器或透過剪貼簿執行指令,社群建議實施依賴套件降溫機制(dependency cooldowns)以降低風險。

媒體部分確認

北韓核試引發數年微震活動

《科學》雜誌報導指出,北韓的核子試驗在數年間引發了數千次微震,震級主要介於 1.5 至 2.5 之間。此發現突顯了核試的長期地震影響,表明透過微小地震緩慢釋放的能量,可能比單一大型地震造成的破壞更小。研究識別出 1,399 次地震事件,並將其與正常背景地震活動區分開來,這引發了關於檢測方法與斷層線釋壓的討論。

媒體已確認

Hacker News 熱議:Passkeys 的易用性痛點

一篇標題為「我不喜歡 Passkeys」的文章在 Hacker News 上引發了廣泛討論,突顯了第三方密碼管理器和多裝置同步方面的易用性問題。用戶抱怨 Amazon 即使 Bitwarden 中已存在 Passkey,仍會不斷提示建立新的 Passkey。此討論揭示了理論上的安全性優勢與實際使用者體驗之間的落差,特別是對於管理多裝置的進階用戶而言。主…

媒體已確認

外國央行對美國國債需求減弱

外國央行已從淨買家轉變為美國國債的淨賣家,央行儲備經理人不再吸收大多數新發行的國債。這一趨勢標誌著美國債務來自外國需求的顯著下降,其驅動因素包括伊朗戰爭以及對發達國家法幣信心的廣泛流失。 這一轉變對美國的再融資能力至關重要,並標誌著美元主導地位的削弱,因為各國在危機期間更傾向於優先持有本國貨幣而非美國國債。它反映了全球去儲備化的廣泛趨勢,即主權資產增…

媒體已確認

泰瑞·高爾斯解析未簽署菲爾茲獎得主 AI 公開信之因

數學家泰瑞·高爾斯發表分析文章,解釋他為何未簽署由 25 位菲爾茲獎得主共同發布的關於數學領域人工智慧的公開信。他指出該宣言未能具體解決如何為數學家提供資金與職業結構的問題,特別是當其主要職責從證明定理轉向理解 AI 生成結果時。這突顯了學術界對 AI 回應中的關鍵盲點,即過度關注技術能力,而忽視任期、資金和招聘「斷裂階梯」等結構性問題。高爾斯強調,亟…

媒體已確認

美國駕照條形碼簽署金鑰公開可取

技術調查顯示,用於簽署符合 AAMVA 標準駕照條形碼的公開金鑰通常公開可取或容易還原。這意味著任何人無需發行單位的私鑰,即可驗證這些條形碼內資料的真實性。 此發現挑戰了條形碼簽署能提供強大不可抵賴性的假設,因為公開金鑰通常為人所知。這影響了銀行和航空等行業的身分驗證流程,受託方必須確保其驗證的是正確的發行單位。 文章指出,雖然簽署驗證了資料是由有…

媒體已確認

貨輪回歸風力推進:吸力帆助減碳降成本

貨輪正越來越多地安裝現代風力推進技術,特別是吸力帆,以降低燃油消耗並改善排放評級。這一趨勢涵蓋從散貨船到集裝箱船等多種船型,顯示業界正積極尋求可持續的替代方案。 透過利用風力,航运公司可以顯著降低營運成本與環境影響,而不必完全依賴昂貴的新燃料。這項轉變有助於海事產業在燃油價格上漲和碳排放擔憂中,朝向達成國際海事組織(IMO)2050年的目標邁進。 …

媒體已確認

傳聞:AI 公司解開理論電腦科學難題,因納維-史托克斯爭議延遲發布

理論電腦科學家 Scott Aaronson 在其部落格報導,據傳 AI 公司已解決理論電腦科學中多個長期未解的難題。然而,由於近期納維-史托克斯(Navier-Stokes)問題引發的爭議風暴,這些公司正暫緩發布多項重大消息。 此外,Greg Brockman 證實 OpenAI 在第二個千禧年大獎難題上取得重大進展。傳聞指出,OpenAI 可能已…

社群訊號部分確認

Salesforce 全球停擺:舊版登入服務資源耗盡所致

Salesforce 因舊版登入服務發生資源耗盡級聯故障,導致全球服務中斷。根本原因被確定為資源耗盡級聯故障,其中連接池或執行緒等共享資源被耗盡。在早期的快速重啟嘗試失敗後,SRE 團隊目前正在其整個機隊中實施緩慢的滾動修復。修復策略涉及緩慢的滾動部署,以避免在其他服務中觸發類似的耗盡模式。

媒體已確認

三歲男童轉移性肝癌經門診 CAR-T 療法完全緩解

一名患有轉移性肝母細胞瘤的三歲男童,在門診環境下接受兩劑實驗性 CAR-T 細胞療法後,腫瘤完全消退。這項成果證明該療法可在無全身毒性且無需住院的情況下進行治療,患者完全在門診接受療程,避免了通常與住院 CAR-T 細胞輸注相關的全身毒性。目前該研究僅招募 24 名參與者,預計於 2042 年完成。

媒體已確認

AI 證明競爭分析中久負盛名的 k 伺服器猜想

一篇新論文利用 AI 生成的證明,解決了競爭分析中的一個基本問題,即 k 伺服器猜想。作者證明了工作函數演算法在任何度量空間上都能達到 k 的競爭比率。這個結果非常重要,因為 k 伺服器猜想被稱為競爭分析的「聖杯」,是理論計算機科學中的一個重大開放問題。其解決方法對用於快取、負載平衡和網路資源分配的線上演算法產生了影響。該證明依賴於將工作函數表示為矩陣…

研究已確認

美國首次確認部署軌道太空武器

美國首次正式確認已在地球軌道部署進攻性太空武器。美國空軍部長特洛伊·梅尼克(Troy Meink)表示,這項「在軌」能力對於保護美國部隊免受敵方攻擊至關重要。 該武器是在馬里蘭州舉行的年度空天與網路會議上宣布的,強調其在防禦敵方行動中的作用。雖然具體技術細節仍屬機密,但這項確認證實了外界對美國軌道進攻能力的長期猜測。 這項公告標誌著地緣政治戰略的重…

媒體已確認

Xai、OpenAI 與 Anthropic 共同簽署 AEF-1 第三方評估標準

Xai、OpenAI 和 Anthropic 共同簽署了 AEF-1 標準,為獨立的第三方 AI 評估建立了統一框架。這項協議確立了主要 AI 實驗室之間在存取權、利益衝突、資金關係和透明度方面的基準要求。 AEF-1 標準定義了獨立第三方評估者的最低運作條件,涵蓋方法學考量及對系統供應商的責任。它特別著重於確保評估過程中的科學有效性並避免造成損害。

媒體已確認

Reward AI 發布 OM-1:僅憑感測手套錄影訓練的極速具身智能機器人

Reward AI 發布了 OM-1 機器人,展現出驚人的速度與靈巧度,能順利完成調酒任務。作為一個通用型機器人基礎模型,OM-1 能直接從人類操作數據中獲取物理智能。該系統的訓練方式獨特,僅透過人類戴著感測手套的動作錄影進行,完全消除了對遙控操作和機器人本體數據的需求。

媒體已確認

Vercel AI SDK 4.0.15 新增實驗性 OpenAI Live 與 WebRTC 支援

Vercel AI SDK 版本 4.0.15 發布,主要新增兩項實驗性功能:一是支援 OpenAI Live 提供者,二是提供用於客戶端委派即時對話的選用型瀏覽器直接 WebRTC 路徑。 在 OpenAI Live 方面,更新引入了統一的 `openai.experimental_realtime` 工廠,用於建立具有客戶端委派的伺服器 WebS…

GitHub已確認

將 20 美元的 4G 行動熱點改裝為專用簡訊裝置

使用者展示如何透過整合 OpenStick 單板電腦與再利用的 Clicks 鍵盤,將平價的 20 美元 4G 行動熱點改裝為專用的簡訊裝置。該裝置利用 AT 指令透過熱點的數據機發送和接收簡訊,並運用 OpenStick 的運算能力來管理介面與通訊協定。

媒體已確認

Java 27 LTS 發布,社群關注版本節奏與企業遷移現況

Oracle 正式發布 Java 27,這是一個長期支援(LTS)版本,延續了每半年發布一次的節奏。Java 27 遵循標準的 OpenJDK 時程,於三月和九月發布功能版本。此次發布引發社群對於開發速度、與 C# 的比較,以及企業環境中舊版 Java 持續存在的討論。社群評論指出,與 C# 不同,Java 在正式發布中很少包含兩個預覽版本。此外,Pr…

媒體已確認

坎特里爾論述 AI 恐懼傳染與專家責任

布萊恩·坎特里爾認為,前 Anthropic 研究員雅各·科克森等人對 AI 存在性風險的誇張說法,主要是由恐懼傳染驅動,而非基於具體證據(0)。他警告領域專家正透過缺乏技術支持的模糊推論,濫用了公眾的信任(1)。坎特里爾特別批評了對「駭入關鍵基礎設施」或「滅絕級生物武器」等說法缺乏詳細說明,並指出科克森並非這些特定領域的專家(4)。他強調,專家在發出…

媒體已確認

Simon Willison 談論影響最深的軟體工程經典文章

Simon Willison 點評了三篇塑造其職業生涯的經典文章:Joel Spolsky 的「抽象層泄漏定律」、Will Larson 的「遷移」以及 Charity Majors 的「工程師與經理人擺錘」。他闡述了這些文章如何影響他理解系統底層、透過遷移管理技術債,以及在工程與管理職涯間轉換的策略。 這些文章為軟體從業人員提供了基礎的心智模型,強調…

媒體部分確認

Reddit 討論:谷歌 AI 商業整合策略與競爭對手對比

Reddit 社群的討論聚焦於谷歌在雲端與搜尋產品中成功整合人工智慧,並將其獲利且注重實用的策略,與 Meta 和 Mistral 等競爭對手以研究為主的模式進行對比。關鍵細節指出,谷歌將資源分配給 WeatherGen 和 AlphaGenome 等實用技術,以快速且低廉的模型服務數十億搜尋用戶。同時,公司在發表大量研究成果之際,也推出了開放權重的 …

媒體已確認

經典分散式系統論文合集引發熱議

一份精選的基礎分散式系統論文合集已發布,為工程師和研究人員提供了重要的資源。這份合集驗證了這些基礎作品在現代系統設計中持久的實用價值。討論中特別強調了萊斯利·蘭波特(Leslie Lamport)和喬·阿姆斯特朗(Joe Armstrong)等關鍵人物的貢獻。

媒體已確認

撰寫高效軟體設計文件的指南

這篇文章提供了一份實用的軟體設計文件撰寫指南,並結合了微軟與谷歌工程師的最佳實踐。其目標是將這些大型科技公司的文件文化向外推廣給更廣泛的讀者。此主題的重要性在於設計文件是軟體工程中的關鍵溝通工具,能連結技術實作與業務需求。掌握如何撰寫高效的設計文件,有助於提升團隊一致性並降低開發風險。該指南強調透過結構化文件來促進審查並確保模組化,例如建議加入「潛在變…

媒體已確認

Kinesis:透過 Meta Neural Band 手勢控制 Mac

開發者 callbacked 發布了 Kinesis,這是一款原生 macOS 客戶端,允許用戶在獨立於 Meta Ray-Ban 眼鏡的情況下,使用 Meta Neural Band 的手勢來控制電腦。該軟體將表面肌電圖(sEMG)數據映射到各種操作,例如在不同桌面間切換、開啟任務控制,以及透過虛擬旋鈕調整音量。 此專案突顯了穿戴式輸入裝置的未開發潛…

GitHub部分確認

Homebrew 7.0.0 發布,引入原生沙盒與圖形介面

Homebrew 7.0.0 正式發布,引入了原生 macOS 沙盒機制、專屬的圖形介面應用程式,並大幅提升了安裝效能。這項重大更新也標誌著 macOS 10.15 支援的終止,並將 Intel Mac 的使用者移至 Tier 3 支援等級。 這項發布代表了 macOS 基礎套件管理員的重大架構轉變,透過沙盒機制增強安全性,並透過新的圖形介面提升易用性…

媒體部分確認

駭客新聞辯論:AI 編程是解放還是基礎知識的流失?

駭客新聞(Hacker News)上的一場討論聚焦於約翰·卡麥克(John Carmack)的觀點,認為 AI 讓軟體工程師得以跳過繁瑣的語法細節,將精力集中在資料結構、軟體架構與演算法等高階設計上。這場辯論突顯了軟體工程領域的關鍵張力:AI 助手究竟是讓開發者從打字勞動中解放,還是會侵蝕對基礎技術的理解。評論者指出,目前熱衷於使用 AI 的人通常已具…

社群訊號已確認

機器學習論文量創新高,學術界面臨體系重建之問

2026年9月9日,arXiv 的 cs.LG 類別創下單日新增 447 篇機器學習論文的新高紀錄,遠高於平日約 200 篇的平均水準。這種指數級的增長引發了學術界對於現有審查體系是否還能負荷,或是是否需要徹底重建的熱烈討論。龐大的論文數量已超過人類研究者或閱讀小組每年能消化的極限,引發了對可重複性危機及大量低品質 AI 生成內容的擔憂。這種趨勢挑戰了…

社群訊號已確認

JetKVM 推出火柴盒大小的平價 Mini IP KVM

JetKVM 正式推出 JetKVM Mini,這是一款體積僅火柴盒大小的 IP KVM 裝置,售價為 39 美元。該產品配備 RJ45 埠並採用全新的開源韌體,與原版相比,Mini 提供了更緊湊的外形與更具競爭力的價格,主要針對家庭實驗室愛好者與系統管理員。 在技術規格上,JetKVM Mini 採用基於 MCU 的解決方案,並在受控機器端使用軟體…

媒體已確認

揭開 x86 未定義指令 ud2 命名謎團:回溯命名所致

英特爾將先前使用的 0F FF 和 0F B9 指令碼分別回溯命名為 UD0 和 UD1,從而使 ud2 成為官方推薦的未定義指令。這項澄清解釋了為何 ud2 雖然是最常用的無效指令碼異常觸發器,卻帶有數字二。 此命名慣例對於依賴特定指令碼來訊號處理執行階段錯誤或斷言的系統程式設計師和編譯器開發人員來說至關重要。了解這段歷史有助於解讀反組譯轉儲,並確…

官方已確認

太陽同位素指紋或揭示過去吞噬類地行星之謎

一項新研究指出,太陽在早期歷史中可能吞噬了一顆質量約為地球 5 到 10 倍的類地行星。此事件在星體內部留下了可檢測的同位素「指紋」,並稀釋了太陽的鋰豐度,從而改變其化學組成。 研究人員利用開源的 MESA 恆星演化程式碼模擬這些變化,並將其與當前的太陽觀測數據進行比對。結果證明,此吞噬事件可以解釋如太陽鋰問題等長期存在的模型異常現象。 這項發現不…

媒體已確認

克雷數學研究所宣布納維-史托克斯問題似已獲解

克雷數學研究所發布公告,指出納維-史托克斯方程的存在性與光滑性問題「似乎」已獲解,並啟動千禧年大獎的審查程序。此進展源於 OpenAI 使用 Lean 4 系統產生的形式化證明。儘管被視為數學與人工智慧領域的里程碑,且可能提升 AI 在形式化驗證中的可信度,但由於該成果尚未正式發表,千禧年大獎的兩年審查計時尚未開始。公告措辭謹慎,特別使用「似乎」一詞且…

媒體已確認

AI 賦能開發者:從外在認可轉向內在樂趣的哲學轉變

近期一篇反思文章指出,AI 使開發者得以處理過去難以勝任的大型與複雜專案,促使焦點從外在認可轉向內在樂趣。這種觀點突顯了人工智慧時代下,創作者建構軟體時的哲學轉變。 此轉變重新定義了開發者的身份與動機,暗示職業價值不再僅依賴傳統技術能力,而是取決於利用 AI 進行創意表達的能力。這影響了更廣泛的生態系,鼓勵獨立開發者建構完整的 SaaS 產品,並改變…

媒體已確認

25位菲爾茲獎得主聲明:AI 在數學領域出現嚴重錯位

2026年9月11日,包括陶哲軒在內的25位菲爾茲獎得主簽署了一份聲明,指出目前的 AI 模型過於優先尋找答案而非展現深刻理解,導致與數學進展嚴重錯位。這份聲明主要是針對 OpenAI 匆忙發布的納維-斯托克斯方程(Navier-Stokes equations)相關公告而提出。 聲明強調了「解決問題」與「推進數學理解」之間的關鍵區別,暗示 AI 目…

媒體已確認

Google 搜尋引入 Goto 轉址連結,強化防爬蟲與點擊追蹤

Google 搜尋已將自然搜尋結果的連結重新寫入為「google.com/goto?url=...」的轉址格式,取代過去直接在 HTML 中暴露目標網址的做法。這項技術變更不僅作為防爬蟲措施,也增強了伺服器層級的點擊追蹤能力。 這些轉址連結包含一個經過 base64 編碼的 protobuf 結構,用於識別目標網址,這可能會導致可察覺的載入延遲。雖然…

媒體已確認

Usenet Rewind:歷史 Usenet 檔案搜尋引擎上線

Usenet Rewind 是一個新推出的搜尋引擎,允許使用者搜尋歷史性的 Usenet 檔案,從各個新聞組中檢索舊文章與討論。這個工具為探索這個小眾但具歷史意義的資料來源提供了專屬介面。 對於依賴 Usenet 除錯舊程式碼或追蹤 Stack Overflow 時代之前科技趨勢的軟體工程師與科技歷史學家而言,此工具具有重要意義。它提供了 Googl…

媒體已確認

Vinoo Ganesh 分享前線部署工程師最佳實踐

Vinoo Ganesh 基於其在 Palantir 領導 Spark 及建立 Project Frontline 的經驗,詳細概述了前線部署工程師(FDE)的最佳實踐。 文章為工程師提供了如何正確執行此角色的具體指導與見解,並為技術領導者和工程師在轉向應用 AI 時,提供了來自先驅者的實用框架。 FDE 角色被定義為在客戶端直接實施、客製化並優化…

媒體已確認

Reddit 用戶報告 AI 語音克隆詐騙激增,無聲來電成誘餌

Reddit 用戶報告稱,詐騙者利用短語音留言樣本克隆聯絡人聲音的詐騙案件激增。部分案例中,詐騙者撥打無聲來電,旨在誘導受害者說話以錄音作為樣本。這一趨勢突顯了零樣本語音克隆技術在現實社會工程攻擊中的實際應用,標誌著 AI 語音詐騙從理論階段轉向低門檻、廣泛影響日常生活的消費者攻擊。它同時突顯了傳統語音留言的脆弱性,以及用戶適應溝通習慣的必要性。詐騙者…

媒體已確認

trynix.dev 讓瀏覽器即時運行任意 Nix 套件

Farid Zakaria 推出了 trynix.dev,該工具利用 qemu-wasm 技術,在瀏覽器中透過 WebAssembly 完全模擬 x86_64 Linux 虛擬機器,讓使用者能運行過去 13 年內的任何 Nix 套件。 使用者無需在本機安裝環境,即可即時存取隔離的互動式殼層。該工具支援可透過 URL 存取套件,開發人員可以導航至特定網…

媒體已確認

切倫科夫輻射:粒子在介質中超越光速

國際原子能總署發布了一篇關於切倫科夫輻射的教育文章,澄清粒子是在介質中而非真空中超越光速。該文章還包含了專家關於其在天文物理和太陽能集光器設計中應用的見解。 這篇文章透過區分光在真空與介質中的速度,有效解決了一個常見的物理迷思。它突顯了該現象在從核反應爐監測到高能天文物理等領域的實用價值。 當電子或質子等帶電粒子在介電介質(如水)中以超過該介質中光速的…

媒體部分確認

胡塞武裝奪取紅海戰略島嶼與港口

伊朗支持的胡塞武裝已奪取葉門戰略島嶼穆永(Mayun)及港口城市穆哈(Mokha),徹底掌控了曼德海峽航運走廊。此次推進得益於社交媒體上的虛假音訊等資訊戰術,並從沙烏地阿拉伯支持的部隊手中俘獲了美製軍事裝備。 此舉透過掌控全球最重要的海上咽喉要道之一,對全球供應鏈造成重大干擾。同時,它也突顯了混合戰術的有效性,其中心理作戰與俘獲的裝備在傳統軍事推進中…

媒體已確認

納德拉提出「逆向資訊悖論」:企業恐無意讓渡知識資產

微軟執行長薩提亞·納德拉提出「逆向資訊悖論」概念,警告企業在使用 AI 工具時,可能無意中將最有價值的組織知識讓渡給 AI 模型擁有者。此框架突顯了企業在利用外部 AI 智慧時,專屬資料如何流出公司,並挑戰傳統知識產權模式,顯示價值正從擁有資料轉向控制 AI 運作的脈絡。 納德拉指出,該悖論核心在於所有權而非消費,意味著使用 AI 會迫使企業揭示使智…

社群訊號已確認

戴密斯·哈薩比斯:AI 的未來尚未寫定且充滿不確定性

在 RSA 愛伯特獎章(RSA Albert Medal)頒發儀式的座談會中,Google DeepMind 執行長戴密斯·哈薩比斯表示,沒有人真正知道 AI 未來會如何發展,並將這種不確定性稱為「好消息」。他強調,當技術專家自信滿滿地預測未來時,他們往往是在說謊或別有用心。 此言論反駁了 AI 產業中常見的決定論敘事,暗示人類在塑造後人工智慧通用(…

媒體已確認

研究人員質疑 OpenAI 對未發表數學資料的信任度

數學家與研究人員正熱烈討論 OpenAI 是否值得信任以處理未發表的數學資料。焦點集中在模型直覺的提升,以及透過強化學習(RL)訓練發現超人技巧的可能性。這場討論突顯了使用者對話如何影響模型訓練,並引發特定數學證明是否被模型記憶或推導出來的疑慮。 此議題對 AI 研究生態系統至關重要,因為許多數學家依賴 OpenAI 的模型來解決開放性問題。若使用者…

媒體已確認

OpenAI 宣布在另一千禧年大獎問題取得重大進展

OpenAI 發布聲明,指出在完成納維-斯托克斯(Navier-Stokes)問題後,已在另一項千禧年大獎問題上取得「重大進展」。該聲明未具體說明是哪一題,僅表示團隊正斟酌如何分享這些成果,暗示詳細證明或數據尚未公開。此消息緊接在 OpenAI 聲稱使用 AI 智能體群解決納維-斯托克斯問題之後,延續了先前由約一萬個 AI 智能體生成、並在 Lean …

媒體已確認

AI設計RNA傳輸載體效率超越自然演化數千倍

研究人員利用人工智慧設計合成蛋白質組裝體作為RNA傳輸載體,成功創造出超過一百種變體。這些載體的效率比人類設計或自然演化的衣殼高出數千倍。這項突破發表於《自然》期刊,展示了能夠構建具有獨特大小和形狀的自下而上傳輸載體,其效率大幅超越現有技術。 在技術細節上,AI設計的合成蛋白質與三個天然結構域融合:膜結合域、晚期出芽域和RNA結合域。這種組合產生了具…

媒體已確認

軟體開發令人發瘋:隔離與自我膨脹的理論

一篇部落格文章提出理論,認為軟體開發會讓人發瘋,特別是當開發團隊與使用者隔離,且領導者變得自我膨脹時。Hacker News 上的評論支持了這一觀點,並進一步討論了使用者互動與團隊規模對效率的影響。關鍵因素包括直接客戶互動能產生減緩效應、較小團隊往往更具效率,以及技術領導者傾向於將市場回報誤解為對領域的征服。此外,討論也涉及「適時放手」這項被低估的工程技能。

媒體已確認

Windows XP 如何隨機選取初始使用者圖片?

雷蒙德·陳(Raymond Chen)揭示了 Windows XP 選取預設個人資料圖片的演算法細節。系統使用由 GetTickCount 初始化的 RtlRandomEx 函式,執行一次通過的蓄水池抽樣演算法來決定圖片。該實作設定 100 張圖片的安全上限,並依賴 RtlRandomEx 隨機數生成器的特定行為,在單次迭代中直接決定選取的索引。

官方已確認

謠傳人工智慧可能已解決更多千禧年大獎難題

Reddit 社群討論與近期推文顯示,人工智慧模型可能已解決更多千禧年大獎難題,特別提及布赫-斯溫納頓-戴亞猜想(Birch-Swinnerton-Dyer conjecture)與霍奇猜想(Hodge conjecture)。這延續了此前關於人工智慧解決 P vs NP 問題與黎曼猜想的謠傳,顯示數學發現的速度正在加速。 這些謠言突顯了人工智慧在純數…

媒體部分確認

Shopify 收購 Tailwind Labs,應對 AI 驅動的行业變革

Shopify 收購了熱門 CSS 框架 Tailwind CSS 的開發商 Tailwind Labs,以確保其在 MIT 授權下的未來。此次收購發生在 AI 編程助手導致 Tailwind 營收大幅下降並引發公司大規模裁員之後。 此次收購突顯了 AI 對開發者工具業務的影響,特別是那些依賴文檔流量和模板銷售的企業。它確保 Tailwind CSS …

媒體部分確認

陶哲軒警告:AI 正以不可再生方式挖掘開放數學問題

數學家陶哲軒指出,AI 正以不可再生的方式挖掘優質的開放數學問題,導致富有成效的研究方向可能面臨耗盡的風險。他強調,即使僅是關於某人正在研究某個問題的傳聞,也可能觸發大量 AI 算力投入,在原始研究項目發揮全部潛力之前將其解決。這種現象可能改變激勵機制,促使研究者將有潛力的想法保密,而非與社群分享。若此趨勢持續,可能逆轉數百年的開放科學傳統,對數學發現…

媒體已確認

GNU Radio 移植至瀏覽器:無需安裝即可執行訊號處理

GNU Radio 已成功編譯為 WebAssembly,讓使用者無需安裝或依賴 Python,即可直接在瀏覽器中執行訊號處理流程圖。這項技術突破使得在瀏覽器標籤頁中進行即時射頻掃描、頻譜視覺化以及 AX.25 解碼等任務成為可能。 該專案將 GNU Radio 的 DSP 堆疊與 Qt GUI 接收器編譯為 WebAssembly,並透過 Emsc…

媒體已確認

Google DeepMind 與 Primordial Soup 合作,以 AI 重現七十年愛情紀錄片

Google DeepMind 與 Primordial Soup 發布了名為《Love, Rendered》的紀錄片,利用生成式 AI 為一對結婚七十年的夫妻重現了一段珍貴且未記錄的記憶。該專案在特柳賴德電影節(Telluride Film Festival)上展出,強調了其電影品質與敘事深度。AI 生成的片段由 Primordial Soup 使用…

媒體已確認

頂尖數學家轉戰 OpenAI AI 安全,引發數學領域終結之辯

一位傑出數學家加入 OpenAI 從事人工智慧安全工作,在 Reddit 社群引發關於「數學作為一個領域是否已終結」的熱烈辯論。此舉被視為頂尖學術人才轉向大型科技公司 AI 安全領域的趨勢,主要動因包括更優渥的薪酬與進行高影響力研究的潛力。 討論焦點延伸至純數學研究的未來,以及 AI 在解決納維-斯托克斯方程等複雜問題中的角色。評論者指出,雖然 AI…

媒體已確認

哈佛博士於家庭環境進行 AI 輔助小鼠實驗

一篇熱門帖子顯示,一位擁有哈佛計算生物學博士學位的人士,在家庭環境中利用 AI 輔助進行小鼠實驗。該研究人員的博士學位為其家庭實驗的嚴謹性提供了背書。實驗涉及 AI 輔助設計及對小鼠的施用,社群成員猜測動物處理工作是完全在地下室完成,還是與正式實驗室合作進行。這展示了「車庫生物學」的興起趨勢,即透過普及的消費型科技,讓先進科學研究得以民主化。這項發展標…

媒體已確認

OpenAI 宣稱內部模型解決納維-史托克斯千禧大獎問題

OpenAI 宣布其內部模型在不到兩週的訓練後,成功解決了納維-史托克斯存在性與光滑性問題。該模型在數學方面的能力據稱比最近公開的 Astra 模型強兩倍以上。OpenAI 在 9 月 3 日觀察到初步進展後,採用多種方法專注於納維-史托克斯問題並得出解。這項成果展現了在極短訓練期內前所未有的數學推理能力,標誌著 AI 輔助研究的重要突破,顯示通用推理…

官方已確認

Google 搜尋演算法偏愛成熟網域,獨立維基面臨排名困境

Google 的搜尋演算法出現新的排名偏見,傾向給予 Fandom 等成熟網域更高的優先級,導致獨立維基在搜尋結果中的能見度顯著下降。這種轉變使得獨立維基相較於集中式平台更難被用戶發現,進而推動流量轉向 Fandom 和 Reddit 等大型平台,可能削弱網路內容的多樣性。 此現象對新網站或小網域的子網域影響尤為嚴重,而現有大型網域的子網域則相對不受…

媒體已確認

NeurIPS 使用 AI 偵測器拒收 178 篇論文

NeurIPS 論文軌道使用專有的 Pangram AI 偵測器,直接拒收了 178 篇投稿,佔總投稿數的 18.4%。由於該偵測器對軌道主席自己的論文也打出了 24% 至 69% 的 AI 生成分數,此舉引發了廣泛爭議。 此事件突顯了在高風險學術同儕審查中使用黑盒 AI 偵測器的可靠性問題與潛在偏見。它引發了對誤報率(特別是針對非母語為英語的研究者)…

社群訊號部分確認

Karpathy 於 nanochat 倉庫推送新提交

Andrej Karpathy 向他的 nanochat 倉庫推送了新提交,繼續他一系列極簡風格的 AI 模型教育性實作。

GitHub已確認

LG 電視待機離線仍掃描 Wi-Fi 與錄音

Gamers Nexus 報告指出,LG 智慧電視即使在離線或待機模式下,仍會持續掃描附近 Wi-Fi 網路並記錄音訊日誌。調查顯示,電視會編目鄰近的 SSID、訊號強度與頻道,以進行精確的家庭三角定位,並在螢幕關閉時於本地轉譯麥克風音訊。這些功能在 webOS 韌體上運行,且獨立於主要網際網路連線運作,打破了人們對斷線設備保持被動的假設。此發現凸顯了…

媒體已確認

美國國土安全部秘密單位分析財務習慣以進行預測性執法

美國國土安全部(DHS)正運作一個秘密單位,透過分析美國人的財務活動與車牌資料,預測並攔截可能涉及大麻走私的駕駛人。該單位利用自動車牌辨識系統(ALPR)追蹤車輛移動,並將數據與財務記錄進行交叉比對以識別模式。地方警察隨後根據這些情報執行攔檢,即使駕駛人身上沒有特定的傳票或嫌疑,僅被列為潛在可疑對象。此計畫透過基於機率數據而非觀察到的犯罪行為來攔截駕駛…

媒體已確認

LibreOffice 26.8 宣布無 AI 功能後創下載紀錄

LibreOffice 26.8 成為最受歡迎的版本,下載量突破一百萬次。此增長發生在文件基金會宣布該軟體不具備生成式 AI 功能之後。 這項聲明引發討論,焦點在於下載量增長是反映真正的反 AI 情緒,還是僅為自然成長趨勢。事件突顯軟體產業的文化轉變,「沒有 AI」正逐漸成為強調隱私與簡潔性的賣點,顯示用戶日益重視本地優先與離線功能,而非整合的 AI…

媒體已確認

Terrastruct 將 D2 佈局引擎 TALA 正式開源

Terrastruct 已將其專有的 D2 繪圖語言佈局引擎 TALA 開源,讓社群能夠存取並修改驅動 D2 自動產生圖表的引擎。此發布解決了過去使用 TALA 的授權費用問題,並提供了比現有引擎(如 ELK)更具效能的新穎替代方案,大幅降低了依賴 D2 進行軟體架構圖設計的開發人員的使用門檻。 TALA 的演算法完全从零開始構建,且零依賴。它專為軟…

媒體已確認

OpenAI 推出五百萬美元補助,支持生成式 AI 與青少年發展研究

OpenAI 宣布推出一項總額達五百萬美元的補助計畫,旨在支持獨立研究,探討生成式 AI 對青少年發展、福祉及安全性的影響。該倡議正式邀請研究人員提出申請,以深入分析 AI 技術對青少年可能帶來的正面與負面效應。 此項補助計畫旨在填補當前對於快速普及的 AI 技術如何影響青少年大腦發展及心理健康的關鍵知識空白。透過提供重要資源,學術界得以更主動地利用…

官方已確認

微型循環神經網絡僅憑單一初始狀態自主生成《Bad Apple》影片

開發者展示了一個僅有 417,000 個參數的微型循環動力系統,能夠僅憑單一初始潛狀態自主生成約 6,500 幀的《Bad Apple》影片,無需時間戳輸入。該方法在潛空間中學習連續的時間流動,與先前將影片記憶為座標函數的方法形成對比。 該系統使用 4 門 LSTM 風格的循環轉換(16,640 個參數)和幀解碼器(400,361 個參數),將 64…

社群訊號已確認

AI 破解千禧年大獎問題:2027 年展望

Reddit 上的討論指出,AI 在不到一年的時間內,從國際數學奧林匹亞競賽(IMO)的金牌水準,迅速推進至破解千禧年大獎問題。社群預測到 2027 年底,AI 可能解決所有剩餘的千禧年問題,以及哥德巴赫猜想等其他著名猜想。 這種轉變標誌著 AI 不再只是模仿文字的「隨機鸚鵡」,而是具備真正推理能力的新穎數學發現引擎。它影響了更廣泛的科學生態系,顯示 …

社群訊號部分確認

bzip3:壓縮比超越 bzip2 的新型開源壓縮工具

bzip3 是一款新型開源壓縮演算法,其壓縮比顯著優於 bzip2 和 gzip 等傳統標準,同時力求達到相當的處理效能。該工具利用包含 Burrows-Wheeler Transform (BWT) 和算術編碼的多階段管線,實現了這些優異的壓縮成果。具體而言,bzip3 採用包含 CRC32、RLE、LZP、BWT 以及零階上下文混合熵編碼器的複雜管…

GitHub已確認

脫離腦腐假期:在人工智慧時代重拾專注力

一篇近期的文章指出,持續的數位刺激與人工智慧讓心智努力變得可有可無,導致專業人士普遍感到「腦腐」。作者描述了透過斷捨離科技產品來恢復深度專注的過程,資深工程師們也呼應了這種趨勢,他們懷念那個多巴胺需要更多努力才能獲得的時代。 這項評論驗證了軟體工程領域中對認知能力下降和注意力縮短日益增長的擔憂。它將個人對精神疲勞的體驗與注意力經濟及低價值內容對生產力…

媒體已確認

防濺水小便斗榮獲 2026 年諾貝爾搞笑獎物理學獎

滑鐵盧大學團隊憑藉其防濺水小便斗的理論與實驗設計,榮獲 2026 年諾貝爾搞笑獎物理學獎。該研究發表於《PNAS Nexus》,詳細說明了如何運用流體力學打造如「鹦鹉螺號」(Nautilus)等幾乎能消除濺水的設計。這項獎項突顯了趣味性科學研究在推動實用工程解決方案方面的價值。它展示了如何將基礎物理原理應用於日常物品,以改善公共洗手間的衛生與永續性。獲…

媒體已確認

比爾蓋茲 2003 年對 Windows Movie Maker 複雜度感到困惑

一組內部電子郵件顯示,比爾蓋茲在 2003 年對 Windows Movie Maker 的複雜度感到困惑,突顯了他當時對該工具使用者介面的不熟悉。郵件內容揭示,高管們試圖將使用者介面變更的責任推給其他團隊,而非直接承擔,這種行為被形容為「零責任感」。這一發現引發了關於微軟在該時期缺乏責任感與跨團隊協作的討論,強調了在公司文化轉型之前,影響產品質量的系…

媒體已確認

Anubis 驗證碼服務歷經一年開發,正式支援 WebAssembly

Anubis 驗證碼服務在歷經一年的開發後,正式推出 WebAssembly 支援功能。此次更新嚴格遵守 WebAssembly 的最小可行性產品(MVP)功能集,並克服了技術障礙以確保與 Chrome 66 的向後相容性。 團隊針對 Chrome 66 進行向後相容性目標設定,使用 Rust 的 `wasm32v1-none` 目標來確保基礎 We…

媒體已確認

GrapheneOS 翻新預設應用程式,推出支援 RCS 加密的原生訊息應用

GrapheneOS 宣布全面翻新其預設應用程式,首要任務是以 Android Compose 重寫全新的訊息應用程式。這項新的原生應用程式旨在取代 Google Messages,並透過 Messaging Layer Security (MLS) 協議支援 RCS 及標準端到端加密功能。 訊息應用程式的初始版本預計將首先进入 Alpha 測試通道…

媒體已確認

托特納姆熱刺遷移至 HPE VME,VMware 授權費大減 85%

托特納姆熱刺(Tottenham Hotspur)已將其虛擬化基礎設施遷移至惠普企業(HPE)的虛擬化管理企業版(VME),取代原有的 VMware 實例。此次遷移使該俱樂部的 VMware 授權費用降低了 85%。 此次遷移涉及採用基於 KVM 的 Hypervisor,並提供統一的跨 Hypervisor 管理功能。此舉突顯了供應商鎖定帶來的財務…

媒體已確認

數學正步入學院化?AI 時代的學科定義之爭

一篇部落格文章提出,數學正經歷類似古典音樂的「學院化」過程,引發關於學科本質的辯論。在人工智慧工具興起的背景下,這種文化轉變挑戰了傳統對數學發現與創造力的定義,影響了學術與專業領域對數學的認知。討論進一步突顯了藝術與數學等領域面臨的存在主義危機,核心問題在於:若沒有人類數學家來提出問題並欣賞成果,由 AI 驅動的數學結果是否仍具價值?

媒體已確認

H3 MAX 即時生成可遊玩的寶可夢戰鬥畫面

開發者利用 H3 MAX 生成式 AI 模型,創造出可即時遊玩的寶可夢戰鬥動畫。畫面能根據招式使用與麻痺、暈倒等狀態條件動態變化,展示了根據遊戲狀態輸入即時生成視覺內容的能力。 該專案運行於 GitHub 上,並利用 H3 MAX 的速度優化變體,能在 3 秒內生成 5 秒長的影片片段。系統處理招式使用與狀態效果等輸入以即時更新視覺輸出,但目前仍為實…

媒體已確認

果蝇大腦模擬成功:計算模型播放《Bad Apple》

研究人員利用來自 Janelia FlyEM 計畫的電子顯微鏡數據,建立了果蝇中樞神經系統的高解析度配線圖。該模擬涵蓋了約十三萬個神經元及其突觸連接,成功複製了果蝇的完整大腦結構。研究團隊進一步利用此計算模型播放了網路知名影片《Bad Apple》。這項成果證明了完整映射的神經網路能夠執行複雜的視覺處理任務,並提供了具體證據,顯示電腦可複製生物神經功能…

媒體已確認

AGI 創始人 Yann LeCun 宣布 AGI 已到來,引發定義與指標之辯

創造「人工智慧通用智能」(AGI)一詞的電腦科學家 Yann LeCun 公開宣布人工智慧通用智能已經到來。這項聲明引發了社群對於 AGI 定義是否正逐漸接近人工智慧超智能(ASI)的討論。此聲明的重要性在於它突顯了人工智慧論述中的文化轉變,即語義標籤正變得不如操作能力指標來得有用。這影響了產業與大眾對當前人工智慧進展及未來里程碑的認知。辯論的核心在於…

媒體已確認

伊斯塔航空「光譜」火箭二發成功入軌,歐洲獲主權發射能力

德國伊斯塔航空(Isar Aerospace)於其「光譜」(Spectrum)火箭的第二次發射任務中,成功進入軌道並部署有效載荷。此次任務在挪威安島太空港(Andøya Spaceport)舉行,該港口因此成為繼普列謝茨克太空發射場之後,歐洲第二個活躍的太空港。 這次成功標誌著北歐地區首次實現入軌,為歐洲建立了主權太空進入能力。這項成就為全球客戶提供…

媒體已確認

無盡滾動將閱讀習慣從深度書籍轉向碎片化資訊流

文章探討了資訊過載如何改變消費習慣,使讀者從深度閱讀書籍轉向碎片化的內容資訊流。社群中的元評論驗證了這一趨勢,用戶們承認自己在評論區無盡滾動卻沒讀完這篇文章的諷刺現象。 這種轉變對認知負荷和注意力產生了重大影響,因為大腦難以處理持續不斷的碎片化數據流。它突顯了一個更廣泛的產業趨勢,即傳統的長篇內容正在與社交媒體平台由多巴胺驅動的高參與度進行競爭。 讀者…

媒體部分確認

Cloud in a Bottle 推出:簡化自我託管體驗

Cloud in a Bottle 正式推出,旨在透過基於容器的方法,讓所有人都能輕鬆進行自我託管。該平台提供易用的命令列介面(CLI)工具,自動處理驗證與部署的複雜性,從而降低對大型雲端供應商的依賴。 這項工具解決了自我託管中複雜性這一重大痛點,吸引了希望擺脫供應商鎖定和訂閱模式的用戶。它使用名為「bottle」的命令列介面,可自動注入驗證資訊,讓…

媒體已確認

DNS 詐騙危機:新註冊網域濫用率恐達兩成

Terence Eden 引用 Interisle 報告數據指出,2025 年共有 8,500 萬個新通用頂級網域(gTLD)註冊。其中,高達 850 萬個網域在 2025 年 5 月前已被列入黑名單。報告評估,這些新註冊網域的濫用率最低約為 10%,實際比例可能接近 20%。這意味著每五個新註冊的 gTLD 中,就有一個是惡意網域,其比例遠高於 .c…

媒體已確認

威斯康辛警方逾百次使用 Flock 相機追蹤依法錄影之退伍軍人

威斯康辛州一家警察局利用 Flock Safety 相機系統,超過一百次查詢並追蹤一位依法記錄交通攔檢的退伍軍人。該退伍軍人的車輛遭系統反覆查詢,顯示出單一個人在城市中被快速建立檔案的速度,也具體展示了私人監控業者所收集數據的規模。 這次大規模的追蹤突顯了自動車牌辨識技術在日常執法中的廣泛應用。此事件不僅凸顯監控技術可能影響公民自由,即使是在公民行使…

媒體已確認

菸草業策略推動超加工食品崛起

一項 2025 年的研究指出,菸草業在 1980 年代中期的行銷策略,直接影響了美國超加工食品的普及。當時許多大型食品公司由菸草企業擁有,這一產業轉變也引發了隨後的肥胖流行病。研究顯示,當這些食品在 1980 年代中期開始大量普及時,肥胖率便開始急劇上升。目前美國飲食中約有 60% 的熱量來自超加工食品,這些食品含有家庭廚師通常無法取得的成分。

媒體已確認

Pushin.eu 推出僅限歐洲的 Git 託管服務

新的 Git 託管平台 Pushin.eu 已在 Hacker News 上線,承諾所有公開和私有儲存庫均完全託管於歐盟境內。該服務定位為「為人類而非 AI 打造」,並承諾不會利用用戶代碼進行模型訓練。該平台使用立陶宛的 Hostinger 進行註冊,並使用 Cloudflare 提供 DNS 服務,因此在承諾歐洲託管的同時仍依賴美國基礎設施。用戶指出…

媒體已確認

Mullvad 關閉公共 DNS 伺服器以贊助 Quad9

Mullvad 宣布將於 2026 年 11 月 2 日前關閉其公共加密 DNS (DoH) 伺服器,並將資源轉向財務贊助 Quad9。此決定旨在利用 Quad9 在隱私 DNS 服務方面的專業優勢,而非維持冗餘的基础設施。 這項轉變影響了未使用 VPN 時依賴 Mullvad 公共 DNS 來保護隱私的用戶,因為 iOS 和 macOS 上的現有設定…

媒體部分確認

查爾斯·佩茨沃德探討吉他品絲作為對數乘法器的功能

查爾斯·佩茨沃德(Charles Petzold)最近發表了一篇論文,探討吉他品絲是否像對數計算尺一樣用於乘法。他結論指出,雖然第一八度音階近似於乘法,但這種類比在第二八度音階中完全失效。 這項分析連接了音樂理論與數學,為工程師和數學家提供了日常樂器中對數尺度的具體範例。它澄清了音樂音程與算術運算之間關係的常見誤解。 品絲的位置隨著接近琴橋而呈現對數減…

媒體部分確認

sanoTTS:體積僅 337 KB 的神經語音合成模型,可在微控制器上高效運行

作者發布了 sanoTTS,這是一個參數僅 294k、量化後體積為 337 KB 的神經語音合成堆棧,專為在 ESP32 等低成本微控制器上運行而設計。該模型支援 6 種語言與 11 種聲音,其體積遠小於 Kokoro 或 Voxtral TTS 等現有解決方案。在效能方面,SCOREQ 得分達 4.13;在 ESP32 上實現了 0.225 的實時因…

媒體已確認

Google AI 搜尋模式產品價格較傳統搜尋高出 21.6%

分析指出,Google AI 搜尋模式顯示的產品價格比傳統搜尋結果高出 21.6%。此差異主要源於兩者資料來源不同:AI 模式依賴以產品資訊為導向的一般頂部搜尋結果,傾向顯示製造商建議零售價(MSRP)頁面;而傳統搜尋則使用專屬購物小工具,彙整零售商清單並按價格排序。此外,部分用戶觀察到,AI 模式可能優化包含運費的全價顯示,與傳統結果僅顯示基礎價格的…

媒體已確認

SpacetimeDB 發布擴展性分析,引發架構與授權模式討論

SpacetimeDB 發布了一篇關於其擴展能力的分析文章,重點介紹其將伺服器邏輯直接嵌入資料庫的獨特架構。該文章將此方法與 CockroachDB 等傳統分散式 SQL 解決方案進行比較,引發社群對於效能與授權限制的廣泛討論。 SpacetimeDB 採用 Business Source License 1.1 (BSL) 授權,數年後將轉換為 A…

媒體已確認

Polars 2.0 發布:強調語意化版本控制與生產環境穩定性

Polars 2.0 正式發布,此次更新並非以新增大型功能為主,而是透過嚴格的語意化版本控制(SemVer)合規性,調整預設行為以提升生產環境的穩定性。主要變更包括將 `maintain_order` 預設值設為 `False`,並移除過去阻礙開發速度的舊有設計決策,旨在透過更嚴格的型別檢查和確定性行為,減少類似 Pandas 中常見的執行階段意外。過…

媒體已確認

風險投資演變為「癌症資本」:巨頭壟斷與生態系危機

分析指出,風險投資(VC)已演變為被稱為「癌症資本」的模式。其特徵為大型基金壟斷市場,並優先追求巨大的現金增值,而非永續成長。這種轉變透過創造錯配的激勵機制和高門檻,正在破壞早期創業生態系。 這種結構性轉變對難以從主導型大型基金獲得公平條件的創業者影響深遠。同時,有限合夥人(LP)持續將資金投入這些基金,儘管市場環境已改變。這突顯了一個系統性問題:風…

媒體已確認

.name 終止第三層級域名註冊,第二層級保留

.name 頂級域名將終止所有現有的第三層級註冊(例如 user.name),同時保留第二層級域名(例如 user.name)。這項結構性變更意味著個人名稱下的子域名將不再有效,影響依賴此特定 DNS 層級的用戶。終止行動專門針對第三層級域名(3LD)格式,即用戶註冊「firstname.lastname.name」或類似結構。第二層級域名(2LD)本…

媒體已確認

Audacity 4.0 發布:遷移 Qt6 介面並強化 Linux 音訊支援

Audacity 4.0 正式發布,其使用者介面全面遷移至 Qt6 框架,並強化了對 JACK 和 PipeWire 等 Linux 音訊後端的支援。這次重大版本更新旨在現代化應用程式架構,並提升在 Linux 系統上的穩定性。 作為一款廣泛使用的開源音訊編輯器,這次發布透過採用現代化 UI 標準並更好地整合當代 Linux 音訊基礎設施,解決了長期…

GitHub已確認

Any Human Ever:隨機生成歷史人物生平

網頁應用程式 Any Human Ever 模擬從所有曾經活過的人中隨機選取一個生命,生成隨機的歷史人物頭像並附上詳細的生平資料。該工具利用機率分佈來決定出生年份和死亡率,為每次使用者互動創造獨特的敘事,提供生動的方式來視覺化歷史人口統計和人類歷史的廣度。應用程式會生成具體細節,如地點、家庭規模、死因和壽命,通常揭示早期時代的高嬰兒死亡率。此工具引發社…

媒體已確認

Perplexity AI 依賴三個網站生成逾 21.5 萬個「最佳軟體」頁面

分析指出,Perplexity AI 僅從三個經過 SEO 優化的網站,生成了超過 215,000 個「最佳軟體」推薦頁面,形成了一個狹窄的資訊生態系。這種高度依賴導致來源重複,並增加了搜尋結果中出現 AI 幻覺的風險。研究確認,這些製造出來的來源被 Perplexity 大量引用,通常導致不同查詢產生相同或幾乎相同的推薦結果。

媒體已確認

LWN.net 宣布 9 月 15 日起調漲訂閱費,新增 EPUB 功能獲讚

LWN.net 宣布自 9 月 15 日起調漲訂閱費用,並強調新增 EPUB 格式支援等功能。此訂閱模式於 2002 年底採用,使 LWN 能夠保持編輯獨立性,不受廣告商影響。新功能包括提供 EPUB 格式,方便在電子書閱讀器上離線閱讀,使用者指出這是維持訂閱的重要原因。近期在 Hacker News 上的討論熱烈讚揚了該網站持久的品質與讀者資助模式。

媒體已確認

LZ暗物質探測器捕捉單一異常粒子,物理學家呼籲謹慎解讀

LZ 暗物質探測器記錄到一個偏離預期背景噪音的異常事件。該事件發生於使用 7 噸液態氙的探測器中,可能暗示著新物理現象,特別是尋找弱相互作用大質量粒子(WIMP)的潛在突破。 研究人員指出,該信號僅達到「3西格瑪」的統計顯著性,意味著由隨機噪音引起的機率約為 0.3%。物理學家警告,在獲得更多數據前,尚不足以宣稱發現新事物,且需進一步調查以排除設備故…

媒體部分確認

H3-World:以語言指令精確控制角色與相機運動

H3-World 是一款新型視頻生成模型,能夠透過語言指令,以高時間精度精確控制角色與相機的運動。該模型為每個視頻潛在時間間隔分配一個動作提示,確保動作隨時間變化時仍能保持精確。效率方面,H3-World 僅使用 8,000 個遊戲樣本、10,000 個 LoRA 步驟,以及僅佔 0.199% 的可訓練參數,便實現了可控的角色與相機運動。此外,該模型展…

媒體已確認

Python 3.15.0 候選版本二發布,為最終發布前的最後預覽

Python 發布經理 Hugo van Kemenade 宣布了 Python 3.15.0 候選版本二,這是十月正式發布前的最後一個發布候選版本,包含來自 76 位貢獻者的約 144 項錯誤修復與改進。發布經理強烈建議第三方維護者在此階段於 PyPI 上發布相容的 wheel 套件,以確保在穩定版發布時已準備就緒。 此公告標誌著 Python 3.…

媒體部分確認

Fal H3 Max Live 突破無限影片生成障礙

Fal Research 推出了 H3 Max,這是 MiniMax H3 的後訓練版本。該模型經優化後速度極快,能在 3 秒內生成 5 秒長的影片,其效能比官方 MiniMax H3 端點快約 35 倍,並在品質與美感的用戶偏好評估中排名第一。 這項突破打破了「無限影片生成障礙」,因為輸出速度快於播放速度,標誌著從靜態圖像生成轉向動態即時影片創作。…

媒體已確認

Play Store 封殺 AuroraStore,影響 GrapheneOS 使用者

Google Play Store 已封殺 AuroraStore 應用程式,導致使用者無法透過此第三方客戶端更新應用程式。AuroraStore 是一個非官方的開源客戶端,其行為模擬 Play Store 以下載和更新應用程式。 這個問題特別影響了那些偏好 AuroraStore 而非沙盒化 Play Store 的 GrapheneOS 使用者,…

媒體已確認

Ambient CSS v3:以純 CSS 實現 Blender 級 3D 視覺效果

Ambient CSS v3 展示了現代 CSS 如何利用 perspective 和 transform-style 等屬性,創造出類似 Blender 的複雜 3D 視覺效果。此版本突顯了純 CSS 無需依賴 JavaScript 庫或 WebGL,即可處理精細空間排列的能力。 這項技術推展了前端設計的邊界,讓開發者能建立沉浸式、高保真度的介面。…

媒體已確認

Fastpotify:支援 Winamp 主題的 Spotify 第三方客戶端

Fastpotify 是一款基於 librespot 函式庫開發的新 Spotify 客戶端,允許使用者將經典的 Winamp 2 主題套用到其介面。該應用程式利用 Ctrl+M 快捷鍵切換至緊湊型播放器模式,完整支援 Winamp 主題,包含頻譜分析器和均衡器。它依賴 librespot 這個開源函式庫,可在不使用官方封閉原始碼 SDK 的情況下實現…

媒體已確認

Mozilla 為 iOS 版 Firefox 推出實驗性廣告攔截功能

Mozilla 為 iOS 版 Firefox 推出了原生廣告攔截功能,目前以實驗性質提供,且需啟用遙測(telemetry)才能使用。此功能可在無需第三方擴充套件的情況下攔截廣告、追蹤器、彈出視窗和覆蓋層,但尚未全面開放給所有使用者。 廣告攔截功能目前為實驗性質,需收集遙測資料才能正常運作。值得注意的是,搜尋引擎結果頁面中顯示的廣告並不會被攔截,這項…

媒體部分確認

Tmp.0ut 第五輯回顧九零年代低階工程與混淆技術

Tmp.0ut 第五輯已發行,這份精心策劃的合集專注於低階 x86_64 Linux 可執行檔與惡意軟體工藝。本期內容涵蓋靜態核心修補、程式碼虛擬化,以及九零年代國際 C 語言程式碼混淆大賽(IOCCC)擴展期間正式化的元混淆技術。 該合集突出了定義九零年代軟體工程的程式碼混淆技術、載入器技巧及防禦對策,並將這些技術與現代實踐相連結,例如 Cloud…

媒體已確認

Hacker News 討論:早期 Scratch 經驗與程式設計職涯的關聯

Hacker News 上的討論提供了多項個人經驗證據,顯示早期的 Scratch 學習經歷往往能引導出令人滿意的程式設計職涯。教育工作者與家長分享了成功案例,指出 Scratch 透過降低語法記憶門檻並提供活躍的同儕社群回饋,有效激發了使用者的創意與興趣。這些經驗證實了 Scratch 不僅是入門玩具,更是建立程式設計信心與興趣的基礎工具,有助於教育…

社群訊號已確認

Axios 指中國機器人推升美國反數據中心情緒

Axios 報導指出,約 200 個來自疑似中國機器人農場的帳號,正在 X 等美國社群媒體平台上積極推廣反數據中心的敘事。這項行動旨在透過利用當地對基礎設施影響的擔憂,來減緩美國的 AI 發展速度。此趨勢突顯了地緣政治策略與國內基礎設施辯論的交匯,中國試圖透過阻礙美國 AI 優勢,並結合美國人對電費上漲和水資源使用的反應來達成目的。該宣傳強調「我們將奪…

媒體已確認

兩億四千萬網域名稱實現 P99 零延遲自動完成

一篇技術文章詳細介紹了如何為包含兩億四千萬個網域名稱的數據集,實現 P99 延遲為 0 毫秒的近乎即時自動完成功能。此優化利用高效資料結構,在用戶輸入期間消除了網路延遲瓶頸。這項成就證明龐大的數據集可以透過本地查詢實現零網路開銷,從而大幅提升使用者體驗並減輕伺服器負載。該實作可能利用儲存在 CDN(如 R2)上的高效 radix tree 或 trie…

媒體已確認

軍方雜貨店冰櫃故障疑雲:駭客攻擊或系統缺陷?

一篇 Substack 文章推測軍方雜貨店冰櫃近期的故障是由駭客攻擊所致,引發了 Hacker News 上關於工業 PLC 安全性與根本原因分析的深入討論。爭議焦點在於冰櫃大規模進入除霜模式,究竟是惡意程式碼還是標準維護問題所致。 此案例突顯了營運技術(OT)環境中日益增長的安全風險,其中像西門子 S7-1500 PLC 這樣的舊系統可能缺乏強大的…

媒體已確認

穩固核心搭配自訂外掛,打造靈活軟體架構

文章提倡一種軟體架構模式,將穩固的核心基礎與可擴充的自訂程式碼或外掛相結合。這種方法讓開發者能維持堅固的底層,同時透過社群驅動的外掛讓使用者能夠客製化功能。 此模式解決了軟體設計中穩定性與靈活性之間的常見挑戰,為複雜應用程式提供了可擴展的解決方案。核心概念在於核心系統中定義清晰的介面,允許外部外掛實作特定功能而不修改核心。 這種分離確保了 80% …

媒體已確認

uv 在輪檔快取中引入檔案層級去重功能

uv 的拉取請求引入了使用 BLAKE3 雜湊演算法的檔案層級去重功能,雖然會導致輕微的效能下降,但能有效減少快取佔用的儲存空間。這項更新解決了廣泛使用的 Python 套件管理器 uv 中快取膨脹的主要痛點,透過內容可尋址儲存技術優化了磁碟空間的使用效率。此實作將每個檔案儲存於其 BLAKE3 雜湊值之下,在僅造成 4% 效能下降的情況下,實現了約 …

GitHub已確認

乙太網路直連傳輸檔案:歷史演進與現代實作

本文探討如何透過乙太網路跳線,直接在兩台電腦之間傳輸檔案。此方法涵蓋了從早期必須使用交叉線,到現代利用鏈結區域 IPv6 與 Python 內建 HTTP 伺服器的多種實作方式。 在離線資料傳輸場景中,此技術仍具高度實用性。它無需路由器或網際網路連線,非常適合用於隔離環境或快速交換大型檔案。 現代網路介面通常支援自動 MDI-X 功能,使得標準直通…

媒體已確認

精心選詞:程式碼註解與劇本中的視覺美學

這篇文章探討了刻意選詞如何提升程式碼註解與腳本中的垂直對齊效果及視覺美感。文中引用了 Laravel 程式庫與《X檔案》劇本撰寫的具體案例,來說明這種現象。這個觀察引起了重視程式碼可讀性與風格的開發者共鳴,顯示微小的語言選擇能顯著影響程式碼庫的整體外觀。它連結了軟體開發中的技術實作與藝術呈現。notable 的範例包括 Taylor Otwell 習慣…

媒體已確認

NeurIPS 2026 論文清單洩漏疑雲:提交稿還是錄取稿?

一個包含約 7,000 篇與 NeurIPS 2026 相關論文的 GitHub 儲存庫現世,引發了社群對其真實性的討論。該清單似乎是來自會議管理系統的草稿匯出檔,包含具有不同錄取分數的論文,甚至包括一些未進行反駁(rebuttal)且分數較低的稿件。多位審查者提供了證據,顯示該清單可能包含被直接拒絕(desk-rejected)和撤稿的論文,而不僅僅…

社群訊號已確認

歐盟 ProtectEU 策略重啟加密後門爭議

歐盟委員會於 2025 年 4 月 1 日公布 ProtectEU 策略,重新推動加密後門計畫,旨在允許執法單位對加密資料進行「合法存取」,透過繞過端到端加密來加強歐盟內部安全性。此舉可能削弱通訊系統的基本隱私保護,進而損害數位權利並增加安全威脅。此外,該策略引發地緣政治風險擔憂,例如威權領導人(如歐爾班)可能利用後門,重演 Facebook 資料在英…

媒體已確認

QubesOS 複製至 VM 錯誤回報機制導致任意程式碼執行漏洞

QubesOS 的複製至 VM 錯誤回報機制中存在一個漏洞,可讓攻擊者在 Dom0 中執行任意程式碼。此問題特別影響 qvm-copy-to-vm 命令的 Dom0 變體,因為其使用了 system() 呼叫。當從 Dom0 複製檔案時會發生此漏洞,因為其錯誤回報函式依賴 system()。qvm-copy-to-vm 的 VM 變體則不受影響,因為其…

媒體已確認

百年 SPC 演算法擊敗時間序列異常檢測 SOTA 方法

機器學習專家 Eamonn Keogh 指出,擁有百年歷史的統計製程管制(SPC)演算法,在廣泛使用的「時間序列異常檢測 TSB-AD 基準測試」中,表現優於最新的深度學習方法。Keogh 測試了該基準測試中的多種數據集,包括心電圖(ECG)軌跡,發現簡單的 SPC 控制圖能在複雜模型表現不佳的情況下,達到完美或近乎完美的結果。這一發現表明,許多近期的…

社群訊號已確認

Astribot S1 機器人實現單次示範學習突破

Astribot S1 是一款輪式人形機器人,展示了無需梯度更新或微調,即可從單一示範中學習新任務的能力。這項情境學習的突破,讓機器人能幾乎即時適應新行為模式,解決了樣本效率的關鍵瓶頸,使通用型機器人在非結構化環境中運作更接近現實。S1 具備對擾動的魯棒性、常識推理及錯誤恢復能力。該機器人身高 170 公分,擁有 23 個自由度,手臂負載達 10 公斤…

媒體已確認

演算法驗證 Reddit 聲稱,找出地球最長水陸直線路徑

一篇 2018 年的學術論文詳細介紹了一種演算法,該演算法確認了 Reddit 用戶最初聲稱的地球上最長水上直線路徑,同時找出了一條先前被忽略的更長陸上路徑。這項研究透過將計算幾何應用於真實世界的地理空間數據,解決了一個休閒數學謎題,展示了演算法優化如何驗證直觀的聲稱並發現反直覺的地理極端值。該研究使用分支定界演算法來處理島嶼和湖泊的複雜性,並特別將海…

研究已確認

歐洲極端夏季乾旱加劇沙漠化威脅

歐洲正經歷極端夏季乾旱,導致奧地利和匈牙利等地區呈現明顯乾燥狀況。此現象不僅影響地中海國家,更波及中歐與東歐,挑戰該地區的自然韌性。乾旱已成為歐盟農業損失的主因,佔比達 54%,超過暴雨和霜凍的影響。預測顯示,到 2050 年南歐的玉米和小麥產量可能下降高達 49%,突顯沙漠化正成為日益嚴重的威脅,並強調建立氣候韌性基礎設施與永續土地管理的迫切需求。

媒體已確認

FreeCORE 延續 TrueNAS Core 於 FreeBSD 平台

FreeCORE 是一個由社群維護的 TrueNAS Core 分支,讓使用者能夠繼續使用更新過的 FreeBSD 版本。此舉解決了 TrueNAS 轉向 Linux 基礎的 SCALE 後所引發的疑慮。這個分支為偏好 FreeBSD 穩定性和架構的使用者提供了替代方案,確保在 iXSystems 專注於 SCALE 的情況下,經典的 TrueNAS …

媒體已確認

Minimax H3 Max 實現超越即時速率生成《瑞克和莫蒂》影片

一名使用者展示 Minimax H3 Max 模型能以超越實時的速率生成《瑞克和莫蒂》風格的影片串流,成功打造出「異次元電台」的效果。這項成果突顯了該模型快速產生連續、隨選影片內容的能力。 該演示使用的 Minimax H3 Max 模型,是開放權重 MiniMax H3 模型的後訓練版本,針對提示遵循度和美學進行了優化。以超越實時的速率生成影片被視…

媒體已確認

新創公司聲稱複方藥物能讓血液變年輕

一家新創公司聲稱其複方藥物(可能是催產素與 Alk5/TGF-β 路徑抑制劑的組合)能讓血液「變年輕」,內部人士報告了改善視力與體力的 anecdotal 效益。這些自我報告的改善包括握力增強以及打羽毛球的時間變長。 該療法似乎透過增加逆轉年齡相關衰退的基因表達來發揮作用,但目前的證據僅限於知情參與者的 anecdotal 報告。由於研究設計缺乏盲測…

媒體已確認

HTMX 4.0.0 發布,強化 Alpine.js 相容性

HTMX 4.0.0 版本已正式發布,新增了 `hx-alpine-compat` 功能,旨在改善 HTMX 與 Alpine.js 之間的相容性問題。這項重大更新致力於簡化這兩款熱門前端庫的整合流程,提升開發體驗。 該 `hx-alpine-compat` 模組專門解決了 HTMX 與 Alpine.js 指令之間的事件處理衝突。社群反饋指出,雖然 …

媒體部分確認

十二因素應用方法在 Hacker News 引發討論

近期的 Hacker News 討論聚焦於經典的「十二因素應用」(The Twelve-Factor App)方法論。該框架被認為對於構建可移植且具韌性的軟體即服務(SaaS)應用程式至關重要,並為現代雲端原生開發提供了基礎指導原則。儘管該方法論被視為大致永不過時,但針對環境配置與狀態管理等特定實踐仍引發辯論。

媒體已確認

OpenAI 預告 2026 年底內部達成 AGI,宣告進入終局

OpenAI 執行長山姆·亞特曼(Sam Altman)宣布,公司預計於 2026 年底在內部達成人工通用智慧(AGI),並宣告業界已進入「終局」階段。此時間表為 AI 產業設定具體里程碑,影響投資者預期及各大科技公司開發人類級認知能力的競爭格局。OpenAI 對 AGI 的定義是指系統在幾乎所有認知任務上的表現能匹配或超越人類,這並非指特定產品的發布。

媒體已確認

觀點:圖形介面應完全由鍵盤驅動

一篇近期的觀點文章主張圖形使用者介面(GUI)應能完全透過鍵盤操作,挑戰了現代軟體必須依賴滑鼠的觀念。該文指出經典的 GUI 框架預設已提供熱鍵配置,從而支持以鍵盤為核心的設計理念。 這個觀點對於軟體設計趨勢具有重要意義,特別是在無障礙設計和進階使用者效率方面。它建議開發者應優先重視鍵盤快捷鍵,以提升生產力,同時不犧牲 GUI 的視覺優勢。 文章將終端…

媒體部分確認

Orbify 推出《全面启动》風格彎曲地圖,融合頂視與前視導航

Orbify 發布了一款導航演示介面,採用類似電影《全面启动》的彎曲地圖設計,將頂視圖與前視圖無縫融合。此設計旨在提供更直觀的空間感知,讓使用者在行進中能同時掌握前方路況與整體路線,挑戰了傳統導航軟體僅使用平面頂視圖或固定前視圖的慣例。然而,該介面在轉彎瞬間會暫時隱藏前方路線資訊,可能導致連續轉彎時導航困難;此外,彎曲投影會使急轉彎後的路段移出螢幕,且…

媒體已確認

OpenAI 與 Anthropic 將 Python SDK 遷移至 httpx2

OpenAI 與 Anthropic 已將其 Python SDK 遷移至使用 httpx2,這是 httpx 函式庫的一個分支,以避免即將推出的 httpx 1.0 版本帶來的破壞性變更。此舉確保了依賴這些主要 AI 供應商的開發人員的 API 穩定性。這項遷移具有重要意義,因為 httpx 1.0 承諾將帶來重大的破壞性變更,可能影響現有的整合。透…

GitHub已確認

利用散度定理快速計算多面體體積

一篇 2018 年的部落格文章展示了利用散度定理計算多面體體積的高效方法,將體積計算轉化為對三角形面的面積分。此方法為傳統的分解法提供了一種計算上優雅的替代方案,在計算幾何學和電腦圖形學中具有重要意義,因為它簡化了複雜網格的體積計算,無需進行內部分解。它突顯了基本微積分定理如何在數值計算中產生高效能的演算法。此方法依賴於網格為簡單且閉合的結構,從而可以…

媒體已確認

網站功能轉向原生應用程式,引發用戶信任與體驗摩擦

分析指出,網站將完整功能限制在其原生應用程式中的趨勢日益明顯,為桌面和行動網頁使用者帶來摩擦。這種轉變是由於企業希望獲得更高的參與度指標,並能利用裝置專屬功能所致。 此趨勢影響用戶信任度與留存率,因為過度限制應用程式功能會降低網頁體驗的價值。它也會影響開發人員在跨平台相容性與原生最佳化之間的策略選擇。 關鍵因素包括蘋果歷史性地推動原生應用程式取代網…

媒體已確認

開發者回顧:創業公司使用 AWS Cognito 的除錯噩夢

一位開發者分享了在創業公司使用 AWS Cognito 進行身份驗證的經驗,指出文件品質不佳與除錯困難是下次會選擇其他供應商的主要原因。文章強調,花在除錯 Cognito 問題上的時間成本,足以支付多年付費身份驗證服務的费用。這突顯了軟體工程中成本效益與開發者體驗(DX)之間的權衡痛點,為在 AWS 低成本基礎設施與複雜身份管理開銷間取捨的創業公司提供…

媒體已確認

Emacs 31 內建基於 Tree-sitter 的 Markdown 模式

Emacs 31 引入了內建的 markdown-ts-mode,該模式利用 tree-sitter 進行解析,提供對 CommonMark 和 GitHub Flavored Markdown (GFM) 的原生支援。模式名稱中的 'ts' 代表 tree-sitter,這是一個增量解析庫,確保在即時編輯期間的高效能。此模式目前處於實驗階段,使用者需…

媒體已確認

RAG 系統比你想的更簡單:全文搜尋與嵌入的對比

文章指出,檢索增強生成(RAG)系統往往被過度複雜化,並證明全文搜尋經常能超越或有效補充向量嵌入的效果。它強調語義相似度常被高估,而較簡單的詞彙匹配能以更低的成本獲得更好的結果。全文搜尋被描述為高度可移植、易於擴展且實現簡單,遵循 80/20 法則,即它能有效處理大多數用例。相比之下,嵌入需要仔細調整和對文本塊重新嵌入,以達到最佳的語義相似度,這增加了…

媒體已確認

Hugging Face 發布指南:使用 Sentence Transformers 訓練多向量嵌入模型

Hugging Face 發布了一篇技術指南,詳細說明如何利用 Sentence Transformers 函式庫來訓練和微調多向量嵌入模型。該指南特別針對 ColBERT 等架構的實作,這些架構採用多個向量而非單一向量來表示查詢與文件。 指南指出,多向量嵌入在表達能力與檢索準確性上,相較於傳統單向量模型已獲得越來越多認可,尤其在複雜的語義搜尋任務中…

官方已確認

Anima Anandkumar:我們擁有語言基礎模型,卻尚缺物理基礎模型

加州理工學院 Bren 教授 Anima Anandkumar 指出,目前的 AI 發展存在關鍵差距:我們雖已擁有成熟的語言基礎模型,卻仍缺乏能有效模擬物理現象的模型。她正運用深度學習技術,致力於模擬天氣模式與核融合反應爐等複雜系統。Anandkumar 的研究利用神經算子,以比人類更快的速度學習物理定律,並解決了物理系統必須生成合理輸出的限制。近期的…

媒體已確認

泰勒農場報告揭示供應鏈集中化風險

一份關於泰勒農場(Taylor Farms)的新分析指出,該公司的市場主導地位已演變為國家層級的供應鏈風險。報告評估了供應鏈效率與脆弱性之間的權衡,並質疑主要供應商在地理上的集中(例如亞馬谷地區)是否會給國家糧食安全帶來系統性風險。 報告發現,雖然大型種植者能透過廣泛的地理分佈與快速採購機制受益,但也面臨特定地區反覆出現大腸桿菌爆發等問題。此外,報告…

媒體已確認

Twitter Viewer:無需帳號即可匿名瀏覽 X 平台

新的網頁工具「Twitter Viewer」讓使用者無需建立帳號或登入,即可瀏覽 X(前身為 Twitter)的個人檔案、搜尋推文並下載影片。該服務利用 X 的訪客權杖(guest token)驗證機制,在不追蹤搜尋或要求個人資訊的情況下匿名運作,從而繞過登入牆。它提供免費存取,並擁有寬鬆的使用限制,允許瀏覽無限個個人檔案和進行搜尋。此工具的重要性在於…

媒體已確認

OldInsuranceMaps.net 正式成為 OpenStreetMap US 特許計畫

OldInsuranceMaps.net 已正式成為 OpenStreetMap US 的特許計畫,為歷史保險地圖的保存與整合獲得專屬支援。這項合作旨在解決開放原始碼地圖生態系統中歷史資料保存長期資金不足的困境,並強化保存與存取歷史城市資料的基礎設施。此舉突顯了將傳統光柵地圖與現代向量式開放地圖平台連接起來的策略性努力。該計畫涉及將高分辨率光柵掃描圖自…

媒體已確認

AI 重塑開發者能力:深度系統理解仍是關鍵

文章指出,雖然 AI 工具加速了程式碼撰寫,但也產生了「能力錯覺」,讓開發者高估自己的知識水平。這種觀點挑戰了 AI 將取代人類工程師的說法,強調人類判斷力對於驗證 AI 生成的解決方案至關重要。 文章強調,資深開發者必須保持對系統的深度理解與判斷力,才能與那些僅接受 AI 輸出的開發者區分開來。它強調了開發者技能的轉變,使得技術直覺和系統設計比單純…

媒體已確認

保羅·迪克斯:AI 生成百萬行程式碼並精煉為可靠軟體

保羅·迪克斯指出,AI 在數個月內生成並精煉了一百萬行程式碼(LOC),產出在數百萬台開發者機器上運行的可靠軟體。這項成就證明,透過適當的指導與驗證系統,AI 能夠處理高度複雜的軟體專案。 這一里程碑挑戰了 AI 生成程式碼僅限於簡單或瑣碎任務的觀點,展現了其進行複雜工程的能力。這標誌著一個轉變,AI 不僅能進行初始生成,還能作為具備持續精煉與維護能…

媒體已確認

亞特曼預測 OpenAI 年底前實現 AGI,社群質疑與 IPO 時機巧合

OpenAI 執行長山姆·亞特曼在接受《時代》雜誌採訪時表示,公司預計在今年年底前實現通用人工智慧(AGI)。此聲明被視為 AI 產業的重要里程碑,因為 AGI 被定義為能與人類智能相媲美的理論系統。亞特曼的預測時間點,與 OpenAI 預計在 2026 至 2027 年間進行首次公開募股(IPO)的窗口期高度吻合。外界認為,若 AGI 如期實現,將極…

社群訊號已確認

Apple 確認 iCloud+ 隱藏我的電子郵件地址將保留在 icloud.com 網域

Apple 確認 iCloud+ 的「隱藏我的電子郵件」地址將繼續使用 icloud.com 網域,而非切換至全新的隨機網域。此決定旨在利用 icloud.com 既有的網域聲譽,以提升電子郵件的投遞成功率。對於注重隱私的用戶而言,這解決了隨機網域郵件常被第三方服務標記為垃圾郵件或面臨投遞不佳的問題。透過保留既有網域,Apple 在用戶隱私與郵件可靠投…

媒體已確認

保羅·格雷厄姆論大學如何培養創業者

保羅·格雷厄姆的文章主張大學應積極培養學生成為創業者,並指出創業已逐漸成為主要職業路徑的文化轉變。文章指出,雖然哈佛大學培養的創業者比耶魯或普林斯頓多,但這並非絕對優勢,因為具有高潛力的想法數量有限。該文引發了關於學術機構是否能在基礎研究與創業文化的實際需求之間取得平衡的討論。文章還提到了風險投資機構對「類創業」行為的期望與偏好基礎科學的研究人員之間的…

媒體已確認

OpenAI 中斷俄羅斯 AI 間諜影響力活動

OpenAI 封鎖了來自俄羅斯的帳號,這些帳號利用 AI 推廣一個虛構的以色列智庫,以及一項旨在讚揚俄羅斯並批評西方的「主權指數」。此舉成功中斷了一場透過欺騙性內容操縱輿論的間諜影響力活動。該活動內容包含為虛構智庫及指數生成文章,透過評分機制將俄羅斯塑造成有利形象。此外,OpenAI 利用其 AI 工具識別並移除了位於俄羅斯、中國、伊朗和以色列的五場間…

官方已確認

吳恩達於 Latent Space 探討人工智慧工程領域

業界傳奇人物吳恩達在 Latent Space 發表新文章,開始探討新興的人工智慧工程領域。這標誌著他正式進入討論 AI 系統的實際設計、開發與部署階段。 文章強調,人工智慧工程是一門專注於建立具擴展性、效率與可靠性的 AI 解決方案之技術學科,並運用工程原則來建構能完成特定任務或達成目標的智慧系統。 吳恩達的參與為 AI 工程師的角色增添了公信力…

媒體已確認

WHRG'26 展現容錯文化:人形機器人對戰成焦點

第二屆世界人形機器人運動會(WHRG'26)於八月二十二日至二十六日在北京舉行,匯聚了來自十六個國家的六百六十六支隊伍與兩千零五十六台機器人,進行超過一千三百場比賽。比賽涵蓋五十一個項目,從競速到對戰,強調娛樂性與技術實力並重。 一段病毒式傳播的影片突顯了人形機器人對戰的吸引力,參賽者公開接受失敗作為競賽的一部分。此活動展示了機器人領域中獨特的容錯文…

媒體已確認

過度依賴 AI 編碼恐導致開發者專業能力崩潰

一項分析指出,過度依賴 AI 編碼工具正導致企業環境中程式碼專業能力顯著下降,工程師產出程式碼的速度遠快於其審查速度。這種趨勢與過去技術採用週期相似,例如早期對物件關聯映射(ORM)工具的質疑。 此議題的重要性在於它突顯了「AI 引發的技能萎縮」風險,即開發者可能在沒有 AI 協助的情況下失去理解或除錯複雜系統的能力。這影響了軟體的長期可維護性,以及必…

媒體已確認

ELF 可執行檔本質即為 SQLite 資料庫

Farid Zakaria 指出,ELF 可執行檔的結構與 SQLite 資料庫具有高度相似性,並能透過虛擬資料表功能,直接使用 SQL 進行查詢。這項見解揭示,二進位格式本身即可被視為資料庫,無需依賴外部解析工具。這種觀點為探索與修改二進位檔案提供了新方法,可能簡化系統程式設計師的除錯與分析工作。此外,這也引發了以 SQLite 為基礎的替代方案來取…

GitHub已確認

Linux 可執行檔以 SQLite 資料庫格式儲存

Farid Zakaria 提出了一種技術,透過重新利用檔案標頭中的應用程式 ID 欄位,將 ELF 二進位檔儲存於 SQLite 資料庫檔案中。搭配自訂解譯器與 Linux binfmt_misc 核心機制,這些 .db 檔案可直接作為程式執行。 此方法透過利用 SQLite 的普及性與簡易性,為 AppImage 或 Flatpak 等傳統封裝格式…

媒體已確認

機器人展現實時跨欄與攀爬方塊能力

一台機器人成功在實時狀態下完成了一百米跨欄賽並攀爬方塊,展現了驚人的動態移動能力。這項表現突顯了機器人敏捷度與實時障礙物互動方面的重大進展。 這在動態移動領域是一個重要里程碑,因為它證明機器人無需預先錄製的動作序列即可處理複雜的多階段地形。它將影響需要非結構化環境自主導航的產業,例如搜救或物流。 機器人在比賽期間完成了方塊攀爬,顯示其具備實時決策能力,…

媒體已確認

IPFS 維護團隊 Shipyard 宣布結束營運

負責維護 IPFS 的 Shipyard 團隊宣布結束營運,標誌著該專案維護權的重大轉變。此事件發生在 Cloudflare 先前停止支援 IPFS 之後,突顯了維持開源基礎設施的挑戰以及 Protocol Labs 策略的轉變,進而影響去中心化網路生態系。此次營運結束顯示出向更專注或更具永續性的 P2P 模型轉變的趨勢,並引發關於去中心化網路未來及潛…

媒體已確認

FDA 核准 PrecivityAD2 血液檢測,輔助阿茲海默症診斷

美國食品藥物管理局(FDA)已核准 PrecivityAD2 血液檢測,該檢測透過測量澱粉樣蛋白 β 濃度,協助診斷輕度認知障礙或失智症患者是否患有阿茲海默症。這項核准標誌著神經退化性疾病非侵入性診斷工具的重要進展,使得早期且更準確地識別阿茲海默症病理成為可能,從而在顯著認知衰退發生前指導治療決策。 該檢測提供比腦脊髓液分析或正子造影(PET sca…

媒體已確認

利用單一 Parquet 檔案建立快速下鑽儀表板

本文詳細介紹了一種方法,透過在單一 Parquet 檔案中儲存預先計算的分組集(grouping sets)來建立響應迅速的客戶儀表板。此方法利用 Cloudflare Workers 或 GitHub Pages 等高效的託管策略,以最低的延遲和成本提供資料立方體。 對於非即時更新但更新頻率較低的資料集,此技術提供了比傳統資料庫支援儀表板更具成本效益…

媒體已確認

超級智慧會維持開放存取還是限制存取?

Reddit 上的討論質疑,真正具有超級智慧的 AI 會理性地透過平價訂閱提供服務,還是為了維持相對於人類或其他公司的競爭優勢而限制存取。 這場辯論突顯了普及 AI 的經濟誘因與保留卓越智慧專屬性的戰略優勢之間的張力,影響未來科技的分配方式。 該文章引用了麥克斯·泰格馬克(Max Tegmark)的「奴役之神」框架,並將目前可由公司控制的頂尖模型與可能…

媒體已確認

1998 經典論文:複雜系統失效與根本原因分析的局限

這篇 1998 年的經典論文指出,在複雜系統中,根本原因分析往往徒勞無功。這是因為失效通常由多個元件的互動所導致,而非單一故障點。該論文強調,複雜系統容易進入亞穩定失效狀態,其中變化的影響具有延遲和非線性特徵,使得傳統線性的根本原因追蹤變得無效。這項分析重塑了工程師在分散式系統和混沌工程中的可靠性思維,將焦點從隔離單一原因轉向理解系統性的互動。

媒體已確認

Wi-Fi 8 轉向超高可靠性,不再單純追求速度

Wi-Fi 8(IEEE 802.11bn)保留了 Wi-Fi 7 每秒 23 Gbps 的最大理論速度,但將設計重點轉向超高可靠性(UHR),以提升實際使用時的效能。該標準旨在改善擁擠環境中的連線穩定性並減少干擾,而非追求更高的吞吐量數字。這標誌著無線標準的重大範式轉移,解決了理論規格與實際使用者體驗之間的落差。對於企業和工業應用而言,這尤為重要,因…

媒體已確認

5 微秒即時編譯:挑戰 LLVM 傳統架構

該文章介紹了一種新的即時編譯(JIT)方法,僅需 5 微秒即可生成程式碼,大幅優於傳統的 LLVM 編譯方式。這項技術透過生成可重複使用的機器碼範本,最小化了與完整編譯週期相關的開銷,展示了專門技術如何顯著降低動態程式碼執行的編譯延遲。 這種速度提升對於需要低延遲程式碼生成的應用程式至關重要,例如 PostgreSQL 的 JIT 功能、eBPF 程…

媒體已確認

現代工具鏈降低門檻:通才開發者也能掌握硬核系統技術

文章指出,現代工具鏈的發展讓開發者能夠處理更底層的系統程式設計任務,例如 eBPF、DWARF 和自訂加密技術。這種轉變使得通才型開發者也能夠掌握過去僅限專家使用的技術,降低了複雜基礎設施工作的入門門檻,讓更多人能接觸到底層系統內部機制。 推動此趨勢的關鍵技術包括用於沙盒化核心程式的 eBPF,以及用於除錯資訊的 DWARF。文章也提到自訂加密技術的…

媒體已確認

機器人與奧運冠軍丁寧對打,展現球拍握持泛化能力

機器人成功與2016年奧運冠軍丁寧進行乒乓球對打,展現出適應不同球拍角度與位置的泛化能力。機器人在保持控制的情況下,交替進行正手和反手擊球,同時應對手中球拍獨特的角度與位置。這意味著該系統經過訓練,能夠處理多種握持方式,而非依賴單一完美的抓握配置。這項成就透過處理與訓練數據可能不同的精確球拍調整,突顯了灵巧操作領域的進步。這很重要,因為球拍角度的微小差…

研究已確認

模擬訓練崛起:性能僅遜10%,成本與速度優勢顯著

Latent Space 分析指出,模擬訓練正成為 AI 領域的主导力量,其效率和速度遠勝傳統模型訓練方法。這種方法讓模型僅以 10% 的性能差距,就能實現比傳統方法便宜百倍、快速萬倍的優勢。這標誌著 AI 開發的重大範式轉移,將焦點從原始運算能力轉向優化的訓練環境。文章強調,模擬訓練不僅節省成本,還能透過虛擬環境更有效地生成多樣化訓練數據,從而實現數…

媒體已確認

AI 普及程式設計,GitHub 活動量激增

GitHub 的活動量大幅激增,近期的一次停機事件中,每月提交次數翻倍達到 29 億次。這次增長主要由 AI 輔助編程工具的廣泛採用所驅動,這些工具讓非開發人員也能貢獻程式碼。 這一趨勢標誌著軟體開發的民主化,將程式設計從一項專業技能轉變為更廣泛的組織能力。它反映了傑文斯悖論,即編程工具變得更便宜、更容易使用,導致整體使用量增加。 在 8 月 17 日…

媒體已確認

科學家發布迄今最大宇宙二維地圖,涵蓋 14,000 平方度河外天空

科學家已發布迄今為止最大的宇宙二維地圖,並透過遺跡調查天空檢視器(Legacy Survey Sky Viewer)提供存取。這項綜合數據集利用光學和紅外成像,涵蓋了約 14,000 平方度的河外天空。此次發布是天文學數據視覺化的一個重要里程碑,為研究人員和公眾提供了前所未有的宇宙視圖。該地圖整合了 DESI 遺跡成像調查的數據,將光學波段(g、r、z…

媒體已確認

中國人形機器人「閃電」百米衝刺 9.32 秒,打破博爾特世界紀錄

中國人形機器人「閃電」在世界人形機器人運動會上展現驚人速度,以 9.32 秒完成百米衝刺。這一成績打破了由尤塞恩·博爾特保持長達 17 年的 9.58 秒人類世界紀錄。 這項成就標誌著機器人技術的重要里程碑,顯示人形機器人在速度和靈活性上已能超越頂尖人類運動員。該機器人由一家中國手機製造商開發,其優異表現突顯了執行器技術和控制演算法的快速進步,賦予機…

媒體已確認

Moderna 與默克個人化 mRNA 黑色素瘤疫苗達標,馬斯克讚賞 AI 驅動設計

Moderna 與默克公司宣布,其針對黑色素瘤的個人化 mRNA 疫苗 mRNA-4157 在第二階段 b 期試驗中成功達到主要療效終點。該疫苗由 AI 驅動設計,能根據每位患者腫瘤 DNA 的獨特突變特徵,編碼高達 34 個新抗原。試驗結果顯示,當與 Keytruda 聯合使用時,可使復發或死亡風險降低 49%。這項突破展示了 mRNA 技術在腫瘤學…

媒體已確認

Kagi 新增設定可從搜尋結果中移除付費牆連結

Kagi 推出了一項新功能,允許使用者自動從搜尋結果中移除需要付費才能閱讀的文章連結。此設定讓使用者能夠透過篩選出需要額外付費的內容,來掌控自己的搜尋體驗,旨在減少點擊到需訂閱文章時產生的挫折感。這項更新解決了網路生態系中日益嚴重的痛點,即付費牆遮蔽了許多有價值的資訊。該功能與 Kagi 現有的付費訂閱模式相輔相成,使用者已為無廣告搜尋和 AI 輔助功…

媒體已確認

開發者意外記錄數十萬通撥往軍事基地的電話

一名開發者透過利用舊版的 e164.arpa DNS 基礎 ENUM 協議,意外發現並記錄了數十萬通撥往軍事基地的電話。此漏洞允許公開的 DNS 查詢將軍用電話號碼解析為 SIP URI,從而揭露活躍的通話流量。 此發現突顯了傳統電話基礎設施中長期存在且未被察覺的重大安全疏失。它展示了像 ENUM 這樣的舊協議,若未妥善保護,可能會讓敏感的軍用通訊暴…

媒體已確認

Omacom 基金會以 800 萬美元啟動,支援 Omarchy Linux

Omacom 基金會以 800 萬美元的初始資金正式啟動,旨在支援基於 Arch Linux 的 Omarchy 桌面發行版。這項非營利組織的成立,致力於確保該項目的長期穩定性並加速其開發進程。 這項資金為結合 Hyprland 平鋪視窗與 PWA 整合的新型 Linux 環境提供了財務穩定性,有望挑戰現有的桌面生態系統。這標誌著對意見導向、開發者導…

媒體已確認

AI 公司為節省成本掃描後銷毀實體書,引發稀有文本保存爭議

Anthropic 等 AI 公司正購買稀有及絕版書籍,使用切脊機器進行掃描,隨後將實體原件銷毀或回收。此舉與 Google Books 長期採用非破壞性掃描並保留實體書的做法形成鮮明對比。非破壞性掃描的成本可能高達破壞性方法的十倍,這促使公司選擇成本較低的破壞性方式,將書籍視為 AI 訓練的消耗品。法官最近裁定此做法屬於合理使用,允許公司從已處理的實…

媒體已確認

回顧《席德·梅爾的海盜!》:改變 Firaxis 身份的經典之作

一篇回顧文章深入探討了《席德·梅爾的海盜!》的開發歷史,並分析該作如何深遠地影響了 Firaxis Games 工作室的身份認同。文章指出,這款遊戲不僅定義了工作室的創作方向,更引發了關於其持久遺產的廣泛討論。 這項分析揭示了單一作品如何根本性地改變遊戲工作室的創意身份,其影響力類似於《Worms》對 Team 17 的轉變。文章引用了席德·梅爾的自…

媒體已確認

Hugging Face 推出測試以衡量語音辨識基準最佳化

Hugging Face 發表研究,引入三項特定測試來量化語音辨識(ASR)模型中的「基準最佳化」(benchmaxxing)現象。此現象指模型在公開基準上表現良好,但在生產環境中卻表現不佳,導致難以衡量其真實世界泛化能力。透過量化這種差距,研究人員和工程師可以更準確地評估模型效率,並避免過度擬合特定資料集。文章強調,雖然基準最佳化在機器學習中很常見,…

官方已確認

Galbot 於 WRC'26 展示新款敏捷人形機器人 ET1 Galaxy Star

Galbot 在 2026 年世界機器人大會(WRC'26)上展示了其新款敏捷型人形機器人 ET1 Galaxy Star。該型號採用雙臂設計,具備可泛化的操作能力,並擁有高成功率的觀測學習功能,能夠觀察並複製人類動作。此次發布突顯了雙足機器人從研究示範向潛在消費電子產品快速過渡的趨勢,這得益於 AI 控制技術的指數級進步。市場對於能夠執行實際任務而非…

媒體已確認

惡意 Rust 套件 Arrayref 執行建構階段有效載荷

廣泛使用的 Rust 套件 Arrayref 版本 0.3.10 遭到入侵,引入了拼寫相似的 proc-macro1 依賴項,該依賴項會在建構過程中執行遠端有效載荷。此惡意版本於 2026 年 8 月 20 日發布,並在約 86 分鐘後被移除,但 crates.io 上並未顯示下架通知或安全公告。 此事件突顯了 Rust 生態系統中關鍵的供應鏈漏洞,顯…

媒體已確認

Generalist AI 發布 GEN-1.5:具備單次學習能力的機器人基礎模型

Generalist AI 正式發布 GEN-1.5,這是一款具備從示範中進行單次學習,以及對即興發揮和新工具使用進行零樣本泛化能力的機器人基礎模型。該模型支援零樣本泛化,意味著機器人在經過單一視覺示範後,即可立即處理刷子或塵蟬等全新工具。 此次發布標誌著具身智能的重要進展,使機器人能在觀察單一範例後立即適應新行為。這項進展透過減少對大量訓練數據的需…

研究已確認

AliExpress 靜態 WebAudio 指紋識別干擾藍牙多點連線

AliExpress 網頁採用靜態 WebAudio 播放技術進行使用者指紋識別,此舉意外導致耳機與助聽器的藍牙多點連線功能中斷。該技術利用不同裝置透過 Web Audio API 處理聲音時的自然差異來識別設備,過程無需權限且無視覺效果,因此瀏覽器通常不會顯示常見的喇叭圖示指示。 此實作方式會與藍牙多點協定產生衝突,尤其在 iOS 裝置上表現明顯。…

媒體已確認

開發者訓練 1.25 億參數模型,實現 iPhone 即時鋼琴自動補全

一位開發者訓練了一個擁有 1.25 億參數的 Transformer 模型,能在 iPhone 15 上以每秒約 108 個音符的速度即時自動補全鋼琴演奏。該應用程式類似於 GitHub Copilot 等程式碼補全工具,但改用 MIDI 輸入取代程式碼提示。此專案證明了在邊緣裝置上部署高效能、音樂專屬 AI 模型的可行性,且無需依賴伺服器。它為創意工…

媒體已確認

圈數取代弧度?Hacker News 引發數學與程式設計辯論

一篇 2022 年的文章主張使用「圈數」(turns)取代弧度來簡化三角函數計算,並在 Hacker News 上引發了關於歐拉公式與泰勒級數數學意涵的深入討論。這場辯論突顯了程式設計中直觀的角度表示法與高等數學中弧度的分析優雅性之間的權衡,影響了軟體工程實踐與數學教育。評論者指出,雖然圈數能簡化四分之一圈的計算,但在歐拉公式中使用圈數時,必須使用 e…

媒體已確認

Stripe 重新定義奇點以合理化收購 OpenRouter

Stripe 宣布「奇點已至」,此聲明被視為合理化其以 70 億美元收購 OpenRouter 的策略性敘事。這一舉動引發了關於該公司是強調真正的技術突破,還是僅在製造企業熱度的討論。 此公告突顯了產業的重大轉變,大型科技企業透過重新定義關鍵術語來塑造當前的人工智慧格局並合理化大規模投資。這影響了市場對 OpenRouter 等人工智慧基礎設施公司價值…

媒體已確認

從玩笑網域到地緣氣象數據樞紐

一個隨手購買的網域名稱,意外演變為透過業餘無線電氣球收集全球氣象數據的關鍵基礎設施,並在地緣政治監測中扮演重要角色。數據收集依賴於搭載在高空氣球上的低功率 WSPR 發射器,由全球業餘無線電愛好者網路進行追蹤。當發射器因電池耗盡而關閉時,其數據完整性對於地緣政治分析至關重要,進而確認了該項目的戰略價值。這項發展突顯了業餘愛好者的工程項目如何意外影響國際…

GitHub已確認

Moderna 黑色素瘤 mRNA 新抗原療法首獲陽性第三期臨床試驗結果

Moderna 宣布其針對黑色素瘤的 mRNA 新抗原療法取得首次陽性的第三期臨床試驗結果。這項里程碑驗證了個人化 mRNA 疫苗在治療該特定皮膚癌方面的療效,並代表腫瘤學領域的重大突破,證明新抗原 mRNA 疫苗能夠克服腫瘤誘導的免疫抑制。該療法透過編碼腫瘤特異性抗原的個人化新抗原 mRNA 疫苗來刺激免疫反應,為黑色素瘤以外的更廣泛個人化癌症治療應…

媒體已確認

Mojo 1.0 正式開源,採用 Apache 2 授權

Modular 公司已正式以 Apache 2 授權發布 Mojo 1.0 開源版本,兌現了 2023 年 5 月做出的承諾。此次發布包含了編譯器和工具鏈,標誌著其策略從最初成為 Python 嚴格超集的目標發生了轉變。 Mojo 採用受 Python 啟發的語法,但融入了類似 Rust 的靜態型別和借用檢查器。該公司於 2025 年 8 月左右承認…

GitHub已確認

Air Theremin:透過瀏覽器與網路攝影機揮手演奏的音樂應用

名為 Air Theremin 的新瀏覽器應用程式,讓使用者能透過在網路攝影機前揮舞雙手來演奏音樂。該應用程式利用電腦視覺技術偵測手勢,並依賴 JavaScript 函式庫追蹤手部位置,將其映射到音高與音量控制,模擬實體特雷門的演奏方式。此專案展示了現代網頁技術處理即時視訊輸入與合成音訊的能力,且無需安裝原生軟體。

媒體已確認

PostgreSQL 萬用論:簡化資料庫架構

一篇文章主張在大多數情況下將 PostgreSQL 作為主要資料庫,以減少基礎設施的複雜性,並引用了 Revolut 等實際案例。該文章強調了一種社區趨勢,即直到明確遇到 PostgreSQL 的局限性後,才採用專門的工具。討論指出,雖然 PostgreSQL 可以取代 Elasticsearch 進行基本的全文搜尋,但與專門的搜尋引擎相比,它可能缺乏…

媒體已確認

macOS 桌面 3D 果蝇:以 FlyWire 神經連接組驅動開源視覺化

DenisSergeevitch 發布了一個開源專案,在 macOS 桌面上渲染了一隻 3D 果蝇,並將預設行為映射到真實的 FlyWire 神經連接組數據。這項視覺化技術讓使用者能看到果蝇根據真實果蝇大腦的神經連接圖進行移動。該專案透過引人入勝的桌面介面,將複雜的 FlyWire 神經連接組與軟體工程相結合,展示了如何將大規模的神經數據轉化為互動式視…

媒體已確認

陶哲軒推出 Palomar:Lean 驗證數學公開登記處

陶哲軒推出了 Palomar,這是一個旨在作為 Lean 驗證數學論文預印本服務器的新型公開登記處。該平台允許用戶提交符合特定最佳實踐的數學形式化證明,陶哲軒本人也成功提交了其關於 Sendov 猜想的證明作為測試案例。 Palomar 會從源文件的固定版本中記錄數學命題,使用 Lean 檢查證明,並發布精確的命題、庫依賴項以及審查警告。雖然目前依賴…

媒體已確認

λλ:專為矽光子設計的領域專用程式語言

研究人員推出了 λλ,這是一門專為矽光子程式設計而設計的領域專用語言。該語言巧妙結合了 lambda 演算的概念與光波長符號,用於管理光子電路。 λλ 的語法包含相位偏移、光束分裂器和單位變換等結構,允許對光的傳播進行精確控制。名稱 λλ 反映了其雙重性質:其中一個 lambda 指 lambda 演算,另一個則指光波長。

媒體已確認

OpenAI 投入五百萬美元強化國家安全 AI 監督

OpenAI 於 2026 年 8 月 18 日啟動一項計畫,透過提供工具、培訓和專業知識,強化政府機構對國家安全領域 AI 使用的民主監督。該公司投入 500 萬美元,以技術支援和 OpenAI 點數的形式支持這項工作,撥款用於培訓、技術支援和點數補貼。該計畫專門針對政府監督機構,提供專門的培訓和技術資源,以幫助其更好地理解和管理 AI 部署。

官方已確認

人形機器人準備迎接 WHRG'26 開幕

人形機器人正在為本週六舉行的世界人形機器人運動會(WHRG'26)開幕做準備。該活動展示了最新的進展,包括機器人在北京參加半程馬拉松的表現。 此活動突顯了人形機器人從單純行進到執行功能性任務的快速進展,成為重要的實測平台。它將該競賽定位為類似一級方程式賽車(F1)的國際研發孵化器,推動技術創新。 該競賽具有定期的國際參與度,發揮著類似 F1 模式的研發…

媒體已確認

OpenAI Python SDK v3.2.0 新增 AWS Bedrock 與 Shell 串流支援

OpenAI 發布了 Python SDK 版本 3.2.0。此次更新主要新增對 AWS Bedrock Runtime 端點的支援,並引入新的 Shell 呼叫串流事件,以及更新的服務與影像類型。 在 AWS 整合方面,SDK 具體支援 bedrock-runtime 端點,建議新應用程式優先使用此端點,以取代舊版的 mantle 端點,從而增強 …

GitHub已確認

將鐵路網絡化作平板掃描器:線掃描攝影計畫

一項新計畫展示了如何利用行駛中的火車作為掃描機制,將鐵路網絡轉化為巨大的平板掃描器。該技術透過同步火車的行駛速度與固定相機的線感應器,來捕捉連續影像。計畫利用火車的直線運動模擬平板掃描器的載具移動,相機一次僅捕捉一行像素。社群討論指出,處理大型影像檔案是一大挑戰,常需依賴 GNU IMP 等專用軟體或開發自訂檢視器來應對。

媒體已確認

亞馬遜搜尋演算法轉向語意匹配與購買意圖

亞馬遜的搜尋演算法正逐漸以語意匹配和購買意圖取代精確關鍵字匹配,藉此引導消費者購買平台希望推廣的商品。這項轉變將搜尋結果從精確的物品定位器,變成了旨在提高轉換率的精選列表。 此趨勢對消費者行為和電子商務使用者體驗產生了重大影響,因為用戶可能會發現未明確搜尋但符合其意圖的商品。這也突顯了廣告驅動演算法在塑造消費者所見及所購商品方面的日益影響力。 這些…

媒體已確認

O'Reilly 作者發布全面的 Python Polars 速查表

《Python Polars:權威指南》的作者發布了一份全面的兩頁速查表,總結了 Polars 的關鍵操作,並提供 PDF 和 HTML 兩種格式。 這份資源為採用 Polars 的資料工程師提供了簡潔的參考,Polars 是一個基於 Rust 建構的高效能 DataFrame 函式庫,正迅速成為 Pandas 的現代化替代方案。 該速查表涵蓋了基本操…

媒體已確認

糖類配給時期出生者成年後癌症風險較低

一項研究指出,在糖類配給時期出生的人群,成年後罹患癌症的風險顯著較低。該研究分析了配給時期出生群體的癌症發生率,發現多種癌症的發病率較低。這項發現表明,生命早期接觸較少的糖類供應可能對癌症具有長期保護作用,並提供了流行病學證據,證明嬰兒時期建立的飲食模式可以影響幾十年後的疾病風險。研究結果突顯了早期營養在塑造長期健康結果,特別是癌症發展中的關鍵作用。

媒體已確認

Meta 申請智慧眼鏡臉部辨識自動記錄專利

Meta 已為其智慧眼鏡(特別是 Ray-Ban Meta 系列)申請臉部辨識專利,該技術能根據人物的表情和人際關係自動識別並記錄影片。這項進展延續了今年初在 Meta AI 應用程式中發現的 dormant 臉部辨識管道 NameTag。 這項專利標誌著穿戴式裝置中的被動與自動監控趨勢,可能影響公共空間中的社交規範與隱私預期。它也引發了人們對 Ray…

媒體已確認

Hacker News 辯論:以非 SQL 語言定義資料庫結構的挑戰與爭議

Hacker News 上針對一篇主張以非 SQL 程式語言定義資料庫資料表結構的文章展開討論,引發關於 SQL 持久相關性與物件關聯映射(ORM)限制的辯論。參與者指出,在非 SQL 語言中定義架構往往落後於底層資料庫的原生功能,例如分割方案、壓縮方法或進階約束。此外,社群也關注到自訂二進位編碼(如 sum types)可能帶來的互操作性挑戰。此議題…

媒體已確認

Finger 協議的不朽遺產

近期一篇文章探討了 Finger 協議的長壽特性,並透過 Lookit 和 Winger 等新客戶端突顯其現代復興。社群討論強調了實用的 Unix 腳本編程軼事,以及針對使用者與機器對應的架構批判。 這個主題引起了開放原始碼社群對簡單且持久技術的共鳴。它展示了傳統協議如何透過現代發現層和創意實作獲得新生。 Finger 協議運作於 TCP 79 埠,提…

媒體已確認

世界人形機器人運動會測試展現動量管理技術

即將舉行的世界人形機器人運動會測試已展開,影片展示了一台機器人在奔跑過程中展現出令人印象深刻的動量管理技術。這項視覺演示突顯了人形機器人在競賽前的物理控制能力。 測試包含全自主任務,特別關注機器人在高速運動期間處理動量變化的能力。社群回饋指出,雖然動量控制令人印象深刻,但跟隨軌道曲線仍是一大挑戰。

研究已確認

Stripe 擬以超過 70 億美元收購 AI 閘道器新創 OpenRouter

據報 Stripe 將收購關鍵 AI 閘道器新創公司 OpenRouter,交易金額超過 70 億美元。此筆交易標誌著 AI 基礎設施領域迄今為止最大規模的併購案之一。 透過整合 OpenRouter 統一存取數百個 AI 模型的能力,Stripe 鞏固了其在 AI 生態系中的地位。這標誌著企業管理與支付 AI 推論成本方式的重大轉變,並可能影響開源 …

媒體已確認

指南:關閉 Apple 與 Amazon 裝置上令人困擾的 AI 功能

一份詳盡的指南與社群討論現已出現,說明瞭如何在 Apple CarPlay、Mac 和 Amazon Alexa 等平台上關閉或避開令人困擾的 AI 功能。使用者分享了實用的解決方法,例如在 Mac 上使用 Wairy.app 工具,以及針對 Amazon 購物介面使用特定的 Chrome 擴充功能。 這突顯了使用者對於缺乏適當備用狀態的強制 AI …

媒體已確認

GitHub 嚴重當機近三小時,引發可靠性與定價爭議

GitHub 發生嚴重當機事件,用戶收到「目前無可用伺服器」的錯誤訊息。此次中斷持續近三小時,且官方表示根本原因仍在調查中。 此次當機導致用戶無法在網頁介面中查看差異比較(diffs),部分用戶表示這是他們對平台好感度的「臨界點」。 此次事件重新引發了社群對於平台可靠性及潛在定價調整的討論。

媒體已確認

Hacker News 探討 GitHub 替代方案:自架與去中心化選項

Hacker News 上一則標題為「GitHub 的替代方案」的討論串,針對 GitHub 近幾個月來頻繁的服務中斷問題,探討開發者是否應轉向其他平台。討論中列出了多種替代路徑:若尋求類似 GitHub 的體驗,Forgejo 和 Gitea 被推薦為輕量級自架工具;若需要託管 Git 存放庫且麻煩較少,GitLab 是可用選項。此外,新興的 For…

媒體已確認

駭客新聞熱議艾克斯勒《線性代數好好學》與替代教材

駭客新聞(Hacker News)一則討論聚焦於薛頓·艾克斯勒(Sheldon Axler)的教材《線性代數好好學》(Linear Algebra Done Right)。該討論引發用戶推薦 FLAME 小組課程,以及吉爾伯特·史特蘭(Gilbert Strang)等替代資源。討論深入探討了艾克斯勒採用無行列式方法教學的意涵,對於尋求穩固數學基礎的電腦…

媒體已確認

Reticulum 網狀網路:Python 限制與 Rust 分支

基於密碼學的網狀網路協議 Reticulum 因依賴 Python,在嵌入式裝置上面臨實作挑戰,進而催生了如 Ratspeak 等活躍的 Rust 分支。這種轉變解決了資源受限的物聯網環境中,因缺乏原生 Python 支援而需要的裸機相容性問題。 這項發展突顯了語言選擇在去中心化基礎架構中的關鍵重要性,因為與 Python 相比,Rust 為低功耗裝置…

GitHub已確認

Import AI 469:DiG-bench、RSI 模擬器與祖克柏的技術悲觀主義

Jack Clark 的 Import AI 通訊評測了 DiG-bench 基準測試,該測試透過互動遊戲評估 AI 的創意直覺。DiG-bench 包含 70 個具有未公開規則的互動遊戲,由人類和前沿 AI 模型共同遊玩。本期內容也介紹了一款用於機器人的 KUKA RSI 模擬器,這是一個由社群維護的 ROS 套件,允許為 KUKA 機器人指定初始狀…

媒體已確認

Firefox for iOS 推出原生廣告攔截器

Firefox for iOS 正式推出原生廣告攔截器,直接在瀏覽器內建此功能,解決了長期以來的使用體驗缺口。相較於之前的替代方案,這項更新大幅簡化了用戶攔截廣告的流程,減少了對外部內容攔截器的依賴。新功能利用 iOS 的內容攔截器子系統運作,類似於 Firefox Focus 的做法,透過原生方式減少干擾性廣告,從而優化瀏覽體驗。這對 iOS 上的行…

媒體已確認

Henrik Karlsson:孤獨與心態孕育新點子

Henrik Karlsson 在 2023 年的文章中,探討了孤獨與特定心態如何為新點子的誕生創造心理條件。文章強調新點子具有高度脆弱性,極易受到外部認可或批評的影響。具體而言,一個冷笑、哈欠或笑話都可能導致新點子夭折,因此需要建立保護性的內在狀態來守護創意。此外,文章也提及大腦可塑性和習慣在塑造這種創意心態中的關鍵作用,特別是在年輕時期。

媒體已確認

利用莫列條紋進行船舶視覺導航引導

一篇 2018 年的文章詳細介紹了如何利用重疊光源產生的莫列條紋來引導船舶沿特定路徑行駛。該技術允許導航員透過視覺對齊燈光,確保在狹窄水道中的精確定位。 該系統依賴於兩組燈光重疊時形成的視覺干涉條紋,產生清晰的對齊指示。社群評論指出其與飛機 PAPI 燈光及聲學拍頻的相似性,驗證了底層物理原理。

社群訊號已確認

Anthropic 執行長:AI 懷疑論源於信任危機,而非技術恐懼

Anthropic 執行長 Dario Amodei 指出,公眾對 AI 的懷疑源於對機構根深柢固的信任危機,而非對技術本身的恐懼。他強調,與行銷活動相比,交付如真正治癒癌症等具體成果,更能重新贏得公眾信心。 此觀點將產業焦點從透過訊息管理公眾認知,轉向優先重視實際效用與成果交付。這表明 AI 公司必須透過結果證明其價值,才能克服公眾對科技巨頭長達數十…

官方已確認

AI 憑藉記憶力而非推理能力超越數學家

一篇文章指出,AI 系統目前主要憑藉優越的記憶力和回憶能力,而非更深層的邏輯推理,來超越數學家。這種觀點挑戰了人們對 AI 在複雜任務中成功源於類人認知理解的普遍假設。 這一區別對於理解人工智慧的真正本質及其在需要抽象創新領域的局限性具有重要意義。這表明,雖然 AI 在依賴檢索的領域中可以匹配或超越人類表現,但它可能仍缺乏人類數學發現中固有的創造力火花…

媒體已確認

加密普及與 AI 崛起,執法機構駭客時代即將落幕

最新分析指出,加密技術的普及與人工智慧驅動軟體開發的結合,正使執法機構的駭客工具面臨報酬遞減效應。這標誌著執法單位能輕易存取先進裝置資料的時代即將結束,此現象被稱為「進入黑暗」(going dark)。 此轉變對執法與情報機構影響深遠,它們可能很快難以解密大量裝置中維護良好的軟體資料。這突顯了理論上的安全上限與人工智慧程式碼所引入的日益增多的漏洞之間…

媒體已確認

司美格魯肽與預測失智症風險降低 26% 相關

一項由諾和諾德資助的研究發現,基於預測生物標記,使用司美格魯肽與五年內預測失智症風險降低 26% 相關。此發現突顯了該藥物在已知代謝益處之外的潛在神經保護作用。 這項研究將人工智慧驅動的預測模型與臨床藥理學相結合,提供了一種評估阿茲海默症風險的非侵入性方法。它強化了人們對 GLP-1 受體促效劑用於治療神經系統疾病的興趣,並可能將其應用範圍從糖尿病和肥…

媒體已確認

Firefox 成為最後支援 uBlock Origin 的主流瀏覽器

隨著 Google Chrome 全面轉向 Manifest V3,Firefox 成為最後一款仍完整支援原始 uBlock Origin 擴充功能的主流瀏覽器。這項轉變讓 Firefox 使用者能保留該廣告阻擋器在 API 限制下受限於其他瀏覽器的進階過濾功能。 這項差異突顯了瀏覽器擴充功能生態系的日益分歧,將 Firefox 定位為依賴強大廣告阻…

媒體已確認

Every Fucking Website:諷刺現代網頁設計的極簡專案

Every Fucking Website 透過刻意省略廣告、彈出視窗和緩慢載入等常見干擾,對現代網頁設計進行了幽默的諷刺。該專案利用 WebGL 和 CSS 動畫展現現代網頁技術,同時維持極簡的美學風格,突顯了使用者介面元素與效能優化對使用者體驗的心理影響。 此專案引起了開發者與使用者的共鳴,反映出大眾對當代網站雜亂與侵略性設計的疲憊。該網站載入速…

媒體已確認

澳洲家庭電池普及助降批發電價

澳洲家庭電池的迅速普及,顯著降低了批發電價,為分散式電網模式提供了具說服力的範例。此趨勢顯示分散式能源資源能有效穩定電網並降低成本,為其他轉型使用再生能源的國家提供潛在藍圖。該計劃已花費 25 億澳元補貼,安裝了 11GWh 的電池容量。同時,太陽能板價格已降至每瓦 0.2 澳元,導致白天經常出現負批發電價。

媒體已確認

sqlite-utils 4.2 強化表格轉換與檢查約束功能

sqlite-utils 發布 4.2 版本,大幅強化了 table.transform() 方法。該方法透過建立新表格、複製資料並取代舊表格的機制,支援複雜的 ALTER TABLE 操作,例如刪除欄位或更改類型。 此次更新讓 transform() 能保留更多邊緣案例的結構定義,包括檢查約束(check constraints)、唯一約束(uni…

GitHub已確認

Hugging Face 重現 2,200 篇 ICML 論文,全面評估機器學習可重現性

Hugging Face 已完成一項龐大工程,成功重現 ICML(國際機器學習會議)中的 2,200 篇論文,並對機器學習研究的可重現性進行了全面評估。這項系統性研究提供了關於已發表 AI 模型當前可靠性的顯著統計洞察,突顯了複製頂尖 AI 發現所面臨的挑戰,對科學界至關重要。 該研究利用 Hugging Face 的生態系統,包括程式庫和模型中心,…

研究已確認

Gloomberb:終端機金融數據介面引發社群討論

Gloomberb 是一款全新的終端機金融數據介面,允許使用者透過命令列存取市場數據。該專案採用 curl 安裝腳本進行部署,此方式引發了關於其是否會安裝 Node.js 或 Bun,以及如何管理本地依賴的討論。與彭博不同,Gloomberb 依賴第三方數據來源,而非獨家的機構連線。整體而言,該工具引發了社群對於其依賴管理機制以及顛覆傳統金融介面的潛力…

媒體已確認

麥當勞會員計畫生成五百一十五頁用戶檔案

《連線》雜誌報導指出,麥當勞會員計畫為單一用戶彙整了五百一十五頁的檔案,詳細記錄其消費習慣與預測支出數據。該檔案包含由 AI 處理彙整數據後得出的具體預測,例如六週內的到訪頻率(2.16 次)和平均消費金額(13.49 美元)。這項披露突顯了日常交易所累積的個人資訊規模,並展示了企業會員計畫如何從簡單的折扣工具演變為驅動營運效率的精密監控系統。雖然隱私…

媒體已確認

德意志銀行成為首家歐洲人民幣清算行

中國已授權德意志銀行擔任首家位於歐洲(法蘭克福)的外幣人民幣清算行。該資格允許該銀行為歐洲金融機構和企業提供跨境人民幣交易的端到端處理與結算服務。 此舉是人民幣國際化的重要一步,並降低了歐洲在對華貿易中對美元的依賴。它增強了金融基礎設施的連接性,並通過提供更高效的跨境結算替代方案,可能逐漸削弱美元霸權。 德意志銀行將作為中國支付系統的本地連接點,促進直…

媒體已確認

City2Graph:用於城市異質圖神經網路的 Python 函式庫

City2Graph 是一個全新的開源 Python 函式庫,透過將城市建模為異質圖神經網路,搭建了地理空間資料與 GeoAI 之間的橋樑。它能將複雜的城市現實轉換為關係圖,從而支援進階的空間分析與機器學習應用。此函式庫簡化了將圖神經網路(GNN)應用於城市系統的過程,對智慧城市發展與交通建模具有重要意義。由於它能自然地處理異質資料類型,研究人員與規劃…

媒體已確認

Anthropic 推出概念推理指數評估 AI 推理能力

Anthropic 推出了「概念推理指數」(CRI),這是一項透過匯總多種基準測試來評估 AI 推理能力的新指標。該指數已於 conceptualreasoning.ai 上線,使用者可在此查看詳細的方法論,並隨著新模型的發布持續追蹤更新。CRI 將多個基準測試匯總為單一分數,其方法論和原始數據均可在其專屬網站上找到。雖然 Anthropic 的模型在…

官方已確認

Terminal Bench 3 發布:排除訓練資料的全新 AI 基準測試

旨在防止資料污染的 Terminal Bench 3 全新基準測試已發布,並公開了 Anthropic Sonnet 5 等模型的測試結果。該基準測試排除了第三方評估框架的結果,以確保公平且一致的評估標準。透過使用訓練期間未見過的資料,此次發布提供了關於模型能力的最新見解,解決了 AI 產業日益嚴重的基準測試資料污染問題。它讓從業者能根據真實效能指標,…

GitHub已確認

Anthropic 研究員利用內部 AI 模型破解 668 階哈達瑪矩陣

Anthropic 的研究員利用其內部 AI 模型,成功找到了 668 階哈達瑪矩陣的解,解決了一個長期未決的數學問題。該解確認了 668 階存在哈達瑪矩陣,將已知的構造範圍從之前的 664 擴展至 668。 這項發現證明 AI 能夠有效地執行複雜的暴力搜尋,以解決長期未決數學猜想的特定實例。這項成就突顯了頂尖 AI 模型在處理複雜數學猜想方面日益增…

媒體已確認

Tailscale 修復 SQLite 16 年 WAL 重置錯誤

Tailscale 工程師發現並修復了 SQLite 預寫日誌(WAL)重置機制中一個存在 16 年的競態條件,該問題曾導致資料庫損壞。為隔離此問題並達成修復,他們資助開發了一個開源的 VFS shim。這項發現突顯了像 SQLite 這樣廣泛使用的開源基礎設施中,複雜且長期存在的錯誤之多樣性,同時展示了企業資助特定開源工具以加速除錯並提升生態系可靠性…

媒體已確認

Hacker News 討論:車牌辨識資料存取應需搜查令

Hacker News 上的討論聚焦於車牌辨識(LPR)資料的存取權,強調應需搜查令才能使用,挑戰了目前警方擁有開放存取權卻不受資訊公開法(FOIL)約束的中間地帶。隨著警方濫用案例增多及監控技術演進,此議題正獲得更多關注。 此議題的核心在於平衡大規模監控時代下的執法效率與公民隱私。結果將決定市鎮能否繼續囤積位置資料,或必須實施更嚴格的法院監督,進而…

媒體已確認

Chai Discovery 引領藥廠 Bio-AI 投資熱潮,夏季簽下四項合約

Chai Discovery 聯合創始人 Matthew McPartlon 與產品負責人 Neil Patil 指出,藥廠正積極採購生物人工智慧(Bio-AI)工具。他們引用今年夏季關閉的四項主要合約,作為市場發生階段性轉變的證據。 此趨勢顯示,AI 驅動的藥物發現平台正快速商業化。這標誌著 Bio-AI 已從實驗性研究,正式邁入藥廠研發流程的核心…

媒體已確認

OpenAI 首席營運長於 IPO 前夕辭職,領導層出走潮再起

OpenAI 的首席營運長在公司預期首次公開募股(IPO)前夕宣布辭職。此次離職與其他關鍵領導職位(包括倫理、安全與使命對齊主管)近期的出走潮同時發生。 此次領導層變動發生在 OpenAI 上市的关键時刻,可能標誌著公司戰略或文化的轉變。多位監督主管同時離職,顯示出外界對於經濟成長與倫理安全之間平衡的擔憂。 首席營運長的辭職被形容為「悲喜交加」,並指出…

社群訊號已確認

OpenAI Python SDK v3.0.0 將預設 HTTP 客戶端遷移至 HTTPX2

OpenAI 發布了官方 Python SDK 的 3.0.0 版本,主要變更為將預設 HTTP 客戶端從 httpx 更換為 HTTPX2。原本的 httpx 庫不再自動安裝,使用者必須將自訂配置遷移至對應的 HTTPX2 格式。 HTTPX2 與 httpx 是相同的庫,但現在由 Pydantic Services 以新的套件名稱正式維護。這兩個套…

GitHub已確認

Chrome 與 Firefox:為何微小 JPEG 渲染效果不同

分析指出,Chrome 與 Firefox 採用不同的縮放演算法與解壓縮優化技術,導致微小 JPEG 影像在 Chrome 中呈現較模糊的效果,而在 Firefox 中則較為清晰。這種差異源於 Chrome 使用 lib-jpeg-turbo,而 Firefox 使用 moz-jpeg 函式庫,兩者在低解析度縮放時的處理方式不同。 Chrome 傾向…

媒體已確認

Woxi:基於 Rust 的開源 Wolfram 語言重實作

Woxi 是一個以 Rust 編寫的開源 Wolfram 語言直譯器,具備毫秒級啟動速度及透過 WASM 嵌入的能力。它包含類似 Mathematica 的圖形介面 Woxi Studio,並支援透過命令列、Jupyter、Python、npm 和 WASM 模組進行整合。該專案透過約兩萬六千個單元測試和九百個腳本快照測試來確保相容性,目前重點在於修正…

媒體已確認

uBlock Origin 因 Facebook DOM 頻繁變動,降低過濾規則維護優先級

Facebook 的文件物件模型(DOM)結構快速變動,導致 uBlock Origin 必須降低維護該平台特定過濾規則的優先級。這項決定反映了跟上 Facebook 動態網頁結構的高維護成本,因為過濾規則通常在發布後的一週內就會過時。此轉變標誌著廣告攔截競賽中的一個更廣泛趨勢,突顯了廣告技術生態系統的重大變化。Facebook 等主流平台正在超越熱門…

媒體已確認

OlmoEarth Studio 推出自訂嵌入匯出功能

Hugging Face 宣布推出 OlmoEarth Studio 的自訂嵌入匯出功能,讓使用者能夠從衛星影像中提取特徵以進行後續分析。此更新讓研究人員無需重新建構模型,即可運用 OlmoEarth 的能力。該功能利用 OlmoEarth 預訓練的衛星影像模型來生成這些特徵,並支援針對後續任務客製化的嵌入匯出。

官方已確認

六大 AI 巨頭簽署歐盟《AI 生成內容透明度行為準則》

Anthropic、OpenAI、Google、Meta、Microsoft 和 Mistral 已簽署歐盟《人工智慧生成內容透明度行為準則》,以符合歐盟《人工智慧法案》的要求。這項自願協議要求簽署方標記或標籤化 AI 生成的內容,特別是影像和影片,以提升使用者的透明度。 該準則支持符合第 2024/1689 號歐盟條例第 50.2、50.4 和 5…

媒體已確認

AI 內容氾濫侵蝕網路集體記憶

AI 生成內容正被大量且無差別地注入搜尋結果中,導致整體品質下降,並削弱創作者生產原創網路內容的誘因。此趨勢威脅到網路作為集體記憶可靠儲存庫的角色,使搜尋結果的可靠性降低,進而影響整個數位生態系統。這種轉變突顯了 AI 效率與原創內容永續性之間的關鍵張力。此現象常被稱為「AI 垃圾」,特徵為高產量、低投入的合成媒體塞滿搜尋結果,使得使用者越來越難區分真…

媒體已確認

Chicken Scheme 6.0 發布,強化 FFI 並整合 Crunch

Chicken Scheme 6.0 已正式發布。此版本支援將複數、C 結構體和字串直接傳遞給外部程式碼,並整合了 Crunch 靜態類型子集。 在外部函式介面(FFI)方面,傳遞給外部程式碼的字串和符號不再被複製,而是直接傳遞;因此外部程式碼所做的修改會立即反映在 Scheme 端。此外,Crunch 支援 R7RS Scheme 的靜態類型子集。

媒體已確認

Klepton 讓 Apple Vision Pro 能運行 Android ARM64 VR APK

名為 Klepton 的 GitHub 專案讓使用者能在 Apple Vision Pro 上運行 Android ARM64 VR APK,且無需即時編譯(JIT)。這項功能透過無 JIT 的重新連結器,將 Android 的 .so 函式庫轉換為 macOS 和 visionOS 的原生二進位檔案來實現。Klepton 處理了特定的技術挑戰,例如在…

GitHub已確認

Kinney Drugs 因數百起投訴撤回 AI 電話助手

Kinney Drugs 在收到數百起顧客投訴後,決定撤回其 AI 電話助手。此舉突顯了語音 AI 在實際應用中面臨的技術瓶頸,特別是上下文視窗的限制以及對領域專業知識的高度依賴。社群討論指出,有限的上下文視窗(例如少於 5000 個 token)使得在長對話中修正錯誤變得困難。此外,聘請藥師擔任專案經理被認為是管理複雜領域規則的關鍵。

官方已確認

C 編譯器尾呼叫優化(TCO)遲至近期才實現

LWN 近期文章指出,C 編譯器直到最近才新增尾呼叫優化(TCO)功能,此發現挑戰了系統程式設計師長期認為 TCO 已是標準功能的假設。這突顯了 C 的呼叫慣例與 ML 或 JavaScript 等功能語言之間長期存在的差距,影響開發者在 C 中編寫遞迴程式碼的方式,因為他們不能再依賴編譯器自動防止尾遞迴函數中的堆疊溢位。延遲的原因在於 C 的呼叫慣例…

媒體已確認

Parametron:1950 年代日本不使用電晶體或真空管的電腦技術

後藤栄一於 1954 年發明的 Parametron 是一種邏輯裝置,利用鐵氧體磁芯的非線性參數振盪運作,取代了當時主流的真空管或電晶體。這項技術促成了日本第一台儲存程式電腦 PC-1 的誕生,並隨後發展出 NEC NEAC-1101 等商用機型。與真空管相比,Parametron 具有極高的穩定性且維護需求極低,同時成本遠低於早期的電晶體。現代的後裔…

媒體已確認

HackerOne 困境:工程轉向銷售與活動價值流失

分析指出,HackerOne 近期的困境主要源於公司策略從工程導向轉向銷售導向,以及實體活動價值的流失。社群討論透過觀察支付摩擦和管理優先級的變化,驗證了這一觀點。HackerOne 的核心價值在於提供通用支付系統,大幅節省企業手動向全球駭客付款的勞力成本。然而,其衰退也與後疫情時代從高影響力實體活動轉向效果較差的虛擬活動有關。

媒體已確認

哈佛研究:GLP-1 藥物助女性就業率增幅超越學位效應

哈佛大學一項研究指出,GLP-1 減重藥物與女性就業率顯著上升相關,其帶來的就業提升幅度甚至超過獲得學位的效果。這項發現顯示,這些藥物可能透過減輕社會對體重的偏見,進而改善女性在勞動市場的成果,使其不僅是醫療手段,更成為影響職業發展與經濟參與的工具。 然而,研究也發現已就業女性的職位晉升或每戶成員收入並未隨之增加。現有員工甚至可能較少換工作,這可能是…

媒體已確認

SQLite 原型利用壓縮技術儲存文字修訂歷史

Simon Willison 開發了一個原型,透過使用 zlib 或 zstd 壓縮先前版本的陣列,在 SQLite 中儲存文字修訂歷史。此方法達成了顯著的空間縮減,將 1,000 次模擬修訂的 20.4 MB 原始文字壓縮至僅 80.3 KB。 此技術為傳統的「每版本一行」儲存方式提供了高效能的替代方案,大幅減少了經常編輯文件的資料庫容量。它展示了如…

GitHub已確認

中國佔據 2026 年上半年全球人形機器人出貨量 97%

中國製造商在 2026 年上半年佔據了全球人形機器人出貨量的 97%,總計達 16,000 台。隨著智元機器人(AgiBot)和宇樹科技(Unitree)等企業的快速擴張,業界預計年底出貨量將飆升至 60,000 台。 這項市場佔有率突顯了中國在規模化製造方面相對於純 AI 能力的戰略優勢,使其有望引領下一次工業革命。快速商業化表明,具身智能即將從原型…

媒體已確認

矽谷研究揭示創業者「偽裝」與欺詐現象

一篇新研究論文提出了「偽裝」(facading)的概念,描述創業者如何將公司的外在形象與實際營運狀況脫鉤。該框架分析了創始人如何透過日益複雜的手段來彌合預期與現實的差距,涵蓋從輕微數據粉飾到極端欺詐行為。研究根據預期與現實差距的大小,將欺詐行為分為輕微、廣泛和極端三個層級。文中引用著名案例「Frank」,該公司在建立數百萬個合成用戶資料庫後被摩根大通收…

媒體已確認

勢場演算法突破:生成任意階數魔法六邊形

一篇技術文章介紹了一種利用勢場(potential fields)生成任意階數魔法六邊形的新方法,並提供互動式視覺化效果。此方法將魔法六邊形從靜態數學謎題轉化為動態系統,展示了物理啟發式演算法在純數學領域的靈活性,並提供了解決組合數學問題的新見解。 文章深入探討勢場的利普希茲連續性(Lipschitz continuity),研究加入平滑「山丘」或「…

媒體已確認

湯姆·斯坦頓的重力投石機突破音障

湯姆·斯坦頓利用重力驅動投石機,成功發射輕型彈丸並達到超音速,時速高達 776 英里。這項成就透過展示投石機發射高速彈丸的可行性,挑戰了人們認為其已過時的觀點,並證明結合現代空氣動力學設計,古老的攻城機械也能實現極端速度。 發射的彈丸僅重 4 克(約 62 格令),大約是標準 30 格令 .22LR 子彈重量的兩倍。這項成功主要依賴空氣動力學效率而非…

媒體已確認

Andrew Taylor 提出抖色 QR 碼技術,在不犧牲可掃描性下嵌入圖像

Andrew Taylor 提出了一種利用雙遍誤差擴散抖色技術,將低解析度圖像嵌入 QR 碼的方法。此技術讓視覺雜訊形成圖像,同時保留底層的數據結構,確保 QR 碼仍可被掃描。 該演算法將每個 QR 碼像素區塊細分,用產生圖像模式的抖色值替換中間的數據像素。與標準抖色相比,此技術減少了視覺雜訊,同時保持了掃描所需的魯棒性。 這種方法提供了一種傳統藝…

媒體已確認