امروز فهمیدم که یک extension ای از زبان prolog وجود داره به اسم n-prolog که به تازگی قابلیت نوشتن برنامه‌های distributed و multi-thread بهش اضافه شده. توی این پست می‌تونید بیشتر در موردش بخونید. ولی باید به این نکته توجه کرد که این زبان خیلی نوپاست و از نظر اتکاپذیری و scalability قابل مقایسه با prolog استاندارد نیست. ولی در کل جالب انگیز بود

🔰مروری بر اخبار لینوکسی در این روزهای اخیر:
🔹در ادامه این پست:
https://t.iss.one/linuxtnt/4050

🔹در این هفته، برنامه‌ها، درایورها، محیط‌های دسکتاپ و هسته‌های لینوکس متعددی منتشر شده‌اند که در ادامه مروری بر آنها دارم:

1. ویرایشگر ویدیوی OpenShot 3.3:
این نرم‌افزار متن‌باز و ساده برای ویرایش ویدیو است که برای کاربران مبتدی و حرفه‌ای مناسب است. نسخه جدید آن با بهبودهایی در عملکرد و افزودن ویژگی‌های جدید منتشر شده است.
2. ابزار مدیریت پایگاه‌داده DBeaver 24.3.1:
DBeaver یک ابزار قدرتمند برای مدیریت و کار با پایگاه‌های داده رابطه‌ای است. این به‌روزرسانی با رفع باگ‌ها و بهبود عملکرد، تجربه کاربری بهتری را فراهم می‌کند.
3. نرم‌افزار DevedeNG 4.19.0:
این برنامه برای ایجاد دیسک‌های ویدیویی (DVD یا Blu-ray) از فایل‌های ویدیویی استفاده می‌شود. نسخه جدید آن با قابلیت‌های بهبودیافته و پشتیبانی از فرمت‌های بیشتر عرضه شده است.
4. سیستم init سنتی SysVinit 3.12:
SysVinit یکی از سیستم‌های init سنتی در لینوکس است که برای مدیریت فرآیندهای سیستم در هنگام بوت استفاده می‌شود. این به‌روزرسانی بهبودهایی در عملکرد و پایداری دارد.
5. ویرایشگر تصاویر RAW متن‌باز Darktable 5.0:
Darktable یک نرم‌افزار حرفه‌ای برای ویرایش تصاویر RAW است که به عکاسان اجازه می‌دهد تصاویر خود را با دقت بالا ویرایش کنند. نسخه جدید آن تغییرات عمده‌ای در رابط کاربری و تجربه کاربری دارد.
6. ویرایشگر متن GNU nano 8.3:
nano یک ویرایشگر متن ساده و سبک‌وزن است که برای ویرایش فایل‌های متنی در ترمینال استفاده می‌شود. این نسخه با بهبودها و رفع باگ‌ها منتشر شده است.
7. هسته‌های پایدار لینوکس:
نسخه‌های مختلف هسته لینوکس شامل 6.12.6 LTS، 6.6.67 LTS، 6.1.121 LTS، 5.15.175 LTS، 5.10.232 LTS و 5.4.288 LTS منتشر شده‌اند. این نسخه‌ها بهبودهای امنیتی و عملکردی را برای سیستم‌های لینوکس به همراه دارند.
8. کتابخانه گرافیکی Mesa 24.3.2:
Mesa یک کتابخانه گرافیکی متن‌باز است که برای پشتیبانی از سخت‌افزارهای گرافیکی در لینوکس استفاده می‌شود. این به‌روزرسانی بهبودهایی در پشتیبانی از کارت‌های گرافیک جدید دارد.
9. ابزار DXVK 2.5.2:
DXVK یک ابزار برای اجرای بازی‌های ویندوزی روی لینوکس است که با ترجمه دستورات Direct3D به Vulkan کار می‌کند. این نسخه پشتیبانی بهتری برای بازی‌هایی مانند Alpha Protocol و Borderlands 2 ارائه می‌دهد.
10. نرم‌افزار دانلود SABnzbd 4.4.1:
SABnzbd یک نرم‌افزار دانلود فایل‌های NZB است که برای دانلود فایل‌ها از Usenet استفاده می‌شود. این نسخه با بهبودها و رفع باگ‌ها منتشر شده است.
11. نرم‌افزار مدیریت کتاب‌های الکترونیکی Calibre 7.23.0:
Calibre یک نرم‌افزار جامع برای مدیریت کتاب‌های الکترونیکی است که امکان تبدیل فرمت، سازماندهی و خواندن کتاب‌ها را فراهم می‌کند. این نسخه با ویژگی‌ها و بهبودهای جدید عرضه شده است.
12. سیستم init مدرن systemd 257.1:
systemd یک سیستم init مدرن برای مدیریت فرآیندهای سیستم در لینوکس است. این به‌روزرسانی با رفع مشکلات و بهبود عملکرد ارائه شده است.
13. ابزار مدیریت ساخت نرم‌افزار CMake 3.31.3:
CMake یک ابزار قدرتمند برای مدیریت فرآیند ساخت نرم‌افزارها است. این نسخه با به‌روزرسانی‌های جدید و بهبود عملکرد منتشر شده است.
14. مجموعه نرم‌افزار اداری LibreOffice 24.8.4:
LibreOffice یک مجموعه نرم‌افزار اداری متن‌باز است که شامل ابزارهایی مانند واژه‌پرداز، صفحه‌گسترده و ارائه است. این نسخه با رفع 55 باگ و بهبود پایداری منتشر شده است.
15. مرورگر متن‌باز Chromium 131.0.6778.204:
Chromium پایه‌ای برای مرورگرهای مانند Google Chrome است. این نسخه با بهبودهای امنیتی و عملکردی به‌روزرسانی شده است.
16. پلتفرم کانتینری‌سازی Docker 27.4.1:
Docker یک پلتفرم محبوب برای ایجاد و مدیریت کانتینرها است. این نسخه با رفع باگ‌ها و بهبودها عرضه شده است.
17. ویرایشگر متن سبک‌وزن SciTE 5.5.4:
SciTE یک ویرایشگر متن سبک‌وزن و سریع است که برای برنامه‌نویسی و ویرایش کد استفاده می‌شود. این نسخه با به‌روزرسانی‌های جدید منتشر شده است.
18. کلاینت تورنت qBittorrent 5.0.3:
qBittorrent یک کلاینت تورنت متن‌باز و بدون تبلیغات است. این نسخه با بهبودها و رفع مشکلات به‌روزرسانی شده است.
19. سرور نمایش Xorg 21.1.15:
Xorg یک سرور نمایش برای سیستم‌های لینوکس است که وظیفه مدیریت گرافیک و نمایش را بر عهده دارد. این نسخه با رفع باگ‌ها و بهبود عملکرد ارائه شده است.
20. نرم‌افزار مدل‌سازی و انیمیشن سه‌بعدی Blender 4.3.2:
Blender یک نرم‌افزار قدرتمند برای مدل‌سازی، انیمیشن و رندر سه‌بعدی است. این نسخه با بهبودها و رفع مشکلات منتشر شده است.
21. مجموعه کامپایلر‌ها و ابزارهای توسعه LLVM 19.1.6:

