1. 用通俗易懂的语言来解释,Paxos算法其实非常简单(2021) The Paxos algorithm, when presented in plain English, is very simple (2021) (www.mydistributed.systems)
3. 隆重推出 postmarketOS Duranium:更可靠的 postmarketOS Introducing postmarketOS Duranium: a more reliable postmarketOS (postmarketos.org)
9. syntaqlite:SQLite 值得拥有的高保真开发工具 syntaqlite: high-fidelity devtools that SQLite deserves (lalitm.com)
12. Leanstral:值得信赖的氛围编码开源基金会 Mistral AI Leanstral: Open-Source foundation for trustworthy vibe-coding Mistral AI (mistral.ai)
13. 是的,所有“查找最长正则表达式匹配”的问题都可以在线性时间内解决 yes, all longest regex matches in linear time is possible (iev.ee)
17. 我们如何让 ClickHouse 中的有效负载搜索速度提升 60 倍 How We Made Payload Search 60x Faster in ClickHouse (hookdeck.com)
26. Oxyde ORM - 类似 Django 的、基于 Pydantic 的异步 ORM Oxyde ORM - Django-like Pydantic-driven Async ORM (oxyde.fatalyst.dev)
32. 使用 FFmpeg 中的 Vulkan 计算着色器进行视频编码与解码 Video Encoding and Decoding with Vulkan Compute Shaders in FFmpeg (www.khronos.org)
35. 编程的两个世界:为何对大型语言模型(LLM)持有相同观察的开发者会得出截然相反的结论 The two worlds of programming: why developers who make the same observations about LLMs come to opposite conclusions (www.baldurbjarnason.com)
41. 优化 LMDB:我们如何让 Meilisearch 的向量存储速度提升 3 倍 Patching LMDB: How We Made Meilisearch’s Vector Store 3x Faster (blog.kerollmops.com)
44. 一款以本地优先的个人数据库,可通过应用程序进行扩展,并借助人工智能进行管理 A local-first personal database you can extend with apps and manage with AI (superego.dev)
48. nCPU:一种基于神经网络实现的CPU,完全在GPU上运行 nCPU: a CPU implemented using neural networks, runs completely on GPU (github.com)
56. 《WordHopper 一年纪实——开发回顾(2024)》 A Year of WordHopper - Development Retrospective (2024) (kokoscript.com)
63. 一款旨在消除单点故障的 Linux 发行版 A Linux distribution designed to eliminate single points of failure (stagex.tools)
64. 使用 socat 和 HTTPS 隧道绕过深度包检测 Bypassing deep packet inspection with socat and HTTPS tunnels (blog.bofh.it)
71. 一种极为优雅的TCP穿孔算法 —— Aul Ma的研究实验室 A most elegant TCP hole punching algorithm — Aul Ma''s research facility (robertsdotpm.github.io)
76. Netflix 上的 Mount Mayhem:在现代 CPU 上扩展容器 Mount Mayhem at Netflix: Scaling Containers on Modern CPUs (netflixtechblog.com)
78. 自佩佐尔德(Petzold)离任以来,微软就再也没有过一套连贯的图形用户界面(GUI)战略 Microsoft Hasn’t Had a Coherent GUI Strategy Since Petzold (www.jsnover.com)
83. StorageReview创下新的π值记录:在戴尔PowerEdge R7725服务器上计算出314万亿位π StorageReview Sets New Pi Record: 314 Trillion Digits on a Dell PowerEdge R7725 (www.storagereview.com)
84. Ageless Linux — 专为年龄不详的人士打造的软件 Ageless Linux — Software for Humans of Indeterminate Age (agelesslinux.org)
85. 仅用54KB代码实现的《我的世界》克隆版,未使用任何图形库 54kb minecraft clone made without a graphics library (www.youtube.com)
88. 关于协作编辑的谎言,第二部分:我们为何不使用 Yjs Lies I was Told About Collaborative Editing, Part 2: Why we don''t use Yjs (www.moment.dev)
91. 英国公司注册处(Companies House)的漏洞导致公司被劫持 Companies House vulnerability enabled company hijacking (taxpolicy.org.uk)
96. 致命核心转储(一款使用 GDB 进行的调试悬疑推理游戏) Fatal Core Dump (a debugging murder mystery played with GDB) (www.robopenguins.com)
97. 为什么 Mathematica 无法简化 Sinh[ArcCosh[x]] Why Mathematica does not simplify Sinh[ArcCosh[x]] (www.johndcook.com)
98. Direnv 是您利用 Git 工作树实现代理式编程并行化的唯一所需工具 Direnv is All You Need to Parallelize Agentic Programming with Git Worktrees (waldencui.com)
100. vim.pack 指南(Neovim 内置插件管理器) A Guide to vim.pack (Neovim built-in plugin manager) (echasnovski.com)
101. 《Baochip:它是什么、我为何现在做它,以及它是如何诞生的》 Baochip: What It Is, Why I''m Doing It Now, and How It Came About (www.crowdsupply.com)
106. 通过模拟 HKT 来折磨 rustc,引发归纳循环并导致编译器崩溃 Torturing rustc by Emulating HKTs, Causing an Inductive Cycle and Borking the Compiler (www.harudagondi.space)
107. 人工智能代理正在招募人类来观察线下世界 AI Agents Are Recruiting Humans To Observe The Offline World (www.noemamag.com)
108. 关于可能淘汰大端序 PowerPC/POWER 平台的计划 Plans to possibly retire the big-endian PowerPC/POWER platforms (chimera-linux.org)
111. 我恳请你遵守克罗克规则,即使你会对我无礼 I beg you to follow Crocker''s Rules, even if you will be rude to me (lr0.org)
112. 每位程序员都应掌握的5种服务器端编程语言 5 Server Side Programming Languages Every Programmer Should Know (www.linode.com)
113. 在关于苹果公司网络业务的各种修正主义历史叙述中,让我们来看看证据 Awash in revisionist histories about Apple''s web efforts, a look at the evidence (infrequently.org)
125. 在经历了二十年的 macOS 之后,Windows 11 究竟如何?还行,但也糟糕透顶 Windows 11 after two decades of macOS: okay, but also awful (rakhim.exotext.com)
129. 我追踪到20亿美元的拨款以及45个州在年龄验证法案背后的游说活动 I traced 2B in grants and 45 states'' lobbying behind age‑verification bills (old.reddit.com)
130. 我追踪了20亿美元的非营利组织拨款以及45个州的游说记录,以查明谁在推动这些年龄验证法案 I traced 2 billion in nonprofit grants and 45 states of lobbying records to figure out who''s behind the age verification bills (www.reddit.com)
133. Visual Studio Code新增自动驾驶模式,并转为每周发布周期 VS Code adds Autopilot mode and moves to a weekly release cycle (visualstudiomagazine.com)
135. 博客:缓解Gemini中的基于URL的数据外泄 Blog: Mitigating URL-based Exfiltration in Gemini (bughunters.google.com)
140. PostScript中的游戏——与打印机对弈国际象棋 Games in PostScript - Play Chess Against Your Printer (www.youtube.com)
141. oss-security - Re: AppArmor 中存在多个漏洞 oss-security - Re: Multiple vulnerabilities in AppArmor (www.openwall.com)
153. Emacs 内部机制 #03:带标签的并集、带标签的指针与穷人的继承 Emacs Internal #03: Tagged Union, Tagged Pointer, and Poor Man''s Inheritance (thecloudlet.github.io)
154. 宣布将于5月27日至29日在伦敦举办Mercurial冲刺活动 Announcing Mercurial sprint in London, May 27-29th (mercurial-scm.org)
155. 活动目录遭入侵致使攻击者可远程清除医疗用品公司设备数据 Active Directory Compromise Allows Attackers to Remotely Wipe Medical Supply Company Devices (krebsonsecurity.com)
158. Claude Code(克劳德代码)不会取代数据工程师(至少目前不会) Claude Code isn’t going to replace data engineers (yet) (rmoff.net)
163. 独立开发者将《Celeste》经典版移植至世嘉土星主机 Homebrew Developer Ports Celeste Classic to Sega Saturn (www.segasaturnshiro.com)
166. 在获得社区对自由线程Python支持的道路上已走过半程 Halfway on the path to community support for free-threaded Python (labs.quansight.org)
172. 时间:修复JavaScript时间的九年征程 Temporal: The 9-Year Journey to Fix Time in JavaScript (bloomberg.github.io)
176. Repovex — 面向工程团队的GitHub仓库评分卡 Repovex — GitHub repo scorecards for engineering teams (repovex.com)
177. 我为何仍在写博客——以及博客的未来为何在于联结 Why I Still Blog — and Why the Future of Blogging Is Connected (www.ssp.sh)
178. 派克 - 解决"该在此处停下还是冒险驶向下一个出口"的难题 Pike - Solving the "should we stop here or gamble on the next exit" problem (tomjohnell.com)
182. 为什么操作系统和网站需要追踪用户年龄? Why should we have user age tracking in Operating Systems and websites? (wiki.alcidesfonseca.com)
188. 皇帝的新衣:托尼·霍尔图灵奖获奖演讲 The Emperor''s Old Clothes: Tony Hoare''s Turing Award Lecture (www.labouseur.com)
192. Pristan:在Python中创建插件架构的最简方式 Pristan: The simplest way to create a plugin infrastructure in Python (github.com)
198. LLM神经解剖学:如何在不调整任何权重的情况下登顶AI排行榜 LLM Neuroanatomy: How I Topped the AI Leaderboard Without Changing a Single Weight (dnhkng.github.io)
208. 亚马逊召开关于生成式人工智能导致系统中断的工程会议 Amazon holds engineering meeting about GenAI based outages (www.ft.com)
209. Madblog:将Markdown文件夹转化为联合博客 Madblog: Turn a Markdown folder into a federated blog (blog.fabiomanganiello.com)
212. Emacs独行两载:35个模块,零外部包,全面重构 Two Years of Emacs Solo: 35 Modules, Zero External Packages, and a Full Refactor (www.rahuljuliato.com)
214. Redox OS已实施原产地证书政策及严格的禁止使用大型语言模型政策 Redox OS has adopted a Certificate of Origin policy and a strict no-LLM policy (gitlab.redox-os.org)
216. BSD TCP 网络性能故障排除:第二部分(修复 NetBSD) troubleshooting BSD TCP network performance: part 2 (fixing NetBSD) (omaera.org)
222. DDR4 SDRAM - 初始化、训练与校准 DDR4 SDRAM - Initialization, Training and Calibration (www.systemverilog.io)
224. Nextvi 4.0——一款小巧可定制的vi/ex编辑器,附带可选补丁系统 Nextvi 4.0 – A small, hackable vi/ex editor with an optional patch system (github.com)
233. Rust 的 AWS SDK:在其他云平台上使用 S3 兼容 API AWS SDK for Rust: Using S3-Compatible APIs with Other Clouds (rup12.net)
238. 基于波函数坍缩构建过程化六边形地图 Building a Procedural Hex Map with Wave Function Collapse (felixturner.github.io)
240. 滥用.arpa——这个本不该托管任何内容的顶级域名 Abusing .arpa, the TLD that isn’t supposed to host anything (www.infoblox.com)
241. 合法与正当是否等同:人工智能的重新实现与copyleft的侵蚀 Is legal the same as legitimate: AI reimplementation and the erosion of copyleft (writings.hongminhee.org)
246. 你的LLM写不出正确的代码。它写的是看似合理的代码。 Your LLM Doesn''t Write Correct Code. It Writes Plausible Code (blog.katanaquant.com)
252. Linux内部机制:/proc/self/mem如何写入不可写内存 Linux Internals: How /proc/self/mem writes to unwritable memory (offlinemark.com)
253. 疏伐:子列表见证与德布鲁因指数位移聚簇 Thinnings: Sublist Witnesses and de Bruijn Index Shift Clumping (www.philipzucker.com)
256. 初次接触ClickHouse?13个常见错误及规避方法 Getting started with ClickHouse? 13 mistakes and how to avoid them (clickhouse.com)
257. 为何UTF-8(及Unicode)应采用八进制表示法(2016) Why octal notation should be used for UTF-8 (and Unicode) (2016) (movq.de)
258. 剑桥战役代码:编写机器人参与回合制策略游戏的竞赛 Cambridge Battlecode: Code bots that compete in a turn-based strategy game (battlecode.cam)
263. z80-sans:一款将Z80指令反汇编的OpenType字体 z80-sans: OpenType font that disassembles Z80 instructions (github.com)
267. LibreOffice Writer 现已支持 Markdown LibreOffice Writer now supports Markdown (blog.documentfoundation.org)
270. 苹果512GB版Mac Studio悄然下架,低调承认内存短缺 Apple''s 512GB Mac Studio vanishes, a quiet acknowledgment of the RAM shortage (arstechnica.com)
271. 轻量级协议,用于主张内容作者身份并为他人的人性背书 Lightweight protocol to assert authorship of content and vouch for humanity of others (codeberg.org)
274. CLI RSS/Atom 订阅阅读器,灵感源自 Taskwarrior,通过 git 实现同步 CLI RSS/Atom feed reader inspired by Taskwarrior, synced using git (github.com)
276. 格蕾丝·霍珀海军上将论未来可能性:数据、硬件、软件与人才(1982年) Adm. Grace Hopper on Future Possibilities: Data, Hardware, Software, and People (1982) (www.nsa.gov)
281. Lobste.rs人机界面改进的初步提案 Primitive proposal for human-interface improvement on Lobste.rs (www.figma.com)
283. MuJS - 轻量级JavaScript解释器,专为嵌入其他软件而设计 MuJS - lightweight Javascript interpreter designed for embedding in other software (mujs.com)
290. OBuilder在Windows平台:通过HCS后端实现原生容器构建 OBuilder on Windows: Bringing Native Container Builds with the HCS Backend (www.tunbury.org)
298. 如何停止为一致性争论,开始编写通用上下文特质实现 How to stop fighting with coherence and start writing context-generic trait impls (contextgeneric.dev)
299. 联想新款T系列ThinkPad笔记本在可维修性方面获得满分10分 Lenovo’s New T-Series ThinkPads Score 10/10 for Repairability (www.ifixit.com)