1751

編譯器與語言設計入門教科書

聖母大學的 Douglas Thain 教授提供了一本免費的線上教科書及配套資源,用於構建針對 X86 或 ARM 組合語言的類 C 編譯器。

1752

加拿大 AI 策略與 Palantir 秘密合約引發的爭議

加拿大國會議員 Al Vigier 正在挑戰政府的 AI 策略,他主張 Palantir 軟體的整合應該是透明的,而不應透過秘密帳單做法來隱藏。

1753

GPT-5.5 Codex: 推理令牌集群與性能退化

GPT-5.5 Codex 正經歷與推理令牌集群(reasoning-token clustering)在固定間隔(例如 516 個令牌)處發生相關的性能退化,這表明服務端吞吐量優化可能導致了複雜推理過程的「短路」。

1754

meetily:它是什麼、解決了什麼問題以及為何受到關注

Meetily 是一款以隱私為先、開源的 AI 會議助理,提供本地轉錄與 AI 驅動的摘要功能,確保敏感會議資料永不離開使用者裝置。

1755

歐洲的新氣候:2026 年破紀錄熱浪分析

歐洲的暖化速度比其他任何大洲都快,2026 年 6 月非凡的熱浪事件粉碎了英國和歐洲大陸的長期氣溫紀錄。

1756

Texas A&M 研究人員透過鼻腔 EV 療法逆轉大腦老化

Texas A&M 大學的研究人員開發了一種使用細胞外囊泡 (EVs) 的鼻噴劑,可以減少大腦發炎並恢復老化大腦的記憶力。

1757

agency-agents-zh:它是什麼、解決了什麼問題以及為何受到關注

一個包含 266 種具備明確身份與工作流程的專業 AI 角色庫,支援 18 種 AI 程式開發工具,將大型語言模型轉變為專業的代理團隊。

1758

MakerChecker: AI Agent 的開源安全閘道與靜態掃描器

MakerChecker 為 AI agent 提供了一個安全層,其特點是靜態風險掃描、基於角色的存取控制 (RBAC) 以及經加密簽署的稽核日誌,以防止 agent 自行批准自己的工作。

1759

airllm

AirLLM 是一款推理優化工具,可讓龐大的 LLMs(高達 405B 參數)在僅需 4GB 到 8GB VRAM 的低階 GPU 上運行。

1760

YouTube Ask Studio 提示注入漏洞

一位安全研究人員發現 YouTube Studio 的 AI 助手 Ask Studio 存在提示注入漏洞,該漏洞可透過欺騙創作者點擊攻擊者控制的連結,竊取私人影片標題。

1761

PRX 數據策略:透過 VLM 重新標註與 Mosaic Streaming 擴展預訓練規模

Photoroom 詳細介紹了 PRX 的數據流水線,強調使用長篇 VLM 生成的標註、Lance 與 Mosaic Data Shards 的混合儲存策略,以及用於優化 7B 參數模型的高品質 JPEG 編碼。

1762

西雅圖面臨空置率飆升帶來的多年「殭屍」辦公大樓

西雅圖市中心辦公室空置率飆升,使許多高層建築物變成長期「殭屍」大樓,並迫使城市必須重新思考其商業房地產策略。

1763

電腦明星:電影中硬體的完整檔案庫

電腦明星是一個詳細的資料庫,記錄了跨越數十年出現在電影與電視節目中的特定電腦硬體型號。

1764

Anthropic Claude 模型發出帶有額外欄位的無效工具呼叫

較新的 Anthropic Claude 模型(Opus 4.8 與 Sonnet 5)越來越頻繁產生帶有虛構鍵的錯誤 edit‑tool 呼叫,這些鍵被加入到嵌套的 edits[] 陣列中,顯示出對 Claude Code 寬容工具結構的訓練產物偏見。

1765

Command & Conquer Generals: Zero Hour 原生移植至 macOS、iOS 與 iPadOS

一個原生 ARM64 的 Command & Conquer Generals: Zero Hour 移植已在 Apple 平台上發布,採用複雜的渲染管線並結合 AI 輔助的工程開發。

1766

半球海葵水母 (Clytia hemisphaerica) 的快速上皮傷口癒合

針對水母物種 *Clytia hemisphaerica* 的研究揭示了一種由片狀偽足與肌動蛋白纜線依序作用所驅動的無疤痕傷口癒合機制,為理解保守的生物修復過程提供了見解。

1767

shadcn/ui 2026 年 7 月更新:Base UI 預設化與全新聊天組件

