Wrote a Wordle solver: Did the last few days in <=4 steps.Bad news: The worst-case performance is 8 steps >>.

I asked: Why not do general externality markets? Why carbon specifically? Why not noise, local air pollution, and so on? It said because carbon is easy to measure, it's one dimensional, etc etc. Seems reasonable but I don't know if it's true or more of a historic politics thing.

What do you want to know?.

Theory side: I wanted to know what auction celebrities think about this system, it gave me a short reading list I need to follow up on:.

It's a huge market, with ~0.5T USD in volume a year. There is also a voluntary market ('zero carbon print') which is much smaller ~4B USD a year. It feels like the market mechanism is a nice dressing but the real action is in verification and measurement. What's up with that?.

#1 I had a conversation with ChatGPT about it. Tried to get the big picture. It seems there are different regional systems following the Kyoto protocol (most notably the EU). Governments setup caps for companies, and later they can trade them (a.k.a. cap & trade).

Running-thread of me trying to understand carbon markets. It's going to be very first-principles based so forgive my ignorance.

RT @EliBenSasson: Story time: Math jamming. I started my mathematics research career jamming with Avi Wigderson, my PhD advisor and the gre….

RT @shai_s_shwartz: Are frontier AI models really capable of “PhD-level” reasoning? To answer this question, we introduce FormulaOne, a new….

עדכון חשוב הבת שלי פתרה Rush hour, שמתברר שזה PSPACE-complete, סודוקו זה רק NP-complete, אז אפשר להרגיש שמחה שוב.

RT @EliBenSasson: How did I end up a Mathematician?. (long story).As a child, my dad said to me "our family isn't good in math" and I, pref….

גיליתי ולוג של סינית-אוסטרלית שמגדלת את הילדים שלה בבית ואני לא חושב שאני אחוש שמחה שוב אי פעם. (הבן שלה פותר סודוקו ארבע ספרות בגיל 3).

Truly incredible stuff in this channel.

Pretty expressive face. I like it

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

ילדים זה שמחה*. *לאבות . אגב זה שהבאמפ של אמהות הוא דווקא בגיל 0-1 נשמע מוזר בהינתן דיכאון אחרי לידה ותופעות כאלה. אולי זאת ההרגשה ש׳מצופה להיות שמחים׳ שמאוחר יותר כבר לא אכפת ממנה?.

מהדברים המשוגעים שראיתי, נראה שהערוץ של הבחור הזה עם פוטנציאל להיות mythbusters 2.0.(עוד וידאון משוגע: .

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

אחרי המתקפה האירנית קיבלתי סמס ממכון ויצמן (!) שהם נותנים לי 150 שקל בוולט (!!), זה היה נשמע לי סקאם מוחלט בואך אופרציית סייבר אירנית, אבל אתמול אשתי השתמשה בקוד וזה לגמרי עבד והיא אכלה עוף טעים בטיגון עמוק.

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

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

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