1151

OpenAI 長期模型的安全與對齊

OpenAI 已引入新的安全框架與軌跡層級監控,以解決在能夠自主長期運行的模型中發現的安全漏洞與對齊失敗。

1152

Amiga Freeware Archive:保存 32 位元家用電腦的黃金時代

Amiga Freeware Archive 提供超過 10 GB 的經典 Amiga 軟體免費存取,內容包括來自傳奇公有領域函式庫與使用者群組的遊戲、應用程式與 Demo。

1153

fiftyone: 一個用於資料集策劃與電腦視覺模型評估的視覺化 AI 開發平台

一個透過視覺化、標註與評估來建立高品質電腦視覺資料集與模型的開源工具。

1154

obsidian-mind: 為 AI coding agents 提供持久化記憶庫,以追蹤專業情境與績效證據

一個 Obsidian vault 模板,為 AI coding agents 提供持久化記憶,讓它們能夠跨會話追蹤專案、決策與績效證據。

1155

Claude Fable 5 vs. GPT‑5.6 Sol on KIRO NP‑Hard Fiber Network Benchmark

Claude Fable 5 在一項困難的光纖網路設計問題上勝過 GPT‑5.6 Sol,且原生 `/goal` 模式在大多數單次執行中獲勝,但卻使兩個模型的平均表現變差。

1156

json_repair: 一個使用啟發式方法與架構引導來修復來自 LLMs 和 APIs 的格式錯誤 JSON 的 Python 函式庫

一個 Python 函式庫,透過修復語法錯誤並提供架構引導的恢復機制,來修復來自 LLMs 和 APIs 的格式錯誤 JSON。

1157

khazix-skills: 一套用於擴展 AI agent 能力(系統工具、研究與寫作)的標準化指令集集合

一套用於磁碟清理、AI 新聞追蹤、專案文件同步及深度研究報告等任務的標準化 AI agent skills 集合。

1158

DeepSpeed: 一個用於極大規模深度學習訓練與記憶體效率的系統優化函式庫

一個深度學習優化函式庫,透過在分散式硬體上優化記憶體與運算效率,實現了兆參數模型的訓練。

1159

IKEA 複雜度指數 – 分析 IKEA 產品的組裝難度

IKEA 複雜度指數量化了 IKEA 商品的組裝時間與零件數量,揭示了出人意料的複雜度模式,並引發了關於其方法論的討論。

1160

Gleam 現已託管於 Tangled 去中心化 Git Forge

Gleam 程式語言的原始碼儲存庫已移至 Tangled,這是一個去中心化的 Git 託管平台,凸顯了開源專案向社群驅動基礎設施的轉向。

1161

AI 與前沿科技綜述 – Kimi K3 爆發、開源代理工具與硬體民主化

Kimi K3 的快速性能提升、開源代理平台的浪潮以及新興本地硬體的推出,正重新塑造 AI 競爭格局與可及性。

1162

AI 標誌潮流:為何現代品牌偏好圓形孔洞

AI 公司的標誌正逐漸採用圓形、放射式設計,批評者認為其類似解剖學開口,這反映了企業傾向於風險迴避、同質化的設計趨勢。

1163

AI × 加密概覽:代理付款、去中心化運算、鏈上身份、零知識驗證與模型市場

最新的 AI‑加密貼文顯示,代理付款、去中心化 AI 計算、代幣化鏈上代理、零知識驗證與去中心化資料/模型市場的基礎設施正持續成長。

1164

agent-governance-toolkit:自律 AI 代理的確定性政策執行與治理層

一套針對自律 AI 代理的治理框架,提供確定性的政策執行、身分管理與稽核日誌,以防止未授權或破壞性行動。

1165

OmniRoute: 一款具備 237 個供應商自動回退功能與 Token 壓縮技術的智慧 AI 閘道器

一款將 237 個供應商整合至單一端點的 AI 閘道器,提供自動回退與 Token 壓縮功能,以防止速率限制並降低成本。

1166

mission-control:一個開源的儀表板,用於協調 AI 代理艦隊,內建安全稽核與成本追蹤

一個開源的 AI 代理編排儀表板,讓團隊能透過自行託管、以 SQLite 為基礎的介面管理代理艦隊、派遣任務與追蹤成本。

1167

Kaiser Permanente 護理師報告 AI 驅動的監控惡化了護理與工作條件

