2. WatchWitch:蘋果手錶的互操作性、隱私保護與自主性 WatchWitch: Interoperability, Privacy, and Autonomy for the Apple Watch (arxiv.org)
8. Wasm 的艱難之路:將 Chicory 編譯器移植到 Android Wasm the Hard Way: Porting the Chicory Compiler to Android (blog.evacchi.dev)
16. 告別借用檢查器:C3 通過作用域解決了內存生命週期問題 Forget Borrow Checkers: C3 Solved Memory Lifetimes With Scopes (c3-lang.org)
19. 別急:人工智能編程工具實際上可能降低生產力 Not So Fast: AI Coding Tools Can Actually Reduce Productivity (secondthoughts.ai)
20. sipgate 在聯發科 VoLTE 堆棧固件中發現空指針解引用問題 sipgate discovers null-pointer-dereference in Mediatek VoLTE stack firmware (www.sipgate.de)
29. 一個(幾乎)災難性的OpenZFS漏洞及其背後的開發者(Rust也參與其中) An (almost) catastrophic OpenZFS bug and the humans that made it (and Rust is here too) (despairlabs.com)
30. 評估2025年初人工智能對資深開源開發者生產力的影響 Measuring the Impact of Early-2025 AI on Experienced Open-Source Developer Productivity (metr.org)
37. 擴散精英:令人驚訝地優秀,簡單且令人尷尬地並行。 Diffusion Elites: surprisingly good, simple and embarrassingly parallel (blog.christianperone.com)
47. 使用可擴展變體和CGP在Rust中構建模塊化解釋器和訪問器 Building Modular Interpreters and Visitors in Rust with Extensible Variants and CGP (contextgeneric.dev)
48. 揭開支撐我們數字基礎設施的開源英雄面紗 Unveiling the Open Source heroes that power our digital infrastructure (maintaine.rs)
50. 功能函數 - 功能函數的全面提案:概述塊、嵌套函數和Lambda表達式在C語言中的應用 Functional Functions - A Comprehensive Proposal Overviewing Blocks, Nested Functions, and Lambdas for C (thephd.dev)
51. 創建超小型ELF可執行文件的快速入門指南(適用於Linux) A Whirlwind Tutorial on Creating Really Teensy ELF Executables for Linux (www.muppetlabs.com)
54. 使用 fs_usage 命令查看進程正在使用的文件 Using fs_usage to see what files a process is using (til.simonwillison.net)
55. 用大約1000行C代碼編寫一個非常簡單的即時編譯器(JIT Compiler) Writing a very simple JIT Compiler in about 1000 lines of C (kuterdinel.com)
59. 一個用於所有主要SIMD引擎的C語言內置函數在線可搜索參考工具。 An online searchable reference tool for C intrinsics of all major SIMD engines (simd.info)
71. Reachy Mini - Hugging Face 推出的開源機器人 Reachy Mini - The Open-Source Robot by Hugging Face (huggingface.co)
72. 俄勒岡編程語言暑期學校(OPLSS)2025:類型、邏輯與形式化方法 Oregon Programming Languages Summer School (OPLSS) 2025: Types, Logic, and Formal Methods (www.cs.uoregon.edu)
78. Supabase MCP 可以洩露整個 SQL 數據庫 Supabase MCP can leak your entire SQL database (www.generalanalysis.com)
79. 首選設置 – Mac 設置歷史,1984–2004 Frame of preference – A history of Mac settings, 1984–2004 (aresluna.org)
85. systemd 已經取得了完全、徹底、毫無保留的成功。 systemd has been a complete, utter, unmitigated success (blog.tjll.net)
88. CVE-2025-48384:通過換行符破壞 Git 並實現克隆遠程代碼執行(RCE) CVE-2025-48384: Breaking git with a carriage return and cloning RCE (dgl.cx)
90. 掌握 Postgres 複製槽:防止 WAL 膨脹及其他生產環境問題 Mastering Postgres Replication Slots: Preventing WAL Bloat and Other Production Issues (www.morling.dev)
92. 讓不安全的Rust代碼更安全:使用GWP-ASan在生產環境中發現內存錯誤 Making Unsafe Rust a Little Safer: Find Memory Errors in Production with GWP-ASan (blog.colinbreck.com)
94. 哪個 Kubernetes 最小?深入探討 Talos Linux、K3s、K0s 及更多方案 Which Kubernetes is the Smallest? Examining Talos Linux, K3s, K0s, and More (www.siderolabs.com)
95. BitChat 是一款基於藍牙低功耗(BLE)網格網絡運行的去中心化點對點即時通訊應用程序。 bitchat is a decentralized, peer-to-peer messaging application that operates over Bluetooth Low Energy (BLE) mesh networks (github.com)
96. 使用 Chrome 擴展程序自定義 Chrome 中的鍵盤快捷鍵 Customize your keyboard shortcuts in Chrome with a Chrome extension (taupiqueur.github.io)
97. Rust中的確定性仿真測試:狀態機劇場 Deterministic Simulation Testing in Rust: A Theater Of State Machines (www.polarsignals.com)
103. “壞蘋果!!” 但這是3288種精簡策略在VSCode中瘋狂刷屏。 “Bad Apple!!” But It’s 3288 Lean Tactics Spamming VSCode (unnamed.website)
111. 使用 CGP 在 Rust 中編寫可擴展數據類型 - 第 1 部分:模塊化應用程序構建和可擴展構建器 Programming Extensible Data Types in Rust with CGP - Part 1: Modular App Construction and Extensible Builders (contextgeneric.dev)
117. 應用密碼學:在創作共用協議下發布的全面、新穎的課程材料 Applied Cryptography: comprehensive, novel course materials released under Creative Commons (appliedcryptography.page)
118. 冰山,正確的理念--錯誤的規範--第 1 部分之 2:歷史 Iceberg, The Right Idea - The Wrong Spec - Part 1 of 2: History (database-doctor.com)
119. 添加一項功能,因為 ChatGPT 錯誤地認為它已經存在 Adding a feature because ChatGPT incorrectly thinks it exists (www.holovaty.com)
122. 停止將 nix 設置放入已簽入的 .envrc 文件中 Stop putting nix setup in your checked-in .envrc files (offby1.website)
126. 自動將 Haskell 庫打包為 Swift 二進制 XCFramework Automatically Packaging a Haskell Library as a Swift Binary XCFramework (alt-romes.github.io)
129. 提示編碼實驗:沒有代碼編輯,只有完全重寫 Prompt Coding Experiment: No code edits, only complete rewrites (www.gibney.org)
135. 非洲網絡信息中心:希望、劫持和非洲多利益攸關方主義的慘痛教訓 AfriNIC: Hope, Hijack, and the Harsh Lessons of African Multistakeholderism (medium.com)
136. 包含過濾器的 Apple Intelligence 的解密生成模型安全文件 Decrypted Generative Model safety files for Apple Intelligence containing filters (github.com)
140. 馬佐的味道:隨機文本的語言 A Taste of Matzo: A Language for Random Text (journal.infinitenegativeutility.com)
142. Plasma 6.4 Wayland 與 X11、處理器和功耗基準測試 Plasma 6.4 Wayland vs X11, processor and power benchmarks (www.dedoimedo.com)
143. Russ Cox 在 Acme 中使用 Go 解決了 AoC 2021 第 24 天的問題 [編譯器分析] Russ Cox solves AoC 2021 Day 24 using Go in Acme [Compiler Analysis] (www.youtube.com)
149. Coalton:用 Common Lisp 開發安全、靈活、高效的軟件 Coalton: Toward safe, flexible, and efficient software in Common Lisp (www.youtube.com)
151. rustc_codegen_cranelift 進展報告(2025 年 6 月) Progress report on rustc_codegen_cranelift (June 2025) (bjorn3.github.io)
158. 我使用 ChatGPT 在一天內創建了 Gadzetto.com I built Gadzetto.com in a single day using ChatGPT (gadzetto.com)
159. #[target_feature] 屬性中的不健全和意外特徵 Unsoundness and accidental features in the #[target_feature] attribute (predr.ag)
162. 開放式 WebUI 將其許可證更改為帶有 CLA 的開放式 WebUI 許可證 Open WebUI changed its license to Open WebUI License with a CLA (github.com)
176. 新研究顯示:使用人工智能會讓大腦變得懶惰,即使在停止使用之後也是如此 Using AI Makes Your Brain Lazy, Even After You Stop Using It, New Study Shows (www.youtube.com)
177. CPython JIT 編譯器兩年來的反思:好、壞、醜 Reflections on 2 years of CPython’s JIT Compiler: The good, the bad, the ugly (fidget-spinner.github.io)
180. 最近的 "我們自己的存檔 "中斷是由於整數耗盡造成的 Recent Archive of Our Own outage was caused by integer exhaustion (otwarchive.atlassian.net)
181. 您使用哪些智能工具/工作流程來管理開發環境? What clever tools/workflows do you use to manage development environments? (lobste.rs)
183. 人工智能的大腦大劫案--大學如何反擊 AI’s great brain robbery — and how universities can fight back (www.thetimes.com)
185. actix-passport:用於 actix-web 的全面、靈活的身份驗證框架 actix-passport: A comprehensive, flexible authentication framework for actix-web (github.com)
189. 虹膜:用於檢測代碼漏洞的神經符號框架 iris: A neurosymbolic framework for vulnerability detection in code (github.com)
191. 時之笛》保存文件中使用的緊湊型比特集實現 A compact bitset implementation used in Ocarina of Time save files (github.com)
193. mawkdown,一個用 awk 實現的輕量級、面向行的文本標記工具 mawkdown, a lightweight, line-oriented(ish) text markup tool implemented in awk (codeberg.org)
199. 十億個細胞,另一個使用 Clojure 的多人演示 One Billion Cells, Another Multiplayer Demo with Clojure (cells.andersmurphy.com)
204. 從 itch.io 竊取的遊戲充斥 Steam Steam has been flooded with games stolen from itch.io (www.gamepressure.com)
206. 我在矢量數據庫公司工作兩年學到的關於信息檢索的 37 件事 37 Things I Learned About Information Retrieval in Two Years at a Vector Database Company (www.leoniemonigatti.com)
210. 鏽跡斑斑的臨時工的可怕而驚人的兔子洞 The scary and surprisingly deep rabbit hole of Rust''s temporaries (taping-memory.dev)
212. 數據庫中的無政府狀態:數據庫管理系統可擴展性調查與評估 Anarchy in the Database: A Survey and Evaluation of Database Management System Extensibility (www.vldb.org)
213. Vend 項目克勞德能經營一家小店嗎? Project Vend: Can Claude run a small shop? (And why does that matter?) (www.anthropic.com)
220. 馴服代理工程--提示是代碼,.json/.md 文件是狀態 Taming agentic engineering - Prompts are code, .json/.md files are state (mariozechner.at)
225. 利用 SQL 注入技術奪取 6 萬多個間諜軟件用戶賬戶 Taking over 60k spyware user accounts with SQL injection (ericdaigle.ca)
231. goHardDrive 洩露了數千名客戶的個人數據 goHardDrive Leaked Personal Data for Thousands of Customers (mtlynch.io)
234. 如何管理 Go 網絡應用程序中的配置設置 How to manage configuration settings in Go web applications (www.alexedwards.net)
236. 介紹 Turso 的第一個 alpha 版本:SQLite 的下一個發展版本 Introducing the first alpha of Turso: The next evolution of SQLite (turso.tech)
237. 我仍在使用 Vim。我還使用 AI。感覺還是我 I Still Use Vim. I Also Use AI. It Still Feels Like Me (www.godaddy.com)
239. Amiga 3000 UNIX 和 Sun Microsystems:成交還是不成交? The Amiga 3000 UNIX and Sun Microsystems: Deal or no deal? (www.datagubbe.se)
243. 利用 IKKO Activebuds "人工智能驅動 "耳塞,運行 DOOM,竊取其 OpenAI API 密鑰和客戶數據 Exploiting the IKKO Activebuds "AI powered" earbuds, running DOOM, stealing their OpenAI API key and customer data (blog.mgdproductions.com)
244. 更快失敗:基於屬性的高性能測試的分階段和快速隨機性 Fail Faster: Staging and Fast Randomness for High-Performance Property-Based Testing (www.youtube.com)
245. 樹狀結構併發 II:用行動者取代後臺任務 Tree-Structured Concurrency II: Replacing Background Tasks With Actors (blog.yoshuawuyts.com)
247. 將 Python (Django) 部署到 Kubernetes:帶有完整 DevOps 管道的實用指南 Deploying Python (Django) to Kubernetes: A practical guide with a complete DevOps Pipeline (denibertovic.com)
249. sslcheck:命令行工具,用於檢查和監控多個域的 SSL 證書過期情況 sslcheck: Command-line tool to check and monitor SSL certificate expiration across multiple domains (github.com)
251. 不平等聯盟調查結果:完善電子圖表的第一步 Inequality Union Finds: Baby Steps to Refinement E-graphs (www.philipzucker.com)
253. 我發佈了完全由克勞德代碼構建的 macOS 應用程序 I Shipped a macOS App Built Entirely by Claude Code (www.indragie.com)
254. 我如何掃描 GitHub 的所有 "Oops Commits",發現價值 2.5 萬美元的漏洞賞金洩露秘密 How I Scanned all of GitHub’s “Oops Commits” for Leaked Secrets worth 25k in Bug Bounties (trufflesecurity.com)
255. 用 TLA 快速原型驗證 MongoDB 的安全無日誌重配置協議 Rapid Prototyping a Safe, Logless Reconfiguration Protocol for MongoDB with TLA (www.mongodb.com)
256. 凱勒曲率張量中正向影響的反例 Counterexamples of positivity implications in Kähler curvature tensors (www.magnusson.io)
257. Nix 和 NixOS 三週年:好、壞、醜 Three Years of Nix and NixOS: The Good, the Bad, and the Ugly (pierrezemb.fr)
258. Uncloud - 用於部署和管理容器化應用程序的工具 Uncloud - tool for deploying and managing containerised applications (github.com)
265. 金庫的社區分叉 OpenBao 發佈了包含命名空間的 v2.3.1 版 OpenBao, the community fork of Vault, released v2.3.1 with namespaces (github.com)
276. 表情符號廚房 - 瀏覽 Google 獨特的表情符號組合 Emoji Kitchen - Browse Google''s unique emoji combinations (emojikitchen.dev)
279. FUZZING''25 主題演講:"你確定自己屬於學術界嗎? FUZZING''25 Keynote: "Are you sure you belong in academia?" (www.youtube.com)
281. 具有可搜索壓縮算法和分佈式壓縮功能的雲本地 LSM 鍵值存儲 Cloud native LSM Key-Value Store with searchable compression algo and distributed compaction (github.com)
282. 輸入分支使用導入的 git 分支對 flake 輸入進行修補的工作流程和 flake-part input-branches: Workflow and flake-part for flake input patching using imported git branches (github.com)
283. 引入按抓取付費:使內容所有者能夠向人工智能抓取程序收取訪問費用 Introducing pay per crawl: enabling content owners to charge AI crawlers for access (blog.cloudflare.com)
284. 十年間從 Python 程序員到分佈式系統研究員,無需博士學位 From Python Programmer to Distributed Systems Researcher in 10 Years Without a PhD (emptysqua.re)
286. 單一 Rust 特性的替代性一攬子實施方案 Alternative Blanket Implementations for a Single Rust Trait (www.greyblake.com)
291. 利用 Nomad 在 Jetson Orin Nano 上協調邊緣人工智能工作負載 Orchestrating Edge AI workloads on a Jetson Orin Nano with Nomad (atodorov.me)
294. llvm:InstCombine:改進對無溢出的上限除法的優化--Alex Gaynor 和 Claude Code 的 PR llvm: InstCombine: improve optimizations for ceiling division with no overflow—a PR by Alex Gaynor and Claude Code (simonwillison.net)
296. HMPL-DOM:不使用 JavaScript 編寫反應式 HTML 的 HTMX 替代方案 HMPL-DOM: The HTMX Alternative for Writing Reactive HTML Without JavaScript (github.com)
297. CVE-2025-32463 漏洞諮詢:Sudo chroot 權限提升 CVE-2025-32463 Vulnerability Advisory: Sudo chroot Elevation of Privilege (www.stratascale.com)
299. VibeTunnel - 從瀏覽器訪問終端,指揮代理 VibeTunnel - access terminal from the browser to command agents (github.com)