דוד משיח הוא מומחה שרשרת אספקה והפצה שמביא בינה מלאכותית ללוגיסטיקה.
בקצרה
- שם
- דוד משיח · David Mashiah · David Mashiach
- תחום
- שרשרת אספקה והפצה · AI וניתוח נתונים
- מבוסס ב
- תל אביב, ישראל
- לימודים
- תואר ראשון בהנדסת מכונות, אוניברסיטת תל אביב
- שפות
- עברית · ערבית · אנגלית
- ORCID
- 0009-0004-4684-955X
- רשומת ישות
- Wikidata Q140694415
- מחקר פתוח
- 6 תוצרים, כל אחד עם DOI
סקירה
הוא בונה מערכות שלמות (צד לקוח, צד שרת, שכבת נתונים, פריסה והכלים ששומרים עליהן ניתנות לתחזוקה) בתחומים שאין ביניהם הרבה במשותף: ניטור קליני, משחק רב־משתתפים בזמן אמת, ותוכנת דסקטופ מקומית־תחילה.
משיח מבוסס בתל אביב, שם הוא סטודנט לתואר ראשון בהנדסת מכונות באוניברסיטת תל אביב. התוכנה נבנית לצד התואר ולא מתוכו.
מה שמחבר בין העבודות אינו תחום אלא שאלה: איך יודעים מתי מודל הפסיק לומר את האמת? זו אותה שאלה במרכז לוגיסטי ובמודל תחליפי של מטא־חומר, והתשובה עליה היא הקו המחבר בכל מה שהוא שולח.
שיטה
השיטה היא לבנות את הדבר ואז למדוד היכן הוא נשבר, במקום לדווח היכן הוא עובד. MetaXFam הוא המקרה הברור ביותר: מודל תחליפי שקיבל ציון כמעט מושלם על נתונים מוחזקים, ואז, כשנבחן על משפחות תאי־יחידה שמעולם לא ראה, צנח מתחת לקו בסיס שאינו מתייחס לדבר מלבד כמה חומר נותר. עשרים מתוך שלושים תצורות עשו זאת. המספר הזה הוא הממצא, ופרסומו היה כל העניין.
MetaXFam-D, שפורסם כ־MetaXfam22 ונבנה מחדש תחת השם החדש באוגוסט, הוא ההמשך, והמשמעת ניכרת פעמיים. מבין 231 דרכים לבחור על אילו משפחות לאמן, המקרה הגרוע ביותר זז פי 390 — אך אף אחד מתשעת הכללים הזולים לבחירה טובה לא שרד החלפת מודל, כולל זה שאליו הצביע מאמרו הקודם. אחר כך ביקורת שערך על הנתונים של עצמו מצאה ש־61.6 אחוזים מן התאים היו כפילויות, תוצר לוואי של רסטריזציה שמנפח ציונים בתוך ההתפלגות, והוא פרסם מחדש את המדד בנוי סביב הממצא במקום להשאיר אותו להתגלות.
אותה משמעת חוזרת בשאר העבודה. הדגמת ורנייה בעמוד הבית מדווחת סף בשניות קשת ואז גוזרת מדוע מסך אינו יכול להגיע לטווח הקליני, כך שהמילים «לא לשימוש אבחוני» הן מסקנה ולא הסתייגות. עבודת הקודים מתוקפת מול תוצאות אנליטיות מדויקות לפני שהיא מתוקפת מול משהו נוח. בשרשרת אספקה השאלה המקבילה היא באיזו תחזית להפסיק לבטוח, ומתי. זו מדידה, לא תחושה.
עבודה
-
אב־טיפוס מחקרי
Qeben
אפליקציה לניטור ביתי של ניוון מקולרי תלוי־גיל, המשלבת בדיקה עצמית יומית של חדות־על עם תהליך טריאז׳ עבור הרופא שמקבל את ההתראה. פותחה עם קלט ייעוצי מרופאי עיניים ומחוקרים שפעלו בכובעם האישי, ללא שיתוף פעולה מוסדי.
-
חי
1 vs 100
משחק שאלות בפורמט טלוויזיוני שנבנה עבור אוניברסיטת תל אביב, שבו מתמודד יחיד ניצב מול קהל המצטרף מהטלפון. כל חדר הוא Durable Object אחד של Cloudflare, כך שמצבו מסודר בטור מעצם המבנה ולא באמצעות נעילות, ו־WebSocket Hibernation מחזיק חיבורים בהמתנה בלי חיוב.
-
מקומית־תחילה
Leviathan
אפליקציה ללימודים, אימונים, הרגלים, כספים ותכנון, שנבנתה כאפליקציית ווב סטטית בתוך מעטפת דסקטופ בלי רכיב שרת כלל. SQLite באופן מקומי בדסקטופ, ו־SQLite המהודר ל־WebAssembly בדפדפן.
מחקר
תוצרים בגישה פתוחה, שפורסמו תחת ORCID 0009-0004-4684-955X ומופיעים ב־Google Scholar. עבודה עצמאית ולא פרסום בכתב עת שפיט.
-
תרומה לכתב עת
קידוד אלגברי של רצפי חומצות אמינו
הרחבת מודלים של שדות סופיים ל־GF(32).
doi.org/10.6084/m9.figshare.32885588 -
תוכנה
קידוד GF(25) ותיקון שגיאות ריד־סולומון
ערכת כלים לשחזור לתיקון שגיאות בנתוני ביו־פולימרים סינתטיים, אותה משפחת קודים שמתקנת ברקוד שרוט או תווית QR במחסן ולא רק מזהה את הנזק.
doi.org/10.6084/m9.figshare.32963456 -
מאגר נתונים
MetaXFam
מאגר נתונים וערכת כלים חוצי־משפחות למודלים תחליפיים של הומוגניזציה נומרית במטא־חומרים מכניים, המודדים היכן מודלים של למידת מכונה נכשלים על טופולוגיות תאי־יחידה שמעולם לא אומנו עליהן.
doi.org/10.6084/m9.figshare.32993597 -
פריפרינט · בשיפוט
דיוק מושלם בתוך ההתפלגות אינו מעיד על לימוד פיזיקה
המאמר שמאחורי המדד: מודל תחליפי יכול לקבל ציון מושלם על המשפחות שאומן עליהן ובכל זאת לא ללמוד שום פיזיקה שניתן להעביר. בשיפוט ב־Extreme Mechanics Letters.
doi.org/10.5281/zenodo.21534865 -
מאגר נתונים
MetaXFam-D
מדד להכללה בין טופולוגיות שנבנה מחדש כך שאינו מכיל גאומטריות כפולות, לאחר שקריסת רסטריזציה הפכה 61.6 אחוזים מתאי הגרסה הקודמת לעותקים זה של זה.
doi.org/10.5281/zenodo.21597150 -
תוכנה · עם פריפרינט
מתארי אופנים תת־תאיים
מיצוע הוא היטל: הוא שומר את שתי ההזזות הקשיחות של תא היחידה ומשליך כל דרך אחרת שבה החומר שבתוכו יכול לנוע. גרסה 2 חישבה מחדש את המחקר על נתונים נטולי כפילויות, מה שהסיר את הטענה המרכזית של גרסה 1 והשאיר במקומה טענה קטנה ויציבה יותר.
doi.org/10.5281/zenodo.22137052
הוא גם כותב ניוזלטר הנדסי, Engineering Frontier.
אילוצים
משיח עובד בעיקר בעברית ובערבית לצד אנגלית, ומכאן שפריסה מימין לשמאל היא תנאי פתיחה ולא התאמה מאוחרת. כמה מהפרויקטים שלו מיועדים למשתמשים שאינם יכולים לקרוא טקסט קטן בנוחות, וזה מכתיב מפרט שרוב התוכנה לעולם אינה נדרשת לעמוד בו: ניגודיות בתקן WCAG AAA, רצפה של 16 נקודות לטקסט גוף, יעדי מגע של 48 פיקסלים לפחות, צבע שלעולם אינו הרמז היחיד, ומצב לילה שנחשב ערכת נושא מלאה ולא פילטר היפוך.
האתר האישי שלו מיישם את אותם כללים וחושף אותם כפקדים חיים, כך שמבקר יכול להעלות את רצפת הטיפוגרפיה, להחליף כל צבע בעל דגש נמוך לניגודיות AAA, לבטל תנועה או להפוך את כל הפריסה לעברית ולראות את הדף נענה. הגרסה העברית המלאה עומדת בפני עצמה, ואינה תרגום מכונה של האנגלית.
לוח תוצאות כן
אחת מהמערכות האלה הגיעה לשלב אוניברסיטאי, אחת הגיעה לרופאים ונעצרה, ואחת מנהלת את חיי היומיום של מי שכתב אותה. אף אחת מהן לא הפכה עדיין לעסק. משיח מציין זאת במפורש באתר שלו במקום להציג את העבודה כרקורד שאיננה; עמדה שהוא נוקט משום שבתוכנה הסיבות שבגללן פרויקט נעצר מלמדות בדרך כלל יותר מהסיבות שבגללן פרויקט אחר נשלח, ומשום שטענה שאי אפשר לבדוק שווה פחות מהודאה שאפשר.
קריאה נוספת
הרשימות הטכניות מתפרסמות במדור הרשימות. הן מראות את הנימוק במקום לסכם אותו: מדוע מסך אינו יכול למדוד חדות ורנייה (התופעה התפיסתית ש־Qeben בנוי עליה), ומדוע ציון מושלם על נתונים מוחזקים אינו מעיד על דבר.