Uria Mor

Thrilled to see our work (@Yot_Coh @rvaldesmas @Elinav_Lab @havr and Denise Kviatcovsky who isn’t on twitter) on longitudinal omics data analysis using TCAM published in @PLOSCompBiol. doi.org/10.1371/journa… 1/4

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

@uria_mor @GadiAleks @yhuda_fuah אם זו האמירה אז היא ממש מוזרה לי. המרחב הצטמצם מ-300 ל-100 מ', הכוחות השתנו לצלפים עם פקודות לפגוע רק בחמושים, ובכלל עד היום הטיעונים מהצד השני היו "זה צה"ל שינה את הפקודות, לא בג"צ". איך זה השתנה פתאום ל-"לא היו שינויים כלל"?

שופטי בג"ץ לא יודעים מה זה בג"ץ הפרימטר. אז מצורף הסבר קצר. מדובר בעתירות בג"ץ 3003/18 בג"ץ 3250/18 שהוגשו ע"י 4 ארגוני שמאל קיצוני המקבלות את רוב המימון שלהם מחו"ל וגם היום ממשיכות להגיש עתירות לרוב. בסעיף 54 לפסק הדין נכתב: "ארגון אלמגור הפנה בהקשרים אלה לפרסומים של מרכז המידע למודיעין ולטרור על שם אלוף מאיר עמית באשר לזהות ההרוגים באירועי "צעדת השיבה הגדולה", אשר מרביתם פעילי טרור, או כאלה המזוהים עם ארגוני טרור. ארגון אלמגור הפנה בנוסף גם לפרסומים מהתקשורת בהם סלאח אל-ברדוויל, חבר הלשכה המדינית של חמאס, התבטא בראיון עיתונאי לערוץ טלויזיה פלסטיני כי בהתאם לנתונים רשמיים, ב"אירוע האחרון" (14 במאי 2018) נהרגו, לשיטתו, 61 שהידים, מהם 50 שהידים המשתייכים לארגון החמאס (כ-80%). ארגון אלמגור הפנה גם לדברים שנשא יחיא סינוואר, מנהיג החמאס ברצועה, בתאריך 06.04.2018 בפני קהל המפגינים ברצועה, וציין במסגרתם "שיחכו [ישראל] לדחיפה הגדולה, נוריד את הגדר ונקרע את ליבם מגופותיהם". מידע דומה הוגש מטעם המשיבים בהודעה מתאריך 16.05.2018, שגובתה בתצהירו של האלוף ניצן אלון לפיו בהתאם לנתונים המצויים בידי צה"ל עשרות מן ההרוגים באירועים מתאריך 14.05.2018 היו פעילי הזרוע הצבאית של חמאס ושל ארגון הג'יהאד האסלמי." (עד כאן ציטוט מפסק הדין). למרות זאת בג"ץ קיים דיון בעתירה, דרש שוב ושוב ושוב תשובות מהמדינה בעניין השימוש בירי כנגד אזרחים. בסופו של דבר אחרי ששופטי בג"ץ הצליחו לגרום למדינה לצמצם למינימום את הפגיעה ב"אזרחים" הם דחו את העתירות תוך כדי שהם קובעים את המבחן המשולש (סעיף 45 לפסק הדין) : " בסיטואציות כגון אלו מתקיים בהסתברות גבוהה גם המבחן המשולש, אותו התווה צוות המומחים הבינלאומי שכינס הצלב האדום, ואשר במסגרתו נקבעו שלושה קריטריונים, אשר בהתקיימם תוסר ההגנה העומדת לאזרחים, אשר נוטלים חלק בפעולות איבה. אמות מידה אלה דורשות כי ההתנהלות האסורה תעמוד בשלושה תנאים: א) הפעולות עלולות בדרגת סבירות גבוהה לגרום נזק למבצעים צבאיים וליכולות צבאיות של הכוח היריב, או למוות או לפציעות והרס לאזרחי היריב (זהו "תנאי הנזק המינימאלי" – Threshold of harm); ב) חייב להתקיים קשר סיבתי ישיר בין הפעילות האסורה לנזק המינימאלי שהוגדר לעיל (זהו התנאי לקשר סיבתי ישיר – Direct causal link); ג) הפעולות תוכננו במיוחד כדי לגרום נזק לחלק מהמאמץ הצבאי של צד לסכסוך (זהו התנאי בדבר הקשר הלוחמתי – Belligerent Nexus)." (עד כאן ציטוט מפסק הדין). הדיונים שבית המשפט ניהל בעניין והתשובות המרובות שהוא דרש מצה"ל דחקו את צה"ל לאפשר הגעה של המחבלים לגדר וצמצמו למינימום את גודלו של הפרימטר. התנהלות זו של בג"ץ הבהירה לצה"ל כי ירי במי שמתקרב לגדר יהיה חוקי רק במקרים של" סכנה ממשית וקרובה" (סעיף 10 לפסק הדין). בעתירה שהתקיימה בעניין וועדת החקירה ישבו 7 שופטים והיתממו כאילו הם לא יודעים על איזה פסק דין מדובר. ב"ה השידור מצולם ומוקלט. וגם פסק הדין בעניין הפרימטר מפורסם ברבים כך שכולם יכולים לקרוא אותו. יקרא הציבור וישפוט. השאלות שנשארו פתוחות הם: האם התנהלותו של בג"ץ באותו הליך סייעה לביצוע הטבח? האם וועדת חקירה שימנה הנשיא עמית תבדוק זאת?

@MilmanDudi @GadiAleks @yhuda_fuah היה מצב, הייתה עתירה. גדי אומר שלא הוּכח שהמצב השתנה, עם או בלי קשר לעתירה. כל שכן בעקבותיה

