ظاهرا در فیزیک هم داره این کار متداول می شه:
formal verification
این دفعه در فیزیک کوانتوم، یه قضیه ای که اثبات اصلی اش gap داشته رو و بعدا اثبات اصلاح شده ای براش پیدا شده، توی Lean نوشتند.
طبیعتا من از خود قضیه و چند و چونش سر در نمیارم ولی این طور که مدعی شده
the most technically demanding theorem in physics with a computer-verified proof to date...
هست.
در حین این کار توی اثبات اصلاح شده چند تا ابهام و ایراد رو برطرف کردند و یه کتابخونه در Lean ایجاد کردند.
پ ن: حالا من به طور کلی در این زمینه صاحب نظر نیستم و نمی دونم چقدر کار چالشی یا سختی می تونه باشه، ولی با توجه به گسترش این موضوع به نظرم مقاله بازان و مقاله سازان وطنی و... بهتره از این فرمال سازی قضایا غافل نشند، مجلاتی هست که شما اگر قضایای رودین رو هم فرمال سازی کنی چاپش کنند!
لینک مقاله

سلام و درود
امید که خوب باشید
برای جلسات یک به یک 1 نفر ظرفیت داریم و برای توضیحات بیشتر درباره جلسات میتونید به پیامی که ریپلای شده یا به آدرس زیر مراجعه کنید:
https://azibom.com/mentorship/
اگر هم سوالی داشتید میتونید از امیر یا از خود من بپرسید
آیدی امیر : @MrAmirSalehi
خیلی خلاصه هم بخوام بگم یک به یک بستری برای مطرح کردن دغدغه های فنی و پیگیری اهداف تکنیکال و کاری شما خواهد بود و از جمله دغدغه هایی که این روز ها من با دوستان دارم کار میکنم در جلسات موارد زیر هستن:
ایجاد و حفظ روتین برای آپدیت نگه داشتن دوستان از نظر فنی و سافت اسکیلی، عوض کردن شرکت و رفتن به شرکت های بزرگ، پیشرفت و ارتقا در شرکت فعلی، تمرکز بر روی مباحث پایه مثل الگوریتم و دیتا استراکچر، پترن ها و گاهی وقتا ریاضیات، مشارکت در پروژه های اوپن سورس و بهبود بخشیدن رزومه و بررسی موارد موردی ای که برای دوستان در هفته پیرامون حوزه مهندسی نرم افزار پیش میاد

من در ادامه نظرات دوستان رو هم درباره جلسات میذارم

@azibom
@azibomChannel

Azibom.com

تجربه و نظر دوستان درباره جلسات یک به یک

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

مراقبت کنید

@azibom
@azibomChannel

Azibom.com

ممنونم از امیر جان بابت دعوتش
جمعه در ر‌‌ویداد Tech Talk میبینمتون

@CafeErtebat

@azibom
@azibomChannel

Azibom.com

(پارت اول)
تفاوت عمیقی بین کسی که خودش رو مسئول نتیجه میدونه با کسی که خودش رو مسئول تلاش کردن میدونه وجود داره

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

پیچیدگی طراحی جایی که توش زندگی می‌کنیم باعث میشه قطعیت نتیجه از شما گرفته بشه، ولی احتمال نتیجه هنوزم هست

این دوستمون احتمال اینکه کنکور میداد و رتبه خوبی کسب می‌کرد خیلی خیلی خیلی بالاتر بود نسبت به کسی که تلاشی نکرده و فقط کنکور رو ثبت نام کرده
شاید بشه گفت ما مسئول تلاش های کرده و نکرده مون هستیم و مسئول نتیجه نیستیم ولی از روی تلاش هایی که داریم میکنیم میتونیم یه ابر احتمالاتی از نتیجه هم برای خودمون متصور بشیم
ولی خب چه کاریه، بیاید خودمون رو راحت کنیم، ما نمیتونیم مسئول نتیجه باشيم، در واقع بحث توانایی هست نه بحث عقیده

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

حس میکنم این شکلی برخورد کردن و دیدن زندگی بیشتر با واقعیت زندگی تطابق داره و باعث میشه بتونیم روون تر زندگی بکنیم ...

تو یه خط بخوام ایده رو بگم میتونم بگم:
کسی که فکر‌ میکنه مسئول نتیجه هست فکر میکنه سیستم دنیا خطیه و کسی که مسئول تلاش خودش هست میدونه دنیا 🌎 پیچیده طراحی شده

مراقبت کنید و سعی کنید بیشتر ر‌وی چیزی هایی که دست خودتون هست تمرکز کنید، مثل تلاش هاتون و نه نتیجه


@azibom
@azibomChannel

Azibom.com

(پارت دوم)
کسی که فکر‌ میکنه مسئول نتیجه هست فکر میکنه سیستم دنیا خطیه و کسی که مسئول تلاش خودش هست میدونه دنیا 🌎 پیچیده طراحی شده

@azibom
@azibomChannel

Azibom.com

:)))

@azibom
@azibomChannel

Azibom.com

