dsl

Meadows 是一种小型语言，用于编写可运行的存量-流量（stock-and-flow）图，支持系统动力学模拟。

MetaKernelBench 引入了一个基准，用于衡量 GPU kernel 优化智能体在一个 DSL（CuTeDSL）中提炼的经验能否迁移到另一个 DSL（TIRx）解决同一问题。结果显示六款模型的提升幅度参差不齐，范围从 -19% 到 +29%。

本文介绍了一个受 Emacs 的 rx 宏启发的小型 JavaScript/TypeScript DSL，它让开发者以可读的、由命名形式构成的树状结构来编写正则表达式，而不是使用晦涩的字符串。文章讲解了其内部实现（原子、序列、备选、量词），并提供了速查表、对比示例以及包含完整源码的 Gist。

AttnFuse引入了一种可组合的DSL，用于将自定义注意力模式（包括RoPE）编译为融合GPU内核，相比现有方法如PyTorch的flex_attention实现了加速。

Hugging Face Kernels 项目现已支持 Helion，这是一个用于编写高性能机器学习内核的高级 DSL，使用户能够无缝地构建、自动调优和交付内核。

这个实验利用OhmJS和RWR的管道在Emacs中隐藏代码实现细节，通过专注于结构来提高代码可读性。

本文探讨了在Rust中使用GADT风格枚举实现'tagless final'模式，展示了编译器如何通过擦除抽象来实现零成本性能。

本文通过一个名为“kibble”的后端Web框架示例，探讨了Kotlin等DSL语言的优势，并与C# ASP.NET MVC等基于注解的框架进行对比，以突显其在代码可读性和设计方面的益处。

Axon是一种用于形状安全和框架无关的LLM架构的领域特定语言，实现了'一次编写，到处运行'的范式，基准测试显示其在现有框架上实现了显著的加速。

本文介绍 Brevis，一种无损张量压缩方法，它将压缩形式化为使用类型化 DSL 的程序合成。该方法在公开检查点上实现了 33.93% 的存储缩减，性能优于通用压缩器和张量专用压缩器。

一种基于 Google Zanzibar 的 datalog 语言开发的 Lean4 DSL，用于表示和评估知识库，可在 git 下管理，无需重型外部依赖。

Chat2Scenic是一种基于迭代RAG的框架，能够从法规描述中生成可执行的领域特定语言场景脚本，用于自动驾驶测试，实现了76.42%的编译成功率，优于现有方法。

Claude Fable 使用 pyptx DSL 为 NVIDIA B200 编写了一个 FlashAttention 前向内核，其性能与手动调优的 CUTLASS 内核接近，展示了 AI 代理在编译器和 DSL 设计中的潜力。

本文研究了编程示例系统中的对抗鲁棒性，其中攻击者通过破坏输入输出示例来误导合成器。它引入了版本空间分区聚合（VPA）作为防御方法，并在多个基准上进行了评估，发现低间隔任务容易受到攻击，且仅当分区投票间隔得以保留时VPA才有帮助。

Gleam Gathering 2026 的闪电演讲涵盖了开放遥测封装、Luster HTML 与 SPA 对比、收据打印机 DSL、本机后端的幽默构建过程以及 Minecraft 数据生成，展示了 Gleam 生态中的实用工具和实验性项目。

Markdy 是一个开源的动画 DSL 引擎，通过简单的文本语言即可创建复杂动画，类似于 Mermaid 图表但用于运动。它零依赖，通过 Web Animations API 实现 Web 原生渲染，并且设计为对 AI 代理友好。

本文探讨了使用LLM引导的自动调优来加速PyTorch的Helion DSL中的内核配置搜索，取代了较慢的Likelihood-Free Bayesian Optimization方法。

本文探讨了新的领域特定语言（DSL）如何通过强调强大的文档、交互式着陆页以及稳健的工具（如语言服务器和诊断）在LLM时代保持相关性，并以作者的项目Web Pipe和Datafarm为例。

PyTorch Foundation 项目 Helion 将在丹佛举办的 PLDI 2026 上开设 Helion DSL 教程。这是一个互动式工作坊，面向编译器研究人员、内核作者和机器学习系统工程师，参与者将编写、自动调优并运行真实的 Helion 内核。

一条推文展示了一个CuTe DSL内核示例，该示例使用布局来表达转置，是FlashAttention-4内核的一部分。