این نسخه رو طبعاً همین جا در موبایل بدون هیچ سِرور خاصی و با یک مرورگر اینترنت می تونید اجرا کنید.
اما برای نگهداری پایدار اطلاعاتی که یادش می‌دین نسخه‌ی PHP رو به کار ببرین.

آقا چقدر این آقای Philip Wadler موده جدی :)))

یه تاک داره برای تقریبا ۱۰ سال پیش. اولش میاد میگه که خب بذارید براتون یکم تاریخچه computability بگم. سال ۷۸۰ تا ۸۵۰ یه بابایی به اسم خوارزمی اومد گفت الگوریتم یک sequence از دستوراته که میدیم به یک آدم اجرا کنه. بعدش که فوت کردند تا سال ۱۹۳۰ هیچ آدم با خیری پیدا نشد که براش یک تعریف Formal Mathematical ارائه کنه.

سال ۱۹۳۵ آقای Alonzo Church که تنها ۳۳ سال داشتند و توی پرینستون بودند میان و Lambda Calculus رو ارائه می‌کنند که میشه اولین تعریف فرمال ریاضی برای محاسبه. بعد آقای گودل که تنها ۳۰ سال سن داشت میان پرینستون ویزیت میگن این چه بولشتیه؟ و ایشون به همراه آقای Klnee میان و مدل محاسبه‌ی General Recursive Functions رو ارائه می‌کنند. بعدش آقای Church ثابت می‌کنه که مدل خودش و آقای گودل با هم معادلن و بعد این اثبات آقای گودل میگه پس منم بولشت گفتم :)

سال بعدش یعنی ۱۹۳۶ آقای تورینگ در کمبریج که تنها ۲۳ سال سن داشت :)) با یک فلسفه‌ی کاملا متفاوت ماشین تورینگ رو مطرح می‌کنند و با کمک آقای چرچ اثبات میکنند که این مدل هم معادل Lambda Calculus هستش. گودل این رو که می‌بینه قانع میشه و میگه خب پس مشکلی نیست و هر ۳ تعریف به ما می‌دهد تعریف فرمال ریاضی Effective Computability :)

آقای وادلر میگن : عین این میمونه که شما ۲۰۰۰ سال توی ایستگاه اتوبوس منتظر موندی یه اتوبوس بیاد و بعد از ۲۰۰۰ سال ۳ تا اتوبوس با هم پشت سر هم میان :) و البته از این رخداد نتیجه میگیرن که ریاضیات اکتشافی هستش و اختراعی نیست.

اما سوال خیلی قشنگی که مطرح میکنن اینه که چرا ۲۰۰۰ سال ما مجبور شدیم صبر کنیم تا این ۳ تا اتوبوس با هم برسن ؟ دلیلش پروگرام آقای هیلبرت ۶۷ ساله بود که اومد تز داد که قراره ریاضی دانا رو از نون خوردن بندازه. آقای گودل که تنها ۲۷ سال داشت اومد اثبات کرد که Decision procedure ای که آقای هیلبرت در نظر داشت برای reasoning روی درستی گزاره‌های ریاضی به‌کار ببره Complete نیست. و این همون دلیل اومدن ۳ تا اتوبوسه. چرا که ایشون میگن : ببینید، اگر Incompleteness نبود، اون وقت محاسبه و الگوریتم عین پورن بود :) چرا که هر وقت میدیدیش میتونستی تشخیصش بدی :) ولی Incompleteness باعث شد که ما بیایم یه دایره‌ای بکشیم و ببینیم چه مسائلی داخل این دایره می‌افتن و نمیشه محاسبه‌شون کرد. برای اینکه بتونن اون دایره رو بکشن نیاز داشتن که مسائل محاسبه ناپذیر رو فرمال تعریف کنن. و همین شد که ۳ تا اتوبوس با هم رسیدن به ایستگاه :) فیلم کامل سخنرانیش توی این لینک هست.

آقای وادلر یکی از خدایگان Functional Programming هستند و تو حوزه‌ی Concurrency Theory هم خیلی کارا کردن. یکی از چیزایی که برام از شخصیت آقای وادلر جالب بود این بودش که روی Java هم کار کردن و مفهوم Java Generics رو ایشون بودند که توی JDK 1.5 اضافه کردند :) یعنی یک فانکشنال کار پیداش شده که از Java خوشش اومده و روش کار کرده. اون وقت طرف هنوز فرق Object و Type رو نمی‌دونه میاد توی این گروه‌ها می‌نویسه که Java چه آشغالیه تو دانشگاها درس میدن :)

یکی دیگه از کارای آقای وادلر که من خیلی دوستش دارم فرمال کردن RPC یا همون Remote Procedure Call هستش. می‌تونید توی این پیپیر بیشتر در موردش بخونید. ما یکی از کارایی که میخوایم با JMC انجام بدیم Verification برنامه‌های Distributed ای هست که با Java و gRPC می‌نویسن.

جدی ولی الگوم آقا وادلر چقدر لات و خوبه :)

از خدا که پنهون نیست، از شما چه پنهون

من اصلا از Functional کارا خوشم نمیاد. درست عین AI کارا، سافتور کارا، و سیستم کارا. ولی آقای وادلر باعث شد که کمی دیدگاهم عوض بشه راجع به FP کارا.

علی الخصووووصصصص اونایی که ذکر Monad Monad گفتن از زبونشون نمی‌افته

