a pessimistic researcher

سلام به دوستان و همراهان عزیز

حقیقتا صحبت‌های بنده در روزهای گذشته بازتاب‌هایی داشت و تعداد خوبی از این بازتاب‌ها رو هم در کانال‌های دوستان یا در جاهای دیگری خوندم. حقیقتا از خیلی از این افراد، یک شناخت نسبی و یا عمیق بر اساس نگرش و بینشی که دارند از پیش داشتم و متوجه شدم که شناختم خیلی درست نبوده، بنده توقع خردمندی، نکته‌سنجی، و معرفت بیشتری داشتم از این عزیزان ولی خود غلط بود آنچه می‌پنداشتیم.

مصرم بر اینکه هیچ یک از حرفای بنده، ساده‌انگاری، بی‌اخلاقی، غیر حرفه‌ای، متعصبانه، مغرضانه، و یا عناوین دیگری که این دوستان لطف کردند و به بنده نسبت دادند نبوده و قصد داشتم راجع به هر بخش جداگانه شرح بدم و صحبت کنم. منتهی با خودم فکر کردم که من سال‌هاست اینجا دارم مینویسم و هر بار مجبورم از حرفام دفاع کنم و در آخر هم چیزی تغییر نمیکنه، درست عین آدم‌ها.

خلاصه تصمیم دارم که بعد این همه نوشتن بی‌اثر و بی ثمر، برای مدتی طولانی فاصله بگیرم از این فضا و سعی کنم کار دیگری که فکر میکنم مفیدتره انجام بدم. به طور خاص استراحت کردن و از زندگی لذت بردن.

اینجا رو نگه میدارم تا دسترسی دوستان به مطالب گذشته حفظ بشه.

در انتها چند کانال رو که به نظرم ارزش دنبال کردند دارن بهتون معرفی میکنم.

خود گفته‌ها
Annie's Daily
Dutchman Daily
نوشته‌های ترمینالی
Agora
Singular Thinker
آتامتاک
نگار می‌گوید که

کانال‌های خواندنی‌ای هستند و به یقین با دنبال کردنشون جای خالی ما حس نمیشه.

ارادت

آقا اینو گذاشتم اینجا تا سر فرصت راجع بهش صحبت کنم
نقدا تا فرصت کنم بنویسم این پست رو بد نیست که بخونید.

Computer science

دوستان بنده این توئیت آقای Marcel Böhme رو مغتنم می‌شمارم و یادآور میشم که ددلاین پروگرام اینترنشیپ مکس پلانک ۱ نوامبر هستش.

How does it feel like to do world-class research? If you are a CS undergrad who is interested in our topics, the Software Security group at #MPI_SP is hiring interns for summer & winter 2025!

Details:
📅 01 November 2024
✍️ cis.mpg.de/internships/
🛡️ mpi-softsec.github.io

خانم Yixin Zou هم از MPI-SP در توئیتی اعلام کردند که دنبال intern هستند برای تابستون ۲۰۲۵

یه داستانی که پیش اومده اینه که چند تا از هم آزمایشگاهی‌های من توی مکس پلانک، جولای رفته بودن Estonia که Autobóz 2024 رو شرکت کنن. اونجا با یکی از دوستای من، امید که خدا بگم چیکارش کنه :)) آشنا میشن و متوجه میشن من همچین کانالی دارم و عضو کانال میشن. هر چی هم بهشون گفتم که من اینجا فارسی می‌نویسم و شما که فارسی بلد نیستید افاقه نکرد و گفتن که ترجمه می‌کنیم می‌خونیم :) حالا این رو نوشتم گذاشتم اینجا ببینم واقعا میخونن اینایی که می‌نویسم رو یا همین طور الکی فقط می‌خواستن منو دست بندازن :)

بهتره اصلا در نوبل شیمی رو باز نکنیم. این بنده خداها در سال‌های گذشته از اینکه جایزه فیلدشون رو بیولوژیست‌ها میبردن به قدر کافی فشار خوردن. حالا امسال علاوه بر بیولوژی، فشار AI هم دارن میخورن.

حالا موضوع تاک ایشون منو یاد نقدی انداخت که دوست دارم یک روز درباره‌ی سیلابس مورد تدریس درس نظریه‌ زبان‌ها و آتوماتا توی ایران بنویسم. من اولین مواجه‌ام با آتوماتا تئوری تو اروپا بهم اثبات کرد که متأسفانه تمرکز سیلابس این درس توی ایران بیشتر تاکید روی مباحث حاشیه‌ایه. سبک و شیوه‌ی برخورد اهل فنِ آتوماتا در اروپا کاملا متفاوته. خلاصه بگم که سیپسر رو خیلی قبول ندارن و سبک خاص خودشون رو دارن که حتما توی یک پستی جداگانه بهش می‌پردازم. البته علاوه بر سیستم آکادمیک، این نقد به دانشجوها هم وارده که خیلی دنبال درک عمیق و درستی از این درس نیستن. الان مثلا تعداد دانشجوهای کلاس یک استادی که نه کارش آتوماتاست و نه درک و شناخت درستی از آتوماتا داره و نه به نظرم دوست داره که داشته باشه :))) دو برابر بچه‌های کلاس آتوماتای مهران هستش. خود همین پدیده نشون دهنده‌ی اینه که سیستم خیلی عقب وایساده و دانشجوها از سیستم عقب تر. بگذریم

