و بالاخره کروم این ویژگی‌ رو اضافه کرد.


با بلور روی ویلند خداحافظی کنید


@SohrabContents

🔶 حل مشکل نبود صدا و میکروفون در لینوکس های مبتنی بر اوبونتو

با دستور زیر کرنل ها مجدد نصب کنید:

sudo apt install --reinstall linux-image-$(uname -r) linux-modules-extra-$(uname -r)

دستور زیر وارد کنید که ماژول صدا آن خطایی میدهد یا نه :

sudo modprobe snd-hda-intel

اگر خطایی نداد که دستور زیر را وارد کنید ماژول های آن نصب شده است یا نه :

dmesg | grep -i snd

اگر همه چیز اوکی بود باید خروجی Input ها در مدیریت Sound نمایش داده شود.

#لینوکس

@TheRaymondDev

سرویس OmniAvatar بر روی Hugging Face به صورت رایگان (برای تست) در دسترس قرار گرفت.
این ابزار می‌تونه با یک تصویر و یک فایل صوتی ورودی، آواتار سخنگو تولید کنه.

لینک:
https://huggingface.co/spaces/alexnasa/OmniAvatar

@DevTwitter | <Diego Jr/>

"هر کس هر جا هست، یک قدم از اثبات P != NP فاصله بگیره"
——————————————————

آقای Lance Fortnow ( اگر نمی‌شناسیدشون این پست رو بخونید ) توی پست اخیر وبلاگشون نوشتن زمانی که Editor-in-Chief ژورنال ACM Transactions on Computation Theory بودند همیشه یکی از وظایف اصلی‌شون رسیدگی به مقالاتی بود که ادعا می‌کردند مسئله‌ی P VS NP رو حل کردند. از اونجایی که پیدا کردن داور مناسب برای این مقالات کار سختی بوده، اکثر مواقع خودشون مجبور میشدن که review رو انجام بدن. به دلیل rate بالای ارسال مقالات از این دست، ژورنال‌های دیگه مثل ToCT و JACM اومدن محدودیت گذاشتن روی تعداد مقالاتی که نویسنده‌ها میتونن روی این موضوع سابمیت کنند. این ها رو نوشتند تا برسند به اتفاقی که اخیرا توی یکی از ژورنال‌های Springer رخ داده.

اخیرا ژورنال Frontiers of Computer Science که توسط Springer هر دو ماه یک بار چاپ میشه، مقاله‌ای رو چاپ کرده با عنوان SAT Requires Exhaustive Search که یکی از نویسندگان این مقاله یعنی آقای Ke XU در این ژورنال نقش Deputy Editors-in-Chief رو هم دارند. در چکیده‌ی این مقاله ادعا شده که این مقاله چیزی رو اثبات کرده که از P != NP هم قوی‌تره ( به زبان ساده P != NP رو اثبات کرده ) Editorial Board این ژورنال آدمای قوی و سرشناسی در حوزه‌ی Computational Complexity Theory داره ولی آقای Fortnow با هر کدوم‌شون که صحبت کرده گفته که از وجود چنین مقاله‌ای بی‌خبره و هیچ نقشی در داوری این مقاله نداشته. آقای Eric Allender و Ryan Williams کبیر که از این مقاله مطلع میشن، با همدیگه یک comment ای می‌نویسن و برای Editor-in-Chief این ژورنال ارسال می‌کنند. در ابتدا درخواست میکنند که این مقاله retract بشه ولی Editor-in-Chief قبول نمی‌کنه و میگه که کامنت شما رو در نسخه بعدی این ژورنال چاپ میکنم. کامنت این بزرگواران به اثبات تئورم اصلی پیپیر یعنی Theorem 3.2 وارد میشه. این تئورم ادعا می‌کنه که یک مسئله‌ی constraint satisfaction خاصی وجود داره که برای هر c>1 بیشتر از
d^{cn}
نیاز به زمان داره. اینجا d سایز دومین و n تعداد متغیرهاست. به‌طور خاص ادعا می‌کنند که این قضیه حتی برای وقتی که k=2 هستش یعنی هر constraint حداکثر ۲ متغیر داشته باشه برقراره. این در حالیه که آقای Ryan Williams حدود دو دهه پیش الگوریتمی ارائه داده که در
O(d^{(0.8).n})
توی این حالت خاص اجرا میشه و این در تضاد lower bound هستش که این مقاله ادعا کرده.

