پست اولم رو در Dev Community نوشتم،

How to make "smarter" chatbots, Pt 1
https://dev.to/mcsh/how-to-make-smarter-chatbots-pt-1-g7g

صورت مسئله‌: ما به یک روش برای مدیریت حساب‌هایی که تعلق به فرد خاصی ندارن نیاز داریم، برای مثال حساب‌های متعلق به NGOها یا لاگ‌ها. اعضا باید بتوانند هر تغییری در روال اجرای برنامه مدیریت کننده بدهند، اما قدرت نباید در اختیار یک فرد باشد.

پیش‌فرض‌ها: یک هاست امین داریم که در تصمیم‌ها دخالت نمی‌کند.

راه حل #۱:

بر روی یک بستر همانند گیتلب یا گیتهاب ریپوی خاصی هاست می‌شود. در این ریپو باتی هست که MR های خود را بررسی می‌کند. بر روی هر ریپو یک تگ Vote می‌گذارد و کاربران رای مثبت یا منفی با reaction دادن به پست می‌دهند. بات در یک بازه ۲۴ ساعته در صورت رای آوردن، آن را مرج می‌کند و در غیر اینصورت رد می‌کند.

بات توسط یک ایمیج داکر ساخته می‌شود، اطلاعات حساس همانند توکن‌ها، توسط هاست از طریق متغییرهای محیطی به بات داده می‌شوند. هاست تنها برای تغییر این اطلاعات و یا در صورت کرش برای roll back به نسخه قبلی به هاست متصل می‌شود.

کاربردها:

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

ایده‌های لازم برای ارتقا:
* عدم وابستگی به یک هاست
* ایجاد مکانیزم برای جلوگیری از حمله اسپمرها

برای بحث بیشتر به @pi_developer_discuss مراجعه کنید.

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

از DRM دوری کنید!

‏درسته که پولش بر می‌گرده، ولی شما کتاب رو خریدید. شما صاحب اون کتاب باید بشید، حتا برگشت وجه هم قابل قبول نیست!

‏یادتون هم باشه که رایگان و رایگان‌ با DRM فرق داره. بله!

https://twitter.com/Sajjad_Heydari/status/1144375218053373952?s=19

وقفه‌ها

دو تا استاکر داریم. آلیس و بتی هر دو به کریس علاقه دارن و می‌خوان هر تغییری در شبکه‌های مجازی اون رو زیر نظر بگیرن تا بهش نزدیک بشن.

آلیس هر ۵ دقیقه همه شبکه‌های کریس رو چک می‌کنه تا ببینه آیا پست جدیدی گذاشته؟ آیا عکسش رو عوض کرده؟ و به طور کلی همه تغییرات رو زیر نظر می‌گیره.

بتی اما باهوش‌تره، به جای دستی چک کردن کریس،...

ادامه مطلب:

https://mcsh.github.io/fa/cs/2019/07/03/interrupt.html

«به بهانه خدا - هاوکینگ»

https://blog.heydaris.com/fa/god/logic/2019/08/20/hawking.html

در این نویسه:

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

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

...نظریه واحدی وجود نداره و ما دنباله‌ای از تئوری‌ها خواهیم داشت که هر کدوم در حیطه‌ای دقت بیشتری دارن اما همچنان خطا دارن. و ما هرگز بدون خطا نمی‌تونیم آینده رو پیش‌بینی کنیم. به قول ریاضی‌دان‌ها دنباله‌ای از نظریه‌ها داریم که به درستی میل می‌کنن اما بهش نمی‌رسن...

«باد»

داستان تعاملی جدیدیه که نوشتم، بخش اولشه. خوشحال میشم نظر بدید بهم:

https://blog.heydaris.com/fa/story/wind/01/

نویسه جدید: «هوش مصنوعی چیست؟»

این پست الآن نزدیک ۸ ۹ ماه هست که توی درفتم بوده، تصمیم گرفتم بالاخره منتشرش کنم. خوشحال میشم بخونید، نظر بدید و بازنشر کنید بقیه هم ببینن!