دوستان فردا آقای Jacques Sakarovitc قراره در موسسه‌ی IMDEA Software یک تاک خیلی جذاب داشته باشند با عنوان “The transformation of regular expressions into finite automata: old and new results”. احتمالا دوستانی که درس تئوری آتوماتا رو پاس کرده باشند با الگوریتم تبدیل یک regex به یک finite automaton و عکسش رو آشنا هستند از همین جهت احتمالا خیلی‌هاتون بکگراند کافی رو داشته باشید. فقط حواستون باشه اروپایی‌ها به زبان‌های منظم میگن Rational languages :)
این تاک فردا پنج شنبه ساعت ۱۲:۳۰ به وقت ایران برگزار میشه که می‌تونید از طریق این لینک به شکل رایگان شرکت کنید.آقای ساکاروویچ یکی از وزنه‌های آتوماتا هستند. من اولین بار با کتاب بی‌نظیری که نوشتند یعنی Elements of Automata Theory آشنا شدم. این کتاب در مقام مقایسه با کتاب سیپسر بر خلاف اسمش اصلا مقدماتی نیست و خیلی مطالب پیشرفته‌ای داره. کتاب اولین بار به زبان فرانسوی نوشته شده و بعدا به انگلیسی ترجمه شده. آقای ساکاروویچ نوتیشن‌های خاص خودشون رو دارن برای توصیف مباحث آتوماتا و کمی با نوتیشن‌های معمولی که دانشجوها تو ایران می‌خونن متفاوته. ایشون توی جلد اول کتاب Handbook of Automata Theory یک فصلی رو نوشتند با عنوان Automata and rational expressions که به نظرم خیلی از مطالب تاک فرداشون رو پوشش میده و اگر فرصت داشتید حتما بخونید. اگر هم دسترسی به دو کتاب ذکر شده نداشتید بهم پیام بدید می‌فرستم براتون.
پسورد ورود به zoom هست :
@s3

:)

دپارتمان‌های فیزیک : چشم عباس آقا.

در راستای دهن کجی Nobel Foundation به جامعه‌ی آکادمیک فیزیک، توصیه می‌کنم اگر سال دیگه هم حوصله نداشتید کارای بنیادی فیزیکدانان رو بررسی کنید و یا خواستید تاپیک رو از ML تغییر بدید، یک نگاهی به این مقاله‌‌ی آقای لمپورت بندازید :) ایشون توی این مقاله تفسیرشون رو از نحوه‌ی تعاملات پراسس‌ها در یک محیط توزیع‌شده، بر اساس نسبیت خاص تعریف می‌کنند و ادعای رابطه‌ی Totally ordered بین تعاملات پراسس‌ها رو رد میکنن. همین نظریه، تبدیل به پایه‌ی نظریه‌ی سیستم‌های توزیع شده میشه! از طرفی، علاوه بر ML، بلاک‌چین هم هنوز هایپش بالاست و می‌تونید توی پوستر بزنید :
"for foundational discoveries and inventions that enable blockchain with consensus algorithm"

راستی ما یک بار توی کانال در قالب یک پستی با عنوان "پر cite ترین مقاله‌ی لمپورت" راجع به این مقاله صحبت کردیم. توصیه‌ میکنم بخونید حتما :)

البته من یک اشتباهی کردم و آقای Herbert A. Simon اولین کسی بودن که هم تورینگ بردن و هم نوبل. ولی ایشون نوبل شون تو اقتصاد بود!

بالاخره می‌تونیم بگیم که یک برنده‌ی جایزه‌ی تورینگ داریم که یک نوبل واقعی هم تو زندگیش برده :) اونم تو فیزیک :)

"Dov Gabbay Prize for Logic and Foundations 2024"
————————————————

سر آقای Dov Gabbay سلامت باشه. دو سال پیش به مناسبت تولد ۷۷ سالگی شون، یک جایزه‌ای رو شروع کردن به اهدای سالانه به نام Dov Gabbay Prize که به افرادی که در حوزه‌ی منطق کار میکنن داده میشه. امسال دومین سالی هست که این جایزه رو اهدا میکنن و برندگان جایزه به خاطر حل یک open problem صد ساله این جایزه رو دریافت کردند. در ادامه جزئیات این خبر رو به همراه مقاله‌ای که منجر به حل این مسئله شد رو براتون قرار میدم.

The Jury is pleased to announce that the prize shall be awarded jointly to David Asperó (University of East Anglia, UK) and Ralf Schindler (University of Münster, Germany) for their work in the foundations of set theory, and in particular for their work connecting determinacy principles and so-called strong forcing axioms, both impinging on the nature of the continuum hypothesis (the continuum having size $\aleph_2$ as a consequence from examples of hypotheses in both directions here). Principally the award is given for their solution to the decades old problem in the area by showing that there is a concrete bridge between these two rather different approaches to the foundations of set theory. This work appeared in their paper (Martin’s Maximum^{++} implies Woodin’s Axiom) in the Annals of Mathematics 2021.

David Asperó is well known for his work in set theory, in particular for his contributions to forcing and forcing axioms.

Ralf Schindler has made significant contributions to the theory of inner models of set theory under strong theoretical axioms of infinity and hypotheses of the determinacy of infinite games.

The Dov Gabbay Prize for Logic and Foundations is an international research prize launched on the occasion of Professor Dov Gabbay's 77th birthday. This initiative honours the extraordinary and multi-faceted scientific and editorial work of Dov Gabbay, known in particular for editing an extensive collection of specialized Logic Handbooks.

این عکس رو خیلی رندوم دیدم و جدی آقا ما رو کجاها برد... چقدر دلم تنگ شده برای اون عصرهایی که از شریف با مترو میومدم انقلاب و از اونجا تا فردوسی رو پیاده میرفتم پایین. یا اون ماهای آخر که با حسین همش کتابخونه دانشگاه تهران پلاس بودیم و ماه رمضونا میرفتیم توی cave ساندویچ میخوردیم.