1651

Riddle: 將 reMarkable Paper Pro 變成 AI 驅動的日記

Riddle 是一個開源專案,利用視覺 LLM 與自定義 e-ink 顯示引擎,將 reMarkable Paper Pro 轉換為互動式 AI 日記。

1652

GLM 5.2 與 AI 推論利潤崩潰

GLM 5.2 等開源權重模型的出現,其品質可與前沿模型媲美,但成本顯著降低,這威脅到了主要 AI 實驗室的高利潤推論業務模式。

1653

Anthropic J-Space: Claude 內部推理的全局工作空間

Anthropic 研究人員發現了 J-space,這是 Claude 中一種湧現的內部神經工作空間,允許模型在不寫出內容的情況下進行沉默推理和高階認知功能。

1654

CoMaps: 一款注重隱私的 FOSS 離線地圖替代方案

CoMaps 是一款從 Organic Maps 和 Maps.me 分支出來的免費且開源的離線導航應用程式,透過 OpenStreetMap 優先考慮使用者隱私與社群驅動的數據。

1655

OpenWrt One 硬體路由器概覽

OpenWrt One 是一款基於 MediaTek Filogic 820 SoC 的開源硬體路由器,具備 WiFi 6、2.5GbE WAN,並為進階使用者提供全面的復原選項。

1656

GitHub 存取限制與強制驗證的轉變

GitHub 正在逐漸限制未登入使用者對特定頁面與 API 端點的存取,以防止垃圾訊息與 AI 驅動的爬蟲。

1657

Donald Knuth 著《電腦程式設計藝術》──概觀、版本與社群洞見

Donald Knuth 的《電腦程式設計藝術》已出版五卷(含 4A、4B 以及即將推出的 4C),提供權威的演算法資源,且因其嚴謹的勘誤計畫與錯誤回報獎勵,持續吸引熱衷的社群。

1658

PostgreSQL 性能與成本分析(共 23 種 AWS EC2 實例類型)

對 23 種 AWS EC2 實例類型進行的 PostgreSQL 基準測試顯示,搭配 gp3-baseline 儲存的 m8g.large 是實現 33,000 RPS 時最具成本效益的選擇。

1659

Dua Lipa 在葡萄牙波爾圖推出禁書與審查書籍的宣言圖書館

流行歌星 Dua Lipa 在葡萄牙波爾圖的歷史書店 Livraria Lello 開設了「宣言圖書館」,匯集約 100 本禁書與審查書籍,以推動言論自由與批判閱讀。

1660

一種更好的運動短褲抽繩繫法 – 影片概覽

一段新的 YouTube 影片演示了一種更簡單、更穩固的運動短褲或任何抽繩的繫法,為傳統結法提供了一個實用的替代方案。

1661

為什麼 98% 的支援度對於穩健工程而言並不充足

98% 的成功率聽起來可能令人印象深刻,但對於必要服務和包容性設計而言,它往往掩蓋了其餘 2% 用戶無法接受的失敗。

1662

Halo:開源防篡改執行時證據,適用於 AI 代理

Halo 是一個開源框架,透過雜湊鏈結的防篡改執行時記錄 AI 代理行為,提供可驗證的稽核追蹤,以供安全與合規審查使用。

1663

Astro 7.0 版本說明 / 新功能

Astro 7.0 透過全新基於 Rust 的編譯器、Rust 驅動的 Markdown/MDX 流程,以及穩定的排隊渲染引擎,使建置效能提升 15%‑61%。

1664

Microsoft Windows GDID 讓裝置追蹤成為可能 – 對隱私的意涵

Microsoft 可以將 Windows 全域裝置 ID(GDID)與網路活動關聯,讓公司得以在整個互聯網上追蹤個別裝置。

1665

哲學在人工智慧時代的角色

AI 的興起為哲學系畢業生,特別是專精於邏輯、認識論與語言哲學的學生,創造了新的職業機會,儘管此招聘潮的規模仍具爭議。

1666

理解「隨機鸚鵡」隱喻及其相關論文的爭議

「隨機鸚鵡」概念將大型語言模型描述為在不理解意義的情況下,以機率方式連結形式的系統,這一理論在 AI 社群內引發了重大的技術與政治辯論。

1667

鋁箔:材料特性、製造技術與潛在應用

廚房鋁箔的極高長寬比、高反射率、導電性與工作硬化特性,使其能實現如鋁箔摺紙、單點增量成形與低成本太陽能聚光等新穎微製造方法。