LLVM یک مجموعه ابزار برای توسعه و بهینه‌سازی نرم‌افزارها است. این نسخه با به‌روزرسانی‌های جدید عرضه شده است.
22. نرم‌افزار اسکن تصاویر VueScan 9.8.41:
VueScan یک نرم‌افزار اسکن تصاویر است که از اسکنرهای مختلف پشتیبانی می‌کند. این نسخه با بهبودها و پشتیبانی از اسکنرهای جدید به‌روزرسانی شده است

📌نویسنده: حسین سیلانی
📌منبع : آکادمی کندوی دانش
https://learninghive.ir

🔰مروری بر اخبار لینوکسی در این روزهای اخیر:
🔹در ادامه این پست:

https://t.iss.one/linuxtnt/4050

🔸در هفته گذشته، برنامه‌ها، درایورها و هسته‌های لینوکس متعددی به‌روزرسانی شدند. در ادامه مروری کوتاه بر مهم‌ترین آن‌ها داریم:
1. ارائه ویرایشگر ویدیوی متن‌باز OpenShot 3.3 با بهبود عملکرد و ویژگی‌های جدید.
2. انتشار ابزار مدیریت پایگاه‌داده DBeaver 24.3.1 با رفع باگ‌ها و بهبود عملکرد.
3. عرضه نرم‌افزار ساخت دیسک‌های ویدیویی DevedeNG 4.19.0 با قابلیت‌های بهبودیافته.
4. به‌روزرسانی سیستم init سنتی SysVinit 3.12 با بهبودهای جدید.
5. ارائه ویرایشگر تصاویر RAW Darktable 5.0 با تغییرات عمده در رابط کاربری.
6. انتشار ویرایشگر متن ساده GNU nano 8.3 با بهبودها و رفع باگ‌ها.
7. عرضه نسخه‌های مختلف هسته‌های لینوکس شامل 6.12.6 LTS، 6.6.67 LTS و دیگر نسخه‌ها با بهبودهای امنیتی و عملکردی.
8. به‌روزرسانی کتابخانه گرافیکی Mesa 24.3.2 با پشتیبانی بهتر از سخت‌افزارهای جدید.
9. ارائه ابزار اجرای بازی‌های ویندوزی روی لینوکس DXVK 2.5.2 با پشتیبانی بهبودیافته.
10. انتشار نرم‌افزار دانلود فایل‌های NZB SABnzbd 4.4.1 با رفع باگ‌ها.
11. عرضه نرم‌افزار مدیریت کتاب‌های الکترونیکی Calibre 7.23.0 با ویژگی‌های جدید.
12. به‌روزرسانی سیستم init مدرن systemd 257.1 با بهبود عملکرد.
13. ارائه ابزار مدیریت ساخت نرم‌افزار CMake 3.31.3 با به‌روزرسانی‌های جدید.
14. انتشار مجموعه نرم‌افزار اداری LibreOffice 24.8.4 با رفع 55 باگ.
15. عرضه مرورگر متن‌باز Chromium 131.0.6778.204 با بهبودهای امنیتی و عملکردی.
16. به‌روزرسانی پلتفرم کانتینری‌سازی Docker 27.4.1 با رفع باگ‌ها.
17. ارائه ویرایشگر متن سبک‌وزن SciTE 5.5.4 با به‌روزرسانی‌های جدید.
18. انتشار کلاینت تورنت متن‌باز qBittorrent 5.0.3
19. عرضه سرور نمایش Xorg 21.1.15 با بهبود عملکرد.
20. به‌روزرسانی نرم‌افزار مدل‌سازی و انیمیشن سه‌بعدی Blender 4.3.2 با رفع مشکلات.
21. ارائه مجموعه ابزار توسعه LLVM 19.1.6 با به‌روزرسانی‌های جدید.
22. انتشار نرم‌افزار اسکن تصاویر VueScan 9.8.41 با پشتیبانی از اسکنرهای جدید.

