[{"data":1,"prerenderedAt":-1},["ShallowReactive",2],{"tag-tlc":3},{"tag":4,"articles":10},{"id":5,"name":6,"slug":7,"article_count":8,"description_zh":9,"description_en":9},"e4fbf0c3-07a2-492c-896d-65b0299e6279","TLC","tlc",0,null,[11],{"id":12,"slug":13,"title":14,"summary":15,"category":16,"image_url":17,"cover_image":17,"language":18,"created_at":19},"e55c36bf-9fd4-4a56-aee9-ae741b04e3a3","llms-natural-language-tla-plus-specs-zh","LLM 寫 TLA+ 還不夠準","30 個 LLM 的測試顯示，它們能產生像樣的 TLA+，但語意正確率仍很低，還不適合直接拿來寫正式規格。","research","https:\u002F\u002Fxxdpdyhzhpamafnrdkyq.supabase.co\u002Fstorage\u002Fv1\u002Fobject\u002Fpublic\u002Fcovers\u002Finline-1781191091008-d1es.png","zh","2026-06-11T15:17:33.459005+00:00"]