טכנולוגיה

קוד Ratchet שמנצל את IFEval לטובתו

קוד Ratchet שמנצל את IFEval לטובתו

הטיית החנפנות של LLM היא לא באג — היא נכס. כשמשלבים את יכולת מילוי ההוראות שנמדדת ב-IFEval עם משוב דטרמיניסטי, גם מודל מקומי של 4.5B מייצר קוד מדויק בלולאת התכנסות.

yongol — השדרה של SaaS מקודד בינה מלאכותית

yongol — השדרה של SaaS מקודד בינה מלאכותית

Vibe coding קורס ב-200 endpoints כי AI לא יכול להבחין בין החלטות לפרטי מימוש. yongol מעביר את עבודת ה-AI מקוד ל-10 מפרטים הצהרתיים ואוכף עקביות בין שכבות לפני הקומפילציה.

Ratchet Pattern — איך לגרום לסוכן להגיע עד הסוף

Ratchet Pattern — איך לגרום לסוכן להגיע עד הסוף

נתתי לסוכן AI לכתוב טסטים ל-527 פונקציות — הוא עצר ב-40 והכריז 'סיימתי'. Ratchet Pattern כופה את הכרעת ההשלמה על verifier מכני וגורם לסוכן להגיע באמת עד הסוף.

tsma — קו ההגנה נגד רגרסיות בקוד ישן

tsma — קו ההגנה נגד רגרסיות בקוד ישן

אינדוקס של כל הפונקציות, זיהוי קיום טסטים, מדידת coverage ומשוב ל-LLM agent — כלי CLI אחד. בפקודה אחת בונים קו הגנה נגד רגרסיות בקוד ישן.

toulmin — מנוע כללים שמחשב חוזים

toulmin — מנוע כללים שמחשב חוזים

מנועי כללים התייחסו למושא האימות כעובדה (fact) במשך 60 שנה. toulmin מתייחס אליו כטענה (claim). מימוש מודל הטיעון של טולמין כמנוע כללים ב-Go.

filefunc — קובץ אחד, מושג אחד

filefunc — קובץ אחד, מושג אחד

יחידת הניווט של סוכן קוד AI היא הקובץ. מוסכמת מבנה קוד ב-Go וכלי CLI שמאכפים מושג אחד לקובץ אחד.

Feature Chain — מעקב אחרי כל ה-full-stack עם operationId אחד

Feature Chain — מעקב אחרי כל ה-full-stack עם operationId אחד

אילו קבצים צריך לגעת בהם כדי לשנות פיצ'ר אחד? Feature Chain מקבל operationId אחד ומפיק אוטומטית את כל ההיקף — מפרט API, סכמת DB, מדיניות הרשאות, תרשים מצבים, מימושי פונקציות, תרחישי בדיקה, ופרונט-אנד.

whyso — מה ש-git blame לא מראה

whyso — מה ש-git blame לא מראה

git blame מראה מי, מתי ומה שונה. whyso מראה למה שונה. כלי שמחלץ אוטומטית היסטוריית שינויים לפי קבצים מנתוני סשן של Claude Code.

הפתרון לשינוי האקלים נמצא בחלל? כן, באמת.

הפתרון לשינוי האקלים נמצא בחלל? כן, באמת.

התקנת סוכך שמש בין השמש לכדור הארץ כדי להחזיר את האקלים לאחור. פשוט מדלגים על הציפוי במפעל מראות דייסון, הוא טס בלי דלק, ואם מסירים אותו הכול חוזר לקדמותו. החשבון מסתדר.

SSaC — Service Sequences as Code

SSaC — Service Sequences as Code

קונספט בלתי תלוי שפה המפרק את הזרימה העסקית בתוך פונקציות שירות לבלוקים הצהרתיים (sequences). הצהר רק את ה-what באמצעות 10 טיפוסים קבועים, וה-codegen ימלא את ה-how.

חשיבת AI מעקרונות ראשונים: שיטה בת 5 שלבים עם מקרי בוחן

חשיבת AI מעקרונות ראשונים: שיטה בת 5 שלבים עם מקרי בוחן

לא מבקשים תשובות מ-AI — משתמשים בו כלוח תהודה לאימות, פירוק ובנייה מחדש של הנחות. שיטה בת 5 שלבים עם שני מקרי בוחן מהמציאות.

לבשל עם חום שהולך לאיבוד? הפוטנציאל והמציאות של מכשירי בישול עם משאבת חום לשחזור חום פסולת

לבשל עם חום שהולך לאיבוד? הפוטנציאל והמציאות של מכשירי בישול עם משאבת חום לשחזור חום פסולת

טכנולוגיית משאבת חום בטמפרטורה גבוהה לשחזור חום פסולת שמצמצמת באופן מהפכני את בזבוז האנרגיה במכשירי בישול קיימים – עד היכן הגענו וכיצד ניתן להשלים את הטכנולוגיה?

לבנות סכר מחול מדברי, ואחרי 30 שנה הסכר הופך ליער

לבנות סכר מחול מדברי, ואחרי 30 שנה הסכר הופך ליער

טכנולוגיית Oasis Pellet הופכת חול מדברי חסר ערך למאגר מים באמצעות דבק ביולוגי, ובתום חייו — לקרקע פורייה.

הסוללה שלא נדלקת: איך להפוך חשמל מבוזבז לדשן וחימום

הסוללה שלא נדלקת: איך להפוך חשמל מבוזבז לדשן וחימום

אחסון חשמל מבוזבז מקיצוץ ייצור סולארי בסוללת אדיסון חסינת שריפה, וייצור דשן ותמיסת אוריאה מהמימן — מודל שילוב אנרגיה-חקלאות לעצמאות מלאה.