@GadiAleks @yhuda_fuah איזה סוג של הוכחה אתה מחפש? אפשר להיכנס לפרטים וללמוד איך ביהמ"ש אקטיבי וגורם צדדים לשנות את עמדתם כשהוא מבהיר להם מה תהיה פסיקתו אחרת. אפשרות אחת היא "חיצונית" - היה מצב. היתה עתירה לבג"צ. על אף שכל האנשים זהים וכל החקיקה זהה - המצב השתנה. מסקנה - ההליך בבג"צ שינה את המצב.

@mathandcobb Of ring theory: tensor tensor products. arxiv.org/abs/2506.03311

A student asked me to explain "what are group theory and ring theory" for? What's your favorite application of group theory? How about of ring theory?

@GadiAleks כל כך תקוע בתבניות שקראתי ״מדליקי המשוואה״ בחיי

מדליקי המשואה: נאזגול, דארת' ויידר, שמשון ויובב, חניבעל לקטר, ג'ק ספארו, חנה לסלאו אנשים בטוויטר: למה נותנים לחנה לסלאו להדליק משואה?!?!

@GadiAleks @lo_greisas תפס אותי לא מוכן עם שלוק קפה בבית בליעה. כל המקלדת טינפתי פה

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

אני לא מעוניין לחיות בעולם הזה יותר

@zamird91 אני עושה פוסט מורטם לפרויקט גם כשהוא עדיין בהכרה

שאלה לפיד אקדמיה - אתם נוהגים לעשות פוסט מורטם לפרויקט שנכשל?

@omerdank @DanielBachmat @aviadglickman @BittonRosen תן חיוך צדיק! הכל רנדומלי

@DanielBachmat @aviadglickman @BittonRosen אלוהים אדירים, אתה טוען שסטטיסטיקה זה אשכרה משהו רלבנטי לחיים האמיתיים. איפה אלוהים היה במודלים סטוכסטיים?

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

@AleksandrosSob1 This is the CS version of Field medal?

Congratulations to CNN for congratulating Bennett and Brassard for the Turin award! edition.cnn.com/2026/03/18/sci…

@havr @DuduLagziel א. אמרת את זה הבוקר. לי. ב. זה היתרון??? הצ׳אט לא אוכל, לא שותה, לא עושה ילדים, לא משמיד לך תקציב מחקר על נסיעות לכנסים ומלגה... אני במקומך הייתי מנסה לברר אם אתה בכלל צריך סטודנטים. אולי אפשר להסתדר עם הצ׳אט. כיוון שאני לא במקומך - אבקש להמתין עם הניסוי הזה עד שאמצא מקום לפוסט

@uria_mor @DuduLagziel בדיוק הסברתי לסטודנט שלי אתמול שהיתרון בצ'אט זה שהוא עושה מיד מה שאומרים לו...

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

@mmbronstein @JakeWSimons I thought it was supposed to show a portrait of the famous Roman centurion Biggus Dickus

@JakeWSimons Why only Latin verbs come to my mind?

Caption competition

@lpachter PS if you know anyone looking for postdoc who can do scientific computing better than claude opus 4.5/4.6 or codex - please let me know :)

@uria_mor Thanks. That's a good catch and I've pushed a fix to devel. I also checked and this corner case is not an issue in edgeR because of what is upstream of Levenberg fitting, so it was a bug introduced in the Python port.

I used Claude Opus 4.5/4.6 (and a bit of Codex GPT-5.3) to port edgeR to Python. See edgePython github.com/pachterlab/edg… This allowed me to develop a single-cell DE method that extends NEBULA with edgeR Empirical Bayes. All in one week. Details in doi.org/10.64898/2026.…

@lpachter In the same vein- what is the point in using more than 200 digits beyond any reasonable machine precision? 1e-300 is practically 0. And it is not like you really want to divide anything by 1e-200. Nor by 1e-16

@lpachter No diss. The code seems correct, and I see that tests are comprehensive. But I must tell you there are some funny looking stuff . Why divide mu^2 by mu? If mu is near machine eps - you may get zeros in places where there should have been something else due to rounding error

@itsadok @GadiAleks @DuduLagziel ממש לא מסכים. לפחות לפי ההייפ - נראה שיש המון התקדמות ומצטבר לאמעט know how . עדיין, גם כשמספקים pdf - אני לפחות לא הצלחתי לקבל ממנו ניסוח פורמלי נכון בlean. בלי זה אי אפשר להתקדם. ואת זה הוא עוד לא עןשה טוב עבור הדברים הפשוטים שלי.

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

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

@GadiAleks @itsadok @DuduLagziel יש לך הוכחה?

@itsadok @uria_mor @DuduLagziel מה יקרה אם אעשה את זה עם השערת רימן?

@itsadok @GadiAleks @DuduLagziel אחזור אליך כשהאייגנט יסיים עם מהו שרץ

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

@GadiAleks @DuduLagziel לא רץ. לפחות על lean. קשקושי קשקושים שאני לא יודע אפילו להתחיל לדבג.

@DuduLagziel השאלה המעניינת היא מה קורה כשדורשים מהם לתת הוכחה במסגרת משהו כמו Coq

@rinaarts @yerushlavivi מה אומר? מחליף או לא מחליף?

בן18: יש לי חידה. נגיד יש 3 דלתות, מאחורי 2 יש עז ומאחורי השלישית מכונית. ונניח שבחרת דלת אחת ולפני שמראים לך מה יש מאחוריה, פותחים אחת אחרת ומראים לך שיש מאחוריה עז. אתה מחליף או נשאר עם הבחירה שלך? בן9: אני מחליף לדלת השלישית, אני לא רוצה מכונית אני לוקח את העז

@MezgAvirIL שלא תביא נאחס אתה והפה שלך.

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