این سرویس واقعا جذابه :)

بنظرم اینکه خودتون درک کنید تکنولوژی هایی که باهاشون کار میکنید چطور در زیرلایه کار میکنن دید از بالای خوبی به ادم توی کار میده؛ توی این ریپو برای زبان های متخلف ساخت مرحله به مرحله تکنولوژی هایی مثل git, docker, redis, torent , http و sql هست.

https://github.com/codecrafters-io/build-your-own-x?tab=readme-ov-file

<Moj./>

مولانا | دیوان شمس | رباعیات | رباعی شمارهٔ ۱۱۵۲

امشب همه شب نشسته اندر حزنم
فردا بروم مناره را کارد زنم
خشم آلودست اگرچه با ماست صنم
در چاه رسیده ام ولی بی رسنم

#مولانا | گنجور
📍@iipoem

و بازهم ویندوز

یک اپدیت دادن برای ویندوز ۱۱ که در عملیات های نوشتن شدید روی SSD‌ها باعث میشه دیسک‌ها از دسترس خارج بشن. توی این حالت نه دیسک توی سیستم‌عامل دیده میشه و یا فایل‌ها دچار خرابی میشن. بعضی وقتا هم با ری‌استارت برمیگرده اما پایداره و دوباره هم رخ میده!

بیشترین آسیب رو SSD‌هایی که DRAM ندارن و کنترل‌های Phison دیدن.

حالا یا از بافرکش دیسکه یا از یک مموری لیک توی ویندوز (چون ویندوزه هر دو گزینه صحیح می‌باشد)


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

ویندوز ۱۰ هم که به پایان خودش رسیده، راه حل میشه نصب یک توزیع معقول از گنو/لینوکس و مهاجرت برای همیشه.

@SohrabContents

مرورگر ها خیلی هوای سرورهارو دارن، با ریکوست ها دوتا هدر ارسال می‌کنن if-none-match و if-modified-since و به سرور می‌گن آخرین باری که من اومدم توی سایت چه زمانی بوده و چیزی که بهم دادی چه ETAGی داشته، سرور هم به این دوتا هدر نگاه می‌کنه و چک می‌کنه اگه چیزی تغییر نکرده چیزی برای مرورگر نمی‌فرسته فقط یه 304 به مرورگر می‌فرسته و مرورگر می‌فهمه که باید از نسخه کش خودش استفاده کنه، اینطوری توی مصرف پهنای باند سرور صرفه جویی می‌شه و درخواست های تکراری چند بار پردازش نمی‌شن.

@Linuxor

دیتااستراکچر در ۹۹ ثانیه

https://www.youtube.com/watch?v=A4cj_5aF7ZQ

@TheRaymondDev

🤨 دارک مود؛ ناجی چشم‌ها یا یه توهم مدرن...؟!

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

مزایای علمی دارک مود :

▪️کاهش نور آبی : نور آبی زیاد، ریتم خواب رو مختل می‌کنه، و دارک مود می‌تونه به خواب بهتر کمک کنه.

▪️کاهش مصرف باتری : روی نمایشگرهای OLED، رنگ‌های تیره مصرف انرژی کمتری دارن.

▪️کاهش خیرگی در محیط‌های کم‌نور : وقتی نور اطراف کم باشه، دارک مود فشار کمتری به چشم وارد می‌کنه.

معایب علمی دارک مود :

▪️کاهش خوانایی متن در روز: چشم انسان به خوندن متن تیره روی پس‌زمینه روشن عادت داره، و دارک مود توی نور زیاد باعث خستگی چشم میشه.

▪️برخی تحقیقات نشون میدن که چشم توی حالت دارک مود بیشتر مجبور به تطبیق و تمرکز میشه، که می‌تونه خستگی ایجاد کنه.

▪️برخلاف تصور عموم، تغییر تم به تنهایی تأثیر زیادی روی کاهش خشکی و خستگی چشم نداره، بلکه میزان پلک زدن و استراحت دادن به چشم مهم‌تره.

#م

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

@haghiri75_blog

⁦ಠ⁠_⁠ʖ⁠ಠ⁩

➖➖➖➖➖➖➖➖➖➖ 

🥷🏻 CHANNEL | GROUP

وقتی اولین خط کدتون رو نوشتید چه حسی داشتید؟ 🤔
من که داشتم بوگاتیمو تصور میکردم 😂

➖➖➖➖➖➖➖➖➖➖ 

🥷🏻 CHANNEL | GROUP

"به بهانه‌ی CONCUR" - بخش اول
—————————————————

امروز proceeding رسمی کنفرانس CONCUR'25 چاپ شد و به همین بهانه میخوام به چند تا پیپر‌های خوبی که خودم بهشون علاقه‌مندم اینجا اشاره کنم. خیلی دوست داشتم که در مورد این پیپرها اینجا براتون بنویسم ولی از اونجایی که کنفرانس هفته دیگه برگزار میشه و منم هنوز اسلایدام آماده نیست احتمالا نرسم ولی حین یا بعدش حتما براتون بیشتر در موردشون می‌نویسم. از طریق این لینک میتونید به فایل کامل proceeding دسترسی داشته باشید و از طریق این لینک می‌تونید لیست مقالات رو بهمراه لینک جداگانه هر مقاله ببینید.


