6. 功能数据结构与算法:基于证明助手的方法 Functional Data Structures and Algorithms. A Proof Assistant Approach (fdsa-book.net)
14. 软件工程的未来——软件开发未来研讨会 The future of software engineering - The future of software development retreat (www.thoughtworks.com)
16. 十二要素应用——十五年后。2026年它依然适用吗? The 12-Factor App - 15 Years later. Does it Still Hold Up in 2026? (lukasniessen.medium.com)
23. 若您使用人工智能生成的代码,目前在美国无法主张其著作权。 If you use AI-generated code, you currently cannot claim copyright on it in the US (zomglol.wtf)
27. 我仅用一个下午就提升了15个大型语言模型的编程能力。唯一改变的是训练框架。 I Improved 15 LLMs at Coding in One Afternoon. Only the Harness Changed (blog.can.ac)
29. 使用AddressSanitizer和PostgreSQL的栈缓冲区溢出练习 A stack-buffer-overflow exercise with AddressSanitizer and PostgreSQL (www.enterprisedb.com)
34. 如何在对象存储中通过单个JSON文件构建分布式队列 How to build a distributed queue in a single JSON file on object storage (turbopuffer.com)
36. 在JVM上使用Java、Scala和Kotlin进行脚本编写 Scripting on the JVM with Java, Scala, and Kotlin (mill-build.org)
39. Workledger - 离线优先的工程笔记本 Workledger - An offline first engineering notebook (about.workledger.org)
41. 观星伙伴:真实天空与真实设备下的夜空观测实用指南 Stargazing Buddy: A practical guide to observing the night sky for real skies and real equipment (stargazingbuddy.com)
48. Tyr的前景:一款适用于Arm Mali硬件的Rust GPU驱动程序 The future for Tyr, a Rust GPU driver for Arm Mali hardware (lwn.net)
55. 功能单元与价值单元分离的技术问题(1988) Technical Issues of Separation in Function Cells and Value Cells (1988) (www.nhplace.com)
58. 关于Telnet已死的报道被大大夸大了 Reports of Telnet’s Death Have Been Greatly Exaggerated (www.terracenetworks.com)
59. 我如何将Anki副业项目转化为Kickstarter众筹:全过程指南 How I turned my Anki side project into a Kickstarter: A Walkthrough (alt-romes.github.io)
60. 在数据库中不放置领域逻辑的使用方法(2023) Using Databases Without Putting Domain Logic in Them (2023) (alexkondov.com)
67. CVE-2026-1529 - Keycloak:通过不当邀请令牌验证实现未授权组织注册 CVE-2026-1529 - keycloak: unauthorized organization registration via improper invitation token validation (cvefeed.io)
70. 模块化单体与微服务:模块化才是真正关键(2023) Modular Monolith and Microservices: Modularity is what truly matters (2023) (binaryigor.com)
73. 实验区协议历经两年多开发、620余条评论后并入Wayland - Phoronix Experimental Zones Protocol Merged To Wayland After 2 Years, 620 Comments - Phoronix (www.phoronix.com)
80. 解析CVE-2026-25049:TypeScript类型如何导致n8n安全漏洞 Breaking Down CVE-2026-25049: How TypeScript Types Failed n8n''s Security (hetmehta.com)
81. 通过Proton Bridge为ProtonMail自定义域名提供的简易邮件API simple email API for protonmail custom domains via proton bridge (github.com)
82. 希望并非安全策略:为何默认安全优于强化防护 Hope Is Not a Security Strategy: Why Secure-by-Default Beats Hardening (tuananh.net)
83. 谷歌Chrome 145版本发布,新增对JPEG-XL图像的支持 Google Chrome 145 Released With JPEG-XL Image Support (www.phoronix.com)
85. Hylo:一种专注于值语义与泛型编程的系统编程语言 Hylo: A Systems Programming Language All in on Value Semantics and Generic Programming (hylo-lang.org)
86. 如果连规格说明都写不出来,说明驱动开发就行不通。 Spec-driven development doesn''t work if you''re too confused to write the spec (publish.obsidian.md)
92. 我七岁开始编程。如今五十岁了,我所热爱的事物已然改变。 I Started Programming When I Was 7. I''m 50 Now, and the Thing I Loved Has Changed (www.jamesdrandall.com)
99. SSH代理转发与tmux的正确使用(2023) SSH agent forwarding and tmux done right (2023) (blogsystem5.substack.com)
100. FreeBSD 家庭 NAS 第十篇:使用 VictoriaMetrics 和 Grafana 进行监控 FreeBSD Home NAS, part 10: monitoring with VictoriaMetrics and Grafana (rtfm.co.ua)
101. browser.html - 一款基于网络技术构建的网页浏览器,采用Servo作为网页渲染引擎 browser.html - a web browser built with web technologies using Servo as web rendering engine (tangled.org)
103. Sarvam Arya:面向生产级代理的编排堆栈 Sarvam Arya: Orchestration stack for production-grade agents (www.sarvam.ai)
119. 急刹车事件作为道路路段事故风险的指标 Hard-braking events as indicators of road segment crash risk (research.google)
120. 这与API无关——Vulkan中快速、灵活且简单的渲染 It''s Not About the API - Fast, Flexible, and Simple Rendering in Vulkan (gamesbymason.com)
124. 试用Thunderbird日程安排功能,静候邀请函 Trying out Thunderbird Appointment While I Patiently Wait For An Invite (blog.matthewbrunelle.com)
131. 情境化Copyleft的必要性:开源训练数据与生成式人工智能的许可问题 The Case for Contextual Copyleft: Licensing Open Source Training Data and Generative AI (arxiv.org)
141. SecretSpec 0.7:声明式密钥生成 - devenv SecretSpec 0.7: Declarative Secret Generation - devenv (devenv.sh)
145. 原始的vi是时代的产物(而它的时代已经过去) The original vi is a product of its time (and its time has passed) (utcc.utoronto.ca)
148. 关系编程在miniKanren中的应用:技术、应用与实现(2009) Relational Programming in miniKanren: Techniques, Applications, and Implementations (2009) (scholarworks.iu.edu)
163. 运行自己的自治系统:在FreeBSD上部署BGP,支持FRR、GRE隧道及策略路由 Running Your Own AS: BGP on FreeBSD with FRR, GRE Tunnels, and Policy Routing (blog.hofstede.it)
164. 一台机器若设计得当,其潜力可谓无限(2022) One machine can go pretty far if you build things properly (2022) (rachelbythebay.com)
166. RustCast - 用Rust语言编写的开源Raycast风格启动器 RustCast -open-source Raycast-style launcher written in Rust (github.com)
167. 情境复杂性、大型语言模型与大规模架构 Circumstantial Complexity, LLMs and Large Scale Architecture (www.datagubbe.se)
169. 老调重弹:KDE Oxygen 和 Air 主题何去何从? Beating an old, but not dead horse: what to do with the KDE Oxygen and Air themes? (filipfila.wordpress.com)
171. NPM 和 NodeJS 应当进一步优化 ES 模块的使用体验(2024) NPM and NodeJS should do more to make ES Modules easy to use (2024) (borischerny.com)
174. Scriptovision超级微型脚本视频字幕机几乎就是一台家用电脑 The Scriptovision Super Micro Script video titler is almost a home computer (oldvcr.blogspot.com)
181. 为何每个封装外部工具的R包都需要一个sitrep()函数 Why Every R Package Wrapping External Tools Needs a sitrep() Function (drmowinckels.io)
182. 担保:基于明确担保参与的贡献者信任管理系统 vouch: a contributor trust management system based on explicit vouches to participate (github.com)
185. 8VIM:一款受8pen和Vim启发的虚拟安卓键盘 8VIM: a virtual Android keyboard drawing inspiration from 8pen and Vim (github.com)
187. DavMail POP/IMAP/SMTP/Caldav/Carddav/LDAP 交换网关 DavMail POP/IMAP/SMTP/Caldav/Carddav/LDAP Exchange Gateway (davmail.sourceforge.net)
190. 为雅达利2600平台逆向工程《夺宝奇兵》 Reverse-engineering Raiders of the Lost Ark for the Atari 2600 (github.com)
192. (Bsky帖子) "这让维护者变成了不知不觉的氛围程序员" (Bsky thread) "This turns the maintainer into an unwitting vibe coder" (bsky.app)
195. Impl Rust - 基于 ANTLR 的 Rust 语言实现 Avro IDL 工具 Impl Rust - Avro IDL tool in Rust via ANTLR (youtu.be)
201. 法律论证异常:从法庭到Clojure - Sen LegalArgumentException: From Courtrooms to Clojure - Sen (www.youtube.com)
205. emacs-tramp-rpc:采用JSON-RPC替代shell解析的高性能TRAMP后端 emacs-tramp-rpc: High-performance TRAMP backend using JSON-RPC instead of shell parsing (github.com)
206. jasonisnthappy:基于Rust实现的可嵌入式文档数据库,提供ACID特性保证 jasonisnthappy: embeddable document database with acid guarantees in rust (github.com)
208. 太空蜕变——面向人工智能代理的大型多人在线游戏 SpaceMolt - Massively Multiplayer Gaming for AI Agents (www.spacemolt.com)
210. 声明式、可复现的Emacs:直用.el与use-package Declarative, Reproducible Emacs with straight.el and use-package (jakebox.github.io)
213. OpenRun:基于单主机或Kubernetes的声明式Web应用部署 OpenRun: Declarative web app deployments on single-host or Kubernetes (github.com)
215. FOSDEM 2026 - 让 Web Components 发挥作用:框架视角 FOSDEM 2026 - Making Web Components work: a framework''s perspective (fosdem.org)
217. 不同语言的"模板税"负担:4亿行代码分析 How much "boilerplate tax" different languages have: a 400M LOC analysis (boyter.org)
218. 3mdeb盛赞AMD openSIL及开源固件在保密计算领域的贡献 - Phoronix 3mdeb Talks Up AMD openSIL & Open-Source Firmware Efforts For Confidential Compute - Phoronix (www.phoronix.com)
220. 塞尔塔尼:一个基于《神秘岛》系列游戏的在线共享文本类开源粉丝项目 Seltani: an online, shared, text-based, open-source fan project based on the Myst series of games (eblong.com)
221. canvas_ity:一个微型、类似单渲染管线的C 2D光栅化器 canvas_ity: A tiny, single-header -like 2D rasterizer for C (github.com)
226. 使用Python 3.14的zstd模块进行文本分类 Text classification with Python 3.14''s zstd module (maxhalford.github.io)
227. Blinc:一个声明式、响应式UI系统,具备一流状态机、弹簧物理动画和GPU加速渲染功能 Blinc: A declarative, reactive UI system with first-class state machines, spring physics animations, and GPU-accelerated rendering (github.com)
230. nix-run:无需nix3或flakes即可运行Nix推导 nix-run: run nix derivations without nix3 or flakes (tangled.org)
231. 不,真的,Bash远远不够:为何大规模CI需要编排器 No, Really, Bash Is Not Enough: Why Large-Scale CI Needs an Orchestrator (iankduncan.com)
232. voxtral.c:Mistral Voxtral实时4B语音转文本模型的纯C语言推导 voxtral.c: Pure C inference of Mistral Voxtral Realtime 4B speech to text model (github.com)
233. 蒙蒂:一款采用Rust语言编写的简约安全Python解释器,专为人工智能应用而设计 monty: A minimal, secure Python interpreter written in Rust for use by AI (github.com)
234. elfconv:Linux/ELF 到 WebAssembly 的 AOT 二进制翻译器 elfconv: AOT binary translator of Linux/ELF - WebAssembly (github.com)
235. Olimex HoT 旨在成为轻量级、更易于使用的 Home Assistant 替代方案。 Olimex HoT aims to be lightweight, easier-to-use alternative to Home Assistant (www.cnx-software.com)
243. 组建一支由并行克劳德组成的团队来构建C编译器 Building a C compiler with a team of parallel Claudes (www.anthropic.com)
251. GitHub Actions正在慢慢杀死你的工程团队 GitHub Actions Is Slowly Killing Your Engineering Team (iankduncan.com)
259. 所以啊,我用氛围编码做了个日志着色器——感觉超棒 So yeah, I vibe-coded a log colorizer—and I feel good about it (arstechnica.com)
262. 有人用奥拉马、树莓派和3D打印机制作了BMO的实体模型。 Someone made a real life versoin of BMO with Ollama, a raspberry PI, and a 3d printer (www.youtube.com)
273. 通过 go-to-wheel 在 PyPI 上分发 Go 二进制文件(如 sqlite-scanner) Distributing Go binaries like sqlite-scanner through PyPI using go-to-wheel (simonwillison.net)
274. Sukr:一款采用Rust语言实现的极简静态网站编译器,输出完全不含JavaScript代码 Sukr: A minimal static site compiler in Rust with zero-JS output (sukr.io)
278. 个人人工智能已然到来(而你可能尚未准备好) Personal AI is Already Here (And You’re Probably Not Ready) (www.robert-glaser.de)
283. LFS/BLFS 将不再开发 System V 版本 LFS/BLFS will no longer be developing the System V versions (lists.linuxfromscratch.org)
285. 我更倾向于通过标准输入在程序之间传递秘密。 I prefer to pass secrets between programs through standard input (utcc.utoronto.ca)
286. 微软六次终结小工具,为何它们总能卷土重来 Microsoft Has Killed Widgets Six Times. Here''s Why They Keep Coming Back (xakpc.dev)
288. rust-dlopen:一个完全用Rust实现的动态链接器 rust-dlopen: A dynamic linker fully implemented in Rust (github.com)
297. 驯服平坦化AST:零分配时代的人体工学实践 Taming the Flat AST: Ergonomics in the Age of Zero Allocations (modern-c.blogspot.com)