برای بهینه سازی و کم حجم کردن مدیا ها تیم گوگل کروم یه ابزار ساخته به اسم squoosh بهش عکس یا هرچیزی رو بدید آنلاین تغییرات رو روش اعمال کنید بعد توی پروژه های وبیتون قرارش بدید

squoosh.app

@Linuxor

یه سریالی که مجدد دارم ریواچ میکنم اسمش هست کوبار. این سریال رو فریدون حسن‌پور ساخته که خودش بچه‌ی گیلانه و خیلی خوب بلده که گیلان رو توی فیلم‌هاش نشون بده. امشب با مهسا داشتیم قسمت سوم این سریال رو میدیدم که اولش آهنگ جانِ گیلان فریدون پوررضا توی کبابی اون پیرمرده پخش میشد. چه عشقی کردم :)
داستان سریال در مورد یه معلم جوونه که آموزش پرورش میفرستش دیلمان برای تدریس

وصیت میکنم من مردم گیلان دفنم کنید. اگر شد لشت نشاء، اگر جا نبود زیباکنار، رودسر، کیاشهر، لنگرود، سیاهکل، لاهیجان، خمام خلاصه هر جاش شد اوکیه

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

@codino

آقا راستی کانال دوستان رو دنبال میکنید دیگه؟ انقدر پستای خوب میذارن که دیگه کار از فوروارد کردن گذشته. حتما باید توشون عضو باشید
https://t.iss.one/MathematicalMusings/1781

https://t.iss.one/simplytypedexistence/1606

https://t.iss.one/wanderermulan/1096

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

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

یه سرچی زدم، خیلی سریع رسیدم به این ریپو:‌
onefilellm

پروژه‌ی خیلی جذابیه. میتونید ریسورس‌های مختلف مثل:
- ریپازیتوری گیت‌هاب
- کد بیس لوکال
- لینک arxiv
- فایل pdf
- ویدیو YouTube
و خیلی چیز‌های دیگه رو بهش بدین، همه رو جمع میکنه توی یک XML که میتونید اونو استفاده کنید. مثلا توی مورد من، نتیجه اینطور بود:

Summary:
  - Sources Processed: 2
  - Final Output Size: 1,184.28 KB

Content Token Count (tiktoken): 250,818
Estimated Model Token Count (incl. overhead): 343,621

output.xml (main XML) has been created.

The contents of output.xml have been copied to the clipboard.

اینقدر توکن رو الان فکر می‌کنم همه‌ی LLMها خیلی راحت ساپورت میکنن. من دادمش به Google AI Studio. البته چون کد رو روی لوکال هم داشتم، مقاله رو هم جدا دادم که تبدیل کنه، مستقیم آوردمش توی Cascade که هرجا سوال داشتم، بتونه به مقاله هم ارجاع کنه.

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

بنظرم اینکه خودتون درک کنید تکنولوژی هایی که باهاشون کار میکنید چطور در زیرلایه کار میکنن دید از بالای خوبی به ادم توی کار میده؛ توی این ریپو برای زبان های متخلف ساخت مرحله به مرحله تکنولوژی هایی مثل 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