בועז לביא מגיש פודקסט על קוד, שפות תכנות, באגים היסטוריים ולמידת מכונה. "תוכנה זוללת את העולם", קבע המהנדס והיזם האמריקאי מארק אנדריסן. ואין ספק שזה נכון. זהו פודקאסט למפתחים ולמפתחות, ולכל מי שרוצה לדעת ממה עשוי עולמנו המפוקסל, זה שנבלע בבטן האלגוריתם. עמית בן דור, מייסד הפודקאסט (לצד חן פלדמן) יתארח בפרקים נבחרים
…
continue reading
Контент предоставлен Yuval Kogan, Lior Schermann, and Shay Oliver. Весь контент подкастов, включая эпизоды, графику и описания подкастов, загружается и предоставляется непосредственно компанией Yuval Kogan, Lior Schermann, and Shay Oliver или ее партнером по платформе подкастов. Если вы считаете, что кто-то использует вашу работу, защищенную авторским правом, без вашего разрешения, вы можете выполнить процедуру, описанную здесь https://ru.player.fm/legal.
Похожие на Hard Reset
רברס עם פלטפורמה, הפודקאסט של אורי ורן על תוכנה ועוד
…
continue reading
חיות בדיגיטל בהגשת נתלי רוגל היא תוכנית אירוח שמדברת על ההשפעה של הדיגיטל על החיים של כולנו : בחינוך , זוגיות הורות , בריאות כסף ומה לא ? על איך אנחנו יכולים להשתפר באמצעות הדיגיטל , בכל תוכנית אני מארחת מומחים שונים, מרצים, מנהלות ומנהלים כדי לתת יידע וכלים מעשיים להשתפרות הן בפן המקצועי והן בפן האישי . הפודקאסט "חיות בדיגיטל" זוכה בפרס פודקאסט השנה מטעם מגזין גיק טיים ב-2020, 2021 ו-2022 .
…
continue reading
עוד פודקאסט לסטארטאפים הינה תוכנית ליזמים בתחילת דרכם וכאלה המתעניינים ביזמות. במסגרת הפודקאסט, אנו מארחים דמויות מובילות בתעשיית הסטארט-אפים והחדשנות בישראל - לרבות משקיעי הון-סיכון, יזמים ואנשי מקצוע אחרים, בכדי לאפשר למאזינים מפגש בלתי אמצעי עמם. את היזמים אנו מראיינים על מסעם המקצועי והלקחים שיוכלו להפיק ממנו אחרים; את המשקיעים אנו מראיינים על מה הם מחפשים, ועל השינויים שעוברים על תעשיית ההון-סיכון וההיי-טק הישראלית. את עוד פודקאסט לסטארטאפים מנחה גיא קצוביץ', מייסד-שותף של פלטפורמת השקע ...
…
continue reading
שרון קנטור ומומחים לומדים ומלמדים דברים חדשים
…
continue reading
כתבות מוקלטות של מכון דוידסון לחינוך מדעי
…
continue reading
אביב פרנקל מארח בפודקאסט שבועי יזמים ,מנכ״לים ואנשים מעניינים מתעשית הייטק שבאים לספר איזה סיפור מעניין או על עצמם או על החברה שלהם על הצלחות וגם על כשלונות.
…
continue reading
הפודקאסט של תינק אנד דרינק, פודקאסט למי שאוהב לחשוב. כל שבוע ד"ר ג'רמי פוגל משוחח עם מיטב המרצים של ליין ההרצאות והספרים של תינק אנד דרינק על השאלות הגדולות של החיים: מה זאת אהבה? מהי משמעות החיים? איך ייראה שוק העבודה בעתיד והאם העולם שלנו הופך לשוויוני פחות או יותר? מהי תפיסת העולם ע"פ איינשטיין או ע"פ פרידריך ניטשה? על כל אלה ועוד הרבה, תוכלו לשמוע מפיו של ד"ר ג'רמי פוגל בסגנונו המיוחד, יחד עם האורחים המרתקים שלנו.
…
continue reading
שיחות עומק שעוזרות להבין את העולם החדש שאנחנו חיים בו, להסתגל אליו, ולנצל את ההזדמנויות החדשות שהוא מביא. אנחנו מדברים על החידושים בתחום הקריירה, הכלכלה, הפסיכולוגיה, המדע. ** פודקאסט שעוזר לכל מי שרוצה לבנות לעצמו קריירה משמעותית, או לנהל, או לפתוח עסק, סטארטאפ, פרויקט צד, או להיות עצמאי.ת - וללמוד מכל אלו שכבר עשו את זה ** ע״פ אתר ליסטןנוטס.קום, פופקורן נמצא באחוז העליון של הפודקאסטים בעולם מבחינת מספר השמעות והורדות. ** לא מכירים את פופקורן? הנה הקטלוג מסודר על פי נושאים https://bit.ly/po ...
…
continue reading
שורפים משחקים, הפודקאסט לגיימר העצלן, העוסק בכל המשחקים כולם. אנחנו מדברים על משחקי מחשב, תפקידים, לוח ושולחן, עוסקים במשחקים החדשים בהם שחקנו, בחדשות מהתעשייה, אירועים מעניינים ועוד.
…
continue reading
Player FM - приложение для подкастов
Работайте офлайн с приложением Player FM !
Работайте офлайн с приложением Player FM !
))
Episode 9 - Formal Verification Engineer (Or Drucker)
Manage episode 336069666 series 3337008
Контент предоставлен Yuval Kogan, Lior Schermann, and Shay Oliver. Весь контент подкастов, включая эпизоды, графику и описания подкастов, загружается и предоставляется непосредственно компанией Yuval Kogan, Lior Schermann, and Shay Oliver или ее партнером по платформе подкастов. Если вы считаете, что кто-то использует вашу работу, защищенную авторским правом, без вашего разрешения, вы можете выполнить процедуру, описанную здесь https://ru.player.fm/legal.
מי הוא מהנדס הפורמל ומה הוא עושה? איך נראה יום עבודה שלו? עם מי הוא עובד? למה צריך וריפיקציה רגילה אם קיים פורמל? מי קדם למי?
בפרק אירחנו את אור דרוקר שענה לנו על השאלות האלה ועל עוד המון אחרות.
אור בעל 4 שנים של ניסיון בתחום והציג את התחום בצורה יפה.
הצטרפו אלינו לפרק שבו התראיין אצלנו מהנדס פורמל ושאלנו את השאלות שחשבנו שתרצו תשובות עליהן. אם יש לכם עוד שאלות שלא ענינו בפרק, כתבו לנו :)
podcasthardreset@gmail.com
50 эпизодов
Поделиться
Manage episode 336069666 series 3337008
Контент предоставлен Yuval Kogan, Lior Schermann, and Shay Oliver. Весь контент подкастов, включая эпизоды, графику и описания подкастов, загружается и предоставляется непосредственно компанией Yuval Kogan, Lior Schermann, and Shay Oliver или ее партнером по платформе подкастов. Если вы считаете, что кто-то использует вашу работу, защищенную авторским правом, без вашего разрешения, вы можете выполнить процедуру, описанную здесь https://ru.player.fm/legal.
מי הוא מהנדס הפורמל ומה הוא עושה? איך נראה יום עבודה שלו? עם מי הוא עובד? למה צריך וריפיקציה רגילה אם קיים פורמל? מי קדם למי?
בפרק אירחנו את אור דרוקר שענה לנו על השאלות האלה ועל עוד המון אחרות.
אור בעל 4 שנים של ניסיון בתחום והציג את התחום בצורה יפה.
הצטרפו אלינו לפרק שבו התראיין אצלנו מהנדס פורמל ושאלנו את השאלות שחשבנו שתרצו תשובות עליהן. אם יש לכם עוד שאלות שלא ענינו בפרק, כתבו לנו :)
podcasthardreset@gmail.com
50 эпизодов
Kaikki jaksot
×
Добро пожаловать в Player FM!
Player FM сканирует Интернет в поисках высококачественных подкастов, чтобы вы могли наслаждаться ими прямо сейчас. Это лучшее приложение для подкастов, которое работает на Android, iPhone и веб-странице. Зарегистрируйтесь, чтобы синхронизировать подписки на разных устройствах.
Похожие на Hard Reset
בועז לביא מגיש פודקסט על קוד, שפות תכנות, באגים היסטוריים ולמידת מכונה. "תוכנה זוללת את העולם", קבע המהנדס והיזם האמריקאי מארק אנדריסן. ואין ספק שזה נכון. זהו פודקאסט למפתחים ולמפתחות, ולכל מי שרוצה לדעת ממה עשוי עולמנו המפוקסל, זה שנבלע בבטן האלגוריתם. עמית בן דור, מייסד הפודקאסט (לצד חן פלדמן) יתארח בפרקים נבחרים
…
continue reading
רברס עם פלטפורמה, הפודקאסט של אורי ורן על תוכנה ועוד
…
continue reading
חיות בדיגיטל בהגשת נתלי רוגל היא תוכנית אירוח שמדברת על ההשפעה של הדיגיטל על החיים של כולנו : בחינוך , זוגיות הורות , בריאות כסף ומה לא ? על איך אנחנו יכולים להשתפר באמצעות הדיגיטל , בכל תוכנית אני מארחת מומחים שונים, מרצים, מנהלות ומנהלים כדי לתת יידע וכלים מעשיים להשתפרות הן בפן המקצועי והן בפן האישי . הפודקאסט "חיות בדיגיטל" זוכה בפרס פודקאסט השנה מטעם מגזין גיק טיים ב-2020, 2021 ו-2022 .
…
continue reading
עוד פודקאסט לסטארטאפים הינה תוכנית ליזמים בתחילת דרכם וכאלה המתעניינים ביזמות. במסגרת הפודקאסט, אנו מארחים דמויות מובילות בתעשיית הסטארט-אפים והחדשנות בישראל - לרבות משקיעי הון-סיכון, יזמים ואנשי מקצוע אחרים, בכדי לאפשר למאזינים מפגש בלתי אמצעי עמם. את היזמים אנו מראיינים על מסעם המקצועי והלקחים שיוכלו להפיק ממנו אחרים; את המשקיעים אנו מראיינים על מה הם מחפשים, ועל השינויים שעוברים על תעשיית ההון-סיכון וההיי-טק הישראלית. את עוד פודקאסט לסטארטאפים מנחה גיא קצוביץ', מייסד-שותף של פלטפורמת השקע ...
…
continue reading
שרון קנטור ומומחים לומדים ומלמדים דברים חדשים
…
continue reading
כתבות מוקלטות של מכון דוידסון לחינוך מדעי
…
continue reading
אביב פרנקל מארח בפודקאסט שבועי יזמים ,מנכ״לים ואנשים מעניינים מתעשית הייטק שבאים לספר איזה סיפור מעניין או על עצמם או על החברה שלהם על הצלחות וגם על כשלונות.
…
continue reading
הפודקאסט של תינק אנד דרינק, פודקאסט למי שאוהב לחשוב. כל שבוע ד"ר ג'רמי פוגל משוחח עם מיטב המרצים של ליין ההרצאות והספרים של תינק אנד דרינק על השאלות הגדולות של החיים: מה זאת אהבה? מהי משמעות החיים? איך ייראה שוק העבודה בעתיד והאם העולם שלנו הופך לשוויוני פחות או יותר? מהי תפיסת העולם ע"פ איינשטיין או ע"פ פרידריך ניטשה? על כל אלה ועוד הרבה, תוכלו לשמוע מפיו של ד"ר ג'רמי פוגל בסגנונו המיוחד, יחד עם האורחים המרתקים שלנו.
…
continue reading
שיחות עומק שעוזרות להבין את העולם החדש שאנחנו חיים בו, להסתגל אליו, ולנצל את ההזדמנויות החדשות שהוא מביא. אנחנו מדברים על החידושים בתחום הקריירה, הכלכלה, הפסיכולוגיה, המדע. ** פודקאסט שעוזר לכל מי שרוצה לבנות לעצמו קריירה משמעותית, או לנהל, או לפתוח עסק, סטארטאפ, פרויקט צד, או להיות עצמאי.ת - וללמוד מכל אלו שכבר עשו את זה ** ע״פ אתר ליסטןנוטס.קום, פופקורן נמצא באחוז העליון של הפודקאסטים בעולם מבחינת מספר השמעות והורדות. ** לא מכירים את פופקורן? הנה הקטלוג מסודר על פי נושאים https://bit.ly/po ...
…
continue reading
שורפים משחקים, הפודקאסט לגיימר העצלן, העוסק בכל המשחקים כולם. אנחנו מדברים על משחקי מחשב, תפקידים, לוח ושולחן, עוסקים במשחקים החדשים בהם שחקנו, בחדשות מהתעשייה, אירועים מעניינים ועוד.
…
continue reading
Player FM - приложение для подкастов
Работайте офлайн с приложением Player FM !
Работайте офлайн с приложением Player FM !
