יומיות 24.9.2022: הוכחות ממוחשבות במתמטיקה 15

יומיות 24.9.2022: הוכחות ממוחשבות במתמטיקה

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

יומיות יותר מאוחרות 1

יומיות 11.09.2022: חידת פרלמן

בשנת 2000 פורסמו שבע בעיות מילניום של המתמטיקה. חשבו אז שיקח אלף שנה לפתור אותן, או אולי אף פעם. אבל שנתיים מאוחר יותר כבר פתר גריגורי פרלמן את אחת הבעיות. מי האיש, מה סיפורו ולמה הוא פרש ממתמטיקה כמה שנים מאוחר יותר?

יומיות 4

יומיות 03.04.2022: אבחנות על אוכל פולני

האוכל הפולני מושמץ בישראל ולי יש דעה על זה. זה פשוט אוכל שכל כך קשור למקום, תרבות ואקלים, שאי אפשר לתרגם אותו לשום מקום אחר. פוסט שמתחיל עם 4 מנות פולניות עונתיות וממשיך עם 3 אבחנות על אוכל פולני.

יומיות 26.12.2021: מי צריך את web3? 11

יומיות 27.12.2021: מי צריך את web3?

כולם מדברים על web3. אומרים שזה מדהים, אומרים שזה מגעיל, אומרים על זה הרבה דברים שיותר מבלבלים מעוזרים. אז הנה, באתי לתת את נקודת ההשקפה הצרה שלי על web3 כדי לבלבל אפילו עוד קצת.

יומיות 23.11.2021: משחקי Wholesome 4

יומיות 23.11.2021: משחקי Wholesome

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