בועז לביא מגיש פודקסט על קוד, שפות תכנות, באגים היסטוריים ולמידת מכונה. "תוכנה זוללת את העולם", קבע המהנדס והיזם האמריקאי מארק אנדריסן. ואין ספק שזה נכון. זהו פודקאסט למפתחים ולמפתחות, ולכל מי שרוצה לדעת ממה עשוי עולמנו המפוקסל, זה שנבלע בבטן האלגוריתם. עמית בן דור, מייסד הפודקאסט (לצד חן פלדמן) יתארח בפרקים נבחרים
…
continue reading
תוכן מסופק על ידי Yuval Kogan, Lior Schermann, and Shay Oliver. כל תוכן הפודקאסטים כולל פרקים, גרפיקה ותיאורי פודקאסטים מועלים ומסופקים ישירות על ידי Yuval Kogan, Lior Schermann, and Shay Oliver או שותף פלטפורמת הפודקאסט שלהם. אם אתה מאמין שמישהו משתמש ביצירה שלך המוגנת בזכויות יוצרים ללא רשותך, אתה יכול לעקוב אחר התהליך המתואר כאן https://he.player.fm/legal.
Player FM - אפליקציית פודקאסט
התחל במצב לא מקוון עם האפליקציה Player FM !
התחל במצב לא מקוון עם האפליקציה Player FM !
E71 - Constraint Solver
MP3•בית הפרקים
Manage episode 473010222 series 3337008
תוכן מסופק על ידי Yuval Kogan, Lior Schermann, and Shay Oliver. כל תוכן הפודקאסטים כולל פרקים, גרפיקה ותיאורי פודקאסטים מועלים ומסופקים ישירות על ידי Yuval Kogan, Lior Schermann, and Shay Oliver או שותף פלטפורמת הפודקאסט שלהם. אם אתה מאמין שמישהו משתמש ביצירה שלך המוגנת בזכויות יוצרים ללא רשותך, אתה יכול לעקוב אחר התהליך המתואר כאן https://he.player.fm/legal.
בחיים יש לנו המון אילוצים. עבודה, לימודים, חברים, זמן פנוי וכמובן גם תחביבים. אנחנו צריכים תמיד לתעדף פעילות אחת על פני אחרת (מה לעשות, אנחנו עדיין Single Core), מה שאומר שאי אפשר להיות כל היום עם חברים כי צריך גם לעבוד, והסטודנטים שבנינו גם לא יכולים לעשות כל היום תחביבים כי הם צריכים ללמוד. אם נדמה את החיים שלנו כ-Flow של אירועים, נבין שיש מקרים מעניינים או מורכבים יותר מאחרים. נמשיך עם הדימוי שלנו וניכנס למטריקס: נאמר שאנחנו בסימולציה ואנחנו בודקים את האדם שחווה את החיים שתיארנו. כל עוד החיים שלו ממשיכים כסדרם - הכל בסדר. אבל מה קורה כשלא? מה קורה אם לאדם המסומלץ שלנו יש חתונה של החבר הכי טוב שלו ופרזנטציה חשובה בבוקר היום למחרת - האם הוא יצליח? מה קורה אם התחרות הכי חשובה בחוג סריגה למתקדמים של האדם המסומלץ שלנו נופלת על מבחן בלימודים? מה קורה אם בת הזוג שלו מציעה לו לצאת אבל הוא בדיוק במצב בטטה בבינג׳ על הספה רואה The Big Band Theory? נרדד את כל האנלוגיות שלנו ונספר שאנחנו מדברים הפעם על אספקט מרכזי בעבודתו של מהנדס הוריפיקציה - ה Constraint Solver. מהנדס הוריפיקציה לוקח בלוק וצריך לייצר לו קלטים רלוונטיים. אין דרך לעבור על כך הקלטים, ועל כן הוא צריך לחשוב על מקרים ״מעניינים״, כאלה שיאתגרו את המערכת ולהכווין את יצירת המידע האקראית לכיוון הזה. מוזמנים להצטרף לקבוצת המאזינים שלנו - שם אנחנו פותרים אילוצים, אבל רק על משתנים אקראיים >>> https://chat.whatsapp.com/KwUu8pQsxx220qS7AXv04T נשמח לשמוע את דעתכם על הפרק בתגובות. פרק 71 - Verification Constraint Solver Hard Reset - הפודקאסט של קהילת Hardware Engineering Israel. מוזמנים ליצור איתנו קשר במייל [email protected] פרק זה הוקלט במהלך מלחמת ״חרבות ברזל״. האזנה נעימה.
…
continue reading
76 פרקים
MP3•בית הפרקים
Manage episode 473010222 series 3337008
תוכן מסופק על ידי Yuval Kogan, Lior Schermann, and Shay Oliver. כל תוכן הפודקאסטים כולל פרקים, גרפיקה ותיאורי פודקאסטים מועלים ומסופקים ישירות על ידי Yuval Kogan, Lior Schermann, and Shay Oliver או שותף פלטפורמת הפודקאסט שלהם. אם אתה מאמין שמישהו משתמש ביצירה שלך המוגנת בזכויות יוצרים ללא רשותך, אתה יכול לעקוב אחר התהליך המתואר כאן https://he.player.fm/legal.
בחיים יש לנו המון אילוצים. עבודה, לימודים, חברים, זמן פנוי וכמובן גם תחביבים. אנחנו צריכים תמיד לתעדף פעילות אחת על פני אחרת (מה לעשות, אנחנו עדיין Single Core), מה שאומר שאי אפשר להיות כל היום עם חברים כי צריך גם לעבוד, והסטודנטים שבנינו גם לא יכולים לעשות כל היום תחביבים כי הם צריכים ללמוד. אם נדמה את החיים שלנו כ-Flow של אירועים, נבין שיש מקרים מעניינים או מורכבים יותר מאחרים. נמשיך עם הדימוי שלנו וניכנס למטריקס: נאמר שאנחנו בסימולציה ואנחנו בודקים את האדם שחווה את החיים שתיארנו. כל עוד החיים שלו ממשיכים כסדרם - הכל בסדר. אבל מה קורה כשלא? מה קורה אם לאדם המסומלץ שלנו יש חתונה של החבר הכי טוב שלו ופרזנטציה חשובה בבוקר היום למחרת - האם הוא יצליח? מה קורה אם התחרות הכי חשובה בחוג סריגה למתקדמים של האדם המסומלץ שלנו נופלת על מבחן בלימודים? מה קורה אם בת הזוג שלו מציעה לו לצאת אבל הוא בדיוק במצב בטטה בבינג׳ על הספה רואה The Big Band Theory? נרדד את כל האנלוגיות שלנו ונספר שאנחנו מדברים הפעם על אספקט מרכזי בעבודתו של מהנדס הוריפיקציה - ה Constraint Solver. מהנדס הוריפיקציה לוקח בלוק וצריך לייצר לו קלטים רלוונטיים. אין דרך לעבור על כך הקלטים, ועל כן הוא צריך לחשוב על מקרים ״מעניינים״, כאלה שיאתגרו את המערכת ולהכווין את יצירת המידע האקראית לכיוון הזה. מוזמנים להצטרף לקבוצת המאזינים שלנו - שם אנחנו פותרים אילוצים, אבל רק על משתנים אקראיים >>> https://chat.whatsapp.com/KwUu8pQsxx220qS7AXv04T נשמח לשמוע את דעתכם על הפרק בתגובות. פרק 71 - Verification Constraint Solver Hard Reset - הפודקאסט של קהילת Hardware Engineering Israel. מוזמנים ליצור איתנו קשר במייל [email protected] פרק זה הוקלט במהלך מלחמת ״חרבות ברזל״. האזנה נעימה.
…
continue reading
76 פרקים
כל הפרקים
×ברוכים הבאים אל Player FM!
Player FM סורק את האינטרנט עבור פודקאסטים באיכות גבוהה בשבילכם כדי שתהנו מהם כרגע. זה יישום הפודקאסט הטוב ביותר והוא עובד על אנדרואיד, iPhone ואינטרנט. הירשמו לסנכרון מנויים במכשירים שונים.