https://blog.heydaris.com/fa/ai/2019/08/25/AI.html

در این نویسه:

*‌ هوش مصنوعی چیست؟

* انواعش چی هست؟

* آزمایش تورینگ

* نوشتن یک Boiler Plate برای یک مسئله هوش مصنوعی

نویسه جدید «آنچه که نیستیم»

https://blog.heydaris.com/fa/philosophy/2019/08/26/what_we_are_not.html

در این نویسه:

تا حالا ازتون پرسیدن که «شما چی هستید؟»؟ جواب این سوال بسته به جایی که ازتون پرسیده شده متفاوته. اگر در یک مهمانی پر از موجودات فضایی باشید،‌ جواب شما «من یک انسان از سیاره زمین هستم» خواهد بود اما در یک قرار ملاقات حرفه‌ای، جواب ممکن است «من طراح وبسایت هستم» باشه

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

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

توی این چند وقت گذشته دوباره ساختن زبان رومی رو شروع کردم. اول از اسمش حرف بزنم، به نظرم rumi خیلی قشنگه به چند دلیل:

اول اشاره به خیام داره، دوم اسم کامپایلر رو میشه rum گذاشت و اینترپرتر رو rumi که مثل rum interpreter هست. با همین رویکرد هم پیش رفتم.

زبان کامپایل میشه، یعنی همه تایپ‌ها و بیشترخطاهای احتمالی موقع کامپایل گرفته میشن. قابلیت لینک شدن به C (و در نتیجه هر زبان معقول دیگه‌ای رو) داره، و ویژگی‌های منحصر به فردی داره مثلا کد @compile که باعث میشه تابع شما در زمان کامپایل اجرا بشه، باهاش میشه خیلی کارها کرد مثلا تست‌ها رو اجرا کرد یا ورژن رو ست کرد یا خیلی چیزهای دیگه.

زبان ویژگی‌های فانکشنال داره،‌ فانکشن پوینتر‌ها به راحتی ساخته میشن و مقدار می‌گیرن، توی چند خط به راحتی میشه ویژگی‌هایی مثل map و aggregate رو پیاده سازی کرد.

بکند کامپایلر از llvm استفاده می‌کنه، در نتیجه هر خروجی‌ای میشه ازش گرفت،‌از web assembly گرفته تا JVM Bytecode یا حتا فایل قابل اجرا روی ماشین خودتون.

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

https://github.com/MCSH/rumi

یا این که تو این گروه عضو بشید و در موردش حرف بزنید:

https://t.iss.one/pi_developer_discuss

در ادامه هم چند عکس از سینتکس زبان می‌گذارم:

ویدیو جدید:

نگاهی به vim

https://youtu.be/gojr3jZqFX0

نویسه جدید «تورینگ و هوشمندی»

https://heydaris.com/fa/turing_ai

نویسه جدید به انگلیسی:

Writing a Self Compiling Compiler

https://heydaris.com/en/blog/compiler_0

یه سری جدید که درباره bootstrap کردن کامپایلر قراره نوشته بشه.

نویسه جدید:

به بهانه خدا - کانوی
https://heydaris.com/fa/blog/conway

در این نویسه:

بازی زندگی کانوی

نظریه اختیار کانوی

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

نویسه جدید:

نقش نظارتی در نرم‌افزار آزاد

https://heydaris.com/fa/blog/governing_role

در این نویسه:

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

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

... نرم‌افزار آزاد مال چه کسی است؟ ... در واقع ناشر بعد از دریافت اولین ویرایش از یکی از کاربرانش، خودش هم حق نداره یک سری کارها رو با اون کد بکنه...

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

قانون بقای ساده‌ها در دو دقیقه و بیست ثانیه یا کمتر

قراره یه سری ویدیوی اینطوری رو اینجا به اشتراک بذارم از این به بعد:

https://instagram.com/mcsajjadh

پس‌چه‌ایسم یا whataboutism در دو دقیقه و بیست ثانیه یا کمتر

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