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

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

https://blogfa.sohrabbehdani.ir/commenting/

@SohrabContents

ماجرای یه SELECT ساده که SQL SERVER رو به زانو در آورد.
چند وقت پیش تو یه پروژه ای بودم که یکی از دولوپرهای عزیز یه گزارش جدید نوشته بود که شامل یه Query بود. روی سطح کد، همه‌چیز عالی به نظر میومد. اما وقتی گزارش اجرا میشد، سیستم یه دفعه شروع می کرد به کند شدن و سرور، CPU رو تا 100٪ میبرد بالا.
رفتم بررسی کنم چی شده. دیدم Queryش این شکلی بود:

SELECT * 
FROM BigTable 
WHERE FunctionOnColumn(SomeColumn) = 'Value';

کاری که این Query انجام می‌داد، این بود که یه فانکشن روی ستون اجرا می‌کرد. نتیجه؟ به‌جای استفاده از ایندکس‌های موجود، SQL Server مجبور می‌شد کل جدول رو اسکن کنه (Full Table Scan).

اول، با دولوپر صحبت کردم و براش توضیح دادم که استفاده از فانکشن روی ستون‌ها (به‌خصوص توی WHERE یا JOIN) باعث می‌شه SQL Server ایندکس‌ها رو نادیده بگیره. بعد، بهش پیشنهاد دادم که به‌جای فانکشن، مقدار محاسبه‌شده رو از قبل توی یه ستون جدید ذخیره کنه یا از Persisted Computed Column استفاده کنه.
کوئری اصلاح‌ شده‌ش این شد:

SELECT * 
FROM BigTable 
WHERE CalculatedSomeColumn = 'Value';

سرعت اجرای Query از چند دقیقه به کمتر از یک ثانیه رسید. همین تغییر ساده کلی بار روی دیتابیس رو کم کرد. نتیجه اینکه من راضی ، دولوپر راضی ، SQL SERVER هم راضی.

@DevTwitter | <Mostafa Hassanzadeh/>

بازخورد نسخه 3.5 توزیع پردیتور طی 20 روز از پست هایی که میگذارم.

این عدد 52 هزار بازدید و نمایش پست برای افراد که البته برای یک پست است.

خوشحالم که از کشور های مختلف پیام و همکاری هایی داشتم.

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

@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 کارا.