اولین پیپر عنوانش هست :

"Just Verification of Mutual Exclusion Algorithms"
کار آقای Rob van Glabbeek در بکارگیری مفهوم Justness در verify کردن رده‌ی خاصی از برنامه‌های Concurrent که بهشون میگیم Mutual Exclusion این مقاله خیلی خوب نوشته شده و به نظرم برای کسی که دانش زیادی هم نداره تا حدخوبی قابل فهمه. خصوص اوایلش که memory model های مختلف رو توضیح میده. ( دل تو دلم نیست که rob رو ببینم :) )

دومین پیپر عنوانش هست :

"Partial-Order Reduction Is Hard"
این کار اخیر آقای Igor Walukiewicz هستش که یک negative result بهمون نشون میده از بکارگیری Partial Order Reduction روی سیستم‌های stateful و نشون میدن این مسئله NP-hard هستش. علاوه بر این یک positive result هم نشون میده که برای یک دسته از برنامه‌های خاص (اصطلاحا برنامه‌های non-blocking) این مسئله P هستش.

سومین پیپر عنوانش هست :
"On the Send-Synchronizability Problem for Mailbox Communication"

این کار یک سری Negative result و positive result روی مسئله‌ی Send-synchronizability میده. این مسئله مدت‌ها بود که open problem بود و کاربرد مهمی تو وریفای کردن سیستم‌های Distributed داره. به طور خلاصه سیستمی Send-synchronizability هستش که اگر از trace اجرا بیایم و تمام action های send رو project کنیم و ترتیب رخدادشون رو حفظ کنیم، در حالتی که سیستم از مکانیزم ارسال پیام asynchronous و یا rendez-vous استفاده بکنه هم همین ترتیب رخداد بین send ها برقراره. تو این مقاله تصمیم پذیری این مسئله روی مدل‌های ارتباطی مختلف مثل mailbox و p2p بررسی شده و نشون میده که برای این مدل‌های این مسئله تصمیم ناپذیره ولی برای مدل 1-schedulable mailbox تصمیم پذیره.


چهارمین پیپر:
"Omega-Regular Verification and Control for Distributional Specifications in MDPs"

این کار توسط یکی از دوستانم اولدوز زمانی که اینترن بود انجام شده و برای اولین‌بار این کار میاد و تکنیک‌های automated جهت verification و سنتز استراتژی برای spec های distributional \omega-regular در Markov Decision Processes ارائه میده. این تکینک‌ها مبتنی بر روشی جدید برای محاسبه‌ی ضرب MDP و Nondeterminist b\"uchi automata است. توی این مقاله مفهومی تحت عنوان distributional certificates ارائه میشه که به واسطه‌اش الگوریتم‌های سنتز ارائه میدن. جای اولدوز توی این کنفرانس حسابی خالی خواهد بود

پایان بخش اول

https://lkml.org/lkml/2012/12/23/75

هرچقدر از گل بودن این بشر بگیم بازم کمه!

@SoniaNotes

اگه بیشتر از کد زدن دوست دارین ادای کد زدن رو در بیارین و چشم اطرافیانتون رو در بیارین اینجا بهشت شماست،‌ ریپازیتوری های با README های رنگی رنگی با سبک های مختلف رو جمع کردن اینجا:

zzetao.github.io/awesome-github-profile

@Linuxor

فکر می‌کنی نوشتن کد FizzBuzz (یه چیزی شبیه بازی هپ هپ خودمونه) فقط یه تمرین ساده مصاحبه‌ست؟ این ریپو بهت نشون می‌ده همون تمرین می‌تونه تبدیل بشه به یک سیستم Enterprise واقعی. با تست ها و الگوهای طراحی مثل Strategy Pattern یا Dependency Injection و ... ساخته شده. و می‌بینید که یه کد خیلی خیلی ساده چطوری تبدیل به یه کد سازمانی و قابل توسعه می‌شه.

github.com/EnterpriseQualityCoding/FizzBuzzEnterpriseEdition

@Linuxor

حافظ | غزلیات | غزل شمارهٔ ۲۷۵

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

#حافظ | گنجور
📍@iipoem

دیگر نگران اشتباهات خود در محیط لینوکس و bash نباشید، اینو در نرم افزار جهانی پایتون اینستال کنید، هنگام اکثر ارور ها کافیه یک fuck بدید تا خودش ترتیب اثر بده و حلش کنه

https://github.com/nvbn/thefuck

@DevTwitter | <vandi/>

پلتفرم متن باز Jan AI برای اجرای مدل های GPT روی سیستم

کاملاً آفلاین، رایگان و منبع‌باز بدون اینترنت
اجرای مدل‌های Llama3، Mistral و…
https://github.com/menloresearch/jan

@DevTwitter | <MehrdadLinux/>

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

https://github.com/mortezadalil/Pro-Translator

@DevTwitter | <Morteza Dalil/>