📌نویسنده: حسین سیلانی
📌منبع : آکادمی کندوی دانش
https://learninghive.ir

امروز تولد لینوس توروالدز، توسعه دهنده کرنل لینوکس هستش.

🥳

@SohrabContents

🔹کاربرای ویندوزی..... بیل گیتس 69 ساله شد. ۲۸ اکتبر ۱۹۵۵

از اونجایی که الان یا به من یا عمو بیل گیر میدید، پیام می‌گذارید ☺️ در ادامه:

🔹کاربرهای لینوکسی تاریخ تولد تورالدز : ۲۸ دسامبر ۱۹۶۹ یکشنبه 7 دی 1348 هست.

دونستن این دوتا تاریخ دردی دوا نمیکنه😁 ولی خوب گفتن جایی بحث شد تاریخ ها روبلد باشی بد نیست.☺️

پایتون کارا آمارشون باشه
https://fireducks-dev.github.io
کتابخانه fireucks حدودا 125% از pandas سریع تره :)

@DevTwitter | <Mr.J/>

آقا عرفان یه پروژه دیگه هم توسعه داده برای استفاده از webp به جای jpeg و دیگر فرمت عکس ها و همینطور استفاده از object storage و استفاده از fallback که توضیحات کاملش رو میتونید تو مقاله ویرگولشون بخونید

