סוכן AI
למה מודלים חכמים לא יודעים להסביר
מודלים חכמים מדברים בשפה מורכבת, ומודלים שמסבירים היטב חלשים בהיסק. הפתרון: לחלק ביניהם. שיטה מעשית להפרדת מודל תקשורת (ראשי) ומודל היסק (תת-סוכן) ב-Claude Code, ולמה המבנה הזה עובד.
abloq — בלוג שסוכן מפעיל, האימות ננעל בידי מכונה
אם תפקיד בלוג בידי סוכן, מאמרים יֵצְאוּ. הבעיה היא שאי אפשר לסמוך עליהם — הוא מזייף מקורות, מעלה את ה‑lastmod של מאמר שכלל לא תיקן, ונוגע בקבצים שלא ביקשת. אם אדם יצטרך לבדוק הכול, אין טעם להפקיד את העבודה. התשובה של abloq היא חלוקת עבודה: הייצור הסתברותי, האימות דטרמיניסטי. מה שהאדם כותב הוא דף אחד של מפרט insight (insight.yaml) בלבד, את הכתיבה·התרגום·הרענון·חיזוק הראיות הסוכן מבצע ב‑Quest, והאיכות מובטחת על ידי gate דטרמיניסטי שנגזר מדף אחד של blog.yaml. PASS נעול הוא בלתי הפיך — הסוכן עשוי להיות חד‑פעמי, אך ההתקדמות מצטברת.
reins — להשאיר רק את הדומיין מ‑Quest CLI, ולהפוך את ה‑ratchet ל‑framework
how-make-quest לימד איך לבנות Quest CLI במו ידיך. אבל אם תבנה CLI שני, תכתוב מחדש את אותו ratchet, אותם scan/next/submit, אותה אגרגציה. reins מחלץ את אותו אינווריאנט ל‑framework — את ה‑ratchet, שלד הפקודות, האגרגציה וה‑export reins מספק, ואתה מממש רק את ה‑gate של הדומיין (4 מתודות של gate.Definition). ה‑gate הוא קטלוג של חוקי הגנה מפני cheese, ו‑toulmin defeat graph מחזיר לסוכן מדריך פיצוח של 'למה הפסדת ומה לשנות כדי לנצח'.
הכלי שנועד לתת לנו מושכות — לא הכיל מושכות בעצמו: גבול הרתמה ו-Reins
"Reins Engineering — זה בסך הכל הנדסת רתמה, לא?" השניים אינם ניגודים — הם חלקים שונים של אותה מיתקנה. אבל חלקים שונים. אפילו סוכן הקוד הטוב בעולם לא הרכיב מושכות על הקוד שלו עצמו. כי Reins אינו משהו שיש לך — הוא משהו שאתה מפעיל.
איך לבנות Quest CLI — לבנות בעצמך כלי שמכריע על השלמה במכונה
ה‑AI אומר 'סיימתי'. במציאות זה לא הסתיים. המאמר הזה הוא איך לבנות בעצמך את הכלי שפותר את הבעיה — Quest CLI. מהעיקרון (למה) ועד שלד פקודות cobra (איך), המאמר הזה לבדו מאפשר לסוכן לבנות Quest CLI ב‑Go. huma היא הדוגמה המעובדת.
מי מגדיר את 'הושלם' — הבעיה שמשחקי הווידאו פתרו 40 שנה לפניכם
ברגע שמגדירים אישור פינוי דייר כחמש תמונות ממיקומים מוגדרים, זה הופך לקווסט. להגדיר את 'הושלם' כתנאים שניתן לאמת אותם מכנית — לא כטענה של הגורם המבצע — זו הבעיה שמשחקי הווידאו פתרו 40 שנה לפניכם, והדרך הנכונה לתת לסוכן AI לעשות עבודה כהלכה.
filefunc × Hono — קוד שסוכן קורא בבת אחת: מ-60 שורות ל-18
ריפקטרינג של Hono — פריימוורק מוכח עם 23k כוכבים — באמצעות filefunc. כל 4419 הטסטים עברו. ואז מדדנו: כמות הקוד שסוכן קורא כשהוא פותח מושג אחד ירדה מחציון 60 שורות ל-18 — ירידה של 71%. לא מספר הקבצים הוא העיקר — אלא אורך הקריאה.
Reins Engineering — בינה מלאכותית עם מושכות
Harness engineering הוא גדר. הוא מונע מהסוכן לצאת החוצה, אבל לא מבטיח שיגיע ליעד. Reins Engineering הוא המושכות — כוון עם חוזים דטרמיניסטיים, נעל עם רצ'טים, הפרד בין החלטות ליישום.
Ratchet Pattern — איך לגרום לסוכן להגיע עד הסוף
נתתי לסוכן AI לכתוב טסטים ל-527 פונקציות — הוא עצר ב-40 והכריז 'סיימתי'. Ratchet Pattern כופה את הכרעת ההשלמה על verifier מכני וגורם לסוכן להגיע באמת עד הסוף.
אילוצים הם חוזים
ללא הבטחות — כאוס. הבטחות עודפות — דיכוי. אילוץ רציונלי מוצא את היחס הזהב. עקרונות שלטון החוק חלים באותה מידה על קוד ועל ידע.
Feature Chain — מעקב אחרי כל ה-full-stack עם operationId אחד
אילו קבצים צריך לגעת בהם כדי לשנות פיצ'ר אחד? Feature Chain מקבל operationId אחד ומפיק אוטומטית את כל ההיקף — מפרט API, סכמת DB, מדיניות הרשאות, תרשים מצבים, מימושי פונקציות, תרחישי בדיקה, ופרונט-אנד.
whyso — מה ש-git blame לא מראה
git blame מראה מי, מתי ומה שונה. whyso מראה למה שונה. כלי שמחלץ אוטומטית היסטוריית שינויים לפי קבצים מנתוני סשן של Claude Code.