بذار اینطوری بگم ۶۰ درصد ممبرای کانال AI کارن، ۲۰ درصد SE کارن، ۱۰ درصد سیستم کارن، حدود ۱ درصد ( ۱۰ نفر ) از اعضای کانال FP کارن. ۵ درصدم اصلا رشته‌شون این نیست ( شیمی و ریاضی و زیست و روانشناسی و املاکی و دلالی اند).

اما با اینحال میان اینجا و لفت نمیدن و صحبتای ما رو می‌خونن. خلاصه که اصلا اوضاع خوب نیست هموطن!

یادی کنیم از این کوت آقای Wadler

یکی از اصحاب گفتش که سر کلاس نظریه‌ی محاسبه‌ ترم پیش دکتر ایزدی بوده، یکی از دانشجویانی که سر کلاس بوده بعد از اشنایی با ریکرسیو فانکشن ها، علی رغم اینکه پشماش فر خورده بود گفت چه کاریه این همون کار ماشین تورینگ رو میکنه دیگه. دکتر ایزدی یه پاسخی داد مریدان (من جمله خودم) جامه دریدند :

"خب جوون اصولا ما کامپیوتر ساینسیا، عالم صورتیم نه عالم معنا! مدل فن نئومن و تورینگ و ریکرسیو فانکشن در باطن یه چیزن ولی وقتی با فن نئومن کار میکنیم میشیم معماری کامپیوتری، با تورینگ کار میکنیم الگوریتمیم و با ریکرسیو فانکشن هم فانکشنال پروگرمر"

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

🔶 نسخه ۱.۲.۱ پکیچ احراز هویت لاراول ورودیا (Vordia) منتشر شد.

تغییرات :


- Added Reset OTP and Timer
- Added Notifications with ToastrJS
- Added Code Country and Fix Input Mobile
- Upgrade illuminate/support to ^12.0

https://github.com/Rayiumir/Vordia

#لاراول

@TheRaymondDev

🔶 نسخه ۱.۲.۱ پکیچ احراز هویت لاراول ورودیا (Vordia) منتشر شد.

تغییرات :


- Added Reset OTP and Timer
- Added Notifications with ToastrJS
- Added Code Country and Fix Input Mobile
- Upgrade illuminate/support to ^12.0

https://github.com/Rayiumir/Vordia

#لاراول

@TheRaymondDev

🔶 پیش نمایش ها :

#لاراول

@TheRaymondDev

نظرتون با شروع یه سری پادکست چیه؟
به همراه @DevopsNotFound - فنی و فان ترکیبی

اخرشم یه بونوس داره برا بخش پرسش پاسخ دواپسی و برنامه نویسی

رویکرد من نسبت به سوشیال اسپیسی که لیبل ( ایرانی ) یا ( ایران ) خورده.

App Grid Wizard Gnome Extension

#Gnome #QuickSettings #Tool #Addon

یک افزونه دسکتاپ گنوم که برنامه‌های شما رو در پوشه های مختلف با توجه به دسته بندی های از پیش تعریف شده مرتب میکند.



لینک افزونه :
extensions.gnome.org
github.com (source code)


@LinConfig | @LinAcademy

نحوه نصب افزونه:
پس از دانلود فایل بالا افزونه، درون مسیر فایل این دستور را جهت نصب افزونه اجرا کنید:

gnome-extensions install app-grid-wizard.shell-extension.zip

نحوه فعالسازی:
پس از نصب افزونه میتوانید از طریق برنامه گرافیکی Extensions افزونه را فعال کنید، یا اگر مایل هستید دستور زیر را اجرا کنید:

gnome-extensions enable app-grid-wizard@mirzadeh.pro

@LinConfig | @LinAcademy

حافظ | غزلیات | غزل شمارهٔ ۴۹۰

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

#حافظ | گنجور
📍@iipoem

آقا خیلی من ازین api platform خوشم اومده.
استاندارد، کامل، بدون اضافه کاری، داکیومنت کافی و عالی.
انگار فست ای‌پی‌آی phpهاست

https://api-platform.com/docs/symfony/

@DevTwitter | <Saman/>

🔥 شبیه ساز مدیرعامل CEO Simulator
شما مدیرعامل یک Startup هستید طی یک دوره ۱۴ روزه، باید بین اهداف کلیدی مانند
🗓 جذب سرمایه (Funding)،
🗓 توسعه Minimum Viable Product (MVP)،
🗓 حفظ روحیه تیم (Team Morale)،
🗓 کنترل Tech Debt
🗓 مدیریت سلامت روانی خود به‌عنوان مدیرعامل،
تعادل برقرار کنید

💠 چالش‌های مختلفی روبه‌رو خواهید شد و تصمیماتی می‌گیرید که آینده Startup شما را شکل می‌دهد. در شرایطی که زمان محدود است، تصمیمات استراتژیک بگیرید و استارتاپ خود را به موفقیت برسانید!

💠 هدف بازی
شما در صورتی برنده می‌شوید که بتوانید مسیرهای Funding و MVP را در ۱۴ روز به سطح +۵ برسانید.
اگر هر مسیر هدفی به -۳ برسد یا اگر نتوانید هر دو هدف Funding و MVP را در ۱۴ روز تأمین کنید، بازی را می‌بازید.


✅ شروع بازی 😎
❤️ ممنون از حمایت هاتون 💐🌺