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

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 در دو دقیقه و بیست ثانیه یا کمتر

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

نویسه جدید:

به بهانه خدا - پاسکال

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

در این نویسه به بررسی قمار پاسکال بر خدا و نقدهای وارده بر اون می‌پردازیم.

خطای شناختی یا cognitive bias در دو دقیقه و بیست ثانیه یا کمتر

نویسه جدید:

ایده‌هایی برای دیباگ کردن

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