جالبیش اینه که توی این مقاله در Appendix بخشی هست که از ریسرچ‌های مختلف کوت آورده که اونا کار رو تصدیق کردند. یکی از این افراد آقای Gregory Chaitin هستش. آقای Fortnow به ایشون پیام میدن و می‌پرسن که تو همچین چیزی نوشتی؟ اونم گفته که من اصلا این مقاله رو نخوندم و اون نقل قول از من out of context بوده.

نکته دیگه اینه که نسخه‌ای از comment که قراره توی ژورنال چاپ بشه، پاراگراف آخر این Comment رو پاک کرده که اون پاراگراف اینه :
Finally, it is our opinion that the publication of this article is a complete embarrassment to this journal and its publisher. We believe that, at the very least, the paper should be withdrawn, and Springer should conduct an investigation to understand how such a paper could have made it through the peer review process.

خلاصه که دوستان نویسنده‌ی ما به همراه ژورنال و editor-in-chief شون پاشون رو کردن تو یه کفش که این مقاله درسته و هیچ مشکلی درش نیست. حتی نویسنده‌های مقاله اومدن یک جوابیه برای اون کامنت منشتر کردند که می‌تونید از اینجا بخونید.

علاوه بر اون کامنت، افراد دیگری هم اون مقاله رو نقد کردند که برای نمونه میشه به مقاله‌ی Evaluating the Claims of “SAT Requires Exhaustive Search اشاره کرد. که البته برای اونم یک جوابیه نوشتن که اونم می‌تونید از اینجا بخونید.

یه نکته جالب دیگه هم اینه که نویسنده‌های این مقاله یه بار میان توی یه مقاله‌ای با استفاده از Chat-GPT اثبات می‌کنند که P != NP عه :)
عنوان مقاله‌شون هست Large Language Model for Science: A Study on P vs. NP

#موقت

از دوستان اگر کسی هست که VU Amsterdam درس می‌خونه یا در شهر آمستردام زندگی میکنه و یا اگر کسی هست که دانشگاه KU Leuven درس میخونه و یا در شهر Leuven زندگی میکنه، من از دوستانم اینجاها برای دکتری آفر گرفتند و نیاز به راهنمایی و مشورت دارند. اگر کسی مایل به کمک کردن هستش بهم پیاده بی‌زحمت.

🔰درایور جدید انویدیا ۵۸۰ برای لینوکس با پشتیبانی از Wayland و رفع مشکلات

انویدیا اولین نسخه بتای درایور NVIDIA 580.65.06 را برای لینوکس منتشر کرد که شامل:
🔹 پشتیبانی از پروتکل fifo-v1 Wayland (مهم برای کامپوزیتورهای Wayland)
🔹 رفع باگ‌های مربوط به Vulkan و Wayland
🔹 بهبود گزارش ساعت پردازش گرافیک (GPU) برای هماهنگی بیشتر با ویندوز
🔹 رفع مشکلات سازگاری با هدست Bigscreen Beyond
🔹 کاهش لگ در هدست‌های VR با فعال‌کردن RMIntrLockingMode به‌صورت پیش‌فرض
🔹 قابلیت آزمایشی جدید برای کاهش تأخیر در نمایش تصاویر
جزییات بیشتر در لینک
این درایور بتا از طریق سایت رسمی انویدیا قابل دانلود است.

https://www.nvidia.com/en-us/drivers/details/251355

نویسنده: حسین سیلانی 
📢 اخبار و آموزش‌های بیشتر در کانال: 
https://t.iss.one/linuxtnt

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

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

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

یکی از فوق العاده ترین ابزارهای مدیریت کلاستر kubernetes که هرروز باهاش کار میکنم و واقعا لذت میبرم k9s هست:
https://github.com/derailed/k9s

@DevTwitter | <Mohsen Khodabakhshi/>

🔶 کانال یوتیوب A Lazy Programmer هم اکنون ۱۰۱ عضو دارد. 🎉🎊🍾

https://www.youtube.com/@LazyRays

@TheRaymondDev

🔶 دلم برای کسایی که این روزها تازه دارن برنامه ‌نویسی یاد می‌گیرن می‌سوزه.

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