https://vrgl.ir/aABOU

لینک گیت هاب پروژه :

https://github.com/erfantkerfan/cdn-nginx-image-optimization

#seo #devops #openSource
@CleverDevs - @CleverDevsGp

🔶 وقتشه از دنیای کی پاپر کره خداحافظی کنم.

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

#متفرقه

@TheRaymondDev

🔶 عبارت Squid Game در گوگل موبایل وارد کنید و از مینی بازی Squid Game لذت ببرید.

#خبر

@TheRaymondDev

توی ریپازیتوری مربوط به کانفیگ‌های #فرگمنت (بدون سرور) که توسط GFW-knocker ارائه شده، چندین‌مدل کانفیگ #رایگان وجود داره که چندروز قبل یکی‌از اونهارو معرفی کردم و مورد استقبال قرار گرفت.

اخیرا یک کانفیگ چندگانه جدید به این ریپازیتوری اضافه شده، که کانفیگ‌های قبلی رو دربر میگیره و می‌تونین ازشون برای دورزدن #فیلترینگ سایت‌هایی نظیر یوتیوب، توییتر، اینستاگرام و ... (روی برخی‌از اینترنت‌ها) استفاده کنین. مزیت دیگر این‌لینک، بروزرسانی و مشمول‌شدن روش‌های احتمالی بعدی خواهد بود.

نکته اول) برای استفاده باید کد QR رو توسط برنامه v2rayN, V2rayNG, NikaNG, MahsaNG یا Streisand اسکن کرده، یا لینک زیر رو ایمپورت کنید:
https://raw.githubusercontent.com/GFW-knocker/gfw_resist_HTTPS_proxy/refs/heads/main/multiple_config.json

نکته دوم) اگر قصد مخفی‌نگه‌داشتن هویتتون رو دارین، توجه کنید که این کانفیگ‌ها به‌دلیل وصل‌نشدن به سرور واسط، آی‌پی شما (یعنی همون آی‌پی ایران) رو برمیگردونن.

🔍 ircf.space
@ircfspace

مدل Claude 3.5 sonnet به GitHub Copilot اضافه شد. کاربران Free هم اکنون می توانند علاوه بر مدل های GPT4o و o1، از مدل کلاد 3.5 نیز استفاده کنند.
https://github.com/copilot

@DevTwitter | <Alireza Naji/>

کاربرهای لینوکس،وقتی ۳۰ ثانیه با ویندوز کار میکنند 😁
یعنی این خود منم 🤣
#linux

من در حال یادگیری عمیق:

#fun

😂😂 @PhiloLearn 😂😂

"Fuzzing for free! Except you, concurrency!"
—————————————————————

