Yuval Filmus

@skdh Are you suggesting that experiments are no longer important? The scientific method is all over? Didn’t expect a postmodernist stance on science from a (former) scientist…

he's entirely right of course. even if you think he is wrong, at the very least physicists should think about why everyone else agrees they've lost the plot.

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

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

@QuetzalThoughts A lot of Israelis feel the same…

I'm generally sympathetic to Israel but the issue of West Bank settlements is one I have yet to hear a good defense of. The more I hear and read about the warfare around the settlements, the more I agree with anti-Israel critics. I don't see any defense of it, to be blunt.

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

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

@kann_news @ItayBlumental @TaliMoreno_ רצח יהודה, או יחידה אחרת?

הירי לעבר המשפחה ביו"ש: בפיקוד מרכז שקלו להשעות את היחידה בשל "כשל ערכי". לפני חצי שנה, אותה יחידה הושעתה לאחר שירו מטווח קצר בשני חשודים בג'נין בזמן שהרימו ידיים | @ItayBlumental עם פרטים חדשים #מהדורתכאןחדשות עם @TaliMoreno_

@nitsanshafir @BiniAshcknasy יקבל מכתב הוקרה…

ארוע מזעזע ומפחיד. מקווה שמח"ש תפתח בחקירה נגד השוטר.

@BarakHer @aviadsanders הם לא ינטשו את המחנה הפרוגרסיבי, אלא פשוט יגיעו למסקנה ש״מגיע להם״, והדרך לטפל בבעיה היא השמדת מדינת ישראל.

