رفیق، واقعیت اینه که تا وقتی پولدار، عاقل و خوش ظاهر نباشی هیچکس بهت اهمیتی نمیده. دنیا به شکل بی رحمانه ای تبعیض قائل میشه. سرت رو بنداز پایین و تا کامل نشدی دست از تلاش برندار.

@hamidreza01

هوش مصنوعی LM - نسخه JavaScript

هوش مصنوعی LM - نسخه PHP

هوش مصنوعی کوچولو بساز !
با مدلهای زبانی یا LM

کدی که در اختیار شما میگذارم به راحتی روش Train یا آموزش مدل های زبانی یا Language Model رو به شما در مقیاس کوچک نشون میده!
کافیه در کادر پایین اول یک پرسش ساده مطرح کنید یا حتا بگید «سلام» متوجه میشین که هیچ اطلاعاتی هنوز نداره.
پس در کادر بالا وارد کنید:

سلام -> سلام، چطوری!

به این ترتیب اول سؤال و بعد از خط تیره و علامت بزرگتر، جواب رو درج کرده و کلید [آموزش بده] رو بزنید!
حتا می تونید برای «سلام» جوابهای متعدد آموزش بدین.
این بار اگه در کادر پایین سلام رو وارد کنید، با پاسخ های مناسب به طور تصادفی مواجه خواهید شد که قبلاً یاد گرفته!

این فایل با زبان JavaScript نوشته شده و معلومات هوش مصنوعی را در local storage داخل مرورگر ذخیره می کنه که طبعاً پایدار نبوده و ممکنه پاک بشه.
پس در ادامه نسخه‌ی PHP رو با بانک اطلاعاتی SQLite هم قرار میدم.

این نسخه رو طبعاً همین جا در موبایل بدون هیچ سِرور خاصی و با یک مرورگر اینترنت می تونید اجرا کنید.
اما برای نگهداری پایدار اطلاعاتی که یادش می‌دین نسخه‌ی 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