Unverified50% confidenceFactExact time

Bend's design goal is to let developers write ordinary high-level code, with the runtime automatically discovering parallelism and mapping it to GPU execution, without the need to manually rewrite code in CUDA.

1

Sources

50%

Confidence

Long-term

Relevance

9/17/2026

First Seen

Sources

Bend Programming Language: Using Formal Proofs to Catch AI Bugs and Running Natively on GPUs

Related Entities

Bendproduct CUDAtechnology GPUtechnology

Related Claims

UnverifiedCUDA Tile完全基于C++实现，支持模板元编程，Tile的尺寸和类型可以在编译期确定，实现零开销抽象71% similar UnverifiedCUDA Tile允许开发者在现有的大型C++ GPU代码库中直接使用，无需脱离C++生态系统71% similar Unverified通过CUDA Tile，开发者可以更自然地表达矩阵分块乘法（Tiled GEMM），而不必深入处理wmma或mma.sync等底层PTX指令70% similar

Cite This Claim

Stable URI

https://kongchang.com/claim/930410

API

curl https://kongchang.com/api/v1/knowledge/claims/930410

MCP

get_claim(id=930410)