shadcn/ui 已將 Base UI 作為其預設組件庫,並推出了專門的聊天介面組件集,並允許 GitHub 儲存庫作為註冊表使用。

1768

Meta Data Center 在 Cheyenne 因污染而暫停排水

Cheyenne 市已在承包商 Goat Systems LLC 使用罕見細菌污染了城市的再生水系統後,暫停了 Meta 資料中心園區的排水。

1769

Anna's Archive Google Books Bounty

Anna's Archive 提供 200,000 美元的獎金,以獲取 Google Books 或類似規模的大型數位圖書館的完整書籍掃描集。

1770

衛星星座對地面天文學的影響

低地球軌道 (LEO) 衛星和太空鏡面的激增威脅著地面天文學,因為它們增加了光污染並遮擋了已被城市光污染削弱的夜空。

1771

lmdeploy: 一個用於壓縮與服務 LLMs 和 VLMs 的高吞吐量工具包,具備雙推理引擎

一個用於壓縮、部署與服務 LLMs 和 VLMs 的工具包,提供高吞吐量推理與高效量化,以降低延遲與成本。

1772

splats4D: 一種可串流的 4D Gaussian Splatting 格式

splats4D 格式提供了一種可串流的 4D Gaussian splatting 壓縮方法,其大小比原始數據小 16-58 倍、比 gzip 小 14-20 倍,具有確定性誤差界限與 HTTP Range-native 串流功能。

1773

Zig 套件管理與建置系統重構

Zig 已將所有套件管理功能從編譯器搬移至建置系統,從而加速建置、提升安全性,並為工具整合提供更彈性的架構。

1774

CO2 濃度如何影響認知表現與決策能力

封閉空間內的高濃度二氧化碳 (CO2) 會顯著損害策略性思考與決策品質,且通常在室內人員察覺到損害之前就已發生。

1775

WorkShadow:一款具備 AI 驅動語義搜尋與自動報告生成功能的本地優先工作日誌伴侶

一款本地優先的桌面工作日誌應用程式,透過 AI 進行語義搜尋、自動報告生成以及針對個人工作歷史的問答,同時將數據保留在使用者機器上。

1776

理解 htop 與 Linux 程序監控

一份完整的指南,說明如何解讀 htop 指標,涵蓋負載平均值、程序狀態與記憶體使用情況,並以 Linux 核心行為與 /proc 檔案系統為基礎。

1777

AI & Frontier Tech X速遞 – 機器人供應鏈、代理工具、模型競爭與硬體趨勢

近期的 X 帖子突顯了機器人供應鏈的聚焦、AI 代理工具的快速成長、基礎模型間的激烈競爭,以及硬體成本動態的變化。

1778

PCBJam: KiCad 瀏覽器版

PCBJam 是一款處於早期存取 Alpha 階段的工具,允許使用者直接在網頁瀏覽器中編輯 KiCad 檔案,而無需將數據上傳到伺服器。

1779

代理式編碼與向自動化測試的轉變

對代理式編碼工作流程的分析,以及自動化、屬性測試取代傳統人工程式碼審查與單元測試的潛力。

1780

綜合 vs 分析:為什麼全球性問題更難解決

綜合本質上比分析更難,因為它需要管理全局狀態與互動,而非僅僅是局部組件,這一原則也反映在積分與微分之間的數學差異中。

1781

Hugging Face Kernels 重大更新

Hugging Face 宣布其 Kernels 專案有重大更新,引入新的 kernel 儲存庫類型、受信任的發布者和程式碼簽署、改版的 CLI、更廣泛的框架支援,以及代理式 kernel 開發的基礎。

1782

vLLM × HPC-Ops:來自騰訊混元的高性能 Attention 與 MoE 後端

vLLM 現在已納入針對 NVIDIA Hopper H20 優化的 HPC-Ops Attention 與 MoE 後端,在 Hy3 上可提供高達 2.95× 的 Attention 加速與 1.59× 的 MoE 加速,並減少約 24% 的 TTFT 與 17% 的 TPOT。

1783

詹姆斯·韋伯太空望遠鏡觀測挑戰早期宇宙模型

詹姆斯·韋伯太空望遠鏡(JWST)的觀測揭示了早期宇宙中出乎意料的巨型黑洞與亮星系,迫使天體物理學家必須提出全新理論來說明宇宙曙光時期的形成與演化。

1784

Starlink 在非洲與偏遠地區的普及與連通性