@TheRaymondDev

#مصاحبه

چندوقت پیش برای یک شرکتی داشتم مصاحبه انجام میدادم؛ یک توسعه دهنده پایتون می‌خواستند با دانش بالا از concurrency, parallelism کلی هم روزمه دریافت کرده بودند.

قرار بود من فقط ۲ روز براشون وقت بذارم و مصاحبه کنم ولی انقدر تعداد روزمه‌ها زیاد بود که ۱ هفته کار می‌برد؛ مصاحبه رو ۲ مرحله‌ای کردیم توی مرحله اول سوال جوابای کلی پایتون بود که نیروهای خود شرکت انجام میدادند و درنهایت هم ۱ تسک بهشون داده میشد که توی همون مصاحبه انجام بدند؛ تسک این بود (چون خودم تسک رو داده بودم میگم):

یک کد ۸ رقمی با الگوریتم sha256 هش شده؛ و تونستیم هش خروجی رو بدست بیاریم. کدی بنویسید که عدد رو برامون پیدا کنه.
توی سوال و جواب بهشون گفته می‌شد که عدد می‌تونه مثلا 5 هم باشه ولی به اینصورت:
"00000005"

تقریبا همه شرکت‌ کننده‌ها حل کردند مسئله رو؛ به هیچکس هیچ راهنمایی داده نمی‌شد و از هیچکدوم از افراد هم چیزی اضافه بر متن بالا خواسته نمی‌شد.

#مصاحبه

چندوقت پیش برای یک شرکتی داشتم مصاحبه انجام میدادم؛ یک توسعه دهنده پایتون می‌خواستند با دانش بالا از concurrency, parallelism کلی هم روزمه دریافت کرده بودند.

قرار بود من فقط ۲ روز براشون وقت بذارم و مصاحبه کنم ولی انقدر تعداد روزمه‌ها زیاد بود که ۱ هفته کار می‌برد؛ مصاحبه رو ۲ مرحله‌ای کردیم توی مرحله اول سوال جوابای کلی پایتون بود که نیروهای خود شرکت انجام میدادند و درنهایت هم ۱ تسک بهشون داده میشد که توی همون مصاحبه انجام بدند؛ تسک این بود (چون خودم تسک رو داده بودم میگم):

یک کد ۸ رقمی با الگوریتم sha256 هش شده؛ و تونستیم هش خروجی رو بدست بیاریم. کدی بنویسید که عدد رو برامون پیدا کنه.
توی سوال و جواب بهشون گفته می‌شد که عدد می‌تونه مثلا 5 هم باشه ولی به اینصورت:
"00000005"

تقریبا همه شرکت‌ کننده‌ها حل کردند مسئله رو؛ به هیچکس هیچ راهنمایی داده نمی‌شد و از هیچکدوم از افراد هم چیزی اضافه بر متن بالا خواسته نمی‌شد.

حدود ۱۲ نفر موندند که به مصاحبه مرحله دوم دعوت شدند؛ اما یکنفر بود که کلا آدم اعتراض کردن هست (پست‌هاش توی لینکدین توی چند وقت اخیر چیزایی که منم تگ شدم)
نمی‌دونست سوال مصاحبه با من بوده و ادعا کرده توی لینکدین که بهترین راه حل رو ارائه داده ولی رد شده (انگاز کسی باهاش جنگ داره) ازش خواستم پستش رو پاک کنه وگرنه براش خیلی بد میشه ...

اما این قضیه و دیدن اینکه خیلی از بچه‌های حتی سنیور عکسی که از راهکار گذاشته رو لایک کردند باعث شد بیام و بگم چرا کدی که اون آدم گذاشته بود اصلا بدرد نمیخورد:
بله کد parallel اجاره میشه ولی

همه‌ی کدهای parallel به یک اندازه خوب نیستند و یا حتی درست هم نیستند.

ادامه پست بعدی ...

اینم قسمت جدید لذت شطرنج که توش آخرین حرکاتی که لازمه بلد باشین رو می‌گیم و کلیت قوانین برای بازی آنلاینمون کامل می‌شه: قلعه رفتن؛ ارتقاء دادن پیاده و حرکت بامزه آن پاسان
https://youtu.be/VEYjn8WbVzU