(پارت اول)
توی زندگی، خیلی وقت‌ها با تصمیم‌های پیچیده روبه‌رو می‌شیم.
مثلاً تصمیم مهاجرت: آیا باید کشورم رو ترک کنم یا بمونم؟
اغلب ما یا فقط روی نتیجه تمرکز می‌کنیم (آیا زندگیم بهتر می‌شه یا نه) یا فقط احساسات لحظه‌ای رو می‌بینیم و این موضوع باعث میشه نتونیم همه ابعاد یک تصمیم مهم رو درک کنیم.
اینجاست که میتونیم از Argument Mapper ها استفاده کنیم.
این ابزار کمک‌ میکنن تا هم ابعاد خوبی و بدی تصمیم رو ببینیم و حتی بتونیم دوباره عمیق بشیم و حتی اون دلیل که میگه مهاجرت به این دلیل خوبه رو هم به چالش بکشیم!
به چه دلایلی مهاجرت می‌تونه خوب باشه، چه دلایلی ممکنه مشکل‌ساز باشه، و پاسخ‌ها و لایه‌های پشت هر دلیل.
مثلاً برای مهاجرت، می‌تونیم نقشه‌ای بسازیم:
مزایا: فرصت‌های شغلی و تحصیلی بهتر، کیفیت زندگی بالاتر، رشد شخصی

معایب: دلتنگی، هزینه‌های مالی، تطبیق با فرهنگ جدید

لایه‌های دوم: حقوق بالاتر، سیستم سلامت بهتر، ایمنی بیشتر، یادگیری زبان جدید، مستقل شدن و تقویت مهارت‌های زندگی

حالا با استفاده از Argdown، همه این‌ها رو می‌تونیم تو یک فایل ساده Markdown مثل این بنویسیم و به نقشهٔ بصری تبدیل کنیم:

# Should I migrate to another country?

[Migrate]: Migrating to another country is a good choice.

+ [BetterOpportunities]: There are better career and education opportunities abroad.
    + [HigherSalary]: Average salary for my profession is higher.
    + [AdvancedEducation]: Access to better universities and research facilities.

+ [QualityOfLife]: Life quality could improve.
    + [Healthcare]: Better healthcare system.
    + [Safety]: Safer neighborhoods and social stability.
    + [Environment]: Cleaner cities and better public services.

- [Homesickness]: Leaving friends and family behind is emotionally hard.
    + [Distance]: Long distance makes visits and relationships challenging.
    + [CulturalShock]: Adapting to new customs and lifestyle can be stressful.

- [FinancialCosts]: Migration is expensive.
    + [MovingExpenses]: Flight, shipping belongings, visa costs.
    + [InitialLivingCosts]: Renting, deposits, and living expenses initially.

+ [PersonalGrowth]: Personal development and independence.
    + [LanguageSkills]: Learning or improving a new language.
    + [SelfReliance]: Handling life independently builds resilience.

وقتی همه این دلایل و مخالفت‌ها و لایه‌ها رو روی صفحه می‌بینیم، تصمیم‌گیری منطقی‌تر و شفاف‌تر می‌شه.

نقشهٔ استدلال میتونه توی تصمیمات مهم زندگی باعث بشه همه جزئیات ر‌و ببینیم و بعدا با احتمال خیلی کمتری افسوس تصمیم گذشته رو بخوریم.
یه مزیت بزرگ دیگه هم داره علاوه بر اینکه همون لحظه باعث میشه تصمیم خوبی بگیرید اینه که در آینده میتونید برگردید و حالا که نتیجه تصمیمتون رو میدونید ببینید کجا رو در فرآیند تصمیم گیری و‌ فکر کردن اشتباه کردید یا در نظر نگرفتین و درواقع کمکتون می‌کنه بتونید از فرآیند فکر کردن و تصمیم گیریتون لاگ بگید و روش کار کنید و پیشرفت کنید و با تمرین این کار بتونید خیلی عمیق تر و حرفه ای تر تصمیم گیری کنید.

مراقبت کنید

https://argdown.org/


@azibom
@azibomChannel

Azibom.com

(پارت دوم)
The decision-tree of a chess study

(و انجین های شطرنج رو وقتی روی مود هارد میذارید شروع میکنن به عمق بخشیدن به این درخت 🌳...)

@azibom
@azibomChannel

Azibom.com

(پارت اول)
دوره Cycle، یک تجربه جمعی پیوسته و هفتگی برای رسیدن به اهداف شما در دنیای نرم‌افزار
🔥💻


@MindsetAcademySupport

سلام و درود
من محمدرضا شعبانی هستم و خیلی خوشحالم که امروز میخوام "سری رویداد Cycle" اولین دورهمی تکرار شونده MindsetAcademy رو بهتون معرفی بکنم

به شما درباره جزئیات رویدادی چیزی نخواهم گفت اما در یک جمله میتونم بگم Cycle جوری طراحی شده تا به افراد حاضر در جلسه فرصت خلق، گفت‌وگو و دست و پنجه نرم کردن با اهدافشون رو در قالب قبیله‌های کوچک بده