Kaiser Permanente 護理師表示,AI 監控與嚴格的通話時長指標正迫使他們在患者分診電話中削減同理心,導致工會行動並引發加州 AI 法規法案的審議。

1168

OpenCLI:將網站與瀏覽器工作階段轉換為人類與 AI 代理人可使用的確定性 CLI 介面的框架

一個將網站與瀏覽器工作階段轉換為指令列介面的工具,讓人類與 AI 代理人能利用已登入的會話自動化網路互動。

1169

Rekursiv:一台 1988 年的蘇格蘭電腦如何預見現代記憶體安全、垃圾回收、持久化與領域特定矽晶片

1988 年由 Linn Products 打造的 Rekursiv 電腦率先實作硬體記憶體安全、具垃圾回收的持久化物件與工作負載特定矽晶片——這些概念在數十年後才成為主流矽晶片技術。

1170

TencentDB-Agent-Memory:一個透過符號卸載與語義金字塔來減少 Agent Token 使用量的分層記憶系統

一種為 AI Agent 設計的分層記憶系統,透過符號短期記憶與語義金字塔進行長期記憶,以減少 Token 使用量並提高召回準確度。

1171

Open Book Touch: 一款開源、可放入口袋的電子閱讀器

Open Book Touch 是一款完全開源、具備前光功能的電子閱讀器,配備 4.26 吋觸控螢幕和 ESP32-S3 微控制器,旨在提供無干擾的閱讀體驗與硬體客製化能力。

1172

使用可縮放時間軸視覺化 400 萬個維基百科事件

Lortex 使用 Kotlin Multiplatform 與 Compose Multiplatform 開發了一個可縮放的時間軸介面,將來自 Wikipedia 與 Wikidata 的 400 萬個經由 PageRank 評分的事件進行視覺化。

1173

Recurse Center 15週年:自主式程式設計靜修營案例研究

Recurse Center 慶祝為開發者提供免費、自主式程式設計靜修營 15 年,透過利用招募代理費用來維持對參與者的免費,已影響超過 3,000 人。

1174

Qwen 3.8 Max Preview 發佈

Alibaba 的 Qwen 3.8 Max Preview 現在可透過 Qwen Cloud 上的訂閱制 token 計畫使用,這引發了社群對於其轉向閉源模型以及與 DeepSeek 相比的效能討論。

1175

imaxxing.io:《奧德賽》70mm IMAX 場次自動座位提醒工具

imaxxing.io 是一款專門的監控工具,旨在當《奧德賽》極受歡迎的 70mm IMAX 場次出現優質座位時,即時提醒使用者。

1176

LG ThinQ 使用條款分析

對 LG ThinQ 使用條款的分析顯示,其包含激進的數據收集、廣泛的內容授權,以及對 LG 具有限制性的法律保護,引發了顯著的隱私與消費者權利疑慮。

1177

德州檢察總長因違反年齡驗證規定而取得 motherless.com 的網域鎖定指令

德州檢察總長 Ken Paxton 取得法院命令,在 Kick Online Entertainment 未能遵守德州年齡驗證法後,對 motherless.com 加上註冊商鎖定。

1178

Q3Edit 將完整的 Quake III Arena 地圖編輯、編譯與遊玩帶入瀏覽器

Q3Edit 是一款 TypeScript/WebGL2 工具,讓使用者能在瀏覽器中直接開啟、編輯、使用原始 q3map 編譯,並即時遊玩 Quake III Arena 地圖,無需安裝遊戲檔案。

1179

Zilog Z80 50週年紀念:傳承與持續的影響力

Zilog Z80 CPU 迎來其 50 週年,作為一個影響了幾代程式設計師的基礎硬體,至今仍持續出現在像 TI-84 計算機等現代裝置中。

1180

Kimi K3 發布與鵜鶘 SVG 基準測試的教訓

Moonshot AI 的 Kimi K3,這款 2.8 兆參數模型,展現出強勁的效能與成本特性;而長期以來的鵜鶘騎自行車 SVG 測試則揭示了實務洞見及其在現代 LLM 評估中的局限。

1181

在類地行星 LHS 1140b 上首次偵測到大氣層

研究人員已識別出首個環繞在遙遠紅矮星宜居帶內的岩石類地行星 LHS 1140b 的大氣層。

1182

