نوشته‌های ترمینالی
2.65K subscribers
425 photos
12 videos
32 files
2.25K links
Download Telegram
Forwarded from a pessimistic researcher (Kc)
پس این مزخرفی که این دو نفر گفتن قابل پیاده سازی نبود و دلیلش هم اینه که رابطه بین Event ها از نوع Totally Order نیست بلکه از نوع Partially Order هستش.

یعنی این که ممکنه ما دو تا Event داشته باشیم که به هیچ عنوان نتونیم بگیم کدومشون اول رخ دادن.

این دید رو آقای لمپورت از قضیه نسبیت خاص انیشتن داشتن.

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

خیلی این مقاله قشنگه. این مقاله میاد خیلی درست و دقیق مفهوم زمان رو توی سیستم های همروند و توزیع شده به ما توضیح میده. خیلی دقیق میاد توضیح میده که ما به چه سیستمی میگیم Distributed و چه زمان میگیم دو تا Event دارن به طور Concurrent اجرا میشن.

خلاصه خوندنش برای کسانی که میخوان وارد حوزه هایی بشن که سر و کارشون با زمان هستش مستحبه.

توی این مقاله آقای لمپورت برای درک بهتر قضیه نسبیت خاص دو تا مرجع معرفی میکنه که یکیش نظر من رو خیلی به خودش جلب کرد.

یکی از این مراجع خیلی با دید ریاضی فیزیک نوشته شده که من اصلا نمی فهممش و براتونم میذارم و شما هم نمی فهمیدش.

ولی اون یکی مرجع سعی کرده نسبیت خاص رو به جای توضیح فرمال و ریاضیاتیک. با توضیح یک داستان به طور تصویری بهمون حالی کنه که خیلی قشنگه و بخونید میفهمید و براتون میذارم :)))))

در آخر یه نکته دیگه هم بگم در مورد این مقاله. آقای Jim Gray که قبل تر ها توی یک پستی تحت عنوان ملوان گمشده معرفیشون کردم یه روز به لمپورت میگه:

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

لمپورت هم بهش گفته که : با دسته اول نمی تونم بحث کنم و با دسته دومم حوصله بحث کردن ندارم :)))))

نظر من رو بخواید هر دوشه :))))

یه نکته جالب دیگه هم اینکه لمپورت میگه من با هرکسی که در باره این مقاله صحبت میکنم در مورد State Machine توی مقاله صحبت میکنم و اونا هم میگن مگه مقاله ات State Machine داشت اصلا :)))))

به طوریکه خود لمپورت میگه من خودم شک میکنم و میرم مقاله ام رو از اول میخونم

خلاصه همین دیگه
تموم شد :)))
👎1
شاید فکر کنید که png و jpg فرمت های خوبی هستن که این همه استفاده میشن ولی خیر.

یه نفر یه فرمت ساخته در سال های اخیر به اسم qoi یا همون Quite OK Format که میتونه جای png رو بگیره.

پیاده سازی تبدیلگرش به png خیلی ساده س و تو این ریپو وجود داره
https://github.com/phoboslab/qoi

با توجه به سادگیش خیلیم سریعه و خلاصه با دیدن این عجیب شد برام که چرا سال هاست از png کند استفاده میشه!

البته دقت کنید که فرمت جدیدیه و هنوز کسی به اون صورت پشتیبانیش نمیکنه اما خوندن spec و سورس‌کد ساده ش میتونه جالب باشه.
👍4
اطلاعات بیشتر در مورد این فرمت (شامل spec و بنچمارک)

https://qoiformat.org/
ترکیب کردن کدهای C و C++
https://yosefk.com/c++fqa/mixing.html
دیدن outage های سراسر جهان روی نقشه!
https://livemap.pingdom.com/
مپ دامنه های اینترنت!
https://internet-map.net/

می‌تونید هر سایت رو توش سرچ کنید و اندازه ش رو با سایت های دیگه مقایسه کنید. سایت هایی که نزدیک همن بینشون لینک ها بیشتر بودن.
شکل کلیشم قشنگه واقعا =)
👍4