This is an automated email from the ASF dual-hosted git repository.
tqchen pushed a commit to branch main
in repository https://gitbox.apache.org/repos/asf/tvm-tirx.git
The following commit(s) were added to refs/heads/main by this push:
new b1a06d676 [DOCS] Focus README emphasis on key phrases (#183)
b1a06d676 is described below
commit b1a06d67607b070c78464513e1a0124fe510fea4
Author: Bohan Hou <[email protected]>
AuthorDate: Tue Nov 3 20:40:55 2026 -0500
[DOCS] Focus README emphasis on key phrases (#183)
Reduce bold formatting in the README introduction to emphasize three key
phrases: the vision for agent-developed kernels, the question about
another compiler layer, and the minimal, stable, and extensible DSL and
compiler foundation.
---
README.md | 8 ++++----
1 file changed, 4 insertions(+), 4 deletions(-)
diff --git a/README.md b/README.md
index 154ef61ad..222d494bb 100644
--- a/README.md
+++ b/README.md
@@ -19,13 +19,13 @@
📚 [Documentation](https://tvm.apache.org/tirx/) | 🚀 [Quick
Start](https://tvm.apache.org/tirx/get_started/quick_start.html)
-**We believe that, in the future, all GPU kernels will be developed,
optimized, and verified by AI agents.**
+We believe that, in the future, **all GPU kernels will be developed,
optimized, and verified by AI agents.**
-You might wonder: **If my Claude or Codex can just spit out CUDA, PTX, or even
SASS directly, why bother with another compiler layer?** We've been asking
ourselves the same question.
+You might wonder: If my Claude or Codex can just spit out CUDA, PTX, or even
SASS directly, **why bother with another compiler layer?** We've been asking
ourselves the same question.
-Our answer is **yes, but perhaps not in the form we know today**. Even when
agents generate code directly, analysis and independent verification still need
structured program representations and precisely defined semantics. A minimal,
extensible compiler foundation provides these shared building blocks while
leaving agents free to explore their own optimization strategies.
+Our answer is yes, but perhaps not in the form we know today. Even when agents
generate code directly, analysis and independent verification still need
structured program representations and precisely defined semantics. A minimal,
extensible compiler foundation provides these shared building blocks while
leaving agents free to explore their own optimization strategies.
-**TIRx is our attempt to build a minimal, stable, and extensible DSL and
compiler foundation for that future**, enabling agents to write and optimize
kernels, develop their own analyses, and eventually verify correctness.
+TIRx is our attempt to build a **minimal, stable, and extensible DSL and
compiler foundation** for that future, enabling agents to write and optimize
kernels, develop their own analyses, and eventually verify correctness.
## Features