AI-Novel-Writing-Assistant: 一個用於管理長篇小說寫作全生命週期的導演式 AI 生產系統

一個用於長篇小說的 AI 原生生產引擎,使用導演式工作流,從單一靈感管理規劃、角色一致性和世界觀構建。

1183

Honeypot Live:即時 SSH 機器人互動儀表板

Honeypotlive.cc 以即時串流方式呈現 SSH 蜜罐會話,揭露機器人行為、認證探測與自動化攻擊活動。

1184

樂高組裝說明書的演變:從構想書到 3D 應用程式

樂高組裝說明書已從 1955 年的簡單草圖與手繪指南,發展為先進的 3D 數位工具與協作應用程式,反映出從開放式靈感到精確、一步步工程化的轉變。

1185

Apple 向已加入 OpenAI 的前員工發出法律通知

Apple 已向數十名加入 OpenAI 的前員工發出法律信函,預示著關於專有資訊與商業秘密的潛在衝突。

1186

ruoyi-ai

一個企業級、全棧的 AI 助手平台,支援多代理編排、RAG 與視覺化工作流程設計,適用於企業 AI 部署。

1187

Regressive JPEGs:透過漸進式 JPEG 掃描建立動畫

Maurycy 展示了如何利用 JPEG 檔案的漸進式掃描功能來建立會隨著下載過程而變動內容的圖像,有效地將影片嵌入到單一圖像檔案中。

1188

AWS Billing Glitch: Customers Receive Estimated Bills in the Billions

AWS 全球性故障導致客戶收到從數百萬到數兆美元不等、極度不準確的估算帳單,引發了廣泛的恐慌並要求進行根本原因分析 (RCA)。

1189

portaljs:一個 AI 原生框架,用於以代理式架構諮詢與 Next.js 架構快速構建資料入口網站

一個 AI 原生框架,用於建構資料入口網站,透過代理式技能推薦基礎設施並產生具可插拔資料後端的 Next.js 前端。

1190

JustHireMe

一款本地優先的 AI 求職情報工作台,用於抓取職缺、透過本地嵌入進行匹配度排序,並生成量身訂製的申請材料。

1191

Observal

一個針對可攜式 AI 編碼代理的註冊表與洞察平台,讓團隊能夠一次定義上下文,並將其部署到各種不同的 AI 編碼工具中。

1192

OpenKB

OpenKB 是一套開源 CLI 系統,利用 LLM 將原始文件編輯成結構化、相互連結的 Wiki 風格知識庫,實現持續的知識累積與基於推理的檢索。

1193

TP-Link Kasa Spot EC71 安全漏洞與韌體 2.4.1 修復方案

TP-Link 已在韌體版本 2.4.1 中修復了 Kasa Spot EC71 攝影機的嚴重漏洞,包括未經授權的 GPS 外洩與全機隊規模的 RSA 金鑰問題。

1194

Mozilla 開源 AI 現狀 V1.0 報告

Mozilla 的 2026 年報告揭示,開源權重 AI 模型在編碼和通用知識方面已幾乎達到與閉優模型對等水平,競爭前沿正轉向「代理框架」與營運工具。

1195

langgraphjs

一個低階編排框架,用於構建可控、具備狀態的 AI 代理,支援持久執行、長期記憶與人類在回路中的監督。

1196

embabel-agent

一個基於 JVM 的框架,用於編寫結合了 LLM 互動與強型別程式碼的代理流程,並使用如 GOAP 等動態規劃演算法來達成目標。

1197

optillm

OptiLLM 是一個相容於 OpenAI API 的代理層,實作 20+ 種推論時最佳化技術,以在不需任何訓練或微調的情況下提升 LLM 推理的準確度。

1198

三種無法解決問題的反應方式

除了主動解決問題之外,組織和個人往往會透過推移、維持或促進問題的產生來應對挑戰,這通常是由激勵機制錯位所驅動的。

1199

jupyter-ai

一個開源的 JupyterLab 擴充功能,將 AI agent 整合到計算 notebooks 中,使其能夠透過聊天介面與檔案、終端機指令和 notebook cells 進行互動。

1200

AI 與前沿科技綜述 – 多代理協調、Kimi 的崛起與全新開源工具

近期 X 帖子聚焦 AI 代理協調的突破、中國 Kimi K3 模型的快速上線,以及一波讓大規模代理更實用的開源工具潮。