Ofer Rivlin

AI, Symbolic AI and Math.
Boolean Satisfiability and Quantum Computing are my hobbies.
Learning from people on X.

[Ofer Rivlin @0xriv3r]

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

[Ofer Rivlin @0xriv3r]

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

[Ofer Rivlin @0xriv3r]

@Runlevinger אני גם מסכים וגם לא מסכים עם האמירה הזו

[Ofer Rivlin @0xriv3r]

@MikeE_3_14 שדה גלואה (שדה סופי): הגודל שלו הוא חזקה של מספר ראשוני.

[Ofer Rivlin @0xriv3r]

@FSFG SALLIE is a lightweight runtime detection framework that tackles both textual and visual threats simultaneously in a single forward pass. It works by probing the model's internal hidden states at safety-critical layers, computing maliciousness scores via a k-NN classifier.

[Cryptography and Security Papers @FSFG]

SALLIE: Safeguarding Against Latent Language & Image Exploits

Guy Azov, Ofer Rivlin, Guy Shtar
https://t.co/a6RDg0jKiD [𝚌𝚜.𝙲𝚁 𝚌𝚜.𝙰𝙸]

[Ofer Rivlin @0xriv3r]

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

[Ofer Rivlin @0xriv3r]

@talitshe ב Java המימוש של קוד ה dbc באמצעות JML נעשה בתוך קומנטס, כך שאין לו השפעה על הקומפיילר, הולידצייה היא עם כלים חיצוניים (גם דיזיין וגם ראן טיים). יש דוגמאות לזה גם במימושי dbc בפייתון. זאת לעומת אינטגרצייה מלאה כחלק מהשפה כמו Dafny. אין מימושים של dbc ל cpp שהם חיצוניים לשפה?

[Ofer Rivlin @0xriv3r]

@talitshe בנוסף, (אלא אם פספסתי מה שכבר צויין למעלה): ולידציה של dbc יכולה להיעשות גם בזמן design על התוצר המקומפל (לעומת asserts), והיא תכסה את כל המסלולים האפשריים בעזרת SMT+SAT solvers (Formal Methods)

[Ofer Rivlin @0xriv3r]

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

[Ofer Rivlin @0xriv3r]

@DanielBachmat האמריקאים לא עושים שימוש במסק״רים בתהליך סטריליזציה של האזור?

[Ofer Rivlin @0xriv3r]

@Ganeshuor Satisfiability

[Ofer Rivlin @0xriv3r]

@pmitu I am a liar and I am AI

[Ofer Rivlin @0xriv3r]

@ScholarshipfPhd @3scorciav Hi

[Ofer Rivlin @0xriv3r]

@dor_zach לב המאפליה

[Ofer Rivlin @0xriv3r]

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

[Ofer Rivlin @0xriv3r]

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

[Ofer Rivlin @0xriv3r]

@scaling01 Prove that every even natural number greater than 2 is the sum of two prime numbers.

[Ofer Rivlin @0xriv3r]

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

[Ofer Rivlin @0xriv3r]

@amitaiz https://t.co/QAX8AvzoZl

[Noam Brown @polynoamial]

You don’t need a PhD to be a great AI researcher. Even @OpenAI’s Chief Research Officer doesn’t have a PhD.