Starlink 透過繞過傳統有線基礎設施,正在擴大非洲與偏遠地區的網路存取,儘管它面臨著成本、天氣干擾與當地監管障礙的挑戰。

1785

Claude Code 會話洩漏報告與分析

一份關於 Claude Code 中潛在會話或快取洩漏的報告引發了關於基礎設施層級數據交換與 LLM 幻覺之間可能性的辯論,Anthropic 團隊表示他們認為該問題是幻覺。

1786

Leanstral 1.5: 證明豐饒,全民共享

Mistral AI 已發布 Leanstral 1.5,這是一款專門從事形式化驗證與數學的 Apache-2.0 授權模型,在 FATE-H/X 基準測試中取得了尖端結果,並在 miniF2F 上達到了飽和。

1787

Odin 程式語言與 Wikipedia 可靠性爭議

Odin 程式語言的 Wikipedia 頁面被刪除一事,引發了關於傳統知名度準則是否已過時,以至於不適用於現代軟體開發,以及該事件周圍的公共論述是否由真實的關注所驅動,還是由「參與度農耕」所驅動的辯論。

1788

巨型雙翅樹的水力韌性

新發表於《Science》的研究揭示,全球最高的熱帶雙翅樹具備能完全彌補將水分運送至最頂端枝條挑戰的水力適應,挑戰了先前關於高度相關乾旱脆弱性的理論。

1789

Verizon Gizmo 手錶應用程式遷移問題

Verizon 正在以 Verizon Family 應用程式取代 Gizmohub,然而僅手錶帳號的使用者無法完成遷移,面臨失去裝置管理與通訊功能的風險。

1790

理解 FreeBSD 記憶體報告與 ZFS ARC 快取

深入探討為何 FreeBSD 記憶體使用報告在 btop、fastfetch 等工具間會有所差異,重點說明 ZFS 自適應取代快取(ARC)的角色以及報告工具中的整數溢位錯誤。

1791

MiniCPM5-1B: 邁向 respect 1B 認知核心的一步

MiniCPM5-1B 是 OpenBMB 推出的 1B 密集模型,專為裝置端 Agentic 使用場景設計,與較大的推理模型相比,具有強大的工具使用能力和極高的 token 效率。

1792

CVE 嚴重性激增與 Claude Mythos 預覽版發布相關

近期觀察到嚴重的公共漏洞與暴露(CVE)激增,恰逢 Claude Mythos 預覽版的發布。

1793

Costco vs. Amazon: 簡約化的經濟與物流優勢

Costco 的商業模式透過刻意限制產品品項,並避開 Amazon 定義的高營運成本「最後一哩路」配送的複雜度,從而獲得成功。

1794

為何記憶會議文字稿不會提升 AI 程式編寫代理人的效能

研究與實務經驗顯示,為 AI 代理人建立會議文字稿索引對軟體工程任務沒有任何效能提升,且常因意圖漂移而降低模型品質。

1795

自主學習的心理學與實踐"}]

自主學習是對個人成長的長期投資,需要管理初期「可怕之山」階段的挫折感,並將刻意練習優先於內容吸收。

1796

3dgrut: 一個支援光線追蹤反射與扭曲相機效果的混合式 Gaussian Splatting 框架

一個結合了 3D Gaussian Ray Tracing 與 Unscented Transform 的混合式渲染框架,旨在於 Gaussian Splatting 中支援複雜的光學效果與扭曲相機。

1797

mcpsnoop: 用於偵錯 MCP 流量的透明代理與 TUI

`mcpsnoop` 是一個透明代理與終端機使用者介面 (TUI),讓開發者能夠監控 AI 客戶端與 Model Context Protocol (MCP) 伺服器之間的即時 JSON-RPC 流量。

1798

AI 增強認知與學術粉筆講座

一篇諷刺性敘述失敗的學術面試,凸顯了傳統智力評估方式與 AI 整合科學研究之現實之間日益加劇的緊張關係。

1799

Steam Controller Auto-Charge: 透過觸覺回饋實現自主導航

Steam Controller Auto-Charge 是一個開源網頁應用程式,利用電腦視覺與 WebHID,讓 Steam Controller 自主導航至其磁吸式充電底座。

1800

在本地運行 SOTA LLM:硬體與配置指南

建立本地 LLM 基礎設施的全面指南,範圍從預算友好的 48GB VRAM 配置到使用 RTX 6000 Pros 與 PCIe switches 的高階 384GB VRAM 系統。