توی این پست، Dutchman یه ریپو معرفی کرده که ملت اومدن پیپرهای مرتبط با فازینگ رو توی سال‌های اخیر از کنفرانس‌های تاپ حوزه‌ی PL/FM و Sys/Sec و SE جمع آوری کردند. خیلی به نظرم منبع خوبیه منتهی دوتا نکته، سعی کنید تا جای ممکنه آلوده‌ی Fuzzing نشید. فازینگ قرار نیست Free Lunch باشه و هیچ خبری از گارانتی درش نیست. این قضیه به‌طور خاص تو حوزه‌ی Distributed System و Concurrent System ها بیشتر اهمیت پیدا میکنه و فازینگ دقیقا همین‌جاها خیلی کم میاره. دوم اینکه لیست کامل نیست و به‌طور خاص چهار تا از پیپیرهای خیلی خوب و مهمی که اخیرا تو حوزه‌ی فازینگ Distributed System ها چاپ شدن رو نداره. در ادامه این ۴ پیپر رو کوتاه معرفی میکنم ولی همچنان توصیه میکنم از راه فرمال متد دنبال Bug Hunting برید و Program Analysis رو بگذارید به عهده‌ی این جماعت بورینگ SE. مثلا فرد اومده با ما کار کرده، حالا خیلی خوب هم کار کرده ولی تکون می‌خوردی میرفت سراغ Static Analysis یا الان دم به دیقه چشم به راه این جماعت SE عه برای ادامه راهش. بگذریم.

1. Greybox Fuzzing of Distributed Systems v.s. Model Checking Distributed Protocols in Must

این پیپر کار آبیک و ایلیا هستش که برای اولین بار سعی کردند با تکیه بر مفهوم Partial Order Reduction که توی مدل چکینگ خیلی ازش استفاده میشه، اولین فازر رو برای timeline-driven testing برنامه‌های Distributed ارائه کنند. بیس POR شون هم بر اساس رابطه‌ی هم‌ارزی Happen-before هستش که گرفته شده از Mazurkiewicz Trace Theory هستش. همین یکی از نقطه ضعف‌هاشونه چرا که توی ستینگ Distributed که پراسس ها Message Passing می‌کنند، میشه رابطه‌ی ترتیبی بین Send های روی یک گیرنده‌ی مشترک رو ریلکس کرد و به‌شکلی از lazy message reduction استفاده کرد که فضای حالت رو به شدت کاهش میده. در مقابلش Mazurkiewicz میاد و تمامی جایگشت‌های ممکن که میتونن این Send ها روی یک رابطه‌ی totally ordered نقش بازی کنند رو در نظر میگیره و فضای حالت منفجر میشه. در مقابل این پیپر، مقاله‌ی Must رو قرار دادم که کار اخیر روپاک و میخالیس هستش و دقیقا از این تکنیکی که گفتم استفاده می‌کنند و تازه کارشون Verification هستش و یعنی اثبات Bug free بودن برنامه‌ی Distributed و نه صرفا Testing اش. راستی ما با همون بنده‌ خدایی که گفتم توی تابستون گذشته Must رو توی JMC پیاده‌سازی کردیم و فهمیدیم که چقدر جای کار داره و داریم روش کار می‌کنیم.

2. Greybox Fuzzing for Concurrency Testing v.s. Truly Stateless, Optimal Dynamic Partial Order Reduction

اینم یکی از کارای اخیر آبیک و اومانگ هستش که خیلی شبیه کار قبلیه با دو تا تفاوت عمده. یکی اینکه رابطه‌ی هم‌ارزی‌شون از نوع Read-from هستش که نسبت به Mazurkiewicz رابطه‌ی Coarser هستش و equivalent calss های کمتری میسازه و تفاوت دومش اینه که تمرکزش روی سیستم‌های concurrent هستش که با Shared Memory با هم در تعامل هستند. در مقابل اینکار، کار ویکتور و میخالیس رو داریم که دارن مدل چک میکنن و همون قضیه‌ی اثبات Bug-free بودن برنامه. نکته جالب اینه که پیپر اول اومده توی Appendix یک لیستی از Benchmark ها آورده که ابزار خودشون به خوبی از پسشون بر اومده ولی GenMC که ابزار پیپر دومه حتی نتونسته پروسه رو بدون error خوردن به پایان برسونه. قول نمیدم ولی تمام تلاشم رو میکنم که با JMC تمام رقابای اون بنچ مارک رو بهشون بپردازم :)

