🚫 تا یک حدی بپرسید کدام توزیع لینوکس،IDE،زبان برنامه نویسی و ...
✅بچسب به اصل کار ، از حاشیه دوری کنید.

طرف توسعه دهنده کرنل لینوکس
بدون syntax highlighting
بدون LSP
فقط یک پنجره ترمینال، بدون tmux
فقط ترمینال خام و vi پایه
از ابتدا یک درایور USB کرنل را تو 3 ساعت مینویسه

https://www.youtube.com/watch?v=IXBC85SGC0Q
#Programming

✅ اگر از محصولات Logitech devices مثل keyboards, موس و ... روی لینوکس linux استفاده میکنید
🔥 ابزار Solaar که یک Linux manager برای devices های وایرلسی هستند که به سیستم متصل اندو میتونه مفید باشه

جفت کردن/لغو pairing/unpairing دستگاه ها با گیرنده ها
پیکربندی تنظیمات دستگاه
پیکربندی دکمه سفارشی
اجرای قوانین در پاسخ به پیام های خاص از دستگاه ها
مستندات

⚠️من ندارم شما داشتید تست کردید اگر خوب بود یک کامنت بزارید بقیه استفاده کنند
https://github.com/pwr-Solaar/Solaar
#linux

اواخر ژانویه ۲۰۲۵ یعنی تا یک ماه دیگه مدل o3 از OpenAI میاد، ظاهرا از o1 پریدیم به o3.

سری «o» میشن مدل‌هایی که قبل از جواب دادن، فکر و استدلال میکنن و روی دقت جواب تمرکز دارن. (در مورد این حرف بزنیم که چرا میگن به AGI نزدیک شدیم)

تست‌ها روی o3 خبر از صبر زیاد برای جواب میده، یعنی ممکنه تا ۲ دقیقه طول بکشه که جواب بده. منطقی میدونیم زمان بیشتر یعنی کلی هزینه و مصرف GPU که o3 رو تبدیل به گرون‌ترین مدل موجود میکنه.
سر این OpenAI یک مدل دیگه یعنی o3-mini رو هم در کنارش منتشر میکنه، مدلی سریع‌تر و ارزونتر با همون کارکرد.

یه تست داریم به اسم ARC که به AI یه سری الگو نشون میدن که توش مربع‌های رنگی چیده شدن و یه قسمتی از الگو ناقصه. مثل تست هوش‌های ۴ گزینه‌ای خودمون. این الان یه معیار برای تشخیص AGI هم به حساب میاد.

دلیلش اینه که حل کردن تست‌ها به توانایی شناختی برمیگرده که ویژگی اصلی ما انسان‌ها هست. حالا AI نمیتونه برای جواب دادن به تست‌های ARC صرفا به حافظه‌اش تکیه کنه و خودش باید به شکلی دنبال راه‌حل بگرده.

تو تست ARC، مدل o3 امتیاز ۷۵.۷٪ رو کسب کرده. که ۵٪ بیشتر GPT-4o هست.

تست‌های ARC عموما ساده هستن و آدم‌ها معمولا میتونن یه امتیازی بین ۸۵ تا ۹۵ بگیرن.
اینکه یک LLM تونسته به عدد ۷۵ برسه نشون میده مسیر AGI داره سریع طی میشه و سال‌های کمی با معرفی اولین AGI فاصله داریم.
lifehacker
@geekalerts

After 7 or 8 years, I tried using PowerPoint again, and it's really, really outdated.
The web version is completely unusable.
Surprised how MS is still selling this trash.

I wouldn’t use it even if it were free—it feels insulting.

WHAT THE FUCK

Only 70 Euro per year.

metal-archives.com

متال گوش می‌دی؟ بیا تو.

#موقت #معرفی

Jokes aside it's kindda funny

فروم پارچ مجدداً دوباره در دسترس قرار گرفت.

در این به‌روزرسانی، ویژگی هوش مصنوعی دیسکورس فعال شد.

ما از مدل آنلاین جبیر در این بخش استفاده کردیم که به مرور بیشتر ویژگی‌هاش برای فروم فعال خواهد شد.


🔗 https://forum.parchlinux.com

تیم توسعه پارچ
راهبرین جامعه پارچ
@ParchLinux

این پروژه هم جالب بود مرورگتون رو تبدیل به neovim می‌کنه

https://github.com/glacambre/firenvim

@Linuxor

والکی #valkey به لاراول #sail اضافه شد! 🎉

والکی Valkey چیه؟
والکی (Valkey) یک پروژه جدید و متن‌باز است که توسط بنیاد لینوکس ساخته شده تا جایگزینی آزاد و قابل اعتماد برای ردیس (Redis) باشد. این پروژه به‌صورت جامعه‌محور توسعه داده می‌شود و همه می‌توانند در آن مشارکت کنند. والکی از مجوزهای کاملاً آزاد استفاده می‌کند تا هیچ محدودیتی برای کاربران نداشته باشد. هدف آن ارائه یک ابزار ساده و مطمئن برای مدیریت داده‌ها است.

این #PR توسط مهندس AriaieBOY زده شده. 🔥

🔗 لینکhttps://github.com/laravel/sail/pull/767

#valkey #redis #sail

🔶 دسترسی کاربران ایرانی به Coursera، Udemy و Codecademy مختل شد!

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

@TheRaymondDev | @Linuxor

کامپوند بیلد : چیزی که میسازین کمک میکنه که چیز های دیگه رو راحت تر بسازین.

@Linuxor

قدیم‌ترها کلی توی کانال در مورد Proof-oriented programming صحبت کردیم. فکر کنم توی این پست، که آخرین صحبت‌های تکمیلی ما بود، لینک تمام پست‌های مربوط به این تاپیک رو گذاشتم. امروز یه کتاب مرتبط دیدم از آقای Ilya Sergey با عنوان Programs and Proofs Mechanizing Mathematics with Dependent Types که بهونه‌ای دستم داد تا هم یادی از اون مباحث کنم و هم این کتاب رو بهتون معرفی کنم. این کتاب در حقیقت Lecture Note هایی بوده که ایشون درس میدادن.

فکتِ شب

تمپلِیت متا پروگرامینگ Turing-complete است.

شب بخیر

آقای Matt Might زمانی که هنوز توی آکادمیک بودن و دانشگاه Utah استاد بودن، توی درس Advanced Compiler Design شون، تو بازه‌ی Halloween یه چیزی داشتن به اسم Halloween Lecture و توی اون لکچر در مورد cpp templates صحبت می‌کردند و اثبات می‌کردند که Turing-complete هستند. توی این لینک نحوه‌ی اثبات جالبشون رو می‌تونید بخونید.

این یه وبسایت کاربردی برای کساییه که گیم میزنن.
اسم بازی که خیلی باهاش حال کردیو میگی و تمام بازی های مشابه با اون سبک رو میاره واست✌🏻

mythicmap.com

#gaming #game #معرفی
@amiria703_channel

توی شاردینگ مانیتورینگ هم مهمه😅 علتش اینه که دیتابیس یه موجودیت ثابت نیست و همه اش در حال تغییره باید حواسمون باشه که در طول زمان یه شاردمون بیشتر از همه بار روش نباشه. که اگه بود باید یه rebalancing اتفاق بیافته.