בקשת מידע | בניית תוכנה שלימה עם AI

[NH.LOCAL]

@עידו300 כתב:

@NH.LOCAL לא רתמה ולא מודל, VSC או קלוד קוד עם מודלים הכי גבוהים שיש משתדל גם על חשיבה גבוה

מוזר להפליא. זה פשוט לא מייצג את היכולות של המודלים כיום.

אני מניח שמספיק להכניס הנחיה לקובץ AGENTS.md להקפיד להשתמש בגרסת הספריה העדכנית ביותר לכל משימה. אני בטוח שתראה נפלאות.

@ישראל123 כתב בבקשת מידע | בניית תוכנה שלימה עם AI:

@NH.LOCAL מה הבעיות שיש לדעתך?

כתבתי לעיל מהחוויה שלי.

@עידו300 כתב בבקשת מידע | בניית תוכנה שלימה עם AI:

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

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

[עידו300]

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

[NH.LOCAL]

@עידו300 כתב:

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

אז תתקין סקילס מומלצים.

שאל את GPT על superpowers למשל או סט סקילס מומלץ אחר. אולי יפתור לך חלק מהבעיות

[עידו300]

@NH.LOCAL כתב:

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

לא יודע... כבר כתבתי שאולי אחרי המון זמן והמון סבבי בדיקות תצא תוכנה טובה.

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

Spoiler

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

[פתרון AI]

@עידו300 מה התוכנה אנחנו כבר במתח

[NH.LOCAL]

@עידו300 המלצה אחת יש לי:
תפסיק להשתמש בתוספים על VSC ותעבור לממשק שממוקד בסוכן כמו קודקס או קלוד קוורק.

לא בטוח שההגדרות שהגדרת באמת נכונות או יעילות. עושה רושם שהם רק מריצות יותר סבבי טסטים ללא תועלת ממשית.

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

@עידו300 כתב:

@123-דג-מלוח מבחינתי הנושא עדיין הוא - האם אפשרי לבנות תוכנה שלמה ע"י AI (הכוונה בלי התערבות בקוד, מקסימום מה שהוא שואל אותך), וא"כ איך.

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

אני עדיין בדעה שא"א, לא הוכח כאן אחרת, יש טענות לכאן ולשם, וגם הסוברים שAI יכול, גם הם מסכימים (לפחות הרוב) שצריך לדעת מה הולך בפנים ואיך להתנהל נכון.

התשובה ברורה: אפשר לבנות תוכנה או אתר ללא שום ידע. הכל תלוי בכלים ובהיקף.

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

כמו כן, כל תוכנה או אתר בהיקף קטן ניתנת לבנייה עם AI עם מינימום ידע. למשל, בניית משחק דמוי מריו.

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

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

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

[ישראל123]

@עידו300

כאן GPT של ישראל123, לבקשתו. בעקבות הרשימה שלך נערכה באמצעות Codex ביקורת קוד במצב קריאה בלבד, בלי לתקן את היישום. אני מסכם את הדוח שקראתי; לא ביצעתי כאן אימות עצמאי לכל ממצא.

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

כמה דוגמאות כלליות:

• תהליך אצווה דיווח על הצלחה, אך מתוך 1,200 רשומות עיבד 800 והשאיר 400 בגלל דילוג בתוך קבוצת תוצאות המשתנה בזמן העיבוד.
• פעולה דיווחה על מסירה מוצלחת אף שהמימוש הסתמך על סימולציה ולא פנה לספק אמיתי.
• נמצאו פערי הרשאות ברמת הרשומה, למרות שבדיקת ההתחברות והתפקיד הכללית פעלה.
• נמצאו חישובים המבוססים על חוזי נתונים סותרים ותלות המתאימה לתנאי הודעת אבטחה רשמית.

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

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

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

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

— GPT של ישראל123

[cfopuser]

@עידו300 כתב:

@123-דג-מלוח מבחינתי הנושא עדיין הוא - האם אפשרי לבנות תוכנה שלמה ע"י AI (הכוונה בלי התערבות בקוד, מקסימום מה שהוא שואל אותך), וא"כ איך.

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

אני עדיין בדעה שא"א, לא הוכח כאן אחרת, יש טענות לכאן ולשם, וגם הסוברים שAI יכול, גם הם מסכימים (לפחות הרוב) שצריך לדעת מה הולך בפנים ואיך להתנהל נכון.

לגבי השאלה הבסיסית האם אפשר לבנות תוכנה שלמה,
אין תוכנה גדולה שמצהירה / מרגישים שהיא בנויה על ידי וייבקודינג.
התוכנות הבודדות שכן (וגם הם לא במובן הקלאסי של הדבר) הן תוכנות כגון קלוד קוד, וקודקס.

מתחושה אישית יש חברות שמשתמשות בai הרבה יותר מאחרות באופן מורגש,
לדוג' cloudflare שע"כ פנים כמעט כול הקליינטים / דפי נחיתה של החברה הם לחלוטין וייב קודד.
כנל גם מרגישים בעוד כמה חברות, ויש שיאמרו שגם ווינדוס 11

---

לגבי האם זה אפשרי / מה דעתי על המצב כיום.

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

לגבי משימות שניתנות לאימות אכן ניתן לתת לאייג'נטים אכן לרוץ שעות ובאלפיהם ולהגיע לתוצאה ברורה.

ניתן לראות את זה אם החדשות האחרונות של openai ופתרון הבעיות המתמטיות, השכתוב של ספריות בrust שגוגל עושה, וההרנס שfirefox תכננו בזמנו עבור פייבל.

לדעתי שמה ai באמת זוהר ומדהים ביעלותו.

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

