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)