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

یه خاطره‌ای یادم اومد

یبار یکی اومد بهم گفت بیا راجع به یه پروژه صحبت کنیم بیا تو تیممون کار کن
منم رفتم صحبت کنم، طرف یکی رو بهم نشون داد گفت فلانی رو میشناسی؟
گفتم نه کیه؟
گفت تو اینستا ۱۰۰ هزار نفر فالور داره
منم گفتم چقدر خوب ولی من اینستا نیستم
بعدش چاییمو تموم کردم و خدافظی کردم رفتم بیرون

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

تولد لینوس توروالدز بود و حجم بزرگی از کامیونیتی تولدش رو تبریک گفتن.
توی قسمت دیگه عذاب وجدان شدیدی کامیونیتی برنامه نویس ها رو فرا گرفته بود، گویا احساس می‌کنند با ChatGPT دارن به StackOverFlow خیانت می‌کنند. اما برنامه نویس های واقعی خودشون رو نشون دادن و گفتن که هنوز دارن از StackOverFlow استفاده می‌کنن.

@Linuxor