2. 为 Stride 着色器系统研究 SPIR-V(第 2 部分) Investigating SPIR-V for the Stride shader system (part 2) (www.stride3d.net)
5. Rust 基金会与 AWS 计划合作验证 Rust 标准库 Rust Foundation Collaborates With AWS Initiative to Verify Rust Standard Libraries (foundation.rust-lang.org)
7. 使用 Cranelift 对 Prolog 谓词进行本地编译 Native compilation of Prolog predicates with Cranelift (files.adrianistan.eu)
10. DBSP:丰富查询语言的自动增量视图维护 DBSP: Automatic Incremental View Maintenance for Rich Query Languages (muratbuffalo.blogspot.com)
12. 互联网会绕过损害吗?- 波罗的海电缆被切断 Does the Internet Route Around Damage? - Baltic Sea Cable Cuts (labs.ripe.net)
17. 研究人员首次破解 RSA 和 AES 数据加密 For the first time ever researchers crack RSA and AES data encryption (www.thebrighterside.news)
19. 一个 "真/假 "字段有多少个业务值? How Many Business Values Does a True/False Field Have? (johndehope.mataroa.blog)
23. 拉斯特基金会商标政策第 2 次糟糕草案 The Rust Foundation''s 2nd bad draft trademark policy (diziet.dreamwidth.org)
27. vim-history:非常古老的 Vim 历史(从 v1.14 到 v6.4) vim-history: Very very old history of Vim (from v1.14 to v6.4) (github.com)
28. GitHub 为开源项目提供安全工具和建议 GitHub offering security tools, advice to Open Source Projects (github.blog)
35. 加载世界!4 小时内导入 OpenStreetMap Loading the World! OpenStreetMap Import In Under 4 Hours (www.crunchydata.com)
48. 如何在 NixOS 上使用 Common Lisp 和 C 语言库 How to use Common Lisp on NixOS with C libraries (honza.pokorny.ca)
51. 用合金阅读通用隔离级别定义文件 Reading the Generalized Isolation Level Definitions paper with Alloy (surfingcomplexity.blog)
54. 在 XDC 2024 上举行展示/KMS 会议:详细报告 Display/KMS Meeting at XDC 2024: Detailed Report (melissawen.github.io)
56. 使用 Go 和 PostgreSQL 进行测试:短暂数据库 Testing with Go and PostgreSQL: ephemeral DBs (michael.stapelberg.ch)
59. 通过建模和模拟获得统计特性 Obtaining statistical properties through modeling and simulation (jack-vanlightly.com)
62. 我们如何利用形式化验证防止权威 DNS 配置中的冲突 How we prevent conflicts in authoritative DNS configuration using formal verification (blog.cloudflare.com)
65. 隐藏在 CPython 中无法触及的 XKCD 复活节彩蛋 An Unreachable Hidden XKCD Easter Egg inside CPython (blog.codingconfessions.com)
71. BBC 导航栏组件如何根据外部显示器的不同而损坏 How a BBC navigation bar component broke depending on which external monitor it was on (www.joshtumath.uk)
80. 在 Rust 中构建自己的 SQLite,第 3 部分:SQL 解析 101 Build your own SQLite in Rust, Part 3: SQL parsing 101 (blog.sylver.dev)
83. WebAssembly 中的一次小探险 @ Things Of Interest A small adventure in WebAssembly @ Things Of Interest (qntm.org)
86. 优化冒险:使用(或不使用)Rayon 使并行 Rust 工作负载快 10 倍 Optimization adventures: making a parallel Rust workload 10x faster with (or without) Rayon (gendignoux.com)
87. 加强 FreeBSD:通过 Synacktiv 的代码审计解决漏洞问题 Strengthening FreeBSD: Addressing Vulnerabilities Through Synacktiv’s Code Audit (freebsdfoundation.org)
88. 在没有构建系统的情况下导入前端 Javascript 库 Importing a frontend Javascript library without a build system (jvns.ca)
89. 为什么 Windows 95 设置要使用三个操作系统? Why did Windows 95 setup use three operating systems? (devblogs.microsoft.com)
94. httpd.rocks - 在 OpenBSD 上使用 httpd 设置支持 HTTPS 的网络服务器 httpd.rocks - Setup an HTTPS-enabled web-server with httpd on OpenBSD (httpd.rocks)
100. 我被禁止使用 hCaptcha 无障碍账户,因为我不是盲人 I was banned from the hCaptcha accessibility account for not being blind (michaels.world)
111. 镜像由 LLM 支持的示例编程语言 Mirror: An LLM-powered programming-by-example programming language (austinhenley.com)
113. 超级加密[有限访问模型中无法破解的超级加密] Hyper-encryption [Provably unbreakable hyper-encryption in the limited access model] (en.wikipedia.org)
115. CPython 的垃圾回收器及其对应用程序性能的影响 CPython''s Garbage Collector and its Impact on Application Performance (blog.codingconfessions.com)
122. 将一些 Commodore 64 实用程序一分为二,既好玩又赚钱 One-parting some Commodore 64 utilities for fun and profit (oldvcr.blogspot.com)
123. shebanger:将 shell 脚本转换为一系列 Shebang 行 shebanger: Convert a shell script into a series of shebang lines (github.com)
137. 单子伤害了我的头----但现在不会了(2009 年) The Monads Hurt My Head --- But Not Anymore (2009) (golem.ph.utexas.edu)
139. 探索 TypeScript 中的效果:简化异步和错误处理 Exploring Effect in TypeScript: Simplifying Async and Error Handling (www.tweag.io)
141. 华为开发出 72TB SSD 磁带混合存储设备 Huawei develops 72TB SSD-tape hybrid storage device (www.tomshardware.com)
142. 为数以亿计的 C 行加装空间安全功能 Retrofitting spatial safety to hundreds of millions of lines of C (security.googleblog.com)
143. 计算机语言 Basic 的共同创造者托马斯-库尔茨逝世,享年 96 岁 Thomas Kurtz, Co-Creator of Computer Language Basic, Dies at 96 (archive.is)
149. 除了单页应用程序,您无法构建交互式网络应用程序...以及其他神话 You Can''t Build Interactive Web Apps Except as Single Page Applications... And Other Myths (htmx.org)
159. 亚马逊 S3 现在支持每个 AWS 账户最多 100 万个存储桶 Amazon S3 now supports up to 1 million buckets per AWS account (aws.amazon.com)
160. 我一直在开发一个 C 语言的借款检查器...(还能静态地确保free调用等的发生) I''ve been working on a borrow checker for C... (also statically makes sure free calls happen etc.) (gist.github.com)
166. 如何呈现解决计算机图形问题的十大思路 How to render it. Ten ideas to solve Computer Graphics problems (c0de517e.blogspot.com)
167. AWS Lambda 10 周年:罕见地看一看启动它的文档 AWS Lambda turns 10: A rare look at the doc that started it (allthingsdistributed.com)
175. 在 Rails 应用程序中实施 Hotwire 和 Turbo 的终极指南 The Ultimate Guide to implementing Hotwire and Turbo in a Rails application (blog.cloud66.com)
179. 数据几何:缺失的度量张量和斯坦因分数[第二部分] The geometry of data: the missing metric tensor and the Stein score [Part II] (blog.christianperone.com)
181. Python 规模下的膨胀:细粒度项目间依赖性分析 Bloat beneath Python’s Scales: A Fine-Grained Inter-Project Dependency Analysis (dl.acm.org)
185. 实现容器运行时 第 1 部分:在 Linux 上生成进程 Implementing a Container Runtime Part 1: Spawning Processes on Linux (maelstrom-software.com)
188. watermark-anything:"用本地化信息为任何事物加水印 "论文的正式实现 watermark-anything: Official implementation of the paper "Watermark Anything with Localized Messages" (github.com)
192. GPU 上的机器学习 - 案例研究:开放式图像去噪 Machine Learning on the GPU - Case Study: Open Image Denoise (wallisc.github.io)
196. Oils 0.23.0 - 编写 YSH 代码、用户反馈和 Bug 赏金 Oils 0.23.0 - Writing YSH Code, User Feedback, and Bug Bounty (www.oilshell.org)
200. 没有新闻就是好消息:利用人工智能自动跳过追赶式广播中的新闻 - djhworld No News is Good News: Using AI to auto skip the news on catch-up radio - djhworld (djharper.dev)
201. 无需 GPS:我们的应用程序现在可以定位地铁列车 No GPS required: our app can now locate underground trains (blog.transitapp.com)
204. Rust 基金会发布关于 C/Rust 互操作性的问题声明 Rust Foundation Releases Problem Statement on C/Rust Interoperability (foundation.rust-lang.org)
210. Dijkstra 的泛化集结号:递归程序的出现,20 世纪 50 年代末 - 60 年代初 Dijkstra’s Rallying Cry for Generalization: The Advent of the Recursive Procedure, late 1950s — early 1960s (dijkstrascry.com)
212. 滥用 Ubuntu 24.04 功能升级 root 权限 Abusing Ubuntu 24.04 features for root privilege escalation (snyk.io)
213. 如何调试大型分布式系统对立面 How to debug large, distributed systems: Antithesis (newsletter.pragmaticengineer.com)
214. Qwen2.5-Coder-32B 是一款能在我的 Mac 上良好运行的 LLM。 Qwen2.5-Coder-32B is an LLM that can code well that runs on my Mac (simonwillison.net)
219. Hyperlight - 在虚拟机中运行功能 Hyperlight - Running functions in virtual machines (opensource.microsoft.com)
220. 特勤局称您同意被追踪位置数据 Secret Service Says You Agreed To Be Tracked With Location Data (www.404media.co)
221. 如果取消 DST,PostgreSQL 在未来设置的 "带有时区的时间戳 "可能会默默地变得不正确 PostgreSQL "timestamp with time zone"s set in the future may become silently incorrect if DST abolished (lobste.rs)
225. 安全工程--构建可靠的分布式系统指南 Security Engineering - A Guide to Building Dependable Distributed Systems (www.cl.cam.ac.uk)
226. 重塑 Fedora Linux 安装程序:Anaconda 的新 "Web UI Reimagining the Fedora Linux installer: Anaconda''s new "Web UI" (fedoramagazine.org)
228. 第 3 版 Ross Anderson 的《安全工程》一书现在可免费下载 3rd edition of Ross Anderson’s Security Engineering book now freely available for download (www.lightbluetouchpaper.org)
229. 为从开发到生产的有效环境键入 ENV Vars Typed ENV Vars for Valid Environments from Dev to Production (runme.dev)
243. 老机器的灵魂重温永恒的冯-诺依曼体系结构 The Soul of an Old Machine: Revisiting the Timeless von Neumann Architecture (ankush.dev)
249. VMware Fusion 和 Workstation 现在对所有用户免费 VMware Fusion and Workstation now free for all users (blogs.vmware.com)
251. 使用 AWS 上的 Actions Runner Controller (ARC) 自托管 GitHub Actions 运行程序 Self-host GitHub Actions runners with Actions Runner Controller (ARC) on AWS (www.warpbuild.com)
252. 巴士号码 - 我的同事让我不要写的 github 插件 Bus Number - The github plugin my coworkers asked me not to write (www.scannedinavian.com)
253. 在 Next.js 应用程序路由器中管理高级搜索参数过滤 Managing Advanced Search Param Filtering in the Next.js App Router (aurorascharff.no)
254. 分析 Caffeine 代码库:高性能缓存库 Analyzing the codebase of Caffeine: a high performance caching library (adriacabeza.github.io)
265. Talkback:人工智能驱动的信息安全资源聚合器提高生产力 Talkback: AI Powered Infosec Resource Aggregator to Boost Productivity (talkback.sh)
276. 使用位置 popcount 绘制字节直方图(GF2P8AFFINEQB 版) Histogramming bytes with positional popcount (GF2P8AFFINEQB edition) (bitmath.blogspot.com)
278. 设计以 POSIX Shell 为目标的自编译 C 语言反编译器 The Design of a Self-Compiling C Transpiler Targeting POSIX Shell (dl.acm.org)
282. kmx.io 的新网站,完全由面向图的编程语言 KC3 编写 New website for kmx.io, entirely written in KC3 a graph oriented programming language (www.kmx.io)
285. 自制 GPT JS - Karpathy 的 minGPT 的最小 TensorFlow.js 重新实现 Homemade GPT JS - A minimal TensorFlow.js re-implementation of Karpathy''s minGPT (github.com)
289. Lambda Calculus 0 的意义: Abstration、Reduction、Substitution? Making Sense of Lambda Calculus 0: Abstration, Reduction, Substitution? (aartaka.me)
292. 利用 Datasette、Observable 和 MapLibre GL 可视化地方选举结果 Visualizing local election results with Datasette, Observable and MapLibre GL (simonwillison.net)
294. 迄今为止,我在管理本地法律硕士方面所学到的一切 Everything I''ve learned so far about running local LLMs (nullprogram.com)