הרצח המסתורי של סמנת׳ה וול, שבישר את הצונאמי האנטישמי: שבועיים לאחר טבח השבעה באוקטובר, בשעות הלילה, חזרה לביתה בדטרויט סמנת׳ה וול, נשיאת בית כנסת בעיר ופעילה חברתית ליברלית. היא נרצחה בדקירות מרובות של סכין, וגופתה נמצאה על המדרכה מחוץ לביתה, כששלוליות דם נמצאו בביתה ולכל אורך המסלול שעשתה בכוחותיה האחרונים החוצה. למרות הבולטות שלה בקהילה היהודית, למרות שרק ימים ספורים קודם לכן קרא אסמעיל הנייה ל-״יום זעם״ עולמי, ולמרות שדטרויט היא עיר עם ריכוז מוסלמי צפוף ותקריות אנטישמיות קודמות, המשטרה מיהרה מייד לשלול מניע אנטישמי. הרוצח לא נתפס עד היום, והנאשם היחיד בפרשה זוכה. לא נדע לעולם אם וול, שכל מי שהכיר אותה תיאר אותה כמלאך של מעשים טובים, נרצחה כי היא יהודיה. כך או כך, הרצח זעזע את הקהילות היהודיות במישיגן, שלא ידעו מה עוד מצפה להם בהמשך. בשנתיים וחצי האחרונות מישיגן הפכה למקום אלים, מסוכן ומפחיד עבור יהודים. ונדליזם והשחתות חוזרות של בתי כנסת ומבנים של הקהילה היהודית, בין השאר עם צלבי קרס ואיומים מפורשים. השחתה של בית עלמין יהודי. סטודנטים במספר אוניברסיטאות שנתקלו באלימות פיזית וקללות. סצינות מגרמניה של לפני המלחמה. לא כל המתקפות הללו מקורן בקהילה המוסלמית הגדולה והעוינת. חלק מהמקרים בוצעו על ידי ניאו-נאציים, וחלקם לא פוענחו עד היום. אבל למוסלמים תפקיד אקטיבי חשוב באנטישמיות הגואה במדינה, הן במקרים כמו ניסיון הפיגוע ההמוני בבית הכנסת שלשום והם ביצירת אווירה עוינת אנטי-ישראלית ואנטישמית בקמפוסים וברחובות. במישיגן יש בערך 120,000 יהודים, רובם בפרברים הצפוניים של דטרויט. כשהגעתי לראשונה למישיגן בשנת 2006, מנתה הקהילה המוסלמית כ- 1.2% מאוכלוסיית המדינה. כיום, עשרים שנה אחרי, אוכלוסיית המוסלמים במישיגן כבר מונה כ- 250,000 איש שהם בערך 2.6% מהתושבים - שיעורם הוכפל. בשנים הללו צברה הקהילה המוסלמית במישיגן כח פוליטי עצום: לשלוש עיירות במטרופולין דטרויט ראשי עיר מוסלמים. באחת מהן, Hamtramck, הוחלט לאחרונה לאסור על הנפת דגלי גאווה על מבני ציבור בעיר, כאשר חברי מועצת העיר, שכולם מוסלמים, הסבירו שהדגל עשוי ״לפגוע ברגשותיהם״. ההצלחה הפוליטית הגדולה ביותר היא שליחתה של ראשידה טלאיב, אמריקאית ממוצא ״פלסטיני״, לקונגרס האמריקאי בשנת 2018. מלבד מאבקה הגלוי נגד ישראל, דו״ח שיצא לאחרונה חושף רשת מסועפת של זיקות בין טלאיב לבין אנשים וארגונים המזוהים עם חמאס והחזית העממית (PFLP). לפי הממצאים, טלאיב העבירה כספים מתקציב הקמפיין שלה לחברת ייעוץ הקשורה לארגונים תומכי טרור, הופיעה בכנסים לצד מחבלים מורשעים וגייסה כספים בסיוע דמויות שנכלאו בעבר בשל פעילות בחמאס. את הכח הפוליטי שלהם מינפו המוסלמים של מישיגן באופן נבון. מישיגן היא מדינה מתנדנדת. הבחירות שם יכולות להיות מוכרעות, תיאורטית, על אלפי קולות ולהשפיע ממש על זהות הנשיא. מקהילה זו יצא בבחירות האחרונות קמפיין "Uncommitted" שהצהיר שהמצביעים אינם בכיס של הדמוקרטים אם יתמכו במלחמת ישראל בעזה. הלחץ שהפעיל הקמפיין דחף את ביידן ולאחר מכן את קאמלה האריס לבטא עמדות ניציות יותר כלפי ישראל ואף להטיל אמברגו נשק. בכך, שתי הקהילות המוסלמיות הגדולות והחשובות בארה״ב, זו של מישיגן וזו של מינסוטה, גררו את השיח בשמאל האמריקאי כולו להקצנה אנטי-ישראלית ואנטישמית. הביטוי הגרוטסקי ביותר של התהליך הוא הכותרות של התקשורת המסורתית אמש ש-״הלבינו״ את ניסיון הפיגוע של המחבל שדהר עם משאית נפץ לבית הכנסת Temple Israel: הן קבעו שהמחבל עשה זאת כי שני אחיו נהרגו מאש צה״ל בלבנון. אותם כלי תקשורת ״שכחו״ לציין שאחיו היו מחבלי חיזבאללה, חלק מחוליית שיגור רקטות, והוא עצמו כבר היה על הרדאר של הרשויות בארה״ב כחשוד בקשרי פעילות עם חיזבאללה. בחזרה לסמנת׳ה וול. כמו רוב הקהילה היהודית במישיגן, גם וול תמכה במפלגה הדמוקרטית. לפני שנרצחה, היתה ממקימי קבוצות שלום יהודיות-מוסלמיות במישיגן. היא גם היתה חברה אישית של ראשידה טלאיב (שאף ספדה לה). במקביל היא היתה ציונית ובשבועיים שעברו מהשבעה באוקטובר ועד הירצחה, התעקשה להציג את הצד הישראלי מול סביבה שכבר הפנתה גב. היא לא האריכה ימים מספיק כדי להגיע לנקודה הקשה שבה נמצאים היום רבים מהיהודים במישיגן בפרט ובארה״ב בכלל: אנטישמיות אלימה מחד, ובגידת הסביבה הקרובה הליברלית, החברים קוראי הניו יורק טיימס ומצביעי המפלגה הדמוקרטית, מאידך. הפיגועים הללו שמכוונים נגד יהודים באשר הם, והפניית העורף של התקשורת הליברלית, יאלצו אותם לבחור, במוקדם או במאוחר, אם לנטוש את המחנה הפרוגרסיבי או לצאת למלחמה כדי לאזן ולתקן אותו.

