به نظر میاد دیشب شب مهمی برای LLM ها بود.
شرکت openai اومده مدل جدید reasoning معرفی کرده که در کد o4 mini و اینا خوبه ولی خب اوپن سورسه و ملت خودشون با هزینه خیلی کمتر هاست کردن.

اینکا میتونید رایگان استفاده کنید:
https://gpt-oss.com/

@DevTwitter | <یه پوینتر/>

💬 New comment on Xray-core#4952 chore: remove vmess from core.
by @RPRX

@gfw-killer 我更新了 VLESS 加密的设计方案，像 QUIC 一样跨二元组复用 sharedKey，兼顾 0-RTT 与前向安全，测试代码已跑通

本周末将正式推出 VLESS 加密，主要特性如下：
- 抗量子的认证与加密，0-RTT
- 前向安全，重放防护
- 更优的性能，且可选 XTLS

全面基于 [ML-KEM-768](https://github.com/XTLS/Xray-core/pull/4992#issuecomment-3156162191)、HKDF(SHA256)、AES-256-GCM/ChaCha20-Poly1305

Reply to this message to post a comment on GitHub.

این سروش پلاس چه شرو وری بود که من دیدم

🛑 چه کسی دوربین مدابسته تو را میبینه؟

🔍 اکثر دوربین‌های ارزان‌قیمت بازار (حتی برندهای معروف) تصویر خونه یا محل کارت رو مستقیماً می‌فرستن به سرورهای چین یا آمریکا

📡 بدون این‌که حتی بفهمی، کسی داره تو را میبینه! 😱 یا حتی درب پشتی و سرویس های غیرمجاز

✅ راه‌حل امن و متن‌باز :
پروژه‏🎯 Thingino یک فرم‌ور (firmware) متن‌باز برای دوربین‌های IP مبتنی بر تراشه‌ (SoC) ساخت شرکت Ingenic

✔️ همه چیز فقط روی شبکه خودت می‌مونه
✔️ تصویر زنده با RTSP یا ONVIF بدون اپ، بدون کلود
✔️ بدون ردپا، بدون جاسوسی، بدون ثبت‌نام
✔️ کنترل کامل در اختیار خودته، حتی با Home Assistant

📦 سخت‌افزارهای پشتیبانی‌شده
‏Thingino برای مدل‌های مختلفی از دوربین‌ها تهیه شده، از جمله:
برندهایی مانند Wyze Cam V2/V3/Pan V1/V2، Cinnado D1، Aoqee C1، Imou Ranger 2، Sonoff Cam Slim Gen2، TP-Link Tapo C100/C110 و دیگر مدل‌هایی که روی SoCهای Ingenic کار می‌کنند

✅پشتیبانی کامل از استانداردهایی مانند RTSP و ONVIF

موارد بیشتری جدیدا پیدا کردم که کم کم این پست را به روز میکنم خوشحال میشوم نظر دوستان را هم بدانم

@MehrdadLinuxchannel

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


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


@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 برگردوند.
یک مقدار دقت کنید پیداش می‌کنید (البته من بخاطر این اشتباه ردش نکردم)

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