با اینکه طراحی جلسات به‌گونه‌‌ای هست که مانعی برای کار کردن روی اهداف خارج از حوزه نرم‌افزار ایجاد نمیکنه، اما تمرکز و اولویت ما بر روی اهدافی از جنس Software خواهد بود

این رویداد برای کسانی مناسب هست که:

- نمیدونن برای آپدیت نگه داشتن و توسعه فردی خودشون در دنیای مهندسی نرم افزار چه کار میتونن بکنن

- اهدافی غیرواضح برای خود در این فضا متصور هستند و مسیری برای حرکت پیدا نمی‌کنند یا صرفا شروع به حرکت نمی‌کنند

- برای کسانی که هم هدف گذاری کرده اند و هم می‌دانند چه کاری بکنند ولی می‌خواهند این روند رو به روتین تبدیل کرده و اهداف خود را شفاف تر بکنند

من درک میکنم که ممکنه این تجربه برای شما کمی گنگ باشه برای همین صرفا چند هفته اول برگزاری دوره درصورتی که در رویداد شرکت کردید و بعد از رویداد به نظرتون این جلسه براتون مفید نبود میتونید به پشتیبانی پیام بدید و 100 درصد مبلغ دوره به حساب شما برمیگرده

دوره هم در تهران برگزار می‌شه و مکان دقیق دوره در ادامه برای دوستانی که ثبت نام میکنن ارسال میشه

برای ثبت نام با آیدی پشتیبانی در ارتباط باشید

@MindsetAcademySupport

با افتخار اولین دوره پیوسته و تکرار شونده آکادمی مایندست رو هفته آینده برگزار خواهیم کرد

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

با تشکر فراوان
محمدرضا

@azibom
@azibomChannel

Azibom.com

کمی درباره طراحی Cycle

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

امروزه اکثر دوره ها بر روی موضوع آشنا سازی شما با مطالب جدید تمرکز دارن و تعهدشون بیشتر روی این هست که اطلاعات به گوش شما برسه
اما Cycle تعهدش دقیقا نقطه متقابله، در cycle تعهد ما این خواهد بود که بستری رو فراهم کنیم تا شما تجربه ای اول شخص از مواجه شدن با موضوعی که خودتون حس میکنید باید بهش بپردازید داشته باشید

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

"جلساتم با محمدرضا همیشه برای من مثل یک نقطه عطف بوده.
او با صبر، دقت و نگاه عمیقی که به مسائل دارد، کمکم کرد مسیر رشد خودم را بهتر پیدا کنم و دید درستی نسبت به دنیای مهندسی نرم‌افزار به دست بیاورم. هر بار که با چالشی روبه‌رو می‌شدم، محمدرضا با توضیحات ساده و راه‌حل‌های عملی‌اش باعث می‌شد مطمئن‌تر تصمیم بگیرم و با اعتمادبه‌نفس بیشتری ادامه بدهم.
محمدرضا فقط یک منتور نیست؛ یک همراه واقعی در مسیر حرفه‌ای شدن است و هر کسی که بخواهد خودش را ارتقا بدهد، قطعاً از راهنمایی‌های محمدرضا میتونه استفاده بکنه."

دوتا تایم جدید برای یکشنبه و سه شنبه صبح باز کردیم برای جلسات یک به یک و اگر دوست داشتید میتونید بهمون پیام بدید

مراقبت کنید

@azibom
@azibomChannel

Azibom.com

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

یا مثلا مفهوم کلیدی مثل trade-off شاید برای خیلی ها این فرصت در سازمانی که هستن بهشون داده نمیشه که نظر بدن و توی بحث شرکت داشته باشن و بتونن trade-off رو تمرین بکنن؟!

یا مثال دیگه خود تصمیم گیری در شرایط سخت با محدودیت های زیاده که به نظرم یک مهارت جدا از trade-off و سبک و سنگین کردنه، اینکه تصمیم رو بگیری و بتونی own بکنیش و پای خوب و بدش هم بمونی...

اینا تعدادی از مسائلی بود که توی ذهنم بود و حس میکردم پیدا کردن عرصه تمرینشون میتونه چالشی و یا شاید نشدنی باشه ولی به طرز عجیبی همشون توی زیباترین بازی دنیا یعنی شطرنج هستن

شما برای اینکه حرکت بعدی رو انجام بدید باید شروع کنید درخت 🌳 ادامه بازی رو توی ذهنتون بکشید و بهش عمق ببخشید و اگر دیدید تهش به جای خوبی نمیرسه هم بی خیالش بشید و برگردید از گره بالایی دوباره جست و جو کنید، این دقیقا همون ماهیچه ای هست که باهاش میشه کثیف ترین کد ها رو هم فهمید
بعد از بررسی شاخه های وقت trade-off هست، اینکه وضعیت مهره هام چجوری میشه، موقعیت شاهم، وضعیت پیاده هام توی آخر بازی و ... باید همشون رو با هم ببنید و بتونید سبک و سنگین کنید

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

شباهت های زیاد شطرنج و مهندسی نرم‌افزار در عمق به نظرم خیلی زیاده

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

مراقبت کنید

@azibom
@azibomChannel

Azibom.com