@eranh75_eran יש הרבה אופציות אחרות, למשל המודל הצפון קוריאני.

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

@TamerAm48431889 @BokerIris מה לגבי חזבאללה?

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

התעלינות איראנית הקבועה על החות'ים (הערבים שנלחמים בשבילם)

@yoeli_brim הנוער האיראני המוכשר עוזב את המדינה ברגע שהוא יכול, לכל מקום שמוכן לקבל אותו. בישראל זה לא קורה בינתיים.

הנה נתון שאין כמעט סיכוי שהישראלי הממוצע, הציוני, אוהב העם והמולדת יאמין לו - הנוער האיראני חכם הרבה יותר מהנוער הישראלי. בכל התחרויות הבינלאומיות באולימפיאדות המדע, האיראנים מציגים הצלחות גבוהות בפער רב מאלו של הישראלים. "אנחנו הרבה יותר טובים מהם" הישראלי יענה לי, "הם הרי נתינים של רודנים מוסלמים פונדמנטליסטיים ותראה איך אנחנו מפרקים אותם עכשיו", אבל אני אהנהן בשלילה ואפרט גם את העובדות.. אם נפרק לפי תחומים במדעים: במתמטיקה, איראן נמצאת במקום השלישי בעולם, באסטרונומיה היא במקום הראשון בעולם וישראל בין המקומות 20 ל-30, בפיזיקה היא נמצאת במקום הרביעי בעולם ואילו אנחנו בין מקומות 13 ל-18, בביולוגיה איראן נמצאת במקום השני ואילו אנחנו נמצאים בין מקומות 15 ל-20, כך גם בכימיה, באסטרופיזיקה שבה איראן נמצאת במקום הראשון בעולם, ובתחומים נוספים. מודל החינוך הדיקטטורי הדתי הפרסי החיג'אבי, זה שרוצה להשמיד אותנו, נמצא בסך הכל במקום השמיני בעולם בתחרות הבינלאומית במדע - אנחנו הרבה אחריהם. יתרה מזאת, איראן היא אומת שחמט מוצלחת, שלושה מתוך שלושים השחמטאים הטובים בעולם - איראניים. לנו יש אחד ברשימת מאה הראשונים, נעבך, במקום התשעים וחמש. איך יכול להיות, הרי תחומי המדע הם פרמטר בסיסי ודרמטי עבור עוגן הכוח של מדינה ואיתנותה, מדוע אנחנו חזקים מהם בהרבה? מה קרה בדרך? לטענת הסופר ירין קימור, שעוסק בפיתוח חשיבה יצירתית, קרה דבר אחד: ישראל, ככל שהיא דמוקרטיה מערבית משגשגת - נותנת חופש לאזרחיה, איראן לא. וחופש פיזי ורוחני מוביל ליצירתיות, ויצירתיות מובילה לעוצמה. במדד האוניברסיטאות, אלו "השמאלניות התבוסתניות" כמובן, במדד מחקרי האיכות, בפטנטים, בפרסי הנובל, אנחנו הרבה לפני האיראנים. מאז הקמת המדינה, ישראל הניבה כמות עצומה של חתני פרס נובל לשלום, 13 מתוכנו קיבלו פרסים בכימיה, כלכלה ושלום. לאיראן יש רק שתי נשים שזכו לאורך השנים בפרס נובל לשלום, וגם הן חיו בגלות או נכלאו בכלא האיראני כי הן התנגדו להוצאות להורג ולכפיית חיג'אב. גם אם מערכת החינוך הישראלית המקרטעת והצולעת לא מצליחה להשיג מדליות זהב באולימפיאדת המדע, גם אם האיראניים מקרקסים את הישראלים במבחני מתמטיקה ופיזיקה, איש לא יוכל לקחת מהשיטה הליברלית את העוצמה שהיא מסוגלת להעניק לפרטים שבה - חופש מחשבה, חופש תנועה, חופש אינטלקטואלי, חופש שמוביל לחשיבה מחוץ לקופסא, חופש שמוביל לפטנטים יוצאי דופן בסייבר ובביוטכנולוגיה, חופש תודעתי שמאפשר לנו היום חופש אווירי מעל שמי טהרן. בישראל יש כבר אלפי סטארטאפים בתחום הבינה המלאכותית, באיראן המחקר מרוכז באוניברסיטאות תחת פיקוח אדוק מאוד והם נותרו הרחק מאחור, בישראל יש חופש גישה לאינטרנט מה שמאפשר לנו להשתמש בידע המתמטי והמדעי כדי לייצר ולפתח כסף - באיראן הגאונות המתמטית נעצרת בדפדפני אינטרנט שמווסתים לצורכי המשטר הדתי הפונדמנטליסטי. כלומר, מול החופש הישראלי עומדת דיקטטורה דתית רצחנית שמאקלמת את החינוך שבה לצייתנות אבסולוטית, שמסגלת את נתיניה כבר מגיל אפס לנאמנות עיוורת. ככה הגענו למצב שגם אם מאות אלפי תלמידים בחינוך החרדי לא לומדים מתמטיקה ואנגלית ברמה בסיסית, וגם אם מאות אלפי תלמידים בחינוך הערבי לא מקבלים חינוך של מדינת עולם ראשון בין היתר בגלל הזנחה תקציבית רבת שנים וגם אם מערכת החינוך הקלוקלת שלנו מכילה בתוכה מורים ברמה אקדמית מאוד נמוכה, עדיין, למרות הכל, ישראל חזקה בהרבה מאיראן - בזכות השיטה הליברלית שמאפיינת אותה, השיטה שמאפשרת חופש יצירה ומחשבה. לא לעולם חוסן. הוגה הדעות הצרפתי, אלכסיס דה טוקוויל תמצת את המגילה שלי במשפט אחד קצר, "תנו לעמים הדמוקרטיים השכלה וחופש, והניחו אותם לנפשם. חיש קל ילמדו להפיק מן העולם הזה את כל טובות ההנאה שהוא יכול להעניק; הם ישביחו את כל המלאכות המועילות ומיום ליום יוסיפו לחיים נוחות, קלות ונועם." המאבק יהיה תמיד על החופש הזה, אך ורק על החופש

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

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

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

