Forwarded from Armon technical logs (armon Taheri)
چرایی بیمار بودن دانشگاه های ایران
https://castbox.fm/vb/739323005
https://castbox.fm/vb/739323005
d.castbox.fm
Best free podcast app for Apple iOS and Android | Let words move you
Millions of podcasts for all topics. Listen to the best free podcast on Android, Apple iOS, Amazon Alexa, Google Home, Carplay, Android Auto, PC. Create...
Forwarded from ⚝
https://vocaltractlab.de/index.php?page=vocaltractlab-download
به اوج قلّهٔ رضایت میرسم وقتی که میبینم محققین نرمافزارهای علمی پرکاربردشون رو به صورت نرمافزار آزاد عرضه میکنن.
#note #FLOSS #معرفی
@amiria703_channel
به اوج قلّهٔ رضایت میرسم وقتی که میبینم محققین نرمافزارهای علمی پرکاربردشون رو به صورت نرمافزار آزاد عرضه میکنن.
#note #FLOSS #معرفی
@amiria703_channel
Forwarded from Sadra Codes
اگه پکیج پایتون مینویسید و علاقه دارین که نمودار دانلود اخیر پکیجتون رو داشته باشین و در README نمایشش بدین، یه اکشن نوشتم که به راحتی میتونید اینکار رو باهاش انجام بدید!
میتونید سایز و رنگ نمودار رو هم خودتون ست کنید.
آدرس اکشن (شیوه استفاده در لینک): https://github.com/marketplace/actions/pypi-chart-badge
Made with PyAction
میتونید سایز و رنگ نمودار رو هم خودتون ست کنید.
آدرس اکشن (شیوه استفاده در لینک): https://github.com/marketplace/actions/pypi-chart-badge
Made with PyAction
Forwarded from Linuxor ?
This media is not supported in your browser
VIEW IN TELEGRAM
اگه با QT برنامه میسازین و استایلش رو خوب نمیتونین در بیارین از این ریپو استفاده کنید
بهتون حتی امکان تغییر تم برنامه به صورت داینامیک و تغییر رنگ آیکون ها رو میده و ui برنامتون رو زنده تر میکنه
https://github.com/githubuser0xFFFF/Qt-Advanced-Stylesheets
🐧 @Linuxor
بهتون حتی امکان تغییر تم برنامه به صورت داینامیک و تغییر رنگ آیکون ها رو میده و ui برنامتون رو زنده تر میکنه
https://github.com/githubuser0xFFFF/Qt-Advanced-Stylesheets
🐧 @Linuxor
Forwarded from DevTwitter | توییت برنامه نویسی
یه دولوپر بعد از ۳۰ سال کار با ویندوز به لینوکس مهاجرت کرده، سر چی؟
ماجرا اینه که شش تا کارت گرافیک ۲۴ گیگابایتی واسه اجرای مدلهای AI میخره و یکی یکی به سیستم اضافه میکنه، رو ویندوز افت عملکرد زیادی میبینه، یعنی از کل ظرفیت کارتها نمیتونه استفاده کنه.
بعد میاد لینوکس رو به شکل مجازی داخل ویندوز اجرا میکنه و دوباره تست میگیره که کمک زیادی نمیکنه، نهایتا تصمیم میگیره یه لینوکس مستقیما نصب کنه.
بعد از تغییر ویندوز به لینوکس شاهد افزایش ۳ برابری سرعت اجرای وظایف میشه و سیستمش هم به حافظه بیشتری دسترسی پیدا میکنه.
سرعت بالاتر معنیش اینه که میتونه مدلهای بزرگتر رو هم اجرا کنه، کاری که داخل ویندوز نمیتونست.
در کل ماجرای کاربر Inevitable-Start-653 هم دوست داشتید میتونید بخونید، جالب هست.
https://www.reddit.com/r/Oobabooga/comments/1b1pm0m/after_30_years_of_windowsive_switched_to_linux/
@DevTwitter | <Soroush Ahmadi/>
ماجرا اینه که شش تا کارت گرافیک ۲۴ گیگابایتی واسه اجرای مدلهای AI میخره و یکی یکی به سیستم اضافه میکنه، رو ویندوز افت عملکرد زیادی میبینه، یعنی از کل ظرفیت کارتها نمیتونه استفاده کنه.
بعد میاد لینوکس رو به شکل مجازی داخل ویندوز اجرا میکنه و دوباره تست میگیره که کمک زیادی نمیکنه، نهایتا تصمیم میگیره یه لینوکس مستقیما نصب کنه.
بعد از تغییر ویندوز به لینوکس شاهد افزایش ۳ برابری سرعت اجرای وظایف میشه و سیستمش هم به حافظه بیشتری دسترسی پیدا میکنه.
سرعت بالاتر معنیش اینه که میتونه مدلهای بزرگتر رو هم اجرا کنه، کاری که داخل ویندوز نمیتونست.
در کل ماجرای کاربر Inevitable-Start-653 هم دوست داشتید میتونید بخونید، جالب هست.
https://www.reddit.com/r/Oobabooga/comments/1b1pm0m/after_30_years_of_windowsive_switched_to_linux/
@DevTwitter | <Soroush Ahmadi/>
Forwarded from Geek Alerts
از ۱۵ اکتبر (۲۴ مهر) تولیدکنندههای محتوا میتونن ویدیوهای شورتز تا سقف سه دقیقه داخل یوتیوب آپلود کنن و از این تاریخ دیگه شورتزها به ویدیوهای ۱ دقیقهای محدود نیستن.
توی تیکتاک این عدد ۱۰ دقیقه هست که به نظر میرسه یوتیوب هم داره به همون سمت میره.
theverge
@geekalerts
توی تیکتاک این عدد ۱۰ دقیقه هست که به نظر میرسه یوتیوب هم داره به همون سمت میره.
theverge
@geekalerts
Forwarded from Geek Alerts
از ۱۵ اکتبر (۲۴ مهر) تولیدکنندههای محتوا میتونن ویدیوهای شورتز تا سقف سه دقیقه داخل یوتیوب آپلود کنن و از این تاریخ دیگه شورتزها به ویدیوهای ۱ دقیقهای محدود نیستن.
توی تیکتاک این عدد ۱۰ دقیقه هست که به نظر میرسه یوتیوب هم داره به همون سمت میره.
theverge
@geekalerts
توی تیکتاک این عدد ۱۰ دقیقه هست که به نظر میرسه یوتیوب هم داره به همون سمت میره.
theverge
@geekalerts
Forwarded from DevTwitter | توییت برنامه نویسی
این سایت futureme.org عالیه. مخصوصاً اگه در مسیری هستین که نسبت به آینده مرددین.
میتونین به خودِ آیندهتون ایمیل بزنین (خصوصی/عمومی، ۶ ماه، یک سال یا ده بیست سال دیگه) و میرسه. نامههای بامزه عمومی بقیه رم داره (مثل این بعد ۱۷ سال) و نیز آرشیو خصوصی خودتون رو هم!
@DevTwitter | <لوکوموتیو/>
میتونین به خودِ آیندهتون ایمیل بزنین (خصوصی/عمومی، ۶ ماه، یک سال یا ده بیست سال دیگه) و میرسه. نامههای بامزه عمومی بقیه رم داره (مثل این بعد ۱۷ سال) و نیز آرشیو خصوصی خودتون رو هم!
@DevTwitter | <لوکوموتیو/>
Forwarded from DevTwitter | توییت برنامه نویسی
اکثر apikey هایی که روی تارگت پیدا میشه چیزایی چرت و بی ارزش هستند ولی گاها از توشون چیز خوبم در میاد
این گیت در مورد هر سرویس و نحوه تستش یه توضیح داده
اگه ناشناخته بودن براتون حتما تست کنید
https://github.com/streaak/keyhacks
@DevTwitter | <Arshiya/>
این گیت در مورد هر سرویس و نحوه تستش یه توضیح داده
اگه ناشناخته بودن براتون حتما تست کنید
https://github.com/streaak/keyhacks
@DevTwitter | <Arshiya/>
Forwarded from Rust for Python developers
ببین چی پیدا کردم؛ واسه مصاحبه الگوریتم به زبان
https://github.com/TheAlgorithms/Rust/blob/master/DIRECTORY.md
Rust برید سراغ این https://github.com/TheAlgorithms/Rust/blob/master/DIRECTORY.md
GitHub
Rust/DIRECTORY.md at master · TheAlgorithms/Rust
All Algorithms implemented in Rust . Contribute to TheAlgorithms/Rust development by creating an account on GitHub.
Forwarded from Python Hints
یک پست برای مصاحبه الگوریتم توی @pyrust گذاشتم، دوستان پیام دادن پس پایتون چی
کتاب پیادهسازی الگوریتم و آموزش و ... توی پایتون چندتایی معرفی شده (بخش Posts کانال رو ببینید، اگر قابلیت استوری برگرده کتاب گذاشتن رو ادامه میدم، چندتا خوب یافتم)
ولی اگر فقط پیادهسازی میخواید برای تمرین مصاحبه :
https://github.com/TheAlgorithms/Python
خیلی بعید هست کسی مستقیم این پیادهسازیها رو بپرسه (من بعضی وقتا که مصاحبه شونده سواد نداره ولی ادعا میکنه الگوریتم رو عالی بلد هست میپرسم)
معمولاً بجای پیادهسازی مستقیم به شما مسئلهای داده میشه که راهکار حل اون یک الگوریتم خاص هست و اینجوری سوالات پیادهسازی الگوریتمی پرسیده میشه.
کتاب پیادهسازی الگوریتم و آموزش و ... توی پایتون چندتایی معرفی شده (بخش Posts کانال رو ببینید، اگر قابلیت استوری برگرده کتاب گذاشتن رو ادامه میدم، چندتا خوب یافتم)
ولی اگر فقط پیادهسازی میخواید برای تمرین مصاحبه :
https://github.com/TheAlgorithms/Python
خیلی بعید هست کسی مستقیم این پیادهسازیها رو بپرسه (من بعضی وقتا که مصاحبه شونده سواد نداره ولی ادعا میکنه الگوریتم رو عالی بلد هست میپرسم)
معمولاً بجای پیادهسازی مستقیم به شما مسئلهای داده میشه که راهکار حل اون یک الگوریتم خاص هست و اینجوری سوالات پیادهسازی الگوریتمی پرسیده میشه.
GitHub
GitHub - TheAlgorithms/Python: All Algorithms implemented in Python
All Algorithms implemented in Python. Contribute to TheAlgorithms/Python development by creating an account on GitHub.
Forwarded from Maestro - Done (Hossein Nazari)
وقتی نوبت به نوشتن manifestهای کوبرنتیز میرسه، اسم دو تا ابزار وسط میاد، یکی helm و دیگری kustomize.
به شخصه از این نظر که kustomize همون رویه manifest اصلی کوبرنتیز رو حفظ میکنه و خوانایی خوبی داره، ترجیحش میدم.
اما خب برای اینکه شما در multi environment بخواید استفاده کنید و تفاوت های محیط ها پیچیده باشه شاید helm گزینه بهتری باشه.
در کل هم فکر میکنم کامیونیتی بیشتر helm رو پذیرفته و پیدا کردن helm chart راحت تره برای خیلی از سرویس ها.
خوشحال میشم اگه شما هم تجربه ای در این مورد دارید، به اشتراک بذارید در کامنت ها.
این مقاله توضیحاتی در مورد تفاوت هاشون داده.
https://blog.devops.dev/helm-vs-kustomize-when-to-use-which-tool-in-kubernetes-6500d72ca4b4
توضیحات «دوره + تیمسازی بکند و گولنگ Go Casts» و تخفیف ۵۰ درصدی رو در این پست میتونید بخونید 👇
https://t.iss.one/gocasts/515
@gocasts
به شخصه از این نظر که kustomize همون رویه manifest اصلی کوبرنتیز رو حفظ میکنه و خوانایی خوبی داره، ترجیحش میدم.
اما خب برای اینکه شما در multi environment بخواید استفاده کنید و تفاوت های محیط ها پیچیده باشه شاید helm گزینه بهتری باشه.
در کل هم فکر میکنم کامیونیتی بیشتر helm رو پذیرفته و پیدا کردن helm chart راحت تره برای خیلی از سرویس ها.
خوشحال میشم اگه شما هم تجربه ای در این مورد دارید، به اشتراک بذارید در کامنت ها.
این مقاله توضیحاتی در مورد تفاوت هاشون داده.
https://blog.devops.dev/helm-vs-kustomize-when-to-use-which-tool-in-kubernetes-6500d72ca4b4
توضیحات «دوره + تیمسازی بکند و گولنگ Go Casts» و تخفیف ۵۰ درصدی رو در این پست میتونید بخونید 👇
https://t.iss.one/gocasts/515
@gocasts
Forwarded from Go Casts 🚀
وقتی نوبت به نوشتن manifestهای کوبرنتیز میرسه، اسم دو تا ابزار وسط میاد، یکی helm و دیگری kustomize.
به شخصه از این نظر که kustomize همون رویه manifest اصلی کوبرنتیز رو حفظ میکنه و خوانایی خوبی داره، ترجیحش میدم.
اما خب برای اینکه شما در multi environment بخواید استفاده کنید و تفاوت های محیط ها پیچیده باشه شاید helm گزینه بهتری باشه.
در کل هم فکر میکنم کامیونیتی بیشتر helm رو پذیرفته و پیدا کردن helm chart راحت تره برای خیلی از سرویس ها.
خوشحال میشم اگه شما هم تجربه ای در این مورد دارید، به اشتراک بذارید در کامنت ها.
این مقاله توضیحاتی در مورد تفاوت هاشون داده.
https://blog.devops.dev/helm-vs-kustomize-when-to-use-which-tool-in-kubernetes-6500d72ca4b4
توضیحات «دوره + تیمسازی بکند و گولنگ Go Casts» و تخفیف ۵۰ درصدی رو در این پست میتونید بخونید 👇
https://t.iss.one/gocasts/515
@gocasts
به شخصه از این نظر که kustomize همون رویه manifest اصلی کوبرنتیز رو حفظ میکنه و خوانایی خوبی داره، ترجیحش میدم.
اما خب برای اینکه شما در multi environment بخواید استفاده کنید و تفاوت های محیط ها پیچیده باشه شاید helm گزینه بهتری باشه.
در کل هم فکر میکنم کامیونیتی بیشتر helm رو پذیرفته و پیدا کردن helm chart راحت تره برای خیلی از سرویس ها.
خوشحال میشم اگه شما هم تجربه ای در این مورد دارید، به اشتراک بذارید در کامنت ها.
این مقاله توضیحاتی در مورد تفاوت هاشون داده.
https://blog.devops.dev/helm-vs-kustomize-when-to-use-which-tool-in-kubernetes-6500d72ca4b4
توضیحات «دوره + تیمسازی بکند و گولنگ Go Casts» و تخفیف ۵۰ درصدی رو در این پست میتونید بخونید 👇
https://t.iss.one/gocasts/515
@gocasts
Forwarded from 🎄 یک برنامه نویس تنبل (The Lazy Raymond)
🔶 در اینجا یه نگاهی به سورس HarmonyOS در گیت هاب می کنیم که HarmonyOS برای افزایش سرعت و مدیریت بهتر منابع به کرنل لینوکس روی آورده است و می خواد با خلاص شدن از شر پشتیبانی آندروید و هسته ی لینوکسش بتواند فقط از میکروکرنل هارمونی او اس پشتیبانی کند و این قضیه سرعت هارمونی او اس رو شاید چند برابر IOS هم بکند و چون خود IOS هم از هسته لینوکس استفاده کرده است.
احتمالا در آینده زبان Rust در هارمونی او اس به کار خواهند گرفت که این باعث افزایش سرعت آن خواهیم بود.
هواوی هم اکنون در حال معرفی پردازنده اختصاصی کامپیوتر (Kirin PC) و لب تاپ است و بتواند در آینده اکوسیستم کاملی ایجاد کند و محصولاتی را عرضه کند و خیلی مهم است که سیستم عامل هارمونی او اس برای محصولات خود توسعه دهد.
مخزن زیر آخرین به روز رسانی آن ۳ سال پیش است و پروژه ۵ سال پیش آپلود شده است و احتمالا پروژه اولیه است.
https://github.com/Awesome-HarmonyOS/HarmonyOS
#لینوکس
@TheRaymondDev
احتمالا در آینده زبان Rust در هارمونی او اس به کار خواهند گرفت که این باعث افزایش سرعت آن خواهیم بود.
هواوی هم اکنون در حال معرفی پردازنده اختصاصی کامپیوتر (Kirin PC) و لب تاپ است و بتواند در آینده اکوسیستم کاملی ایجاد کند و محصولاتی را عرضه کند و خیلی مهم است که سیستم عامل هارمونی او اس برای محصولات خود توسعه دهد.
مخزن زیر آخرین به روز رسانی آن ۳ سال پیش است و پروژه ۵ سال پیش آپلود شده است و احتمالا پروژه اولیه است.
https://github.com/Awesome-HarmonyOS/HarmonyOS
#لینوکس
@TheRaymondDev
GitHub
GitHub - Awesome-HarmonyOS/HarmonyOS: A curated list of awesome things related to HarmonyOS. 华为鸿蒙操作系统。
A curated list of awesome things related to HarmonyOS. 华为鸿蒙操作系统。 - Awesome-HarmonyOS/HarmonyOS
Forwarded from ASafaeirad
CSS display contents
Learn how to use display contents to build more fluid layouts
Article
Don't miss section 4
#til #article
Learn how to use display contents to build more fluid layouts
Article
Don't miss section 4
#til #article
Ishadeed
CSS display contents
Learn how to use display contents to build more fluid layouts.
Forwarded from a pessimistic researcher (Kc)
"Coffee and Cigarettes"
——————————————————
عنوان انتخاب شده برای این نوشته برگرفته شده از عنوان یکی از فیلمهای جیم جارموش، عنوان یکی از فصلهای کتاب Carl Adam Petri: Ideas, Personality, Impact، و شاید بخش مهمی از تجربیات حاصل از همزیستی من با دوستان اطرافم باشه. فیلم جیم جارموش شامل یازده اپیزود کوتاه و مستقل از همه که دو نفر نشستند روبهروی هم و حین قهوه خوردن و سیگار کشیدن با همدیگه صحبت میکنن. آقای Javier Esparza اولین و تنها دیدارش با آقای Adam Petri رو به اپیزود دوازدهم فیلم آقای جیم جارموش تشبیه میکنه. زمانی که آقای Javier یک دانشجوی دکتری کم تجربه بود و تصمیم گرفته بود بعد از تحصیلات در حوزهی فیزیک نظری، دکتراش رو در حوزهی تئوری پتری نت کار کنه، با چاپ کردن اولین مقالهاش در کنفرانس Petri Net تونست توجه آقای Carl رو به خودش جلب کنه و با دعوت یکی از دوستان مشترکش با Carl، موسسهی GMD که امروزه با نام موسسهی Fraunhofer شناخته میشه رو ویزیت کنه. گفتنیست که آقای Carl تنها زمانی که ۱۳ سال سن داشت مدل پتری نت رو برای توصیف فرآیندهای شیمیایی ابداع کرد و در طول حیاتش در موسسهی GMD فعالیت داشت. آقای Javier صبح روزی که رسید تاکش رو داد ولی خبری از آقای Petri نبود. روز بعد آقای پتری میخواست که آقای خاویر رو ببینه. وقتی که آقای خاویر وارد دفتر آقای پتری شد، دید که ایشون یک ماگ بزرگ قهوه روی میزش داره و بین انگشتانش هم یک نخ سیگار منتوس نگهداشته. طی دو ساعت آینده، آقای پتری ماگ پشت ماگ قهوهاش رو شارژ میکرد و سیگار پشت سیگار دود میکرد و مابینش درمورد پروژههای فعلیش صحبت میکرد. آقای پتری به فیزیک هم بسیار علاقهمند بود و به خاویر گفته بود که تنها به axiomatize کردن causality و concurrency بسنده نمیکنه و دوست داره سراغ alternative events که امروزه با عنوان events in conflict شناخته میشه بره و این مفهوم رو هم Axiomatize کنه. پتری بسیار آروم و با مکسهای طولانی صحبت میکرد. همین باعث میشد که آقای Javier تقریبا هیچ چیزی متوجه نشه و همواره سعی در این داشته که ارتباط ایدههای آقای پتری با Quantum Mechanics رو بفهمه. در بین حرفهاشون پتری به اصل عدم قطعیت هایزنبرگ اشاره میکنه و آقای Javier برمیگرده میگه که : "این فقط شوآف کردنه، من فکر نکنم هایزنبرگ تونسته باشه اصل عدم قطعیت خودش رو درست تفسیر کرده باشه". این حرف آقای Javier که به نوعی نقد آقای هایزنبرگ میشد باعث ناراحتی Petri میشه و ایشون با لحن آرومی به خاویر میگه: "من وقتی که یک نوجوان بودم با دوچرخه میرفتم تا خونهی هایزنبرگ که فقط بتونم از نزدیک ببینمش. حتی انقدر خجالت میکشیدم که نمیرفتم باهاش حرف بزنم." اینجا بود که آقای خاویر متوجه شد که چقدر آقای پتری به علم احترام میذاره. بعد از دو ساعت گفتگو، دوست مشترکشون وارد اتاق میشن و میگن که ما به همراه باقی دوستان داریم میریم ناهار بخوریم، دوست دارید شما هم به ما ملحق بشید؟ آقای پتری هم بلافاصله میگن : "اوه بله ناهار... تو باید بری... آدمای جوان باید غذا بخورن. من خودم هیچوقت ناهار نمیخورم. " بعدها آقای خاویر فهمید که دوستش اومده بود تا خاویر رو از دست پتری نجات بده چرا که هیچکس نمیدونست یک گفتگو با پتری تا چه زمان ممکن طول بکشه. افرادی بودن که گفتگوشون با پتری به قدری طولانی شده که هوا تاریک شده و پتری حتی حواسش نبوده که چراغ رو روشن کنه.
شاید من هم بتونم یه روزی اپیزود سیزدهم فیلم آقای جیم جارموش رو بنویسم. زمانی که ایران بودم گفتکوهای زیادی با مهران به همراه فهوه و سیگار داشتیم. منتهی مثل آقای پتری خیلی به علوم احترام نمی ذاشتیم و به راحتی هر کس و ناکسی رو نقد میکردیم. علاوه بر این ناهار هم زیاد میخوردیم. منتهی از وقتی اومدم اینجا شرایط کمی متفاوت شده. آدمای اینجا رابطهی خوبی با قهوه و سیگار ندارن، بخصوص وقتایی که بخوای باهاشون یک گپ و گفت علمی داشته باشی. کلا به نظرم یکمی جامعهی آکادمیک فرق کرده. قدیما صفای بیشتری داشت. یادمه آقای Dana Scott توی یکی از مصاحبههاشون میگفن که Alfred Tarski که استاد راهنماشون در مقاطع پیش از دکتری بودن به قدری سیگار میکشید بین حرفاش که ما همیشه سر کلاسهاش این ترس رو داشتیم که الان با سیگار روی تخته مینویسه و گچ رو اسموک میکنه :)
——————————————————
عنوان انتخاب شده برای این نوشته برگرفته شده از عنوان یکی از فیلمهای جیم جارموش، عنوان یکی از فصلهای کتاب Carl Adam Petri: Ideas, Personality, Impact، و شاید بخش مهمی از تجربیات حاصل از همزیستی من با دوستان اطرافم باشه. فیلم جیم جارموش شامل یازده اپیزود کوتاه و مستقل از همه که دو نفر نشستند روبهروی هم و حین قهوه خوردن و سیگار کشیدن با همدیگه صحبت میکنن. آقای Javier Esparza اولین و تنها دیدارش با آقای Adam Petri رو به اپیزود دوازدهم فیلم آقای جیم جارموش تشبیه میکنه. زمانی که آقای Javier یک دانشجوی دکتری کم تجربه بود و تصمیم گرفته بود بعد از تحصیلات در حوزهی فیزیک نظری، دکتراش رو در حوزهی تئوری پتری نت کار کنه، با چاپ کردن اولین مقالهاش در کنفرانس Petri Net تونست توجه آقای Carl رو به خودش جلب کنه و با دعوت یکی از دوستان مشترکش با Carl، موسسهی GMD که امروزه با نام موسسهی Fraunhofer شناخته میشه رو ویزیت کنه. گفتنیست که آقای Carl تنها زمانی که ۱۳ سال سن داشت مدل پتری نت رو برای توصیف فرآیندهای شیمیایی ابداع کرد و در طول حیاتش در موسسهی GMD فعالیت داشت. آقای Javier صبح روزی که رسید تاکش رو داد ولی خبری از آقای Petri نبود. روز بعد آقای پتری میخواست که آقای خاویر رو ببینه. وقتی که آقای خاویر وارد دفتر آقای پتری شد، دید که ایشون یک ماگ بزرگ قهوه روی میزش داره و بین انگشتانش هم یک نخ سیگار منتوس نگهداشته. طی دو ساعت آینده، آقای پتری ماگ پشت ماگ قهوهاش رو شارژ میکرد و سیگار پشت سیگار دود میکرد و مابینش درمورد پروژههای فعلیش صحبت میکرد. آقای پتری به فیزیک هم بسیار علاقهمند بود و به خاویر گفته بود که تنها به axiomatize کردن causality و concurrency بسنده نمیکنه و دوست داره سراغ alternative events که امروزه با عنوان events in conflict شناخته میشه بره و این مفهوم رو هم Axiomatize کنه. پتری بسیار آروم و با مکسهای طولانی صحبت میکرد. همین باعث میشد که آقای Javier تقریبا هیچ چیزی متوجه نشه و همواره سعی در این داشته که ارتباط ایدههای آقای پتری با Quantum Mechanics رو بفهمه. در بین حرفهاشون پتری به اصل عدم قطعیت هایزنبرگ اشاره میکنه و آقای Javier برمیگرده میگه که : "این فقط شوآف کردنه، من فکر نکنم هایزنبرگ تونسته باشه اصل عدم قطعیت خودش رو درست تفسیر کرده باشه". این حرف آقای Javier که به نوعی نقد آقای هایزنبرگ میشد باعث ناراحتی Petri میشه و ایشون با لحن آرومی به خاویر میگه: "من وقتی که یک نوجوان بودم با دوچرخه میرفتم تا خونهی هایزنبرگ که فقط بتونم از نزدیک ببینمش. حتی انقدر خجالت میکشیدم که نمیرفتم باهاش حرف بزنم." اینجا بود که آقای خاویر متوجه شد که چقدر آقای پتری به علم احترام میذاره. بعد از دو ساعت گفتگو، دوست مشترکشون وارد اتاق میشن و میگن که ما به همراه باقی دوستان داریم میریم ناهار بخوریم، دوست دارید شما هم به ما ملحق بشید؟ آقای پتری هم بلافاصله میگن : "اوه بله ناهار... تو باید بری... آدمای جوان باید غذا بخورن. من خودم هیچوقت ناهار نمیخورم. " بعدها آقای خاویر فهمید که دوستش اومده بود تا خاویر رو از دست پتری نجات بده چرا که هیچکس نمیدونست یک گفتگو با پتری تا چه زمان ممکن طول بکشه. افرادی بودن که گفتگوشون با پتری به قدری طولانی شده که هوا تاریک شده و پتری حتی حواسش نبوده که چراغ رو روشن کنه.
شاید من هم بتونم یه روزی اپیزود سیزدهم فیلم آقای جیم جارموش رو بنویسم. زمانی که ایران بودم گفتکوهای زیادی با مهران به همراه فهوه و سیگار داشتیم. منتهی مثل آقای پتری خیلی به علوم احترام نمی ذاشتیم و به راحتی هر کس و ناکسی رو نقد میکردیم. علاوه بر این ناهار هم زیاد میخوردیم. منتهی از وقتی اومدم اینجا شرایط کمی متفاوت شده. آدمای اینجا رابطهی خوبی با قهوه و سیگار ندارن، بخصوص وقتایی که بخوای باهاشون یک گپ و گفت علمی داشته باشی. کلا به نظرم یکمی جامعهی آکادمیک فرق کرده. قدیما صفای بیشتری داشت. یادمه آقای Dana Scott توی یکی از مصاحبههاشون میگفن که Alfred Tarski که استاد راهنماشون در مقاطع پیش از دکتری بودن به قدری سیگار میکشید بین حرفاش که ما همیشه سر کلاسهاش این ترس رو داشتیم که الان با سیگار روی تخته مینویسه و گچ رو اسموک میکنه :)
SpringerLink
Carl Adam Petri: Ideas, Personality, Impact
This book offers an overview of the key ideas of Petri nets, how they were developed and applied to diverse applications, and how they may evolve in future. This book will be a valuable insight for researchers in theoretical computer science, particularly…
Forwarded from Laravel News
The Inertia 2.0 Beta is Coming Soon https://laravel-news.com/inertia-2-beta-coming-soon
Laravel News
The Inertia 2.0 Beta is Coming Soon - Laravel News
The Inertia v2.0 beta is likely to be released sometime next week. Get all the latest info on what new features are coming to the next major release of Inertia!