اتحادیه اروپا از اول آگوست که پنج روز قبل بوده، گفته که فروشنده های تلفن همراه حق اینکه اجازه بدن بوت لودر دستگاه باز بشه رو ندارن.


https://www.salesiancollege.in/eu-enforces-android-bootloader-restrictions-from-august-1/



پ.ن: نمیشه هم طرفدار آزادی باشی، هم آزادی تغییر سیستم عامل رو از ملت سلب کنی.


@SohrabContents

هر از چندی عکس یه کوزه باستانی رو گیر میارن و زیرش می‌نویسن عمر این کوزه دوازده برابر آمریکاست! حواسشون نیست به ترامپ میگن ۴۷ امین رییس‌جمهور آمریکا. یعنی ۲۳۶ ساله که ۶۰ انتخابات رییس‌جمهوری انجام شده و ۴۷ نفر آدم مختلف دولت رو در دست گرفتن، و این دولت که ترامپ بدستش گرفته همون دولتیه که نفر اول بدستش گرفت. یعنی از زمان لطفعلی‌خان زند در ایران، این دولت همون دولته. پیرمردهای مملکت ما، اگه خوب عمر کرده بودند، نه در ۲۳۶ سال، بلکه در طول عمر خودشون، دو تا انقلاب دیدن، دو تا کودتا دیدن، و سه تا حکومت، که پسر همون پیرمردها با حمله اخیر اسراییل امیدوار بودن چهارمیش هم ببینند! ازین لحاظ آمریکا خیلی قدیمی‌تر از ایرانه. شما برای حفظ کوزه کاری انجام ندادی که. زیر خاک بوده و اکسیژن و مواد خورنده بش نرسیده و سالم مونده. این نگه داشتن سیستم‌هاست که ارزش داره، چون آدم‌ها توش دخیلند، نه قلیایی/اسیدی بودن خاک! آدم ایرانی تو حفظ اون کوزه هیچ دخالتی نداشته. بلکه اگه به دخالت نداشتنش ادامه می‌داد و میذاشت همون زیر بمونه بازم به ماندگاریش برای چند قرن دیگه می‌شد امیدوار بود، ولی الان که اومده بیرون باید فاتحه‌ش رو خوند. از کلوسئوم که نباید قدمت ایتالیا رو تعیین کرد. اون مقداری قطعه سنگیه که خودش قرن‌ها بدون مراقبت کسی زیر آفتاب مونده، و اتفاقا همینکه بدون دخالت انسان، یا با دخالت‌های تخریبی انسان، اینهمه مدت همینقدرش باقی مونده، جزء عجایبه، نه خود ساختش‌. قدمت رو بریتانیا داره که ۷۰۰ ساله پارلمان داره. اینکه در طول هفت قرن آدم‌های مختلف با فرهنگ‌ها و عقاید و سلایق متفاوت بیان و برن و سیستم سر جاش بمونه، یعنی عُمر! و گرنه پایه پل آجری رو مگه من و تو بابامون و بابای بابامون نگه داشتیم رو شونه‌مون؟

حقیقتا زیباست
خیلی زیباست

به شخصه خیلی از TODO استفاده میکنم وقتی که کد مینویسم.
کاربرد TODO فقط لیست کردن کارهای آینده نیست، خیلی وقتا شما در لحظه نمیتونی تصمیم بگیری که یه شرایطی باید در کد لحاظ بشه یا نه. خیلی وقتا میدونی یه چیزی رو رعایت نکردی و بدهی فنی ایجاد کردی، ولی نمیدونی واقعا این بدهی فنی چقدر مهمه. خیلی وقتا میدونی میشه کد رو بهتر کرد و براش ایده هم داری ولی نمیدونی چقدر ضرورت داره اجرا کردنش. خیلی وقتا میدونی یه چیزی باگه ولی نمیخوای رفعش کنی...
من در همه این موارد همون لحظه یه TODO نسبتا مفصل میذارم که بعدا چه خودم و چه دیگران اون تیکه از کد رو خوندن خیلی بهتر onboard بشن روی کد و چالش هاش.
صادقانه بگم اکثر TODOها هیچوقت قرار نیست کد زده بشه، ولی نوشتن TODO به شما و تیم این اطمینان رو میده که دید قابل قبولی نسبت به بدهی های فنی ای که به عمد در پروژه ایجاد کردید دارید. و هیچ لحظه ای از همون لحظه ای که تمام ذهنتون درگیر پیاده سازی کد هست، بهتر نیست برای نوشتن TODO.

این مقاله هم در همین رابطه ست
https://sophiebits.com/2025/07/21/todos-arent-for-doing


@gocasts

ابزار VictoriaMetrics یه ابزار سریع و مقیاس پذیر برای مانیتورینگ و مدیریت time-series data هست که در توسعه ش خیلی به مساله performance و reliability اهمیت دادن.
حالا یکی از توسعه دهندگانش توصیه کرده که اگه میخواید بدونید سیستم های high performance چطوری با گولنگ توسعه داده میشن کد پروژه VictoriaLogs رو بخونید.
If you want to know how high performance systems written in Go were built, read VictoriaLogs.
VictoriaLogs
Fast and easy to use database for logs, which can efficiently handle terabytes of logs
https://github.com/VictoriaMetrics/VictoriaLogs

@DevTwitter | <Hossein Nazari/>

pnpm 10.4 is here to save us from this chaos with devEngines.runtime 🎉

https://pnpm.io/package_json#devenginesruntime

به نظر میاد دیشب شب مهمی برای 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