@henryquantum Submissions are currently closed…

Link: sanjeevkhanna.org/FOCS2026_CFP.h…

FOCS 2026 will be held in New York City Nov 8 - 11! CFP is up (link below). Submit your best work in theoretical computer science by April 1, 5pm ET.

@roznaiy עבורם מי שאינו אורתודוקסי אינו יהודי…

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

@MagiOtsri @nirhasson כאמור, לפי ההגדרה הזו כל טיהור אתני הוא ג׳נוסייד.

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

היי ניר @nirhasson , אני חייבת להבין משהו. לפי הנתונים שאתה מציג היחס נראה כמו 1:1 בין לוחמים לאזרחים (בגישה מקלה עם ישראל, אפילו פחות). איזו עוד מלחמה בשטח בנוי צפוף כל כך עמדה בסטנדרט כזה? לי ברור שהיו הרבה מאד פשעי מלחמה של חיילים בשטח, חלקם מתועדים, חלק עדויות. אני חושבת שיש סיכוי טוב שהיה גם דומיסייד. מצד שני, אני גם חושבת שחמאס רצח הרבה מאד מהאנשים שהוא מייחס לנו (ושמעתי על זה גם עדויות מבפנים, וגם הבי-בי-סי נתפסו בשקר לגבי זה), ואני חושבת שיש גם תמותה טבעית שלא ניתן לדעת על כמה עמדה. שאלתי אליך היא כזו - איך מנתון כזה של 1:1, שלפי כל יחס מידתיות של הדין הבינלאומי נראה על פניו כיחס סביר בהחלט שלא לומר יחס מצטיין, אפשר להניח ג׳נוסייד כשברור שלישראל יש יכולת, מבחינת תחמושת, להשמיד לחלוטין את אוכלוסיית עזה? וזה עוד כשהמלחמה הזו נוהלה באופן הכי גרוע, נמרח, פושע, שערורייתי, מיותר וכן הלאה, כנגד החטופים, ונמשכה שנתיים יותר מהנדרש. יכול להיות שהאלגוריתמים של הבינה המלאכותית של מטוסי צה״ל, שמכויילים לעמוד בדין הבינלאומי, אכן אמינים? יכול להיות שכל ההאשמות כנגד חיל האוויר הישראלי היו פשוט, ובכן, דיבה? אני שואלת באמת, ואשמח לתשובה רצינית ממך ומכל מי שטוען לג׳נוסייד בעזה (כאמור, איני חולקת על שאלת פשעי המלחמה, הפשעים נגד החטופים, ואולי גם פשעים נגד האנושות שבוצעו על ידי חיילים בשטח).

