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

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

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


🔗 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 اتفاق بیافته.

موقعی که به اسکیل Horizontal فکر می‌کردن، ایده این بود که سیستم سریع‌تر بشه، چون بار روی چند تا سرور تقسیم میشه. ولی نشد 😂 دلیلش هم اینه که سرورها باید دائم با هم هماهنگ باشن تا داده‌ها یکی بمونه، و این همگام‌سازی خودش وقت‌گیره! به جای اینکه سرعت بیشتر بشه، کلی تاخیر (Latency) اضافه شد.

ولی همچنان راه‌حل خوبیه!
چون با این روش میشه تعداد سرورها رو زیاد کرد و مشکل Single Point of Failure رو حل کرد و اینکه تا یه حدی میتونیم ram برای یه سرور بخریم دیگه😂

می‌دونستید که یه کامیونیتی جهانی هم برای ترک پرخوری وجود داره؟ درست مثل NA و AA که برای ترک مواد مخدر و الکله. تبلیغ جالبی بود.

@Yasha

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

🔶 پروژه Redis چند وقتی هست که لایسنسش را تغییر داده و دیگه متن باز به حساب نمیاد.

به همین خاطر از فعال ترین توسعه دهنده های ردیس متن باز آمدن و یک فورک به اسم valkey گرفته که لینوکس فاندیشن هم ازش پشتیبانی کرده است و valkey همون ردیس هست.

مقابسه Valkey vs Redis :

https://www.dragonflydb.io/guides/valkey-vs-redis

@TheRaymondDev | @Ariaieboy

ارائهٔ این دوره، توسّط دوست عزیزم، مصطفی خیبری، انجام می‌شه.
پیشنهاد می‌کنم که حتماً شرکت کنید اگه قصد دارید که آشنا بشید.

این هم توضیحاتش:
برای شرکت در دوره، ابتدا از طریق لینک گوگل‌فرم ثبت‌نام کنید. (اینجا)
سپس جهت تایید و دریافت گواهی پایان‌دوره، ثبت‌نام خود را از طریق سایت جهش نهایی کنید.
(ضمناً این دوره کاملا رایگانه.)

و توییت مصطفی:
x.com/mosii_kh/status/1873767700079771881

#موقت

اینجا یه مثال ساده و راحت برای استفاده unit test, mock test برای embedded system هست. اگر به این مباحث علاقه دارید سورس کد رو داخل گیت خود دوولوپر هست.


https://github.com/CharlesDias/stm32_gtest_c_code


@Linuxor ~ Amin_kshz

یه نفر شروع کرده به ساخت کامپایلر و تمام کار مراحلشو نوشته؛ بعد دیدن این 64 قسمت شما خیلی ببشتر از بقیه از کامپایلر می‌دونین

https://github.com/DoctorWkt/acwj

@Linuxor

این هفته در پارچ منتشر شد


خواندن


@ParchLinux

اگه یه میلیون کار داشته باشی و بخوای همزمان اجراشون کنی، ولی فقط 8 تا CPU داری، چه‌جوری بهینه‌ترین حالت رو پیدا می‌کنی؟

تو گولنگ، گوروتین‌ها خیلی سبک هستن. می‌تونی هزار تا، ده هزار تا، یا حتی بیشتر گوروتین همزمان اجرا کنی. ولی وقتی تعداد کارهات خیلی زیاده (مثلاً یه میلیون)، دیگه تعداد CPUها محدودیت اصلی میشه و نمی‌صرفه حافظه‌ رو با صدها هزار گوروتین که همزمان نمی‌تونن اجرا بشن، هدر بدی.

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

حالا چطور کار می‌کنه؟
1. یه کانال با ظرفیت مشخص (N) درست می‌کنی که این ظرفیت میشه تعداد گوروتین‌های همزمانی که می‌خوای اجرا بشه.

2. کانال رو با N تا "توکن" (هرچیزی مثل عدد) پر می‌کنی.

3. هر گوروتین قبل از اجرا باید یه توکن از کانال بگیره و وقتی کارش تموم شد توکن رو برمی‌گردونه.

4. اگه توکن نباشه گوروتین منتظر می‌مونه تا یکی آزاد بشه.
این تصویر یه مثال ساده با N=2 هست.

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


@DevTwitter | <Mohammad Abdorrahmani/>