1. Радий повідомити, що я щойно отримав свій третій академічний грант від Ethereum Foundation, цього разу в рамках Раунду 🎉 академічних грантів 2025 року Проєкт поєднає фаззинг, навчання з підкріпленням та формальні методи для консенсусу Ethereum

Я отримав посаду в UCSB! 🎉 12 років тому я майже нічого не знав про PL. Дякую моєму суперзірковому раднику, Ісілу, за те, що він навчив мене проводити справжні дослідження (і просидів ці 10-годинні зустрічі перед PLDI від сходу до заходу сонця). Ми були найкращими партнерами майже у всьому. Мені також надзвичайно пощастило бути наставником THE BEST PL people on this planet, Alex Aiken, Ras Bodik та Emina Torlak, які сформували мій дослідницький смак. Для моїх чудових учнів — Янджу, Цзюнруї, Хонгбо, @trackoor, Браяна, Ніколаса та багатьох інших — ви є найкращою частиною цієї роботи. Моїм співробітникам — Осберту Бастані, Рубену Мартінсу, Юань Тяню, Ченлун Вану, Юепенгу Вангу, Сіньюй Вану @lukejdpearson (також моєму інвестору, лол) — дякую за те, що зробили дослідження справжньою радістю. Моїм колегам з UCSB та анонімним авторам листів — дякую за неймовірні слова та віру в мене. І моїй дружині – дякую за те, що ви були поруч зі мною протягом цих важких років і кожного божевільного рішення на цьому шляху. Я не зміг би цього зробити без вас усіх. Переходимо до наступного розділу. 🚀

Дякую нашим прихильникам і моїй чудовій команді. Те, що ми зробили до цього часу, – це лише початок.