7. Bibliograph:一款面向書籍的原型AppView Bibliograph: A Prototypical AppView for Books (discourse.atmosphere.community)
11. 可搜索的 OCI:通過範圍請求索引實現容器鏡像的延遲加載 Seekable OCI: Lazy-Loading Container Images via Range-Request Indexing (arxiv.org)
15. 通過編程方式將附件上傳到 GitHub 問題、拉取請求和評論中 Programmatically upload attachments to GitHub Issues, Pull Requests, and Comments (island94.org)
17. 無分支的Rust:通過移除一個if語句使過濾器速度提升4倍 Branchless Rust: Making a Filter 4x Faster by Removing an if (www.greyblake.com)
22. 以15年來首款全新C-Kermit產品發佈,慶祝Kermit問世45週年 Celebrating 45 Years of Kermit with the First New C-Kermit Release in 15 Years (changelog.complete.org)
28. bonsai:一個用於構建動態 Web 應用程序的庫,基於 Js_of_ocaml bonsai: A library for building dynamic webapps, using Js_of_ocaml (github.com)
35. Rust 項目目標:不可移動類型和有保證的析構函數 Rust Project Goals: Immobile types and guaranteed destructors (github.com)
46. 9front《THIS WAS SUPPOSED TO BE FUN》正式發行 9front "THIS WAS SUPPOSED TO BE FUN" Released (9front.org)
49. 歐盟關於人工智能模型的法規正式生效。這將帶來哪些變化? EU rules on AI models become enforceable. What''s going to change? (www.euronews.com)
50. CP/M-386:基於 CP/M-68K 開發的適用於 386 保護模式的 CP/M 系統 CP/M-386: CP/M for 386 protected mode, derived from CP/M-68K (github.com)
53. SwiftUI 七年之後:一段平庸的故事:它何時才能擺脫“測試版”的感覺? SwiftUI After 7 Years: A Story of Mediocrity: Will it ever stop feeling like a beta? (ykvm.com)
56. TP-Link TL-841N 的獲取 root 權限、固件分析以及硬編碼且重置後仍保留的憑據 The rooting, firmware analysis and hardcoded, reset-persistent credentials of the TP-Link TL-841N (blog.juni-mp4.com)
59. NativeScope — 用於 React Native 調試的開源本地調試環境 NativeScope — Open Source local Studio for React Native debugging (www.nativescope.dev)
61. 我現在(主要)是根據速度來挑選模型,而不是根據智能水平 I''m (mostly) picking models on speed now, not intelligence (martinalderson.com)
64. 通過手動重新輸入大語言模型(LLM)生成的代碼來預防認知債務 Prevent cognitive debt by manually retyping LLM-generated code (ankursethi.com)
72. MkLinux 和那臺經過改裝的 Apple Workgroup Server 9150 MkLinux and the pimped-out Apple Workgroup Server 9150 (oldvcr.blogspot.com)
85. 補丁進,漏洞出:deepsec 如何重現 Pwn2Own 微軟 Edge 沙箱逃逸過程 Patch In, Exploit Out: How deepsec Reconstructed the Pwn2Own Microsoft Edge Sandbox Escape (www.darknavy.org)
89. 通過源頭試驗測試電子郵件驗證協議 Test the Email Verification Protocol with an origin trial (developer.chrome.com)
91. 我們需要的不僅僅是一個比喻:以下是用於衡量“理解債務”的可驗證診斷方法 We need more than a metaphor: here are testable diagnostics for comprehension debt (www.fightforthehuman.com)
106. 《Servo》六月刊:真實環境兼容性、媒體查詢、SharedWorker 等 June in Servo: real world compat, media queries, SharedWorker, and more (servo.org)
107. 行將消亡的軟件:relayd(8) 和 httpd(8) 的持續演變 Dead Software Walking: The ongoing evolution of relayd(8) and httpd(8) (rsadowski.de)
109. 為一臺1948年IBM系統的真空管觸發器模塊供電 Energizing a vacuum-tube flip-flop module from a 1948 IBM system (www.righto.com)
115. 我們如何為 SQLite 構建了一個零磁盤、基於 S3 分層的存儲引擎 How We Built a Zero-Disk, S3-Tiered Storage Engine for SQLite (rivet.dev)
120. 從派生到部署:《Nix 生產環境實戰指南》——約翰·默裡 Derivations to Deployments: Practical Nix in Production - John Murray (www.youtube.com)
121. 使用臨時 shell 進行項目特定的 clangd 配置 Project-Specific clangd Configuration with a Temporary Shell (felix-knorr.net)
134. std.Io.Writer.Allocating 佔用了我所有的內存 std.Io.Writer.Allocating ate all my memory (www.openmymind.net)
137. 堆疊式拉取請求現已進入公開預覽階段 - GitHub 變更日誌 Stacked pull requests are now in public preview - GitHub Changelog (github.blog)
142. KindaRails2Shell - 通過 Active Storage 在 Rails 中存在的嚴重遠程代碼執行漏洞 (CVE-2026-66066) KindaRails2Shell - Critical RCE in Rails via Active Storage (CVE-2026-66066) (ethiack.com)
160. xy 是一個速度極快且高度可定製的 Python 圖表庫 xy is very fast and customizable charting library for Python (github.com)
161. 關於Anthropic最新研究成果的一些說明 Some notes about Anthropic’s new results (blog.cryptographyengineering.com)
162. Gleam 語言服務器的盛會 Gleam v.1.18.0 發佈 A field day for Gleam’s language server Gleam v.1.18.0 release (gleam.run)
166. “Hyperbole”隱式按鈕:構建你的“Hyperverse” Hyperbole Implicit Buttons: Build your Hyperverse (www.chiply.dev)
168. Copilot 會將一種惡意蠕蟲從一個 Word 文檔傳播到另一個 Word 文檔中 Copilot will propagate a malicious worm from one Word document to another (enklypesalt.com)
180. Dart 中的證明類型:將 final 類用作計算見證 Proof types in Dart: Using final classes as computational witnesses (modulovalue.com)
181. Frontier Lab 代理程序入侵事件剖析:2026年7月事件的技術時間線 Anatomy of a Frontier Lab Agent Intrusion: A Technical Timeline of the July 2026 Incident (huggingface.co)
182. 為什麼 Rocq 比 Lean 更適合程序驗證 Why Rocq is better than Lean for program verification (joomy.korkutblech.com)
184. QSYRUPWD背後的密碼:重建 IBM i 密碼哈希值 The Cipher Behind QSYRUPWD: Reconstructing IBM i Password Hashes (blog.silentsignal.eu)
188. Bastillion 5.1:單JAR SSH網關現可對每個會話進行審計和重放 Bastillion 5.1: single-JAR SSH gateway now audits and replays every session (github.com)
189. 依賴文化——理查德·費爾德曼(2026年“軟件應當正常運行”大會) Dependency Cultures - Richard Feldman (Software Should Work Conf 2026) (www.youtube.com)
193. 我設計了一塊定製PCB,只為避免按三次按鈕 I Designed A Custom PCB To Avoid Pressing A Button Three Times (blog.tymscar.com)
199. Go語言映射表:瑞士表如何取代了舊的桶式設計 Golang Maps: How Swiss Tables Replaced the Old Bucket Design (blog.gaborkoos.com)
201. 使用 Tcl/Tk 開發跨平臺命令行界面 (CLI) 和圖形用戶界面 (GUI) 工具 Develop Cross-Platform CLI and GUI Tools With Tcl/Tk (cgicoffee.com)
203. “一枚戒指統領一切”:用“硬接線”方式將收音機連接到筆記本電腦 One Ring to Rule Them All: Wiring Radios to Laptops the Hard Way (www.lysk.ai)
206. 基準測試與評估練習,第7部分:DeepSWE、Senior SWE-Bench、餐巾紙上的計算以及冬季輪胎 Exercises in benchmarking and evals, part 7: DeepSWE, Senior SWE-Bench, napkin math, and winter tires (danluu.com)
209. Framework 13 Pro 評測:電池續航大幅提升,價格卻高得離譜 Framework 13 Pro review: Much better battery, much worse price (arstechnica.com)
212. 邁向“蟲”的理論:意外現象的“蟲學” Towards a Theory of Bugs: The Ruliology of the Unexpected (writings.stephenwolfram.com)
214. 只需按一下按鈕,Pad-O-Matic 就能打印一次性密碼本 The Pad-O-Matic prints one-time pads at the press of a button (spectrum.ieee.org)
216. 建設性數據建模的“不可思議”的有效性 The Unreasonable Effectiveness of Constructive Data Modeling (www.youtube.com)
219. 利用沃爾沃/艾歇爾的車隊管理平臺,對所有用戶和車輛實施管控 Exploiting Volvo/Eicher’s fleet management platform to gain control over all users and vehicles (eaton-works.com)
223. 助力贏得第二次世界大戰的計算機:“科洛斯”破譯了德國的加密通信 The Computer That Helped Win World War II: Colossus cracked Germany’s encrypted communications (spectrum.ieee.org)
226. 從零開始用現代 C 構建一個快速的無鎖隊列 Building a Fast Lock-Free Queue in Modern C From Scratch (blog.jaysmito.dev)
239. 從第一性原理出發的功能式編程,第一部分——動機 Functional programming from first principles, part 1 – motivation (www.endoflineblog.com)
245. 約翰·巴庫斯函數式編程語言的發展歷程 History of John Backus''s FP languages (softwarepreservation.computerhistory.org)
247. 在 std::function 與 copyable_function 之間進行相互轉換 Interconverting std::function with copyable_function (quuxplusone.github.io)
257. 澤維爾·勒魯伊談編程、編程語言與形式驗證 Xavier Leroy on programming, languages and formal verification (www.youtube.com)
260. Scanwheel:一款可以自己動手組裝的鼓式機械電視 Scanwheel: a drum style mechanical television you can build yourself (github.com)
274. Android 可能很快會限制設備端的 ADB 功能,這將影響 Shizuku、libadb 以及開發者 Android May Soon Restrict On-Device ADB, Affecting Shizuku, libadb and Developers (kitsumed.github.io)
282. Chrome 為 Gemini 彈出窗口註冊了一個全局快捷鍵 Chrome registers a global shortcut for Gemini popup window (unsung.aresluna.org)
284. weblings:在 WASM 內部將 Rust 編譯為 WASM weblings: Compiling Rust to WASM from inside WASM (github.com)
285. 觀察 Go 的新垃圾回收器如何遍歷堆 Watching Go''s new garbage collector move through the heap (theconsensus.dev)