@MagiOtsri @nirhasson ככה מבינים את זה בשמאל העולמי. אפילו הודו בפניי שגירוש יהודי ארצות ערב מהווה ג׳נוסייד. לדעתי זו הגדרה שמאוד מוזילה את המושג הזה, אבל לא שואלים לדעתי.

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

@ramivered זו היהדות שלך, לא היהדות שלהם.

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

@TomerPersico @moshecoheneliya אחרי כמה זמן בתפקיד הוא כבר משתלט עליך, כמו תסמונת סטוקהולם. מכ״ה הקודם נעלם לעד.

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

סיפורה של שפחה סיפורה של נעמה לזימי הוא במידה רבה הסיפור של השמאל המזרחי. שורשי המחאה המזרחית המודרנית בישראל קשורים בין היתר במהומות ואדי סליב בחיפה בשנת 1959. המהומות ביטאו תחושת קיפוח עמוקה בקרב בני עדות המזרח תחת שלטון מפא"י, ופרצו לאחר ירי משטרתי בתושב השכונה יעקב אלקריף, על רקע הצטברות מתחים חברתיים וכלכליים חריפים. כעשור לאחר מכן צמחה תנועת הפנתרים השחורים, שהובילה מחאה מזרחית חריפה יותר בראשית שנות השבעים. בהקשר זה אמרה ראש הממשלה גולדה מאיר את האמירה המפורסמת "הם לא נחמדים". לאחר דעיכת המחאה, צ'רלי ביטון נכנס לפוליטיקה והפך לאחת הדמויות הבולטות של הפנתרים השחורים, ובהמשך פעל במסגרת חד"ש (שנשענה על מק"י) - מפלגה קומוניסטית יהודית-ערבית שתמכה בדו-קיום והיתה מזוהה באותן שנים עם הקו הסובייטי. אחר כך הוקמה תנועת שמאל של אינטלקטואלים מזרחים תחת השם "הקשת הדמוקרטית המזרחית" בהובלת סמי שלום שטרית, יהודה שנהב, ויקי שירן, יוסי יונה ויוסי דהאן. תנועה שניהלה מאבק על צדק חלוקתי. ויקי שירן ז"ל ידועה במאבקה להכללת הסיפור המזרחי בתכנית האפית "עמוד האש" – תכנית שהדירה כמעט לחלוטין את המזרחים מהסיפור הציוני. בג"ץ הקשת הדמוקרטית המזרחית מתחילת שנות האלפיים הוא פסק דין מרכזי בסוגיית הצדק החלוקתי בהקשר של קרקעות המדינה. מאז חלה שחיקה מהירה בקשר שבין השמאל לבין המזרחים. צ'רלי ביטון ז"ל בערוב ימיו התרחק מן הזירה המפלגתית ונע ימינה, וחלק ניכר מהאינטלקטואלים של הקשת נעו עם השנים לעמדות מגוונות יותר במרכז. שיא השחיקה ארע בזמן מחאת קפלן – המחאה של האחוס"לים לשימור הפריבילגיות המעמדיות שלהם. בהקשר של המאבק האחוס"לי, המזרחים במה שפעם היה קרוי "שמאל", חשודים בהיותם "בבונים", כלומר קשורים לבסיס המשפחתי והקהילתי שלהם שתומך בהיקפים גדולים (כ-70 אחוזים) בימין. ולכן עבור קברניטי קפלן, אתה חייב להוכיח את נאמנותך לשבט האחוס"לי הגזעני, על ידי תקיפה אלימה ובוטה, "ערסית", של המנהיגים שהקבוצה שממנה צמחת בחרה. וזה לא שהמנהיגים של הימין מעניינים את הקפלניסטים. מה שמפריע להם הם הבבונים בצד השני. כי איך שאמר זאת רזי ברקאי ברגע נדיר של גילוי לב – "גם ביום שביבי ילך, נשאר עם הבעיה של הביביסטים" (כלומר, עם הבבונים המזרחים). וכאן נכנסת נעמה לזימי לתמונה. היא צמחה במגדל העמק, והיתה מזוהה עם המאבק המזרחי כנגד ההפליה האחוס"לית. ותראו לאיזו תחתית היא הגיעה ברצונה לרצות את האדון האחוס"ל הגזען שרוחו שורה על קפלן ועל המפלגה של "הדמוקרטים". היא משתוללת, שורפת, תוקפת, בקיצור "ערסית" אמיתית בשירות האדונים הגזענים. ולא תשמעו מלזימי מילה אחת על הגזענות של אהוד ברק – מי שהיה מעדיף שהוריה לא היו מגיעים כלל לישראל; כי הוא היה מעדיף אוכלוסיה יותר איכותית כמו בלונדיניות מבלארוס כדי שיהיה לו במה לשטוף את העיניים, ולא לראות את הבבונית המיוזעת הזו לזימי מתאמצת כל כך לשריין לעצמה מעמד במפלגה הלבנה הגזענית "הדמוקרטים", שצריכה להכיל גם את "הניידים" ההיפסטרים מתל אביב (מרץ לשעבר), ועוד לשריין מספיק מקום לכל הסרבנים הרדיקלים למיניהם כמו עמרי רונן או עמי דרור, והכל בסד של עד שמונה מנדטים. כשבקפלן נהגו לקיים בכל הפגנה גם תהלוכה מצולמת היטב של "סיפורה של שפחה" – הם לא הבינו שהם בעצם מספרים את סיפורה של נעמה לזימי – השפחה של הגזענים מקפלן. התמונה נוצרה על ידי בינה מלאכותית. אבל היא נראית די אותנטית, לא?

@thesasho @henryquantum That would be a lot more difficult. Proofs produced by LLMs might be correct but not up to standards, and developing theories is a completely different matter.

@YFilmus @henryquantum I know about Mathlib, but what I meant is that if people working on AI, especially at frontier labs, keep claiming that Lean is somehow the answer to math slop, then shouldn’t the labs be contributing to Mathlib?

I keep seeing these claims and I don’t really get it. Aside from the issues of missing foundations and Lean engine bugs, isn’t it still pretty hard to verify if something was correctly formalized?

@thesasho @henryquantum There's a large mathematical library, Mathlib, with hundreds of contributors. There's also a new project, CSLib, aimed initially at the undergraduate curriculum. Anybody can join the effort!

@YFilmus @henryquantum Hmm how do you know this?