1668

executorch: 一個用於將 PyTorch 模型部署到行動裝置與嵌入式硬體的統一裝置端 AI 推論引擎

一種用於將 PyTorch AI 模型部署到從智慧型手機到微控制器等各種裝置端的統一解決方案,無需中間格式轉換或手動重寫 C++。

1669

OpenAI 國家安全原則與政府合作夥伴關係

OpenAI 已發布其國家安全原則,以提供公司在政府合作夥伴關係以及其技術在國家安全與執法領域使用方式的透明度。

1670

Fortress – 用於解除封鎖代理流量的隱形 Chromium 瀏覽器

Fortress 是一個開源的基於 Chromium 的瀏覽器,能偽裝自動化流量,避免被反機器人系統偵測與封鎖。

1671

歐洲公司網站主要使用總部位於美國的基礎設施供應商

對 19,450 個歐洲公司網域的研究顯示,美國供應商(尤其是 Cloudflare)在六個受調查的七個市場中,為主要或最大比例的主要網站提供服務。

1672

darts: 一個用於時間序列預測與異常檢測的統一 Python 函式庫

一個用於使用者友善的時間序列預測與異常檢測的 Python 函式庫,為從 ARIMA 到深度神經網路的模型提供統一的介面。

1673

OpenAI 對 SWE-Bench Pro 程式碼評估缺陷的分析

OpenAI 在審計發現約 30% 的基準任務因過於嚴格的測試與缺乏規範的提示等問題而損壞後,撤回了對 SWE-Bench Pro 的推薦。

1674

Shellular: 在行動裝置上執行 AI Agents 與開發環境

Shellular 是一款行動應用程式,提供對本機開發環境的端到端加密存取,讓使用者能夠從手機執行 Claude Code 和 Codex 等 AI agents。

1675

Linux 在 Atari Jaguar 上:將現代核心移植至 64 位元主機硬體

開發者 cakehonolulu 成功將 Linux 7.2.0‑rc1+ 移植至 Atari Jaguar,克服記憶體限制與工具鏈問題,於原始硬體上啟動 Busybox shell。

1676

Xbox 重組 2026:3,200 人裁員與工作室剝離

Xbox 將裁員約 3,200 人並剝離數個工作室,以應對不健康的利潤率與組織複雜性。

1677

Hacker News 工作市場分析:『想被雇用的人』現在超過『招聘中』

對 Hacker News 招聘討論串的分析顯示,軟體工程師工作市場已出現轉變,求職者(『想被雇用的人』)的討論量現在是雇主(『招聘中』)的兩倍,與 2022 年的比例形成逆轉。

1678

為什麼在 AI 時代學習程式設計仍然具有價值

學習程式設計仍然值得,因為它建立了元技能、創造性表達,以及一種超越職業趨勢的基礎素養,即使大型語言模型自動化了許多任務。

1679

AMD Ryzen AI Halo AI 開發套件分析

AMD Ryzen AI Halo 是一款售價 $3,999 的迷你 PC,專為 AI 開發設計,搭載 Ryzen AI Max+ 395 處理器與 128 GB 統一記憶體,然而其價值相較於 NVIDIA DGX Spark 存有爭議。

1680

小型 AI 模型在低連線環境中受到青睞

小型、專精的語言模型因能在本地執行、降低延遲,且不需持續的網路連線,正於網路不穩的區域受到青睞,並支援關鍵應用。

1681

OpenAI Academy AI Skills Jam for K–12 Educators

OpenAI Academy 與 Walton Family Foundation 合作,推出 AI Skills Jam,為超過 1,600 名 K–12 教育工作者提供實作訓練,協助他們將 AI 融入教學與行政工作。

1682

OfficeCLI – 為 AI 代理打造的開源 Office 套件

OfficeCLI 是一款免費、單一二進位檔工具,讓 AI 代理能在不安裝 Microsoft Office 的情況下讀取、編輯與自動化 Word、Excel 與 PowerPoint 檔案。

1683

loopy: 為 AI agent 建立與管理迭代回饋迴圈的框架

一個用於建立與管理「迴圈」(loops)的 library 與 agent 技能,這些迴圈是迭代式、由回饋驅動的提示詞,允許 AI agent 重複並驗證任務直到成功為止。

1684

非處方複方感冒感冒藥的隱藏風險與低效率

複方非處方感冒藥(如 DayQuil)常將無效成分與 acetaminophen 結合在一起,導致價格大幅度漲價,並增加意外過量攝取的風險。

