dsl

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

MetaKernelBench introduces a benchmark measuring whether experience distilled by GPU kernel optimization agents in one DSL (CuTeDSL) transfers to another (TIRx) on the same problem, finding mixed results with lift ranging from -19% to +29% across six models.

This article introduces a small JavaScript/TypeScript DSL inspired by Emacs' rx macro that lets developers write regular expressions as readable trees of named forms instead of opaque strings. It explains the internals (atoms, seqs, alts, quantifiers) and provides a cheat sheet, side-by-side examples, and a gist with the full source.

AttnFuse introduces a composable DSL for compiling custom attention patterns, including RoPE, to fused GPU kernels, achieving speedups over existing methods like PyTorch's flex_attention.

The Hugging Face Kernels project now supports Helion, a high-level DSL for writing performant ML kernels, enabling users to build, autotune, and ship kernels seamlessly.

An experiment to elide implementation details from code in Emacs using a pipeline with OhmJS and RWR, aiming to improve code readability by focusing on structure.

This article explores implementing the 'tagless final' pattern in Rust with GADT-style enums, showing how the compiler can erase abstractions for zero-cost performance.

The article explores the advantages of DSL-able languages like Kotlin, using a backend web framework sketch called 'kibble' as an example, and contrasts it with annotation-based frameworks like C# ASP.NET MVC to highlight benefits in code readability and design.

Axon is a domain-specific language for shape-safe and framework-agnostic LLM architectures, enabling write-once, run everywhere with benchmarks showing significant speedups over existing frameworks.

This paper introduces Brevis, a lossless tensor compression method that formulates compression as program synthesis using a typed DSL. It achieves 33.93% storage reduction on public checkpoints and outperforms general-purpose and tensor-specific compressors.

A DSL based on Google Zanzibar's datalog language for Lean4 to represent and evaluate knowledge bases, manageable under git and without heavy external dependencies.

Chat2Scenic is an iterative RAG-based framework that generates executable scenario scripts in Domain Specific Language from regulatory descriptions for autonomous driving testing, achieving 76.42% compilation success rate and outperforming existing methods.

Claude Fable used the pyptx DSL to write a FlashAttention forward kernel for NVIDIA B200 that achieves near-parity performance with the hand-tuned CUTLASS kernel, demonstrating the potential for AI agents in compiler and DSL design.

This paper studies adversarial robustness in programming-by-example systems, where an adversary corrupts input-output examples to mislead the synthesizer. It introduces version-space partition aggregation (VPA) as a defense and evaluates it across multiple benchmarks, finding that low-margin tasks are vulnerable and VPA helps only when partition vote margins are preserved.

The lightning talks at Gleam Gathering 2026 covered OpenTelemetry instrumentation, Luster HTML vs SPA, a receipt printer DSL, a humorous build process for a native backend, and Minecraft data generation, showcasing practical tools and experimental projects in the Gleam ecosystem.

Markdy is an open-source animation DSL engine that enables creating complex animations with a simple text-based language, similar to Mermaid diagrams but for motion. It features zero dependencies, web-native rendering via the Web Animations API, and is designed to be AI-agent friendly.

This blog explores using LLM-guided autotuning to accelerate kernel configuration search in PyTorch's Helion DSL, replacing the slower Likelihood-Free Bayesian Optimization approach.

The article explores how new domain-specific languages (DSLs) can remain relevant in the age of LLMs by emphasizing strong documentation, interactive landing pages, and robust tooling such as language servers and diagnostics, using the author's projects Web Pipe and Datafarm as examples.

The PyTorch Foundation project Helion is hosting a Helion DSL Tutorial at PLDI 2026 in Denver. It's an interactive workshop for compiler researchers, kernel authors, and ML systems engineers to write, autotune, and run Helion kernels.

A tweet showcasing a CuTe DSL kernel sample that uses layouts to express transposition, part of the FlashAttention-4 kernel.