1. 一位对AI代理编程持怀疑态度的人尝试了AI代理编程,过程极其详尽 An AI agent coding skeptic tries AI agent coding, in excessive detail (minimaxir.com)
8. 法案文本 - AB-1043 年龄验证信号:软件应用程序和在线服务 Bill Text - AB-1043 Age verification signals: software applications and online services (leginfo.legislature.ca.gov)
13. 图形用户界面的历史:WIMP设计的兴起(与衰落?) History of the Graphical User Interface: The Rise (and Fall?) of WIMP Design (www.uxtigers.com)
14. 基于形式化方法实现的《Optimal Caverna》游戏玩法 Optimal Caverna Gameplay via Formal Methods (www.stephendiehl.com)
23. Linux ID:Linux探索开发者及其代码的新认证方式 Linux ID: Linux explores new way of authenticating developers and their code (www.zdnet.com)
26. Go语言通用方法的提案已正式获得采纳 The proposal for generic methods for Go has been officially accepted (www.reddit.com)
28. 《奥布拉·丁号的归来》:1bpp第一人称游戏的球面映射抖动技术(2017) Return of the Obra Dinn: spherical mapped dithering for a 1bpp 1st-person game (2017) (forums.tigsource.com)
32. 介绍 PgBeam,一个全球分布式的 PostgreSQL 代理 Introducing PgBeam, a globally distributed PostgreSQL proxy (pgbeam.com)
34. AirSnitch:揭秘并突破Wi-Fi网络中的客户端隔离机制 AirSnitch: Demystifying and Breaking Client Isolation in Wi-Fi Networks (www.ndss-symposium.org)
42. 单元测试代码性能(第二部分):测试速度变化 Unit testing your code’s performance, part 2: Testing for speed changes (pythonspeed.com)
43. maiao:轻松实现GitHub的Gerrit风格分层差异工作流 maiao: easy, Gerrit-style, stacked diffs workflow for GitHub (github.com)
45. 基于嵌入式Linux设备的存储加密实现数据保密性 Data Confidentiality via Storage Encryption on Embedded Linux Devices (sigma-star.at)
48. Unicode中96.5%的confusables.txt文件不属于高风险类别 96.5% of confusables.txt from Unicode is not high-risk (paultendo.github.io)
49. BuildKit:Docker的隐藏瑰宝,几乎能构建任何东西 BuildKit: Docker''s hidden gem that can build almost anything (tuananh.net)
50. 谷歌API密钥本非机密。但Gemini改变了规则 Google API Keys Weren''t Secrets. But then Gemini Changed the Rules (trufflesecurity.com)
51. 致谷歌的公开信:关于安卓系统强制开发者注册的问题 An Open Letter to Google regarding Mandatory Developer Registration for Android (keepandroidopen.org)
68. 虚假工作面试正在开发者机器上安装后门程序 Fake Job Interviews Are Installing Backdoors on Developer Machines (threatroad.substack.com)
69. 我验证了LinkedIn身份。以下是我实际提交的资料 I Verified My LinkedIn Identity. Here''s What I Actually Handed Over (thelocalstack.eu)
77. LocalStack的前进之路:AWS云模拟器交付机制的即将变革(2025) The Road Ahead for LocalStack: Upcoming Changes to the Delivery of Our AWS Cloud Emulators (2025) (blog.localstack.cloud)
78. 当前大型音频语言模型主要进行转录而非倾听 Current Large Audio Language Models largely transcribe rather than listen (arxiv.org)
79. Lambda World 2019 - 基于Racket的面向语言编程 - Matthias Felleisen Lambda World 2019 - Language-Oriented Programming with Racket - Matthias Felleisen (www.youtube.com)
83. GNU find的图灵完备性:从mkdir辅助循环到独立计算 Turing Completeness of GNU find: From mkdir-assisted Loops to Standalone Computation (arxiv.org)
87. RFC 406i - 人工生成废料的拒绝(RAGS) RFC 406i - The Rejection of Artificially Generated Slop (RAGS) (406.fail)
89. 英国因Reddit未严格核查用户年龄对其处以罚款 UK fines Reddit for not checking user ages aggressively enough (arstechnica.com)
90. Charm v2:Go语言终端UI的重大版本更新——珍珠奶茶、唇彩与气泡效果 Charm v2: Major releases for Bubble Tea, Lip Gloss, and Bubbles for terminal UIs in Go (charm.land)
96. macOS 如何控制性能:英特尔与 M1 处理器上的 QoS(2022) How macOS controls performance: QoS on Intel and M1 processors (2022) (eclecticlight.co)
99. 在PostgreSQL中,带连接的行锁可能产生意外结果 Row Locks With Joins Can Produce Surprising Results in PostgreSQL (hakibenita.com)
103. 告别 innerHTML,迎接 setHTML:Firefox 148 版本加强跨站脚本攻击防护 Goodbye innerHTML, Hello setHTML: Stronger XSS Protection in Firefox 148 (hacks.mozilla.org)
109. 桌面设置:从多显示器到单屏幕,借助虚拟桌面实现 Desk Setup: From Multi-Monitor to Single Screen with Virtual Desktops (www.ssp.sh)
115. Huntarr - 您的密码和整个arr堆栈的API密钥已暴露给网络中的任何人,甚至更糟的是,暴露在互联网上 Huntarr - Your passwords and your entire arr stack''s API keys are exposed to anyone on your network, or worse, the internet (reddit.com)
119. 签名、封存、窃取:危急时刻如何修补关键漏洞 Signed, Sealed, Stolen: How We Patched Critical Vulnerabilities Under Fire (www.youtube.com)
124. 吹牛蛙——从GitHub、Jira等平台自动构建的吹牛文档 Brag Frog – The brag doc that builds itself from GitHub, Jira and Co (brag-frog.org)
135. 诅咒工程学:在CSV文件中随机跳跃而不伤及自身 Cursed engineering: jumping randomly through CSV files without hurting yourself (github.com)
142. Firebolt 中高效且符合 ACID 规范的向量搜索索引 Efficient and ACID Compliant Vector Search Indexes in Firebolt (www.firebolt.io)
144. 基于GraalVM native-image Crema构建的快速启动Clojure运行时 Fast starting Clojure runtime built with GraalVM native-image Crema (github.com)
145. 快速轻量在线加密(FLOE)的官方规范与参考代码 Official specification and reference code for Fast Lightweight Online Encryption (FLOE) (github.com)
146. jit:一个纯头文件、跨平台的C语言即时编译器库。支持x86-32、x86-64、ARM32和ARM64架构。 jit: A header-only, cross-platform JIT compiler library in C. Targets x86-32, x86-64, ARM32 and ARM64 (github.com)
148. codespelunker - 一款理解代码结构并按相关性排序结果的命令行代码搜索工具。无需索引。 codespelunker - CLI code search tool that understands code structure and ranks results by relevance. No indexing required (github.com)
149. 在大型代码库中比较C/C Unity构建与常规构建(2024) Comparing C/C unity build with regular build on a large codebase (2024) (hereket.com)
151. confusables.txt 与 NFKC 在 31 个字符上存在分歧 confusables.txt and NFKC disagree on 31 characters (paultendo.github.io)
155. 关于Mozilla Firefox在pwn2own大赛的纪录片(第一部分) Documentary about Mozilla Firefox at pwn2own (part 1) (www.youtube.com)
160. 意图 - 用于代理编排的开发者工作区 Intent - The developer workspace for agent orchestration (www.augmentcode.com)
162. 我们在约40MB的二进制文件中隐藏了后门,并让AI与Ghidra共同寻找它们 We hid backdoors in 40MB binaries and asked AI Ghidra to find them (quesma.com)
164. 速度已死:人工智能生成编译器与软件的未来 Velocity Is Dead: AI-Generated Compilers and the Future of Software (www.openhands.dev)
165. bcachefs的创建者似乎将大型语言模型拟人化,并让它参与文件系统的开发工作。 Creator of bcachefs seems to have anthropomorphized an LLM and is letting it work on the filesystem (poc.bcachefs.org)
170. 无障碍即公民权利。人工智能必须停止制造障碍。 Accessibility Is Civil Rights. AI Must Stop Shipping Barriers (conesible.de)
173. FreeBSD上的HTTP/3:在Bastille监狱中让nginx支持QUIC HTTP/3 on FreeBSD: Getting QUIC Working with nginx in a Bastille Jail (blog.hofstede.it)
175. 我们如何修复Ruby中YAML注释的保留问题(以及为何赞助该项目) How We Fixed YAML Comment Preservation in Ruby (And Why We Sponsored It) (blog.discourse.org)
178. 本地LLM在AMD Strix Point 13框架上的性能表现及其原因 How and Why Local LLMs Perform On Framework 13 AMD Strix Point (msf.github.io)
180. Hemmi/Post 1460 Versalog(计算尺模拟器) Hemmi/Post 1460 Versalog (Sliderule emulator) (thingsabove.github.io)
182. 雷霆幼猫 2.0:为您的 GPU 提供更快的内核 ThunderKittens 2.0: Even Faster Kernels for Your GPUs (hazyresearch.stanford.edu)
183. 饺子:精细粒度差分JavaScript引擎模糊测试 DUMPLING: Fine-grained Differential JavaScript Engine Fuzzing (www.ndss-symposium.org)
186. MeshTNC是一款工具,可将消费级LoRa无线电设备转换为兼容KISS TNC协议的数据包无线电调制解调器。 MeshTNC is a tool for turning consumer grade LoRa radios into KISS TNC compatible packet radio modems (github.com)
188. 解析而非验证:Rust中的类型驱动设计 Parse, don''t Validate and Type-Driven Design in Rust (www.harudagondi.space)
195. 维基百科将Archive.today列入黑名单,开始移除69.5万条存档链接 Wikipedia blacklists Archive.today, starts removing 695,000 archive links (arstechnica.com)
196. Scala的兴衰:致那个伤透我心的语言的情书 The Rise and Fall of Scala: A Love Letter to the Language That Broke My Heart (medium.com)
198. ajail:用于不完全信任程序的基本监狱环境 ajail: a basic jail for programs you don''t completely trust (github.com)
199. joinirc.at:在任何客户端链接至您的IRC服务器,以便引导新用户加入 joinirc.at: Link to your IRC server on any client to onboard new users (joinirc.at)
202. goatstack:Go Templ网络应用程序的项目脚手架工具 goatstack: project scaffolding tool for Go Templ webapps (github.com)
208. Brat,一个用于 POSIX shell 的并行 TAP 测试框架 Brat, a parallel TAP testing harness for the POSIX shell (codeberg.org)
218. Django ORM 独立版⁽¹⁾:查询现有数据库 Django ORM Standalone⁽¹⁾: Querying an existing database (www.paulox.net)
219. 我使用Claude Code和GSD构建了梦寐以求的无障碍工具 I used Claude Code and GSD to build the accessibility tool I’ve always wanted (www.blakewatson.com)
225. Claude C编译器:它揭示了软件的未来 The Claude C Compiler: What It Reveals About the Future of Software (www.modular.com)
226. 某AI代理人发表了针对我的攻击性文章——操作者现身说法 An AI Agent Published a Hit Piece on Me – The Operator Came Forward (theshamblog.com)
229. 通过iOKIT HID在苹果硅MacBook上读取未文档化的mems加速度计 reading the undocumented mems accelerometer on apple silicon macbooks via iokit hid (github.com)
234. 迈向现实世界工业级验证:基于seL4的LLM驱动定理证明 Towards Real-World Industrial-Scale Verification: LLM-Driven Theorem Proving on seL4 (arxiv.org)
235. 你构建的每个应用都是ETL管道(只是你没这么称呼它) Every app you''ve built is an ETL pipeline (you just didn''t call it that) (www.inngest.com)
240. Netbase 是 NetBSD 实用程序在 Linux 平台上的移植版本 Netbase a port of the netbsd utilities for linux (github.com)
242. ClawShell,OpenClaw凭证的进程级隔离方案 ClawShell, Process-Level Isolation for OpenClaw Credentials (github.com)
247. Clinejection——仅需触发问题分级处理程序即可破坏Cline的正式发布版本 Clinejection — Compromising Cline''s Production Releases just by Prompting an Issue Triager (adnanthekhan.com)
252. pg-here:通过一条命令在项目文件夹中运行本地PostgreSQL实例 pg-here: Run a local PostgreSQL instance in your project folder with one command (github.com)
255. 宽松,而后严格:Haskell中的具体解决方案与示例(2020) Permissive, then restrictive: concrete solutions and examples in Haskell (2020) (www.williamyaoh.com)
260. OpenAI、美国政府与Persona如何联手打造身份监控机器,向联邦机构提交你的报告 how openai, the US government, and persona built an identity surveillance machine that files reports on you to the feds (vmfunc.re)
262. 全球排名前20,凭借社会工程学手段及至今未被识破的作弊手段 Top 20 worldwide with social-engineering and a cheat that''s still undetected (ud2.rip)
268. 两周内完成13万行形式拓扑:人人都能实现的简单廉价自动形式化? 130k Lines of Formal Topology in Two Weeks: Simple and Cheap Autoformalization for Everyone? (arxiv.org)
274. DNS-PERSIST-01:基于DNS的挑战验证新模型 DNS-PERSIST-01: A New Model for DNS-based Challenge Validation (letsencrypt.org)
276. Dank Linux - 面向Wayland和Niri的桌面环境 Dank Linux - Desktop Environment for Wayland and Niri (danklinux.com)
278. 在Windows ARM模拟环境下,AVX2的运行速度慢于SSE2-4.x。 AVX2 is slower than SSE2-4.x under Windows ARM emulation (blogs.remobjects.com)
280. 守门人制度的必要性,或:为何中世纪行会早有定论 The case for gatekeeping, or: why medieval guilds had it figured out (www.joanwestenberg.com)
282. 模型上下文外壳:适用于MCP的Unix风格管道。确定性工具调用 model-context-shell: Unix-style pipelines for MCP. Deterministic tool calls (github.com)
284. BarraCUDA:开源CUDA编译器,专为AMD GPU设计(未来还将支持更多平台!) BarraCUDA: Open-source CUDA compiler targeting AMD GPUs (and more in the future!) (github.com)
289. Matrix的Rust库Vodozemac中的加密问题 Cryptographic Issues in Matrix’s Rust Library Vodozemac (soatok.blog)
291. 勒布朗·詹姆斯当选总统——通过"对齐"上下文注入利用大型语言模型 LeBron James Is President – Exploiting LLMs via "Alignment" Context Injection (github.com)
292. 我们正在成为大型语言模型的建筑师还是管家? Are We Becoming Architects or Butlers to LLMs? (muratbuffalo.blogspot.com)
295. 燕麦,超轻量级UI库,语义化,极简,零依赖 Oat, Ultra-lightweight UI library, Semantic, minimal, zero dependencies (oat.ink)