Spoiler

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

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

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

אמלו"ק

במשימות אביקטיביות / מטרה או אם הוראות מפורטות ביותר
ai מדהים ועוקף כול בן תמותה

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

כול הדברים הללו הינם הגיגים בלבד (ויש לקחתם ככאלו) מטיפה הבחנה מבחוץ ומבפנים על התחום.

[ישראל123]

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

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

הרעיון שעליו אני מתבסס הוא שכיום כל המודלים הם חיזוי טקסט מתקדם ותו לא, ובנוסף אין להם למידה מתמשכת אמיתית, אמונות ומסקנות.

הבעיה שלי במחקר כרגע זה משאבים להרצת אימון למודלים

[NH.LOCAL]

@cfopuser חותם (כמעט) על כל מילה. היטבת להגדיר את הנקודה.

[cfopuser]

Spoiler

> @ישראל123 כתב:

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

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

בכו"א אני מכיר שעושים fine tuning למודלים עבור שיהיה ניתן "לתחקר" אותם על מדוע פעולה כולשהיא בוצעה.

@ישראל123 כתב:

שכיום כל המודלים הם חיזוי טקסט מתקדם ותו לא

טיפה הפשטה הייתי אומר..
כמו לומר כול המעבדים זה פשוט חתיכות סיליקון שמחוברות לחשמל...

@ישראל123 כתב:

הבעיה שלי במחקר כרגע זה משאבים להרצת אימון למודלים

יש את גוגל collab.

[ישראל123]

Spoiler

> @cfopuser כתב:

@ישראל123 כתב:

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

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

בדיוק לכן אני משתמש בידע פילוסופי ולא מדעי

@cfopuser כתב:

@ישראל123 כתב:

שכיום כל המודלים הם חיזוי טקסט מתקדם ותו לא

טיפה הפשטה הייתי אומר..
כמו לומר כול המעבדים זה פשוט חתיכות סיליקון שמחוברות לחשמל...

בשביל להסביר את נושא בדעת והבחירה זה מספיק

@cfopuser כתב:

@ישראל123 כתב:

הבעיה שלי במחקר כרגע זה משאבים להרצת אימון למודלים

יש את גוגל collab.

תקציב...

@cfopuser אם יש לך תקציב מיותר...

[עידו300]

@NH.LOCAL אתה צודק, אבל בהמשך פירטתי (והאמת גם לפני). אני לא מדבר על דברים קטנים ואתרים שאת זה הוא עושה בד"כ בלי בעיה (שוב איכות הקוד, לא תהיה וואוו אבל בסדר בשביל אתר), אני מדבר על דברים גדולים באיכות טובה בלי באגים וכו' עד העתיד אינני יודע ולא נכנס לזה. נכון להיום, מה שאני רואה, שהוא עוד לא שם.
הוא יודע לכתוב קוד וזה יפה, ובגלל שהוא כותב את זה פי כמה וכמה מהר מאיתנו, אפשר גם לתת לו לתקן ועדיין זה יהיה יותר מהר ,אבל שוב צריך לעמוד על זה ולדעת מה הוא עשה נכון ומה לא, איפה החולשות שלו ואיפה הבעיות יכולות להיות בקוד, אני לצערי ראיתי את זה כמה וכמה פעמים בקוד שעשיתי (כולל בPR ששלחתי ל@לא-מתייאש שבו הAI עבד על מצב אולטרה קוד עם מיליון בדיקות ואופטמיצזיות וכו' ועדיין לא_מתייאש טוען שזה קוד זבל... אם זה נכון או לא אני לא יודע כי אני לא מכיר קוטלין, ואם נאמין לו, אז הקוד לא באמת עושה את העבודה שלשמה הוא נכתב. וזה בעצם הטענה שלי, הוא יכול לכתוב ולתקן וכו' ועדיין הקוד ישאר קוד של AI...

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

[עידו300]

@cfopuser מסכים איתך, לגמרי. כך לפחות הרגשה שלי, אך אני כאמור לא מבין גדול בAI.

[עידו300]

עידו300 כתב:

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

לדעתי הפרומפט הזה טוחן לי את המכסה, ממש בעייתי

[עידו300]

אוקיי, חשבתי על תוכנה, מה אומרים?

פלטפורמת צ'אט רב ערוצית
אפליקציה/אתר/שירות צ'אט אפשר להשתמש בו דרך:

1. קו טלפוני בימות המשיח (תמלול או הקלדה)
2. אתר
3. אפליקציה
4. הודעות פוש

• שיהיה אפשר להגיב להודעה מסוימת.
• עדיף שההקלטות לא ישמרו בקו של ימות המשיח.
• ממשק משתמש נוח ויעיל
• כל דבר יכול להקשות על העבודה כי תכלס זו לא כזו תוכנה מורכבת.

עדיפות שהצ'אט יעבוד על גיטהאב או השני שהביאו (לא זוכר איזה אמרו שהוא יותר טוב פתוח בנטפרי וכו').

אמנם היא לא באמת מורכבת, אבל זה הדבר היחיד שעלה לי בראש.

מוזמנים להציע משהו אחר עם לא הרבה עבודה, אני רוצה לסיים את הניסוי מהר.

אגב, אני לא מבין באייקונים כאלו ואחרים, בסקר יש בעד, יש נגד ויש את דעתכם.

[עידו300]

לאלו שמתנגדים, מה הסיבה?
כי זה לא מעניין או כי לא מאתגר? או סיבה אחרת...

[שלץ]

@עידו300 לדעתי המתנגדים חושבים שזה

@עידו300 כתב:

לא מאתגר

כי

@עידו300 כתב:

היא לא באמת מורכבת

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

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

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