روش نیوتن برای پیدا کردن ریشه معادله

(پارت دوم)

ظاهرا در فیزیک هم داره این کار متداول می شه:
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