1. 你不能利用 GNU (A)GPL 来剥夺软件自由 You cannot use the GNU (A)GPL to take software freedom away (www.fsf.org)
3. AI辅助会降低坚持度,并损害独立表现 AI Assistance Reduces Persistence and Hurts Independent Performance (arxiv.org)
4. Xata:一款支持写时复制分支和零扩展的开源 Postgres 平台 Xata: Open source Postgres platform with copy-on-write branching and scale-to-zero (github.com)
6. 并非所有初等函数都能用指数减对数的形式表示 Not all elementary functions can be expressed with exp-minus-log (www.stylewarning.com)
8. Swift 6.2 并发类型系统的形式化类型规则及演示材料,重点介绍 Capability 和 Region Formal typing rules and presentation materials for Swift 6.2''s concurrency type system, focusing on Capability and Region (github.com)
10. 直接调用 Win32 API、奇形怪状的窗口,以及它们为何大多消失了 Direct Win32 API, Weird-Shaped Windows, and Why They Mostly Disappeared (warped3.substack.com)
13. 我的 PR 已经搁置了一年,或者说,这就是开源项目积压背后的指数曲线 My PR has been waiting a year, or the exponential curve behind open source backlogs (armanckeser.com)
15. 我远离 ORM 的 14 年历程——一系列洞见最终催生了“SQL 优先”代码生成器 My 14-Year Journey Away from ORMs - a Series of Insights Leading to Creation of a SQL-First Code Generator (nikita-volkov.github.io)
16. 在正式发布前,通过命令行界面(CLI)在本地主机上测试 OpenGraph Testing OpenGraph on localhost from the CLI before you go public (simonhartcher.com)
24. 从《Simply Typed》到马丁·洛夫《类型论》的单模块λ演算 Single Module Lambda Calculus from Simply Typed to Martin Lof Type Theory (github.com)
25. TruffleRuby 34:完全兼容 Ruby 3.4,解析速度提升高达 23%,并搭载基于 Prism 的新版 Ripper,速度提升 20 倍 TruffleRuby 34: full Ruby 3.4 compatibility, up to 23% faster parsing, and a new Prism-based Ripper with 20x speedups (truffleruby.dev)
26. Quiche 浏览器 —— 功能强大的可自定义网页浏览器 Quiche Browser — Beautifully customizable web browser (quiche.industries)
35. 终极 SO_LINGER 页面,或:为什么我的 TCP 不可靠(2009) The ultimate SO_LINGER page, or: why is my tcp not reliable (2009) (blog.netherlabs.nl)
40. 修改 FileZilla 以解决 Bambu 3D 打印机的 FTP 问题 Modifying FileZilla to Workaround Bambu 3D Printer''s FTP Issue (lantian.pub)
47. 克劳德代码的源代码:3,167 行函数,正则表达式情感分析 Claude Code''s Source: 3,167-Line Function, Regex Sentiment (techtrenches.dev)
50. 我们对Claude Mythos Preview网络能力的评估 Our evaluation of Claude Mythos Preview’s cyber capabilities (www.aisi.gov.uk)
52. TESSERA —— 一种基于像素的地球观测基础模型 TESSERA — A pixel-wise earth observation foundation model (geotessera.org)
53. MoonBit 0.9:推出一流的形式验证功能 MoonBit 0.9: Introducing First-Class Formal Verification (www.moonbitlang.com)
54. 有人购买了30个WordPress插件,并在所有插件中植入了后门 Someone Bought 30 WordPress Plugins and Planted a Backdoor in All of Them (anchor.host)
57. 微软高管表示,AI代理将需要购买软件许可证,就像员工一样 Microsoft exec suggests AI agents will need to buy software licenses, just like employees (www.businessinsider.com)
59. 在 QEMU 模拟的 PowerPC Macintosh 上安装 NetBSD/MacPPC 9.4 NetBSD/MacPPC 9.4 Installation on a QEMU emulated PowerPC Macintosh (www.rabbitfarm.com)
62. DuckLake v1.0 – 这款轻量级湖屋架构已具备生产就绪能力 DuckLake v1.0 – The Lightweight Lakehouse Format Reaches Production-Readiness (ducklake.select)
67. 精益方法证明了该程序是正确的;随后我发现了一个错误 Lean proved this program was correct; then I found a bug (kirancodes.me)
73. 找回一份遗失的文件:《栖息地轶事》(1988) Recovering a Lost Document: Habitat Anecdotes (1988) (habitatchronicles.com)
75. Servo 0.1.0(首个 LTS 版本)现已在 crates.io 上发布 Servo 0.1.0 (first LTS version) is now available on crates.io (servo.org)
78. 显示:/digest – 一项用于每日开发者新闻摘要的 Claude Code 技能 Show: /digest – a Claude Code skill for daily dev news digest (github.com)
79. 关于反序列化的思考:为何应显式解码 JSON Reflecting on deserialization. Why you should explicitly decode your JSON (hashset.dev)
82. xtrace — 作为技能的 macOS 命令行 CPU 性能分析工具 xtrace — Command-line CPU Profiling for macOS as a skill (github.com)
89. SQL 存在问题。我们可以解决它们:SQL 中的管道语法 (2024) SQL Has Problems. We Can Fix Them: Pipe Syntax In SQL (2024) (research.google)
90. Oberon System 3 的 Raspberry Pi 3B 原生版本 Native Raspberry Pi 3b version of the Oberon System 3 (github.com)
91. 阿波罗11号制导计算机代码中一个未记录的错误 An undocumented bug in the Apollo 11 guidance computer code (www.juxt.pro)
100. 加快访问 OpenStreetMap 矢量图块的速度 Speeding up access to OpenStreetMap vector tiles (www.openstreetmap.org)
101. 《图标动画技术入门》(2016) An Introduction to Icon Animation Techniques (2016) (www.androiddesignpatterns.com)
103. 我如何仅凭每月20美元的技术栈运营多家月经常性收入(MRR)达1万美元的公司 How I run multiple 10K MRR companies on a 20/month tech stack (stevehanov.ca)
108. 《Gran Turismo》的创作者如何将一款模拟赛车游戏悄悄植入《马里奥赛车》的竞争对手中,以此说服索尼高管 How Gran Turismo''s Creator Snuck a Sim Into a Mario Kart Rival to Persuade Sony Execs (www.thedrive.com)
114. 肯定有办法让容器密钥变得不那么危险吧? Surely there must be a way to make container secrets less dangerous? (dalmatian.life)
115. 在 64 位目标平台上对 32 位无符号除以常量进行优化 Optimization of 32-bit Unsigned Division by Constants on 64-bit Targets (arxiv.org)
121. fakecloud – 免费的开源 AWS 模拟器(LocalStack 的替代方案) fakecloud – Free, open-source AWS emulator (LocalStack alternative) (github.com)
122. 用一个100行的Bash脚本替换联想的WWAN解锁Blob Replacing Lenovo’s WWAN Unlock Blob with a 100-Line Bash Script (blog.hofstede.it)
124. 《高级Rust:付出20%的努力,收获80%的收益》 High-Level Rust: Getting 80% of the Benefits with 20% of the Pain (hamy.xyz)
125. 欧盟《电子边境系统》指纹和照片旅行规定正式生效 EU''s EES fingerprint and photo travel rules come into force (www.bbc.com)
131. Windows Defender 正被用于入侵 Windows Windows Defender is being used to hack Windows (hackingpassion.com)
133. 为什么我们会给自己讲关于人工智能的恐怖故事? Why Do We Tell Ourselves Scary Stories About AI? (www.quantamagazine.org)
136. Rust 为何容易受到供应链攻击,以及我们该如何缓解这种不可避免的风险 How Rust is susceptible to supply chain attacks and what we can do to mitigate the inevitable (kerkour.com)
140. 一场关于ML-KEM-768和X25519哪个先失效的赌局 A bet on whether ML-KEM-768 or X25519 will break first (github.com)
145. Ursa——一款专为 Kafka 设计的全新 Iceberg 优先存储引擎 Ursa - a new Iceberg-first storage engine for Kafka (topicpartition.io)
148. Stripe 的选择性测试执行:针对 5000 万行代码的 Ruby 单一仓库实现快速持续集成 Selective Test Execution at Stripe: Fast CI for a 50M-line Ruby monorepo (stripe.dev)
152. watgo - 面向 Go 语言的 WebAssembly 工具包 - Eli Bendersky 的个人网站 watgo - a WebAssembly Toolkit for Go - Eli Bendersky''s website (eli.thegreenplace.net)
154. 使用与设备绑定的会话凭据保护 Cookie Protecting Cookies with Device Bound Session Credentials (security.googleblog.com)
156. Scheme 中的卫生宏与存储库模式 – Lisp Repository Pattern with Hygienic Macros in Scheme – Lisp (jointhefreeworld.org)
157. 从外部开始保护 rubygems.org:DoS 攻击防范与遭泄露密码的应对 Protecting rubygems.org from the outside in: DoS prevention and compromised passwords (blog.rubygems.org)
166. preact-react-reconciler:将 Preact 转换为 React 协调器 preact-react-reconciler: turn preact into a react reconciler (github.com)
167. 修复 AMDGPU 针对低端显卡的显存管理 Fixing AMDGPU''s VRAM management for low-end GPUs (pixelcluster.github.io)
171. Wastrel 里程碑:全面支持 Hoot,并附赠代际垃圾回收作为额外福利 Wastrel milestone: full hoot support, with generational gc as a treat (wingolog.org)
173. 在2026年,你完全可以拥有一个依赖RSS的网站 You can absolutely have an RSS dependent website in 2026 (matduggan.com)
180. 你有哪些尚未深入探究的编程“直觉”? What are your pgoramming "hunches" you haven''t yet investigated? (lobste.rs)
183. IBM POWER6 微处理器中的超前执行与传统数据预取(2010) Runahead Execution vs. Conventional Data Prefetching in the IBM POWER6 Microprocessor (2010) (pages.cs.wisc.edu)
184. WikiMapped——130万篇带有地理位置信息的维基百科条目,呈现在交互式世界地图上 WikiMapped – 1.3M geolocated Wikipedia articles on an interactive world map (wikimapped.mukul-mehta.in)
189. Myth Engine 架构:构建基于 SSA 的声明式渲染图 Myth Engine Architecture: Building an SSA-Based Declarative Render Graph (github.com)
192. Keychron-键盘-硬件-设计:Keychron键盘和鼠标的所有工业设计文件 Keychron-Keyboards-Hardware-Design: All the industrial design files for Keychron keyboards and mice (github.com)
196. Zsh:使用 (om[1]) 通配符修饰符选择生成的文件 Zsh: select generated files with (om[1]) glob qualifiers (adamj.eu)
197. Tailslayer:一种用于降低DRAM操作尾部延迟的技术 Tailslayer: A technique for reducing tail latency in DRAM operations (www.youtube.com)
198. AWS工程师报告称PostgreSQL性能因Linux 7.0而减半,但修复起来可能并不容易 AWS Engineer Reports PostgreSQL Performance Halved By Linux 7.0, But A Fix May Not Be Easy (www.phoronix.com)
200. tailslayer:用于降低内存读取尾部延迟的库 tailslayer: Library for reducing tail latency in RAM reads (github.com)
211. stricline:一个元框架,助您轻松使用 stricli 构建健壮的 CLI 应用程序 stricline: A meta-framework to help you easily build robust CLI apps with stricli (npmx.dev)
212. 将《无指针编程》应用于基于Zig的mbox索引器 Applying "Programming Without Pointers" to an mbox indexer using Zig (simonhartcher.com)
215. [RFC] JSIR:一种面向 JavaScript 的高级中间表示 [RFC] JSIR: A High-Level IR for JavaScript (discourse.llvm.org)
216. Nix 安全公告:在 FOD 输出注册过程中,通过符号链接追踪实现权限提升 Nix security advisory: Privilege escalation via symlink following during FOD output registration (discourse.nixos.org)
219. Cloudflare 计划于 2029 年实现全面的后量子安全 Cloudflare targets 2029 for full post-quantum security (blog.cloudflare.com)
221. 一款不使用 JavaScript 的 Web IRC 客户端,采用表单和持久性 HTTP 连接 No-JS web IRC client that uses forms and a persistent HTTP connection (github.com)
222. “Glasswing”项目:为人工智能时代保障关键软件安全 Project Glasswing: Securing critical software for the AI era (www.anthropic.com)
223. 评估 Claude Mythos Preview 的网络安全能力 Assessing Claude Mythos Preview’s cybersecurity capabilities (red.anthropic.com)
228. Hazmat:针对 macOS 上 AI 编码代理的操作系统级隔离 Hazmat: OS-level containment for AI coding agents on macOS (github.com)
230. defuddle:将任意页面的主要内容转换为 Markdown 格式 defuddle: Get the main content of any page as Markdown (github.com)
232. 为 REPACK 添加 CONCURRENTLY 选项(PostgreSQL) Add CONCURRENTLY option to REPACK (PostgreSQL) (github.com)
233. 你通常使用哪种文本编辑器(命令行或图形界面)来编写非代码内容? What text editor (cli or gui) are you using for writing non-code? (lobste.rs)
245. 多智能体软件开发是一个分布式系统问题(通用人工智能也帮不了你) Multi-agentic Software Development is a Distributed Systems Problem (AGI can''t save you) (kirancodes.me)
246. 优化流水线化 RISC-V 内核:从简单流水线到接近超标量级性能 Optimising a Pipelined RISC-V Core: From Naive Pipeline to Near-Superscalar Performance (mummanajagadeesh.github.io)
247. 《Clojure on Fennel》第一部分:持久化数据结构 Clojure on Fennel part one: Persistent Data Structures (andreyor.st)
248. 利用C编译器生成的可执行代码重构JIT编译器(2004) Retargeting JIT compilers by using C-compiler generated executable code (2004) (www.cs.arizona.edu)
249. 我们在 macOS 的 TCP 网络中发现了一颗定时炸弹——它将在整整 49 天后引爆 We Found a Ticking Time Bomb in macOS TCP Networking — It Detonates After Exactly 49 Days (photon.codes)
254. 经历了一年的病休后重返工作岗位——你现在都在使用哪些人工智能工具和工作流程? Returning to work after a year-long illness - what AI tools & workflows are you using nowadays? (lobste.rs)
257. 一位密码学工程师对量子计算时间表的看法 A Cryptography Engineer’s Perspective on Quantum Computing Timelines (words.filippo.io)
259. 我试着用“Vibing”这款RSS阅读器,但愿望落空了 I Tried Vibing an RSS Reader and My Dreams Did Not Come True (blog.jim-nielsen.com)
266. BrowserStack 内部有人泄露了用户的电子邮件地址 Someone at BrowserStack is Leaking Users'' Email Address (shkspr.mobi)
267. 一种受 Elm 启发的语言,编译为 Go 代码,支持 Hindley-Milner 类型系统,采用服务器驱动的用户界面,并生成单一二进制文件 An Elm-inspired language that compiles to Go, Hindley-Milner types, server-driven UI, single binary output (github.com)
268. 《自由市场的谎言:为何瑞士拥有25Gbps的互联网,而美国却没有》 The Free Market Lie: Why Switzerland Has 25 Gbit Internet and America Doesn''t (sschueller.github.io)
269. Easters——一个类似于Adventofcode的复活节挑战赛 Easters - an adventofcode-like challenge for easter (easters.dev)
271. dev.css:受 new.css 启发的精简、简单且无类名的 CSS 框架 dev.css: tiny, simple, classless CSS framework inspired by new.css (tangled.org)
272. 是否应该为人工智能辅助编程重新设计开发工具? Should developer tooling be reinvented for AI-assisted programming? (lobste.rs)
273. 加布·纽维尔正把游艇买得起的大把钞票砸进 Flatpak,而你们还在争论初始化系统 Gabe Newell Is Shitting Yacht Money into Flatpak and You''re Still Arguing about Init Systems (s3kshun8.games)
278. 回合制协作:具有多重人格的AI代理 Turn-Based Collaboration: AI Agents with Multiple Personalities (alnewkirk.com)
282. unnix:无需安装 Nix 即可创建可复现的 Nix 环境 unnix: Reproducible Nix environments without installing Nix (github.com)
283. neomd:一款极简的电子邮件 TUI,支持使用 Markdown 阅读,并在 Neovim 中撰写 neomd: A minimal email TUI where you read with Markdown and write in Neovim (github.com)
289. 为 OpenTelemetry Collector 构建模拟运行模式 Building a dry-run mode for the OpenTelemetry Collector (simme.dev)
290. 利用 eBPF sock_ops 绕过 DPI 并注入伪造的 TLS ClientHello DPI bypass using eBPF sock_ops and fake TLS ClientHello injection (github.com)
296. 编写 Lisp 具有抗人工智能性,这让我感到难过 —— 丹的随想 Writing Lisp is AI Resistant and I''m Sad — Dan''s Musings (blog.djhaskin.com)
297. 如果你以为写代码的速度是你的问题——那你还有更大的麻烦 If you thought the speed of writing code was your problem - you have bigger problems (debuggingleadership.com)
298. 在 Linux 上设置 atkey.pro USB 指纹识别器——这同样适用于任何 FIDO 2 U2P USB 指纹识别器;甚至包括那些 20 美元的型号 setting up the atkey.pro usb fingerprint reader in linux -- this should also work for any fido2 u2p usb fingerprint reader; maybe even those 20 ones (gist.github.com)
300. 使用 Turbo C 为 Windows 3.1 开发游戏开发工具 Making Gamedev Tooling For Windows 3.1 in Turbo C (www.youtube.com)