בועז לביא מגיש פודקסט על קוד, שפות תכנות, באגים היסטוריים ולמידת מכונה. "תוכנה זוללת את העולם", קבע המהנדס והיזם האמריקאי מארק אנדריסן. ואין ספק שזה נכון. זהו פודקאסט למפתחים ולמפתחות, ולכל מי שרוצה לדעת ממה עשוי עולמנו המפוקסל, זה שנבלע בבטן האלגוריתם. עמית בן דור, מייסד הפודקאסט (לצד חן פלדמן) יתארח בפרקים נבחרים
…
continue reading
Content provided by Yuval Kogan, Lior Schermann, and Shay Oliver. All podcast content including episodes, graphics, and podcast descriptions are uploaded and provided directly by Yuval Kogan, Lior Schermann, and Shay Oliver or their podcast platform partner. If you believe someone is using your copyrighted work without your permission, you can follow the process outlined here https://player.fm/legal.
Similar to Hard Reset
רברס עם פלטפורמה, הפודקאסט של אורי ורן על תוכנה ועוד
…
continue reading
עוד פודקאסט לסטארטאפים הינה תוכנית ליזמים בתחילת דרכם וכאלה המתעניינים ביזמות. במסגרת הפודקאסט, אנו מארחים דמויות מובילות בתעשיית הסטארט-אפים והחדשנות בישראל - לרבות משקיעי הון-סיכון, יזמים ואנשי מקצוע אחרים, בכדי לאפשר למאזינים מפגש בלתי אמצעי עמם. את היזמים אנו מראיינים על מסעם המקצועי והלקחים שיוכלו להפיק ממנו אחרים; את המשקיעים אנו מראיינים על מה הם מחפשים, ועל השינויים שעוברים על תעשיית ההון-סיכון וההיי-טק הישראלית. את עוד פודקאסט לסטארטאפים מנחה גיא קצוביץ', מייסד-שותף של פלטפורמת השקע ...
…
continue reading
שרון קנטור ומומחים לומדים ומלמדים דברים חדשים
…
continue reading
כתבות מוקלטות של מכון דוידסון לחינוך מדעי
…
continue reading
ברוכים הבאים לחושבים טוב! כאן יהודית כץ. חושבים טוב נולד כדי שנוכל לחשוב טוב על איך אנחנו מעבירים את ימינו, עם מי אנחנו מסתובבים ובמה אנחנו מזינים את המוח שלנו. כדי שלא ניתן לחיים האלה לחלוף לפני שנשים לב. המטרה שלי היא להנגיש את הכלים והמסקנות הכי חזקות מעולם הפסיכולוגיה והמחקר. בשביל זה, אני פוגשת בכל פרק דמות מרתקת מעולם המחקר או השטח. בשיחה פתוחה, נתעמק כל פעם בנושא שהופך את החיים למשמעותיים: איך עושים שינוי? איך לטפח חוסן נפשי? מאיפה מוצאים אומץ ואיך מקבלים החלטות בעולם מבלבל? ומי אני? ...
…
continue reading
שיחות עומק שעוזרות להבין את העולם החדש שאנחנו חיים בו, להסתגל אליו, ולנצל את ההזדמנויות החדשות שהוא מביא. אנחנו מדברים על החידושים בתחום הקריירה, הכלכלה, הפסיכולוגיה, המדע. ** פודקאסט שעוזר לכל מי שרוצה לבנות לעצמו קריירה משמעותית, או לנהל, או לפתוח עסק, סטארטאפ, פרויקט צד, או להיות עצמאי.ת - וללמוד מכל אלו שכבר עשו את זה ** ע״פ אתר ליסטןנוטס.קום, פופקורן נמצא באחוז העליון של הפודקאסטים בעולם מבחינת מספר השמעות והורדות. ** לא מכירים את פופקורן? הנה הקטלוג מסודר על פי נושאים https://bit.ly/po ...
…
continue reading
פודקאסט על מדע, טכנולוגיה והיסטוריה
…
continue reading
אביב פרנקל מארח בפודקאסט שבועי יזמים ,מנכ״לים ואנשים מעניינים מתעשית הייטק שבאים לספר איזה סיפור מעניין או על עצמם או על החברה שלהם על הצלחות וגם על כשלונות.
…
continue reading
חוקרים וחוקרות שואלים שאלות מרתקות ומתגלגלים מהן אל שאלות רבות אחרות, תחומי ידע נפגשים עם תחומים אחרים, ולעתים גם נמצאת תשובה. בכל תכנית רונה גרשון תלמי תצלול עם החוקרים לעומקם של התהליכים המורכבים שמשפיעים על חיינו
…
continue reading
Player FM - Podcast App
Go offline with the Player FM app!
Go offline with the Player FM app!
))
Episode 9 - Formal Verification Engineer (Or Drucker)
Manage episode 336069666 series 3337008
Content provided by Yuval Kogan, Lior Schermann, and Shay Oliver. All podcast content including episodes, graphics, and podcast descriptions are uploaded and provided directly by Yuval Kogan, Lior Schermann, and Shay Oliver or their podcast platform partner. If you believe someone is using your copyrighted work without your permission, you can follow the process outlined here https://player.fm/legal.
מי הוא מהנדס הפורמל ומה הוא עושה? איך נראה יום עבודה שלו? עם מי הוא עובד? למה צריך וריפיקציה רגילה אם קיים פורמל? מי קדם למי?
בפרק אירחנו את אור דרוקר שענה לנו על השאלות האלה ועל עוד המון אחרות.
אור בעל 4 שנים של ניסיון בתחום והציג את התחום בצורה יפה.
הצטרפו אלינו לפרק שבו התראיין אצלנו מהנדס פורמל ושאלנו את השאלות שחשבנו שתרצו תשובות עליהן. אם יש לכם עוד שאלות שלא ענינו בפרק, כתבו לנו :)
podcasthardreset@gmail.com
58 episodes
Share
Manage episode 336069666 series 3337008
Content provided by Yuval Kogan, Lior Schermann, and Shay Oliver. All podcast content including episodes, graphics, and podcast descriptions are uploaded and provided directly by Yuval Kogan, Lior Schermann, and Shay Oliver or their podcast platform partner. If you believe someone is using your copyrighted work without your permission, you can follow the process outlined here https://player.fm/legal.
מי הוא מהנדס הפורמל ומה הוא עושה? איך נראה יום עבודה שלו? עם מי הוא עובד? למה צריך וריפיקציה רגילה אם קיים פורמל? מי קדם למי?
בפרק אירחנו את אור דרוקר שענה לנו על השאלות האלה ועל עוד המון אחרות.
אור בעל 4 שנים של ניסיון בתחום והציג את התחום בצורה יפה.
הצטרפו אלינו לפרק שבו התראיין אצלנו מהנדס פורמל ושאלנו את השאלות שחשבנו שתרצו תשובות עליהן. אם יש לכם עוד שאלות שלא ענינו בפרק, כתבו לנו :)
podcasthardreset@gmail.com
58 episodes
All episodes
×
Welcome to Player FM!
Player FM is scanning the web for high-quality podcasts for you to enjoy right now. It's the best podcast app and works on Android, iPhone, and the web. Signup to sync subscriptions across devices.
Similar to Hard Reset
בועז לביא מגיש פודקסט על קוד, שפות תכנות, באגים היסטוריים ולמידת מכונה. "תוכנה זוללת את העולם", קבע המהנדס והיזם האמריקאי מארק אנדריסן. ואין ספק שזה נכון. זהו פודקאסט למפתחים ולמפתחות, ולכל מי שרוצה לדעת ממה עשוי עולמנו המפוקסל, זה שנבלע בבטן האלגוריתם. עמית בן דור, מייסד הפודקאסט (לצד חן פלדמן) יתארח בפרקים נבחרים
…
continue reading
רברס עם פלטפורמה, הפודקאסט של אורי ורן על תוכנה ועוד
…
continue reading
עוד פודקאסט לסטארטאפים הינה תוכנית ליזמים בתחילת דרכם וכאלה המתעניינים ביזמות. במסגרת הפודקאסט, אנו מארחים דמויות מובילות בתעשיית הסטארט-אפים והחדשנות בישראל - לרבות משקיעי הון-סיכון, יזמים ואנשי מקצוע אחרים, בכדי לאפשר למאזינים מפגש בלתי אמצעי עמם. את היזמים אנו מראיינים על מסעם המקצועי והלקחים שיוכלו להפיק ממנו אחרים; את המשקיעים אנו מראיינים על מה הם מחפשים, ועל השינויים שעוברים על תעשיית ההון-סיכון וההיי-טק הישראלית. את עוד פודקאסט לסטארטאפים מנחה גיא קצוביץ', מייסד-שותף של פלטפורמת השקע ...
…
continue reading
שרון קנטור ומומחים לומדים ומלמדים דברים חדשים
…
continue reading
כתבות מוקלטות של מכון דוידסון לחינוך מדעי
…
continue reading
ברוכים הבאים לחושבים טוב! כאן יהודית כץ. חושבים טוב נולד כדי שנוכל לחשוב טוב על איך אנחנו מעבירים את ימינו, עם מי אנחנו מסתובבים ובמה אנחנו מזינים את המוח שלנו. כדי שלא ניתן לחיים האלה לחלוף לפני שנשים לב. המטרה שלי היא להנגיש את הכלים והמסקנות הכי חזקות מעולם הפסיכולוגיה והמחקר. בשביל זה, אני פוגשת בכל פרק דמות מרתקת מעולם המחקר או השטח. בשיחה פתוחה, נתעמק כל פעם בנושא שהופך את החיים למשמעותיים: איך עושים שינוי? איך לטפח חוסן נפשי? מאיפה מוצאים אומץ ואיך מקבלים החלטות בעולם מבלבל? ומי אני? ...
…
continue reading
שיחות עומק שעוזרות להבין את העולם החדש שאנחנו חיים בו, להסתגל אליו, ולנצל את ההזדמנויות החדשות שהוא מביא. אנחנו מדברים על החידושים בתחום הקריירה, הכלכלה, הפסיכולוגיה, המדע. ** פודקאסט שעוזר לכל מי שרוצה לבנות לעצמו קריירה משמעותית, או לנהל, או לפתוח עסק, סטארטאפ, פרויקט צד, או להיות עצמאי.ת - וללמוד מכל אלו שכבר עשו את זה ** ע״פ אתר ליסטןנוטס.קום, פופקורן נמצא באחוז העליון של הפודקאסטים בעולם מבחינת מספר השמעות והורדות. ** לא מכירים את פופקורן? הנה הקטלוג מסודר על פי נושאים https://bit.ly/po ...
…
continue reading
פודקאסט על מדע, טכנולוגיה והיסטוריה
…
continue reading
אביב פרנקל מארח בפודקאסט שבועי יזמים ,מנכ״לים ואנשים מעניינים מתעשית הייטק שבאים לספר איזה סיפור מעניין או על עצמם או על החברה שלהם על הצלחות וגם על כשלונות.
…
continue reading
חוקרים וחוקרות שואלים שאלות מרתקות ומתגלגלים מהן אל שאלות רבות אחרות, תחומי ידע נפגשים עם תחומים אחרים, ולעתים גם נמצאת תשובה. בכל תכנית רונה גרשון תלמי תצלול עם החוקרים לעומקם של התהליכים המורכבים שמשפיעים על חיינו
…
continue reading
Player FM - Podcast App
Go offline with the Player FM app!
Go offline with the Player FM app!
