I just saw this little Bobby app:
https://apps.gnome.org/Bobby/
יש שאלה נחמדה במתמטיקה שהולכת ככה: יש לכם שק עם כדורים ועל כל כדור כתוב מספר חיובי שלם. אתם מוציאים כדור מהשק ומכניסים במקומו כמה כדורים שאתם רוצים, אבל כולם צריכים להיות עם מספרים קטנים מזה שהוצאתם. ואז חוזרים על הפעולה. צריך להוכיח שמתישהו השק יתרוקן.
אני כבר לא זוכר איך פתרתי את זה (לפני כמה עשורים) רק שזה לא היה קל כמו שנראה במבט ראשון.
נזכרתי בשאלה בזכות היוטיוב של ג'ייד על משפט גודשטיין.
@paul_oyster @nlb עבור הדברים שאני מחפש זה מספק את הסחורה. לא יודע מהו האקסטרה מייל שגוגל מספקת
@nlb אני כבר שנים רבות מבצע חיפוש בדאקדאקגו ותמיד מוצא מה שאני מחפש. ייתכן ויש חלופות טובות יותר, אבל מה שבטוח הוא שאני לא מתגעגע לגוגל ולא ממש מבין מדוע אנשים עוד מחפשים שם
@amitaiz תתחדש!
@amitaiz געגועים לדאבל דראגון וגולדן אקס
@noam תודה
@noam הרצתי אולמה על מקבוק אייר מ-2014 וזה עבד אבל כמובן מאד לאט. זה היה רק ניסוי על חומרה שהיתה לי בבית. שואל את עצמי איזה מפרט צריך בשביל ביצועים סבירים
@noam אפשר לשאול איזה LLM ואיזה חומרה בחרת לטובת הנושא?
@uda Good luck
@eris2cats
Please verify your age:
(_) /bin/zsh
(x) /bin/bash
An Israeli mathematician and FOSS enthusiast. A member of this instance since May 2019.