2. Roguetype:有史以来第一款用 OCaml 类型系统编写的 roguelike 游戏 Roguetype: The first ever roguelike written in the OCaml type system (github.com)
8. Postgres 的流式变更:Sequin 背后的架构 Streaming changes from Postgres: the architecture behind Sequin (blog.sequinstream.com)
9. anubis:使用工作证明权衡传入 HTTP 请求的灵魂,阻止人工智能爬虫 anubis: Weighs the soul of incoming HTTP requests using proof-of-work to stop AI crawlers (github.com)
13. 与人工智能副驾驶一起编程:我作为高级开发人员的观点 Programming with an AI copilot: My perspective as a senior dev (mlagerberg.com)
16. ALGOL-FOR-LINUX 重塑 Linux 内存安全 ALGOL-FOR-LINUX is Reimagining Memory Safety for Linux (algol-for-linux.com)
17. 我想我在我的 feed 阅读器中实现了一个独特的功能 Think I implemented a unique feature in my feed reader (andregarzia.com)
22. Linux 6.15 Perf 工具新增对延迟剖析的支持 Linux 6.15 Perf Tooling Introduces New Support For Latency Profiling (www.phoronix.com)
27. Pidgin 3.0 实验版 2 (2.91.0) 已发布 Pidgin 3.0 Experimental 2 (2.91.0) has been released (discourse.imfreedom.org)
28. 为同伴互助建立实时视频转录和情感分析系统 Building Real-Time Video Transcription & Sentiment Analysis for Peer Support (www.kuky.com)
32. 我是如何利用周六时间恢复密码的? How I Spent Saturday Recovering A Passkey Or Why Open-Source Software Matters (taggr.link)
40. 沃伦的抽象机器:教程重构》(1999 年) Warren''s Abstract Machine: A Tutorial Reconstruction (1999) (web.archive.org)
41. Python 中的阴影给了我一个未绑定本地错误(UnboundLocalError)。 Shadowing in Python gave me an UnboundLocalError (ntietz.com)
48. Hoster - 使用 FreeBSD/Bhyve/ZFS/PF/Go 构建,使虚拟机/监狱部署快速而轻松 Hoster - Built Using FreeBSD/Bhyve/ZFS/PF/Go Makes VM/Jails Deployments Fast and Easy (docs.hoster-core.gateway-it.com)
49. Zephyr RTOS 4.1 现已发布:性能改进、支持 IAR 工具链、Rust 等功能 Zephyr RTOS 4.1 Now Available: Performance Improvements, Support for IAR Toolchain, Rust, and More (zephyrproject.org)
52. 法国反垄断监管机构因苹果公司实施应用程序追踪透明化计划罚款 1.5 亿欧元 French antitrust watchdog fines Apple 150M for App Tracking Transparency implementation (www.autoritedelaconcurrence.fr)
56. 训练提亚玛特,召唤克苏鲁:用 C 驯服 UB 怪兽 Crate-training Tiamat, un-calling Cthulhu: Taming the UB monsters in C (herbsutter.com)
59. SaaS 已经崩溃:为什么自带云(BYOC)是未来趋势? SaaS Is Broken: Why Bring Your Own Cloud (BYOC) Is the Future (thenewstack.io)
61. CodeQLEAKED - 公共机密曝光导致对 GitHub CodeQL 的供应链攻击 CodeQLEAKED - Public Secrets Exposure Leads toSupply Chain Attack on GitHub CodeQL (www.praetorian.com)
79. 程序员的阅读清单:我喜欢的 100 篇文章(1-50) A Programmer''s Reading List: 100 Articles I Enjoyed (1-50) (www.piglei.com)
81. 使用 Python 构建产品的网络框架 - Plain A web framework for building products with Python · Plain (plainframework.com)
92. Pixelfed 泄露其他 Fediverse 实例的私人帖子 Pixelfed leaks private posts from other Fediverse instances (fokus.cool)
93. 确保 RISC 操作系统未来的 "Moonshots "计划 "Moonshots" Initiative to Secure the Future of RISC OS (www.riscosopen.org)
95. 用 Rust 从零开始构建搜索引擎:第 1 部分 Building a search engine from scratch, in Rust: part 1 (jdrouet.github.io)
97. typed-japanese:用 TypeScript 学习日语语法 typed-japanese: Learn Japanese grammar with TypeScript (github.com)
109. Siri "不存在 "的人工智能功能引发苹果法律诉讼 Siri’s ‘Non-Existent’ AI Features Spark Apple Legal Battle (www.techrepublic.com)
113. 2024 年数据库最热门话题(文献计量学方法) 2024''s hottest topics in databases (a bibliometric approach) (rmarcus.info)
116. Alpine.js 简介:面向极简主义者的 JavaScript 框架 Intro to Alpine.js: A JavaScript framework for minimalists (www.infoworld.com)
119. 用 CGO 和 Zig 构建静态链接的 Go 可执行文件 Building Statically Linked Go Executables with CGO and Zig (calabro.io)
122. 对分布进行基准测试(以及一些 -O3 结果) Benchmarking a distribution (and some -O3 results) (discourse.ubuntu.com)
124. 让我们看看...JEP 483:提前加载类和链接 Let''s Take a Look at... JEP 483: Ahead-of-Time Class Loading & Linking (www.morling.dev)
128. 我们对破坏性更改的思考方式真的很愚蠢 The way we''re thinking about breaking changes is really silly (welltypedwitch.bearblog.dev)
132. SJS:JavaScript 子集的静态 AOT 编译器(2016 年) SJS: a static AOT compiler for a subset of JavaScript (2016) (github.com)
134. 容器时代的外壳:Dagger Shell 简介 - Dagger A Shell for the Container Age: Introducing Dagger Shell - Dagger (dagger.io)
136. 致 Meta 的公开信:支持真正的 XMPP 消息互操作性 Open Letter to Meta: Support True Messaging Interoperability with XMPP (xmpp.org)
137. oss-sec:三种绕过 Ubuntu 非特权用户命名空间限制的方法 oss-sec: Three bypasses of Ubuntu''s unprivileged user namespace restrictions (seclists.org)
141. Sécurix,基于 NixOS 的安全操作系统,专为中小型团队量身定制 Sécurix, a NixOS-based secure operating system tailored for small to medium-sized teams (github.com)
144. 一堆永恒的拒绝:状态机复制的垃圾回收成本 - Aleksey Charapko Pile of Eternal Rejections: The Cost of Garbage Collection for State Machine Replication – Aleksey Charapko (charap.co)
145. 斯派德,一种受现代软件语言启发的硬件描述语言 Spade, a hardware description language inspired by modern software languages (spade-lang.org)
149. 为什么 Anthropic 的克劳德仍未打败《神奇宝贝 Why Anthropic’s Claude still hasn’t beaten Pokémon (arstechnica.com)
151. 利用模型上下文协议(MCP)构建标准化人工智能工具 Building Standardized AI Tools with the Model Context Protocol (MCP) (www.innoq.com)
152. 弹性烧烤:在 Lucene 和 Elasticsearch 中实现更好的二进制量化 Elastic BBQ: Better Binary Quantization in Lucene & Elasticsearch (www.elastic.co)
154. prepare()-ing for execution:用于创建进程的新 API prepare()-ing for execution: a new API for process creation (gist.github.com)
157. Decent-Auth:可通过 WASM 使用多种不同语言的后端认证库 Decent-Auth: backend auth library that works in several different languages via WASM (github.com)
162. Bevy Meetup--反应式结构的中间表示法 Bevy Meetup - Intermediate Representations for Reactive Structures (www.youtube.com)
163. 欧盟为公共部门创建基于 Fedora 的 Linux 发行版 Europen Union creates Fedora-based Linux distribution for the public sector (www.linuxjournal.com)
167. Hyperlight Wasm:快速、安全、无操作系统 Hyperlight Wasm: Fast, secure, and OS-free (opensource.microsoft.com)
168. Astral 的红色结静态类型检查器的早期使用体验 A Very (!) Early Play With Astral''s Red Knot Static Type Checker (jurasofish.github.io)
169. 巧妙的 proc-macro 技巧:如何排放部分代码和错误 A Daft proc-macro trick: How to Emit Partial-Code Errors (schneems.com)
176. Ferrous Systems 向 Rust 项目捐赠 Ferrocene 语言规范 Ferrous Systems Donates Ferrocene Language Specification to Rust Project (rustfoundation.org)
178. doccmd:针对文档文件中的代码块运行命令(内衬程序、格式化程序等 doccmd: Run commands (linters, formatters, etc.) against code blocks in documentation files (adamtheturtle.github.io)
179. 使用 JAX 启动和运行 - JIT 编译、矢量化转换和 autodiff Up and Running with JAX - JIT Compilation, Vectorizing Transformations and autodiff (www.jtrive.com)
180. 将 opam-repository 推向可持续版本库 Pushing the opam-repository into a sustainable repository (blog.robur.coop)
183. TDD 入门:开始持久实践的实用指南 Getting Started with TDD: A Practical Guide to Beginning a Lasting Practice (8thlight.com)
185. Pi Pico Rx--数字时代的水晶收音机? Pi Pico Rx - A crystal radio for the digital age? (101-things.readthedocs.io)
191. 用这个怪招缩小围棋二进制文件(2016) Shrink your Go binaries with this one weird trick (2016) (words.filippo.io)
203. Prospero 挑战,现在有了更多垃圾收集功能 Prospero challenge, now with more garbage collection (bernsteinbear.com)
210. 铲子--正在进行中的高密度脂蛋白,不会让你想拔掉头发 spade - A work in progress HDL that doesn''t make you want to pull your hair out (gitlab.com)
222. Leslie Lamport 在 SCALE 22x 上的闭幕主题演讲:编码不是编程 Closing Keynote with Leslie Lamport at SCALE 22x: Coding isn''t programming (www.socallinuxexpo.org)
226. Btrfs 添加快速/实时 Zstd 压缩及其他性能优化功能 Btrfs Adding Fast/Realtime Zstd Compression & Other Performance Optimizations (www.phoronix.com)
230. k8s Ingress NGINX 中的 RCE 漏洞(针对 ingress-nginx 的 9.8 CVE) RCE Vulnerabilities in k8s Ingress NGINX (9.8 CVE for ingress-nginx) (www.wiz.io)
237. Triforce:用于苹果硅笔记本电脑的麦克风阵列波束形成器 Triforce: a microphone array beamformer for Apple Silicon laptops (crates.io)
238. 使用 ECS 复制在 Bevy 中联网(使用 Rust) Networking in Bevy with ECS Replication (using Rust) (www.youtube.com)
239. 基于 CSS 的 NoJS 反 BOT 网络应用程序防火墙(概念验证) A CSS-based NoJS Anti-BOT Web Application Firewall (Proof of Concept) (github.com)
240. 全息图、漏光以及如何构建纯 CSS 着色器 Holograms, light-leaks and how to build CSS-only shaders (robbowen.digital)
241. 每个人都用错误的方式引用命令行参数(在 Windows 上) Everyone quotes command line arguments the wrong way (on Windows) (learn.microsoft.com)
247. GPSTracker:谷歌地图时间轴的自托管 FOSS 替代方案 GPSTracker: A self-hosted FOSS alternative to Google Maps Timeline (blog.fabiomanganiello.com)
251. Fastrace:用 Rust 进行分布式跟踪的现代方法 FastLabs / 博客 Fastrace: A Modern Approach to Distributed Tracing in Rust FastLabs / Blog (fast.github.io)
252. basedpyright:pright fork,改进了各种类型检查功能 Basedpyright: pyright fork with various type checking improvements (docs.basedpyright.com)
253. Figma 不是设计工具,而是避免代码的 Rube Goldberg 机器 Figma’s not a design tool — it’s a Rube Goldberg machine for avoiding code (uxdesign.cc)
256. 探索 Ruby Ractors -- 我花钱买了 10 个核心,我就要用 10 个核心 Exploring Ruby Ractors -- I paid for for 10 cores I''m gonna use 10 cores (jpterry.com)
261. landrun:使用 Landlock 在安全、无特权的沙箱中运行任何 Linux 进程 landrun: Run any Linux process in a secure, unprivileged sandbox using Landlock (github.com)
267. 朋友不会让朋友用 Python 编写生产软件 Friends don''t let friends write production software in Python (dustri.org)
268. 缩小 FromStr 和字符串之间的效率差距 Bridging the Efficiency Gap Between FromStr and String (lucumr.pocoo.org)
272. ClickHaskell-0.2:2 周年预稳定版 ClickHaskell-0.2: 2 Years Anniversary pre-stable releas (discourse.haskell.org)
281. 类型化函数式语言决策者指南》,作者 Evan Czaplicki A decision maker''s guide to Typed Functional Languages by Evan Czaplicki (youtu.be)
285. 是什么影响了开发人员对采用人工智能辅助编码工具的信任? What influences developers'' trust in adopting AI-assisted coding tools? (rdel.substack.com)
286. 增强 Git 工作流程的 Emacs 自定义 VC 功能 Custom VC-Focused Emacs Functions to Enhance My Git Workflow (www.rahuljuliato.com)
290. 为什么人们默认前端和用户界面使用 React 和 JavaScript? Why do people default to React and JavaScript for frontend and UIs? (lobste.rs)
292. pussh:用 Bash 编写的基于 SSH 的简单部署工具 pussh: A simple SSH-based deployment tool written in Bash (github.com)
297. 利用内容分块对文件备份服务进行分块攻击 Chunking Attacks on File Backup Services using Content-Defined Chunking (www.daemonology.net)