3. Model-guided Fuzzing of Distributed Systems

این کار اخیر روپاک و شیرینیدی هستش که کار خیلی جالبیه. این AWS ای ها میان تو فاز design کلی TLA+ می‌نویسن که بتونن specify کنند رفتار سیستم رو و خب خیلی وقتا هم دیگه کاری با این spec ها ندارن. این کار اومده یه approach برای fuzzing این TLA+ ها ارائه داده که ایده‌اش هم بر اساس یک Mutation خیلی ساده پیش میره که هیچکس دلیلش رو نمیدونه که چرا یک تکنیک انقدر ساده داره خوب عمل می‌کنه :) و خلاصه باعث شده که این spec ها خیلی مفیدتر از اون هدفی که پشتشون هست واقع بشن.

4. Selectively Uniform Concurrency Testing

این کار اخیر آبیک و اومانگ هستش و در اصل Testing عه تا Fuzzing ولی گفتم همینطوری معرفیش کنم. اینجا اومدن با افزودن یک الگوریتم آنلاین Selectively Uniform Random Walk به رندوم تستیتنگ، یک تکنیک بهینه برای Controlled Concurrency Testing ارائه بدند. بنچ‌مارک‌هاشونم خوبه خدایی و کار تمییزی انجام دادن.

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

یه راهنمای دوزبانه (فارسی و انگلیسی) برای پرامپت‌نویسی هوش مصنوعی تو برای مقاله نویسی آماده کردم. پر از تمپلیت و نکات کاربردیه!

لینکش اینجاست:
https://github.com/hamidtech/Advanced-AI-Prompting-Guidelines-For-Research

@DevTwitter | <حاجیم/>

من حس میکنم زندگی توی یک شهر کوچک، همراه با گشت و گذار توی شهرای کوچک که لابه‌لای یک طبیعت بکر مثل یک جواهر پنهان شدن باعث شده که کاملا از زندگی کردن توی شهرای بزرگ فراری شم. واقعا امیدوارم که در آینده هم سرنوشت توی یکی از همین شهرها منو پاگیر کنه. شما فکر کن رود Saar رو میای بالا و میرسی به شهر Mettlach از اون سمت رود Mosel رو میگیری میای بالا میرسی به Cochem و Trier و توی طبیعت و زیبایی بی‌نظیرشون غرق میشی. یا مثلا رود Rhein رو میگیری میای بالا میرسی به spyer و dürkheimer در نهایت هم میرسی به شهر Koblenz که محل تلاقی دو رود Mosel و Rhein هستش. تابستونا که میشه شهر به شهر کنار این رودها میشه فستوال wine و کشاورزایی که انگوراشون رو قبل از سرکه شدن توی بطری کردن. همه‌ی اهالی شهر جمع میشن و یک ایونت محلی برپا میشه و شبش هم آتیش بازی برپا میشه که بهش میگن Rhein in Flammen. یک چنین چیزی رو کجای برلین و لوگزامبورگ میشه پیدا کرد؟
بازارهای محلی شنبه‌ها، رستورانای سنتی و منوهای قدیمی‌شون، آبجوهای ساخت خودشون، دنیای بی‌انتهای پنیرها و از همه مهم تر Bratwurst.

این مرج ریکوست رو بخونید
تروالدز مرج داده یکی دیگه با نام هوندِل(که خودش یکی از غول‌های اوپن‌سورسه) ریویو کرده بعد تایید کرده و مرج شده
(خیلی جذابه)

https://github.com/subsurface/libdc/pull/69

پ.ن
حالا برید اکانت گیتهاب اون هوندل رو ببینید. کلا ۵۰۰ نفر فالوش نمیکنن

https://github.com/dirkhh