اول کد آقای اعتراض (این سورس کد رو خودم زدم ولی با تکنیکی که ایشون بعنوان راهکار نهایی ثبت و ایمیل کردند.)

کد پارالل هست و اجرا هم میشه؛ هش اول رو توی ۲۲ ثانیه پیدا می‌کنه و عدد 5 رو به درستی بر میگردونه. (این هش‌ها توی تست به مصاحبه شونده‌ها داده نشده بود و من الان ایجادشون کردم اعدادش هم به عمد هست)

چرا 5 ؟
برای اینکه توی رنج اعدادی که ایجاد میشه اوایل اولین لیست chunk قرار میگیره پس سریع محاسبه میشه.

با همین نکته باید فهمیده باشید مشکل کد بالا چیه!
ربطی نداره کد ۸ رقمی کجای لیست قرار بگیره تمام اعداد ۸ رقمی رو باید تست کنه تا به جواب برسه. برای همین انقدر طول کشید.

چرا 69269268 ؟
مشگل دوم باگ برنامه‌نویس هست؛ من هم میخواستم خروجی رو برای یک عدد رندوم ببینم و هم میخواستم توی chunk های اول نباشه ولی برای این عدد بهم -1 برگردوند.
یک مقدار دقت کنید پیداش می‌کنید (البته من بخاطر این اشتباه ردش نکردم)

ادامه پست بعدی ...

#موقت

خلاصه که همه‌ی کدهای پارالل مثل هم نیستند:
22sec != 7ms

همینطوری بران فان گفتم ادیت کنم اسم کانال رو. در واقع دیدم که یه نفری از مدت ها قبل اسم «لذت شطرنج» رو برای کانالش داره و فکر کردم از شماره بعدی شطرنج (در واقع دو شماره بعدی؛ چون بعدی رو ضبط کرده ام) اسم رو عوض کنم که تداخل نباشه با اسم قدیمی تری که یه آدم متخصص داره استفاده می کنه و باهاش مخاطب داره. بعد دیدم اینجا هم همینطوری از اول یه اسم گذاشته ام و بد نیست عوض کنم به یه چیز واضح

خیلی باحاله طرف یه چیزی درست کرده میتونید LLM ها رو توی یه pdf ران کنید:
https://github.com/EvanZhouDev/llm.pdf

@DevTwitter | <0x_XRVØ/>

اینم براساس راهکار کسی که استخدام شد؛ استفاده از

multiprocessing.Value

برای اینکه بتونه بین پراسس‌ها وضعیت رو بررسی کنه؛ به محض اینکه یکی از پراسس‌ها اعلام کنه به جواب رسیده

found.value

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

با این روش؛ جواب هش اول توی 7ms بدست میاد.

اما این کد هم می‌تونه بهتر بشه؛ برای hash دوم با عدد 69269268 تقریبا ۲ برابر روش قبلی زمان نیاز داره!
بطور کلی برای اعدادی که توی ۲۵٪ انتهای chunk خودشون قرار میگیرند!

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

=================
سوال شده:
۱- لینکدین من روی پست اول توی پین شده‌ها هست

۲- فونتی که استفاده می‌کنم operator mono هست

۳- ادیتور و تم و ... هم مربوط به تنظیمات neovim هست که گذاشتم البته از برنچ javascript استفاده کنید این تغییرات اونجاس (فونت رو باید روی ترمینال فعال کنید)

۴- توی مصاحبه اول، دسترسی به ai وجود نداشت؛ مصاحبه دوم بلامانع بود استفاده از ai

۵- سوال اصلی مصاحبه نبود؛ برای حذف روزمه‌های اضافه بود

لطفاً سوالات و مشکلات خودتون رو درمورد پروژه پارچ داخل فروم پارچ مطرح کنید.


چرا برای پرسیدن سوال روی فروم پارچ تأکید داریم؟

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



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


برای ثبت‌نام توی فروم شما فقط نیازمند یک آدرس ایمیل هستید. همچنین می‌تونید ثبت‌نام رو با گوگل، گیت‌هاب، کدبرگ و ....‌ هم انجام بدید.

پیوند فروم:

https://forum.parchlinux.com


@ParchLinux

فرقش با موسی اینه که موسی خودش اول همه بود
ولی خلیفه تو هفت تا سوراخ قایم بود
تنها شباهتشون اینه که هردو به مار تبدیل شدن