1 bài viết

Bài viết về #tla-plus

Tôi đọc những điều mới về AI tận nguồn, rồi giải thích bằng chuyện đời thường.

pstack: cách Lauren Tan làm cho agent đáng tin

pstack, bộ skill của Lauren Tan (@poteto) cho Cursor và Grok Bot: tin được một agent rồi mới nhân lên, sửa lỗi tận gốc, và coi kiểm chứng là hạ tầng, kể cả bằng mô hình TLA+.

3 tháng 11, 2026 9 phút đọc #grok-bot#agents#verification