[{"data":1,"prerenderedAt":-1},["ShallowReactive",2],{"tag-formal-methods":3},{"tag":4,"articles":10},{"id":5,"name":6,"slug":7,"article_count":8,"description_zh":9,"description_en":9},"2ecdcdfd-eae9-40ce-b7b0-66b91a38a8a2","formal methods","formal-methods",0,null,[11],{"id":12,"slug":13,"title":14,"summary":15,"category":16,"image_url":17,"cover_image":17,"language":18,"created_at":19},"5aef1c57-961f-49f7-8277-f83f7336799a","llmbda-calculus-agent-safety-rules-en","LLMbda calculus gives agents safety rules","A formal calculus for AI agents models conversations and enforces information-flow rules for safer LLM-based programming.","research","https:\u002F\u002Fxxdpdyhzhpamafnrdkyq.supabase.co\u002Fstorage\u002Fv1\u002Fobject\u002Fpublic\u002Fcovers\u002Finline-1778825459914-obkf.png","en","2026-05-15T06:10:36.242145+00:00"]