יומיות 3

יומיות 08.10.2022: המלחמה על eth.link

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

יומיות 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 כדי לבלבל אפילו עוד קצת.