10. Easylang:一种秉承早期家用电脑BASIC语言精髓的、基于浏览器的简单编程语言 Easylang: A Simple, Browser-Based Programming Language in the Spirit of the Old Home Computer BASIC (easylang.online)
11. 模型后门易于创建,却难以彻底清除 Model backdoors are easy to create and hard to reliably remove (equistamp.substack.com)
12. DataCube:一种将 Group-By、交叉表和子合计进行泛化的关系聚合运算符(1997) DataCube: A Relational Aggregation Operator Generalizing Group-By, Cross-Tab, and Sub-Totals (1997) (arxiv.org)
20. Creusot 0.14.0 版本发布——面向 Rust 的合约,已通过形式化证明 Creusot 0.14.0 release - Contracts for Rust, formally proved (devlog.creusot.rs)
21. 控制器冻结,食物解冻:揭示丹佛斯制冷控制器的漏洞 Freeze the Controller, Defrost the Food: Uncovering Vulnerabilities in Danfoss Refrigeration Controllers (claroty.com)
22. 生成5000多亿个代币后:让AI代理反编译一款第一人称射击游戏 500 Billion Tokens Later: Letting AI Agents Decompile A First-Person Shooter (momo5502.com)
26. 通过……不使用不必要的安全哈希算法来加快虚幻编辑器的运行速度 Speeding up the Unreal editor by… not using unnecessarily secure hash methods (larstofus.com)
27. 将 ESP32 用作树莓派的 Linux 无线协处理器 ESP32 As Your Raspberry Pi’s Linux Wireless Co-processor (hackaday.com)
29. 每次512字节:重建IBM i保存文件的校验和 512 bytes at a time: reconstructing IBM i save-file checksums (blog.silentsignal.eu)
33. 以每秒数十吉字节的速度解析 JSON……使用 Python Parsing JSON at tens of gigabytes per second… in Python (lemire.me)
34. 在谷歌中发现了一个价值90,000美元的远程代码执行漏洞 Finding a 90,000 Remote Code Execution Vulnerability in Google (simonkoeck.com)
36. 法国连锁超市称网络攻击导致冷藏设备停机 French supermarket chains say cyberattack forced refrigerator shutdown (www.afp.com)
37. 当你不再理解代码时,如何有效地进行调试 How to effectively debug when you no longer understand the code (copyconstruct.medium.com)
40. 林纳斯·托瓦兹正利用Claude代码对Linux内核进行一项重大改进 Linus Torvalds Working On A Hefty Linux Kernel Improvement With Claude Code (www.phoronix.com)
44. 为 ZX Spectrum 编写 Demoscene 开场动画 Writing a Demoscene Intro for the ZX Spectrum (www.markround.com)
47. 使用 restic 和 Backblaze B2 实现的 3-2-1 备份策略 3-2-1 Backup Strategy with restic and Backblaze B2 (chuck.is)
49. 翻新周末之二:Alpha Micro Eagle 300 及其伙伴们 Refurb weekend II: Alpha Micro Eagle 300 and friends (oldvcr.blogspot.com)
52. 《我花了6年时间用Rust开发一款游戏,现在终于发布了,欢迎提问》(2024)的亮点 Highlights from "I spent 6 years developing a game in Rust and it just shipped, AMA" (2024) (gamesbymason.com)
53. 将 Tello 的 GameSir T1d 手柄用作 Linux 版 Xbox 手柄 Tello''s GameSir T1d controller as a Linux Xbox controller (blog.jacq.cc)
55. 新一代借用检查器,可直接替代 Rust 的借用检查功能 The next-gen borrow checker, a drop-in replacement for Rust borrow checking (gist.github.com)
56. 利用 React Compiler 降低 React Context 的开销 Making React Context Cheap with React Compiler (jjenzz.com)
62. Quaesito:一款用于与朋友举办问答之夜的自托管应用 Quaesito: a self-hosted app for quiz nights with friends (github.com)
67. JSON Tiles:半结构化数据的快速分析(2021) JSON Tiles: Fast Analytics on Semi-Structured Data (2021) (db.cit.tum.de)
69. 拆解 JSON 如何使 Logfire 的查询速度提升 1000 倍 How shredding JSON is giving Logfire 1000x query speedups (pydantic.dev)
71. 在 NumPy 2.5 中将 np.searchsorted 的运行速度提升至最高 25 倍 Making np.searchsorted up to 25 Faster in NumPy 2.5 (blog.scientific-python.org)
72. 字节级语言模型:可扩展性、自发抽象与信息分配 Byte Language Models: Scaling, Emergent Abstractions, and Information Allocation (arxiv.org)
73. 一款采用开关电容技术的20世纪80年代滤波芯片的内部结构 Inside a 1980s filter chip that uses switched capacitors (www.righto.com)
77. 为什么循环特征实现的“外部化”证明行不通 Why ''externalized'' proofs of cyclic trait impls does not work (smallcultfollowing.com)
79. culpert——支持跨度感知和回归分析工具的 Rust 堆内存分析工具 culpert - rust heap profiling with span awareness and regression tooling (github.com)
80. dasSDL3:适用于 daslang 的符合 SDL3 惯例的绑定 dasSDL3: Idiomatic SDL3 bindings for daslang (spiiin.github.io)
82. “火星探路者”号优先级反转故障:究竟发生了什么 Mars Pathfinder Priority Inversion Bug: What Really Happened (nerdyelectronics.com)
83. “灯泡电脑”:借助投影仪重新构想空间与环境计算 The Lightbulb Computer: Reimagining Spatial & Ambient Computing with Projectors (lightbulbcomputer.com)
87. 哦,看来在标准 C 中无法以兼容不同平台的方式检查字符串转浮点数的转换错误。 oh, apparently it''s not possible to portably check for string-to-float conversion errors in standard c (sebsite.pw)
88. 将 Go 语言的 defer 添加到 TypeScript 编译器中 Adding Go''s defer to the TypeScript Compiler (healeycodes.com)
91. 面向渗透测试人员和防御人员的《“Plug&Pwn”实用指南》 A Practical Guide to “Plug&Pwn” for Pentesters and Defenders (blog.scrt.ch)
93. Cloudflare 关闭 Deno 是一则新闻,而不仅仅是公关噱头 Cloudflare shutting down Deno is news, not just PR (lobste.rs)
95. Lifeguard:一款用于检查 Python 懒加载兼容性的静态分析工具 Lifeguard: A static analyzer for Python lazy imports compatibility (github.com)
102. “机器人”是一种社会建构:为什么你的洗碗机不是机器人 "Robot" Is A Social Construct: Why Your Dishwasher Is Not A Robot (robotgirlgang.com)
103. 关于四个定理证明器的故事,或者说:对Isabelle/HOL、Lean、HOL4和Agda的(颇具主观色彩的)比较 A tale of four theorem provers, or: A (reasonably) opinionated comparison of Isabelle/HOL, Lean, HOL4, and Agda (blueberrywren.dev)
109. 在现代硬件上,究竟由谁负责处理硬件状态的哪一部分,这一点可能并不明确 On modern hardware, who handles what bit of hardware state can be unclear (utcc.utoronto.ca)
114. Telegram 桌面版:通过 IPC 注入实现一键接管账户 Telegram Desktop: one-click account takeover via IPC injection (beaksec.github.io)
118. 深入探讨:Windows 与 Mac 键盘的差异 Deeper dive: Keyboard differences between Windows and Macs (unsung.aresluna.org)
120. B-树卷土重来:设计快速且可分页的节点布局 B-Trees Are Back: Engineering Fast and Pageable Node Layouts (www.cs.cit.tum.de)
127. 纳维-斯托克斯方程在转换中的失真:为何人工智能自动形式化中的精简验证无法保证自然语言证明的正确性 Navier-Stokes lost in translation: Why Lean verification of AI autoformalisation does not guarantee correct natural language proofs (arxiv.org)
131. 在我们的读取密集型工作负载中,RwLock 的性能开销 The Performance Cost of RwLock in Our Read-Heavy Workload (pranitha.dev)
136. Shopify 又回到了原生模式。我认为更大的转变在于形式化验证。 Shopify went back to native. I think the bigger shift is formal verification (martinalderson.com)
137. SPA 与超媒体:基于 PLANKA 评估的协作式看板 SPA vs. Hypermedia: A Collaborative Kanban Board Measured Against PLANKA (zweiundeins.gmbh)
144. 未定义的操作码 ud0 和 ud1 怎么会有参数呢? How can undefined opcodes ud0 and ud1 have parameters? (devblogs.microsoft.com)
146. 新通用顶级域名(gTLD)计划:2026年轮次申请 New gTLD Program: 2026 Round applications (newgtldprogram-aps.icann.org)
151. 计算机先驱、曾领导阿波罗计划软件开发的玛格丽特·汉密尔顿去世,享年90岁 Margaret Hamilton, computing pioneer who led software development for the Apollo program, dies at 90 (news.mit.edu)
153. 当海底光缆中断时:了解并防范台湾国际互联网断网的风险 When Submarine Cables Go Dark: Understanding and Preparing for the Risks of Taiwan''s International Internet Disconnection (resilience.ocf.tw)
160. 学习AI/ML知识的最佳书籍/课程/频道,助你实现跨越式进步 Best Books/Courses/Channels to Leapfrog on AI/ML Material (lobste.rs)
165. 介绍 Mapsnap:历史版桑伯恩保险地图的自动地理配准 Introducing mapsnap: Automated Georeferencing for Historic Sanborn Insurance Maps (www.danvk.org)
167. 那次并非错误的数据竞争(以及那次确实是错误的数据竞争) The Data Race That Wasn''t a Bug (and the One That Was) (victoriametrics.com)
169. 一个基于纯Rust语言、在“洁净室”环境下实现的Adobe Photoshop开源重构版本 An open-source, clean-room reimplementation of Adobe Photoshop in pure Rust (github.com)
173. Koreader 的阅读统计数据和标注同步功能,用于间隔重复学习 Koreader reading statistics and highlights sync for spaced repetition (blog.zm.is)
175. 解读《上古卷轴5:天际》中“Magelight XP”的漏洞 Explaining the Magelight XP glitch in Skyrim (blog.alexbeals.com)
182. Raspberry Pi Desktop 现已支持 PC 和 Mac Raspberry Pi Desktop now available for PC and Mac (www.raspberrypi.com)
184. Burn 0.22.0:构建速度更快、扩展更便捷、自动调优更智能 Burn 0.22.0: Faster Builds, Easier Extensions, and Smarter Autotuning (tracel.ai)
185. Janet 谈 x32:32 位指针、64 位速度、内存占用减少 25% Janet on x32: 32-bit Pointers, 64-bit Speed, 25% Less RAM (alexalejandre.com)
189. 深入解析 Windows I/O 管理器:详解读取 I/O 请求的初始化过程 Inside the Windows I/O Manager: Deep dive into how read I/O requests are initialized (winware31.blogspot.com)
191. Pared——在不禁用SIP的情况下移除不需要的Apple Intelligence模型 Pared - remove unwanted Apple Intelligence models without disabling SIP (github.com)
192. Perseus:面向云存储系统的故障缓冲检测框架(2023) Perseus: A Fail-Slow Detection Framework for Cloud Storage Systems (2023) (www.usenix.org)
199. Percona Server 和 MySQL 中的线程池(第 1 部分) Thread Pool in Percona Server and MySQL (Part 1) (www.percona.com)
207. 两个针对 arm64 的编译错误在 curl 中引发了安全漏洞 Two arm64-specific miscompiles induce vulnerabilities in curl (mastodon.social)
208. 为什么 Common Lisp 如今是最好的编程语言 Why Common Lisp Is Now the Best Programming Language (www.vivienhenz.com)
209. hutch:面向“轻度被边缘化”群体的 Emacs 本地代码审查工具 hutch: local code reviews in emacs for the mildly disenfranchised (kitallis.in)
213. Cloudflare 如何解决容器中存在的跨租户数据泄露漏洞 How Cloudflare addressed a cross-tenant data exposure vulnerability in Containers (blog.cloudflare.com)
214. 陀思妥耶夫斯基:通过自适应移除多余的合并操作,为基于LSM树的键值存储实现更优的时空权衡 Dostoevsky: Better Space-Time Trade-Offs for LSM-Tree Based Key-Value Stores via Adaptive Removal of Superfluous Merging (nivdayan.github.io)
215. 一款用于检查邮件服务器 SPF、DKIM、TLSA 和 TLS 设置的 Go 语言工具 Golang tool to check SPF, DKIM, TLSA, and TLS settings for mailservers (git.sig-io.nl)
229. 我和Deno的友谊已经结束,现在Node是我最好的朋友 Friendship ended with Deno, now Node is my best friend (dbushell.com)
230. 一款全新的、量身定制的静态网站生成器,用于取代 Jekyll A new, bespoke static site generator to replace Jekyll (nullprogram.com)
233. 图夫特的剃刀:数据与墨水比的交互式指南 Tufte''s Razor: an interactive guide to the data-ink ratio (tuftesrazor.scienceux.org)
234. 来源:[email protected] - 伪造任意的苹果iCloud身份 From: [email protected] - Spoofing Arbitrary Apple iCloud Identities (sec-consult.com)
239. 广播媒体集团正试图接管地面电视。我们必须捍卫它。 Broadcasting conglomerates are attempting a takeover of over-the-air television. We must defend it (place.reeseric.ci)
243. 基于协议的共识型存储恢复机制(2018) Protocol-aware recovery for consensus-based storage (2018) (www.usenix.org)
247. “破解”Go编译器以高效地将IPv4映射到IPv6 Hacking the Go compiler to efficiently map IPv4 to IPv6 (vincent.bernat.ch)
248. 由 git-sim 绘制的、可自定义的 Git 动画速查表 An animated, customizable Git cheat sheet drawn by git-sim (initialcommit.com)
252. 改进和稳定 NetBSD 中的 racoon2 IKE 守护进程 Improving and Stabilizing the racoon2 IKE Daemon in NetBSD (blog.netbsd.org)
253. 真值的补集是真,除非它是假的 The complement of true is true, except when it''s false (dryperspective.github.io)
254. 《普通人也能懂的JavaScript引擎JIT漏洞入门》 A Mere Mortal''s Introduction to JIT Vulnerabilities in JavaScript Engines (trustfoundry.net)
255. grubby:一款用 Ruby 编写的、用于 Git 仓库的静态网站生成器 grubby: static site generator for git repos written in Ruby (git.btxx.org)
256. 根据十二种范式下的规范得分对模型进行排名,其中各包含一次中性条件和一次人类提示条件 Models ranked by normative score across twelve paradigms, once neutral and once human-primed (cognit.rajtilak.tech)
258. 我们几乎在所有方面都需要设定默认的硬性预算上限 We’re going to need default hard budget caps on pretty much everything (simonwillison.net)
261. 为什么我更推荐 Renovate 而不是其他依赖项更新工具(2024) Why I recommend Renovate over any other dependency update tools (2024) (www.jvt.me)
263. 定制化:针对动态类型面向对象编程语言SELF的编译器技术优化(1989) Customization: Optimizing Compiler Technology for SELF, a Dynamically-Typed Object-Oriented Programming Language (1989) (dl.acm.org)
276. 适用于 CPython 的 Rust(2026 年 Python 语言峰会) Rust for CPython (Python Language Summit 2026) (blog.python.org)
278. 现代桌面环境的问题与解决方案(让 tmux 成为操作系统) Problems and solutions to the modern desktop (Make tmux the OS) (matduggan.com)
284. 我成了攻击目标:攻击者试图通过 Git 的 post-checkout 钩子窃取您的凭据 I got targeted: Trying to get your credentials via a git post-checkout hook (frankwiles.com)
287. Klassik 在现代的 Plasma 6 上重现了 KDE 3 桌面 Klassik Revives the KDE 3 Desktop on Modern Plasma 6 (linuxiac.com)
291. 使用 Rust 驱动 GDEH0154D67 电子纸显示屏 Driving the GDEH0154D67 e-paper display with Rust (sgt.hootr.club)
294. 如果提供了无障碍选项卡,GitHub 仓库的首页现在会显示该选项卡 GitHub repository landing pages now show an accessibility tab, if provided (ericwbailey.website)
295. JetBrains Air:构建面向代理式软件开发的产品体系 JetBrains Air: Building a System of Products for Agentic Software Development (blog.jetbrains.com)