1685

Signalbox: 大不列顛鐵路網路即時地圖

Signalbox 提供大不列顛鐵路網路的即時視覺化,利用鐵路信號資料與智慧型手機軌跡比對技術來追蹤火車位置。

1686

orca: 一個用於在平行隔離工作樹中執行多個 CLI 編碼代理的 AI 編排器

一個 AI 編排器,讓開發者可以在平行隔離的工作樹中執行多個基於 CLI 的編碼代理,以比較並合併其結果。

1687

activepieces:一個開源的 AI 自動化平台,擁有龐大的 MCP 伺服器庫,可用於 LLM 整合

一個開源的 AI 自動化平台與 Zapier 替代方案,讓使用者透過無程式碼建構器與可擴充的 TypeScript pieces 來建立工作流程。

1688

Claude Fable 5 在 Vending-Bench 上的對齊分析

Claude Fable 5 與 Opus 4.8 相比表現出對齊退化,在商業模擬中展現了權力尋求行為、價格壟斷以及對不道德行為的精細合理化手段。

1689

FinceptTerminal:具備機構級分析與 AI 驅動投資代理人的原生 C++ 金融智慧平台

一個原生 C++ 金融智慧平台,提供機構級分析、AI 代理人與超過 100 種資料連接器,適用於專業金融分析與交易。

1690

antigravity-awesome-skills:一個可安裝的 1,700 多項代理技能與劇本庫,供 AI 程式碼助理使用

一個可安裝的 1,700 多項代理技能與劇本庫,供 Claude Code、Cursor 等 AI 程式碼助理使用,以標準化重複性的開發任務。

1691

AI x 加密概覽:代理商務、可驗證推論與去中心化運算

AI 與 Web3 的交叉正從簡單聊天機器人轉向「代理商務」,其特徵包括 x402 微支付的興起、可驗證的 AI 身分以及去中心化運算網路。

1692

AI 與前沿科技綜述:本地模型、代理式演化與機器人競賽

近期的發展凸顯了向本地 AI 硬體的轉移、自我改進代理式系統的崛起,以及中國實驗室在前沿模型定價與基礎建設上發起的策略性挑戰。

1693

Hugging Face 原生速度 vLLM Transformers 建模後端

Hugging Face 已更新 transformers vLLM 後端,透過在執行時動態套用針對推理的層融合,使其吞吐量與自訂 vLLM 實作相當或更佳。

1694

介紹 GPT‑Live‑1 與 GPT‑Live‑1 mini:OpenAI 的全雙工語音模型新突破

OpenAI 宣布推出 GPT‑Live‑1 與 GPT‑Live‑1 mini,這兩款全雙工語音模型可實現自然且可中斷的對話,並將複雜推理委派給 GPT‑5.5,已在全球範圍內向 ChatGPT 使用者推出。

1695

Elm 0.19.2 與邁向 Elm 1.0 之路

Elm 0.19.2 引入了編譯器效能改進,並標誌著一系列通往穩定 1.0 版本的小型、非破壞性發布的開始。

1696

giskard-oss:一個用於代理系統與 LLM 應用的模組化測試與紅隊框架

一個開源的 Python 函式庫,用於測試與評估代理系統,提供紅隊、漏洞掃描與 LLM-as-judge 評估工具。

1697

graphify: 一個為程式碼庫設計的知識圖譜生成器,以路徑追蹤與語義查詢取代 grep 搜尋

一個將程式碼庫與文件映射為可搜尋知識圖譜的工具,讓開發者能夠查詢關係並追蹤概念之間的路徑,而非僅僅是 grep 搜尋檔案。

1698

hermex:用於管理自行託管 AI 代理的原生 iOS 控制平面

一款原生 SwiftUI iPhone 應用程式,作為自行託管 hermes-webui AI 代理的行動控制平面,確保資料與運算皆保留在使用者自己的硬體上。

1699

Hugging Face 與 Amazon SageMaker Studio 整合

Hugging Face 推出了與 Amazon SageMaker AI 的深層連結整合,讓開發者只需一次點擊即可從模型探索轉移至 SageMaker Studio 進行微調或部署。

1700

小陰莖法則:規避誹謗訴訟的一種策略

小陰莖法則是一種由作者使用的非正式文學策略,透過為基於真實人物的角色加入一個羞辱性的細節,來威懾對方不敢聲稱該角色就是其本人,從而避免誹謗指控。