2. codespelunker - 一款理解代碼結構並按相關性排序結果的命令行代碼搜索工具。無需索引。 codespelunker - CLI code search tool that understands code structure and ranks results by relevance. No indexing required (github.com)
3. 在大型代碼庫中比較C/C Unity構建與常規構建(2024) Comparing C/C unity build with regular build on a large codebase (2024) (hereket.com)
5. confusables.txt 與 NFKC 在 31 個字符上存在分歧 confusables.txt and NFKC disagree on 31 characters (paultendo.github.io)
9. 關於Mozilla Firefox在pwn2own大賽的紀錄片(第一部分) Documentary about Mozilla Firefox at pwn2own (part 1) (www.youtube.com)
14. 意圖 - 用於代理編排的開發者工作區 Intent - The developer workspace for agent orchestration (www.augmentcode.com)
16. 我們在約40MB的二進制文件中隱藏了後門,並讓AI與Ghidra共同尋找它們 We hid backdoors in 40MB binaries and asked AI Ghidra to find them (quesma.com)
18. 速度已死:人工智能生成編譯器與軟件的未來 Velocity Is Dead: AI-Generated Compilers and the Future of Software (www.openhands.dev)
19. bcachefs的創建者似乎將大型語言模型擬人化,並讓它參與文件系統的開發工作。 Creator of bcachefs seems to have anthropomorphized an LLM and is letting it work on the filesystem (poc.bcachefs.org)
24. 無障礙即公民權利。人工智能必須停止製造障礙。 Accessibility Is Civil Rights. AI Must Stop Shipping Barriers (conesible.de)
27. FreeBSD上的HTTP/3:在Bastille監獄中讓nginx支持QUIC HTTP/3 on FreeBSD: Getting QUIC Working with nginx in a Bastille Jail (blog.hofstede.it)
29. 我們如何修復Ruby中YAML註釋的保留問題(以及為何贊助該項目) How We Fixed YAML Comment Preservation in Ruby (And Why We Sponsored It) (blog.discourse.org)
32. 本地LLM在AMD Strix Point 13框架上的性能表現及其原因 How and Why Local LLMs Perform On Framework 13 AMD Strix Point (msf.github.io)
34. Hemmi/Post 1460 Versalog(計算尺模擬器) Hemmi/Post 1460 Versalog (Sliderule emulator) (thingsabove.github.io)
36. 雷霆幼貓 2.0:為您的 GPU 提供更快的內核 ThunderKittens 2.0: Even Faster Kernels for Your GPUs (hazyresearch.stanford.edu)
37. 餃子:精細粒度差分JavaScript引擎模糊測試 DUMPLING: Fine-grained Differential JavaScript Engine Fuzzing (www.ndss-symposium.org)
40. MeshTNC是一款工具,可將消費級LoRa無線電設備轉換為兼容KISS TNC協議的數據包無線電調制解調器。 MeshTNC is a tool for turning consumer grade LoRa radios into KISS TNC compatible packet radio modems (github.com)
42. 解析而非驗證:Rust中的類型驅動設計 Parse, don''t Validate and Type-Driven Design in Rust (www.harudagondi.space)
49. 維基百科將Archive.today列入黑名單,開始移除69.5萬條存檔鏈接 Wikipedia blacklists Archive.today, starts removing 695,000 archive links (arstechnica.com)
50. Scala的興衰:致那個傷透我心的語言的情書 The Rise and Fall of Scala: A Love Letter to the Language That Broke My Heart (medium.com)
53. joinirc.at:在任何客戶端鏈接至您的IRC服務器,以便引導新用戶加入 joinirc.at: Link to your IRC server on any client to onboard new users (joinirc.at)
56. goatstack:Go Templ網絡應用程序的項目腳手架工具 goatstack: project scaffolding tool for Go Templ webapps (github.com)
62. Brat,一個用於 POSIX shell 的並行 TAP 測試框架 Brat, a parallel TAP testing harness for the POSIX shell (codeberg.org)
72. Django ORM 獨立版⁽¹⁾:查詢現有數據庫 Django ORM Standalone⁽¹⁾: Querying an existing database (www.paulox.net)
73. 我使用Claude Code和GSD構建了夢寐以求的無障礙工具 I used Claude Code and GSD to build the accessibility tool I’ve always wanted (www.blakewatson.com)
79. Claude C編譯器:它揭示了軟件的未來 The Claude C Compiler: What It Reveals About the Future of Software (www.modular.com)
80. 某AI代理人發表了針對我的攻擊性文章——操作者現身說法 An AI Agent Published a Hit Piece on Me – The Operator Came Forward (theshamblog.com)
83. 通過iOKIT HID在蘋果硅MacBook上讀取未文檔化的mems加速度計 reading the undocumented mems accelerometer on apple silicon macbooks via iokit hid (github.com)
88. 邁向現實世界工業級驗證:基於seL4的LLM驅動定理證明 Towards Real-World Industrial-Scale Verification: LLM-Driven Theorem Proving on seL4 (arxiv.org)
89. 你構建的每個應用都是ETL管道(只是你沒這麼稱呼它) Every app you''ve built is an ETL pipeline (you just didn''t call it that) (www.inngest.com)
94. Netbase 是 NetBSD 實用程序在 Linux 平臺上的移植版本 Netbase a port of the netbsd utilities for linux (github.com)
96. ClawShell,OpenClaw憑證的進程級隔離方案 ClawShell, Process-Level Isolation for OpenClaw Credentials (github.com)
101. Clinejection——僅需觸發問題分級處理程序即可破壞Cline的正式發佈版本 Clinejection — Compromising Cline''s Production Releases just by Prompting an Issue Triager (adnanthekhan.com)
106. pg-here:通過一條命令在項目文件夾中運行本地PostgreSQL實例 pg-here: Run a local PostgreSQL instance in your project folder with one command (github.com)
109. 寬鬆,而後嚴格:Haskell中的具體解決方案與示例(2020) Permissive, then restrictive: concrete solutions and examples in Haskell (2020) (www.williamyaoh.com)
114. OpenAI、美國政府與Persona如何聯手打造身份監控機器,向聯邦機構提交你的報告 how openai, the US government, and persona built an identity surveillance machine that files reports on you to the feds (vmfunc.re)
116. 全球排名前20,憑藉社會工程學手段及至今未被識破的作弊手段 Top 20 worldwide with social-engineering and a cheat that''s still undetected (ud2.rip)
122. 兩週內完成13萬行形式拓撲:人人都能實現的簡單廉價自動形式化? 130k Lines of Formal Topology in Two Weeks: Simple and Cheap Autoformalization for Everyone? (arxiv.org)
128. DNS-PERSIST-01:基於DNS的挑戰驗證新模型 DNS-PERSIST-01: A New Model for DNS-based Challenge Validation (letsencrypt.org)
130. Dank Linux - 面向Wayland和Niri的桌面環境 Dank Linux - Desktop Environment for Wayland and Niri (danklinux.com)
132. 在Windows ARM模擬環境下,AVX2的運行速度慢於SSE2-4.x。 AVX2 is slower than SSE2-4.x under Windows ARM emulation (blogs.remobjects.com)
134. 守門人制度的必要性,或:為何中世紀行會早有定論 The case for gatekeeping, or: why medieval guilds had it figured out (www.joanwestenberg.com)
136. 模型上下文外殼:適用於MCP的Unix風格管道。確定性工具調用 model-context-shell: Unix-style pipelines for MCP. Deterministic tool calls (github.com)
138. BarraCUDA:開源CUDA編譯器,專為AMD GPU設計(未來還將支持更多平臺!) BarraCUDA: Open-source CUDA compiler targeting AMD GPUs (and more in the future!) (github.com)
143. Matrix的Rust庫Vodozemac中的加密問題 Cryptographic Issues in Matrix’s Rust Library Vodozemac (soatok.blog)
145. 勒布朗·詹姆斯當選總統——通過"對齊"上下文注入利用大型語言模型 LeBron James Is President – Exploiting LLMs via "Alignment" Context Injection (github.com)
146. 我們正在成為大型語言模型的建築師還是管家? Are We Becoming Architects or Butlers to LLMs? (muratbuffalo.blogspot.com)
149. 燕麥,超輕量級UI庫,語義化,極簡,零依賴 Oat, Ultra-lightweight UI library, Semantic, minimal, zero dependencies (oat.ink)
155. 零知識加密:三款雲端密碼管理器的安全性比較分析 Zero Knowledge (About) Encryption: A Comparative Security Analysis of Three Cloud-based Password Managers (eprint.iacr.org)
162. Xælong博士,或:我如何學會不再擔憂並愛上人工智能 Doctor Xælong, or: How I learnt to stop worrying and love AI (tweag.io)
165. 有時給聚合訂閱閱讀器提供良好的錯誤信息反而是一種錯誤 Sometimes giving syndication feed readers good errors is a mistake (utcc.utoronto.ca)
166. AI代理在主要開源項目中提交PR,通過冷聯繫鎖定維護者 AI Agent Lands PRs in Major OSS Projects, Targets Maintainers via Cold Outreach (socket.dev)
174. Servo項目及其對網絡平臺生態系統的影響 The Servo project and its impact on the web platform ecosystem (servo.org)
175. 名為冬天的AI:神經符號計算還是幻覺?——Dustycloud頭腦風暴 An AI Called Winter: Neurosymbolic Computation or Illusion? -- Dustycloud Brainstorms (dustycloud.org)
177. 2026年不會成為"Linux桌面元年",對此我深感欣慰。 2026 will not be the ‘Year of Linux on the Desktop’, and I’m glad (kevinboone.me)
194. 《OpenClaw安全指南:沒人想寫(但人人都需要)》 The OpenClaw Security Guide No One Wants to Write (But Everyone Needs) (medium.com)
196. 我每月20美元就出賣了自己,換來的不過是這套完美生成的Terraform I Sold Out for 20 a Month and All I Got Was This Perfectly Generated Terraform (matduggan.com)
197. 請考慮將情緒編碼的悲傷帖或炒作帖標記為發洩帖 Please consider tagging a vibecoding griefpost or hypepost as a rant (lobste.rs)
198. 硬件TOTP驗證器,採用八層安全架構(ESP32) Hardware TOTP authenticator with 8-layer security architecture (ESP32) (github.com)
199. 消息格式:可本地化消息字符串的Unicode標準 MessageFormat: Unicode standard for localizable message strings (github.com)
201. 柯拉茲猜想與斐波那契數列之間的關係 A relationship between the Collatz conjecture and the Fibonacci numbers (vincentrolfs.dev)
210. 繼續推進TBDFS開發;為Plan9設計的類數據庫文件系統 More work on TBDFS; database-like file system for Plan9 (www.youtube.com)
214. 編者按:撤回包含捏造引語的文章 Editor’s Note: Retraction of article containing fabricated quotations (arstechnica.com)
226. Mesa的KosmicKrisp Vulkan-On-Metal實現了MoltenVK功能對等 Mesa''s KosmicKrisp Vulkan-On-Metal Achieves MoltenVK Feature Parity (www.phoronix.com)
236. Zig 實現了 io_uring 和 Grand Central Dispatch 的 std.Io 標準實現 Zig landed io_uring and Grand Central Dispatch std.Io implementations (ziglang.org)
243. 直面編程面試:Lean 4 vs Dafny 終極對決 Leaning Into the Coding Interview: Lean 4 vs Dafny cage-match (ntaylor.ca)
247. 短短5周的腦力訓練或可預防痴呆長達20年 Just 5 weeks of brain training may protect against dementia for 20 years (www.sciencedaily.com)
249. 用於配置拉取請求訪問權限的新倉庫設置 - GitHub 變更日誌 New repository settings for configuring pull request access - GitHub Changelog (github.blog)
257. 一款用於清理開發緩存的離線跨平臺桌面應用 An offline crossplatform desktop app for cleaning dev caches (reclaimr.dev)
260. 有人工智能代理人發表了一篇針對我的攻擊性文章——事情遠不止於此 An AI Agent Published a Hit Piece on Me – More Things Have Happened (theshamblog.com)
263. 人工智能厭惡者的超大型語言模型編程指南(概述篇) The AI hater''s guide to code with LLMs (The Overview) (aredridel.dinhe.net)
269. 功能數據結構與算法:基於證明助手的方法 Functional Data Structures and Algorithms. A Proof Assistant Approach (fdsa-book.net)
277. 軟件工程的未來——軟件開發未來研討會 The future of software engineering - The future of software development retreat (www.thoughtworks.com)
279. 十二要素應用——十五年後。2026年它依然適用嗎? The 12-Factor App - 15 Years later. Does it Still Hold Up in 2026? (lukasniessen.medium.com)
286. 若您使用人工智能生成的代碼,目前在美國無法主張其著作權。 If you use AI-generated code, you currently cannot claim copyright on it in the US (zomglol.wtf)
290. 我僅用一個下午就提升了15個大型語言模型的編程能力。唯一改變的是訓練框架。 I Improved 15 LLMs at Coding in One Afternoon. Only the Harness Changed (blog.can.ac)
292. 使用AddressSanitizer和PostgreSQL的棧緩衝區溢出練習 A stack-buffer-overflow exercise with AddressSanitizer and PostgreSQL (www.enterprisedb.com)
297. 如何在對象存儲中通過單個JSON文件構建分佈式隊列 How to build a distributed queue in a single JSON file on object storage (turbopuffer.com)
299. 在JVM上使用Java、Scala和Kotlin進行腳本編寫 Scripting on the JVM with Java, Scala, and Kotlin (mill-build.org)