2. coopiano:一款基於物理建模的 C17 鋼琴合成器 coopiano: A physically modelled piano synthesizer in C17 (github.com)
9. WIN32_LEAN_AND_MEAN 來自哪裡?(2009) Where did WIN32_LEAN_AND_MEAN come from? (2009) (devblogs.microsoft.com)
12. rust-djinn:你應該明確地編寫代碼(並證明你確實做到了) rust-djinn: You Should Specify Your Code Unambiguously (and Prove That You Did) (henniger.dev)
21. Libreboot 26.10 “Ominous Olive” 正式發佈,全面支持 UEFI Libreboot 26.10 “Ominous Olive” released with full UEFI support (libreboot.org)
23. sslx:OpenSSL 命令行界面(CLI)的一種快速、現代的替代方案 sslx: A fast, modern alternative to OpenSSL''s CLI (github.com)
30. ArenaAllocators 與 ArrayLists 無法良好兼容 ArenaAllocators don''t play nicely with ArrayLists (www.openmymind.net)
39. Anthropic 的《Scion》深受《幽靈之森·日雨》的啟發 Anthropic''s Scion is heavily inspired by Mononoke · sunshowers (sunshowers.io)
43. L0pht 組織(可能)是如何針對 LanMan 哈希值優化攻擊的 How the L0pht (probably) optimized attack against the LanMan hash (modexp.wordpress.com)
46. GitLab 警告存在最高嚴重級別的代碼執行漏洞 GitLab warns of max severity code execution vulnerability (www.bleepingcomputer.com)
50. 在 READ COMMITTED 隔離級別下構建可線性化日誌 Building a Linearizable Log on READ COMMITTED Isolation (materialize.com)
58. Pulsar 亮相 ESUG 2026(新款 Smalltalk 集成開發環境) Pulsar at ESUG 2026 (new Smalltalk IDE) (blog.lorenzano.eu)
61. AIR-LLM:通過射頻計算,利用無線電廣播AI權重,實現無內存邊緣LLM推理 AIR-LLM: Broadcasting AI Weights over Radio for Memory-Free Edge LLM Inference via RF Computing (arxiv.org)
62. Ledger證實,加密貨幣錢包盜竊案背後是植入的間諜芯片 Ledger confirms spy chip implant behind wallet crypto thefts (www.bleepingcomputer.com)
64. AI模型可能無需訪問數據中心即可實現自我複製 AI models may be capable of self-replicating without access to a datacenter (www.anthropic.com)
65. 編譯器的自舉過程所依賴的因素比你想象的要多 Compiler bootstrapping depends on more than you might think (utcc.utoronto.ca)
70. 請不要先對公鑰進行哈希處理(或者:ML-DSA 的 µ 讓我很煩) Please stop hashing the public key first (or: ML-DSA''s µ annoys me) (blog.erincandescent.net)
77. Ente Locker 是否在未註明出處的情況下抄襲了我的代碼? Did Ente Locker copy my code without attribution? (fairscan.org)
81. Easylang:一種秉承早期家用電腦BASIC語言精髓的、基於瀏覽器的簡單編程語言 Easylang: A Simple, Browser-Based Programming Language in the Spirit of the Old Home Computer BASIC (easylang.online)
82. 模型後門易於創建,卻難以徹底清除 Model backdoors are easy to create and hard to reliably remove (equistamp.substack.com)
83. DataCube:一種將 Group-By、交叉表和子合計進行泛化的關係聚合運算符(1997) DataCube: A Relational Aggregation Operator Generalizing Group-By, Cross-Tab, and Sub-Totals (1997) (arxiv.org)
91. Creusot 0.14.0 版本發佈——面向 Rust 的合約,已通過形式化證明 Creusot 0.14.0 release - Contracts for Rust, formally proved (devlog.creusot.rs)
92. 控制器凍結,食物解凍:揭示丹佛斯製冷控制器的漏洞 Freeze the Controller, Defrost the Food: Uncovering Vulnerabilities in Danfoss Refrigeration Controllers (claroty.com)
93. 生成5000多億個代幣後:讓AI代理反編譯一款第一人稱射擊遊戲 500 Billion Tokens Later: Letting AI Agents Decompile A First-Person Shooter (momo5502.com)
97. 通過……不使用不必要的安全哈希算法來加快虛幻編輯器的運行速度 Speeding up the Unreal editor by… not using unnecessarily secure hash methods (larstofus.com)
98. 將 ESP32 用作樹莓派的 Linux 無線協處理器 ESP32 As Your Raspberry Pi’s Linux Wireless Co-processor (hackaday.com)
100. 每次512字節:重建IBM i保存文件的校驗和 512 bytes at a time: reconstructing IBM i save-file checksums (blog.silentsignal.eu)
104. 以每秒數十吉字節的速度解析 JSON……使用 Python Parsing JSON at tens of gigabytes per second… in Python (lemire.me)
105. 在谷歌中發現了一個價值90,000美元的遠程代碼執行漏洞 Finding a 90,000 Remote Code Execution Vulnerability in Google (simonkoeck.com)
107. 法國連鎖超市稱網絡攻擊導致冷藏設備停機 French supermarket chains say cyberattack forced refrigerator shutdown (www.afp.com)
108. 當你不再理解代碼時,如何有效地進行調試 How to effectively debug when you no longer understand the code (copyconstruct.medium.com)
111. 林納斯·託瓦茲正利用Claude代碼對Linux內核進行一項重大改進 Linus Torvalds Working On A Hefty Linux Kernel Improvement With Claude Code (www.phoronix.com)
115. 為 ZX Spectrum 編寫 Demoscene 開場動畫 Writing a Demoscene Intro for the ZX Spectrum (www.markround.com)
118. 使用 restic 和 Backblaze B2 實現的 3-2-1 備份策略 3-2-1 Backup Strategy with restic and Backblaze B2 (chuck.is)
120. 翻新週末之二:Alpha Micro Eagle 300 及其夥伴們 Refurb weekend II: Alpha Micro Eagle 300 and friends (oldvcr.blogspot.com)
123. 《我花了6年時間用Rust開發一款遊戲,現在終於發佈了,歡迎提問》(2024)的亮點 Highlights from "I spent 6 years developing a game in Rust and it just shipped, AMA" (2024) (gamesbymason.com)
124. 將 Tello 的 GameSir T1d 手柄用作 Linux 版 Xbox 手柄 Tello''s GameSir T1d controller as a Linux Xbox controller (blog.jacq.cc)
126. 新一代借用檢查器,可直接替代 Rust 的借用檢查功能 The next-gen borrow checker, a drop-in replacement for Rust borrow checking (gist.github.com)
127. 利用 React Compiler 降低 React Context 的開銷 Making React Context Cheap with React Compiler (jjenzz.com)
133. Quaesito:一款用於與朋友舉辦問答之夜的自託管應用 Quaesito: a self-hosted app for quiz nights with friends (github.com)
138. JSON Tiles:半結構化數據的快速分析(2021) JSON Tiles: Fast Analytics on Semi-Structured Data (2021) (db.cit.tum.de)
140. 拆解 JSON 如何使 Logfire 的查詢速度提升 1000 倍 How shredding JSON is giving Logfire 1000x query speedups (pydantic.dev)
142. 在 NumPy 2.5 中將 np.searchsorted 的運行速度提升至最高 25 倍 Making np.searchsorted up to 25 Faster in NumPy 2.5 (blog.scientific-python.org)
143. 字節級語言模型:可擴展性、自發抽象與信息分配 Byte Language Models: Scaling, Emergent Abstractions, and Information Allocation (arxiv.org)
144. 一款採用開關電容技術的20世紀80年代濾波芯片的內部結構 Inside a 1980s filter chip that uses switched capacitors (www.righto.com)
148. 為什麼循環特徵實現的“外部化”證明行不通 Why ''externalized'' proofs of cyclic trait impls does not work (smallcultfollowing.com)
150. culpert——支持跨度感知和迴歸分析工具的 Rust 堆內存分析工具 culpert - rust heap profiling with span awareness and regression tooling (github.com)
151. dasSDL3:適用於 daslang 的符合 SDL3 慣例的綁定 dasSDL3: Idiomatic SDL3 bindings for daslang (spiiin.github.io)
153. “火星探路者”號優先級反轉故障:究竟發生了什麼 Mars Pathfinder Priority Inversion Bug: What Really Happened (nerdyelectronics.com)
154. “燈泡電腦”:藉助投影儀重新構想空間與環境計算 The Lightbulb Computer: Reimagining Spatial & Ambient Computing with Projectors (lightbulbcomputer.com)
158. 哦,看來在標準 C 中無法以兼容不同平臺的方式檢查字符串轉浮點數的轉換錯誤。 oh, apparently it''s not possible to portably check for string-to-float conversion errors in standard c (sebsite.pw)
159. 將 Go 語言的 defer 添加到 TypeScript 編譯器中 Adding Go''s defer to the TypeScript Compiler (healeycodes.com)
162. 面向滲透測試人員和防禦人員的《“Plug&Pwn”實用指南》 A Practical Guide to “Plug&Pwn” for Pentesters and Defenders (blog.scrt.ch)
164. Cloudflare 關閉 Deno 是一則新聞,而不僅僅是公關噱頭 Cloudflare shutting down Deno is news, not just PR (lobste.rs)
166. Lifeguard:一款用於檢查 Python 懶加載兼容性的靜態分析工具 Lifeguard: A static analyzer for Python lazy imports compatibility (github.com)
173. “機器人”是一種社會建構:為什麼你的洗碗機不是機器人 "Robot" Is A Social Construct: Why Your Dishwasher Is Not A Robot (robotgirlgang.com)
174. 關於四個定理證明器的故事,或者說:對Isabelle/HOL、Lean、HOL4和Agda的(頗具主觀色彩的)比較 A tale of four theorem provers, or: A (reasonably) opinionated comparison of Isabelle/HOL, Lean, HOL4, and Agda (blueberrywren.dev)
180. 在現代硬件上,究竟由誰負責處理硬件狀態的哪一部分,這一點可能並不明確 On modern hardware, who handles what bit of hardware state can be unclear (utcc.utoronto.ca)
185. Telegram 桌面版:通過 IPC 注入實現一鍵接管賬戶 Telegram Desktop: one-click account takeover via IPC injection (beaksec.github.io)
189. 深入探討:Windows 與 Mac 鍵盤的差異 Deeper dive: Keyboard differences between Windows and Macs (unsung.aresluna.org)
191. B-樹捲土重來:設計快速且可分頁的節點佈局 B-Trees Are Back: Engineering Fast and Pageable Node Layouts (www.cs.cit.tum.de)
198. 納維-斯托克斯方程在轉換中的失真:為何人工智能自動形式化中的精簡驗證無法保證自然語言證明的正確性 Navier-Stokes lost in translation: Why Lean verification of AI autoformalisation does not guarantee correct natural language proofs (arxiv.org)
202. 在我們的讀取密集型工作負載中,RwLock 的性能開銷 The Performance Cost of RwLock in Our Read-Heavy Workload (pranitha.dev)
207. Shopify 又回到了原生模式。我認為更大的轉變在於形式化驗證。 Shopify went back to native. I think the bigger shift is formal verification (martinalderson.com)
208. SPA 與超媒體:基於 PLANKA 評估的協作式看板 SPA vs. Hypermedia: A Collaborative Kanban Board Measured Against PLANKA (zweiundeins.gmbh)
215. 未定義的操作碼 ud0 和 ud1 怎麼會有參數呢? How can undefined opcodes ud0 and ud1 have parameters? (devblogs.microsoft.com)
217. 新通用頂級域名(gTLD)計劃:2026年輪次申請 New gTLD Program: 2026 Round applications (newgtldprogram-aps.icann.org)
222. 計算機先驅、曾領導阿波羅計劃軟件開發的瑪格麗特·漢密爾頓去世,享年90歲 Margaret Hamilton, computing pioneer who led software development for the Apollo program, dies at 90 (news.mit.edu)
224. 當海底光纜中斷時:瞭解並防範臺灣國際互聯網斷網的風險 When Submarine Cables Go Dark: Understanding and Preparing for the Risks of Taiwan''s International Internet Disconnection (resilience.ocf.tw)
231. 學習AI/ML知識的最佳書籍/課程/頻道,助你實現跨越式進步 Best Books/Courses/Channels to Leapfrog on AI/ML Material (lobste.rs)
236. 介紹 Mapsnap:歷史版桑伯恩保險地圖的自動地理配準 Introducing mapsnap: Automated Georeferencing for Historic Sanborn Insurance Maps (www.danvk.org)
238. 那次並非錯誤的數據競爭(以及那次確實是錯誤的數據競爭) The Data Race That Wasn''t a Bug (and the One That Was) (victoriametrics.com)
240. 一個基於純Rust語言、在“潔淨室”環境下實現的Adobe Photoshop開源重構版本 An open-source, clean-room reimplementation of Adobe Photoshop in pure Rust (github.com)
244. Koreader 的閱讀統計數據和標註同步功能,用於間隔重複學習 Koreader reading statistics and highlights sync for spaced repetition (blog.zm.is)
246. 解讀《上古卷軸5:天際》中“Magelight XP”的漏洞 Explaining the Magelight XP glitch in Skyrim (blog.alexbeals.com)
253. Raspberry Pi Desktop 現已支持 PC 和 Mac Raspberry Pi Desktop now available for PC and Mac (www.raspberrypi.com)
255. Burn 0.22.0:構建速度更快、擴展更便捷、自動調優更智能 Burn 0.22.0: Faster Builds, Easier Extensions, and Smarter Autotuning (tracel.ai)
256. Janet 談 x32:32 位指針、64 位速度、內存佔用減少 25% Janet on x32: 32-bit Pointers, 64-bit Speed, 25% Less RAM (alexalejandre.com)
260. 深入解析 Windows I/O 管理器:詳解讀取 I/O 請求的初始化過程 Inside the Windows I/O Manager: Deep dive into how read I/O requests are initialized (winware31.blogspot.com)
262. Pared——在不禁用SIP的情況下移除不需要的Apple Intelligence模型 Pared - remove unwanted Apple Intelligence models without disabling SIP (github.com)
263. Perseus:面向雲存儲系統的故障緩衝檢測框架(2023) Perseus: A Fail-Slow Detection Framework for Cloud Storage Systems (2023) (www.usenix.org)
270. Percona Server 和 MySQL 中的線程池(第 1 部分) Thread Pool in Percona Server and MySQL (Part 1) (www.percona.com)
278. 兩個針對 arm64 的編譯錯誤在 curl 中引發了安全漏洞 Two arm64-specific miscompiles induce vulnerabilities in curl (mastodon.social)
279. 為什麼 Common Lisp 如今是最好的編程語言 Why Common Lisp Is Now the Best Programming Language (www.vivienhenz.com)
280. hutch:面向“輕度被邊緣化”群體的 Emacs 本地代碼審查工具 hutch: local code reviews in emacs for the mildly disenfranchised (kitallis.in)
284. Cloudflare 如何解決容器中存在的跨租戶數據洩露漏洞 How Cloudflare addressed a cross-tenant data exposure vulnerability in Containers (blog.cloudflare.com)
285. 陀思妥耶夫斯基:通過自適應移除多餘的合併操作,為基於LSM樹的鍵值存儲實現更優的時空權衡 Dostoevsky: Better Space-Time Trade-Offs for LSM-Tree Based Key-Value Stores via Adaptive Removal of Superfluous Merging (nivdayan.github.io)
286. 一款用於檢查郵件服務器 SPF、DKIM、TLSA 和 TLS 設置的 Go 語言工具 Golang tool to check SPF, DKIM, TLSA, and TLS settings for mailservers (git.sig-io.nl)
300. 我和Deno的友誼已經結束,現在Node是我最好的朋友 Friendship ended with Deno, now Node is my best friend (dbushell.com)