🔹تبدیل گفتار به نوشتار🔹

نرد دیکتیشن، برنامه ساده‌ای که با استفاده از Xdotool و مدل‌های Vosk سروری برای تبدیل گفتار به نوشتار و تایپ خودکار آن در هر محیطی را فراهم می‌کند.

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

🔸نصب:

ابتدا Xdotool را نصب کنید.

سپس یک محیط مجازی برای پایتون ایجاد کنید.

python3 -m venv Dictation
cd Dictation
source bin/activate

سپس مراحل زیر را انجام دهید:
pip3 install vosk

git clone https://github.com/ideasman42/nerd-dictation.git
cd nerd-dictation
wget https://alphacephei.com/kaldi/models/vosk-model-small-en-us-0.15.zip
unzip vosk-model-small-en-us-0.15.zip
mv vosk-model-small-en-us-0.15 model

برای استفاده از برنامه به شیوه‌ی زیر عمل کنید:
./nerd-dictation begin --vosk-model-dir=./model

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

برای توقف برنامه SIGINT یا دستور زیر را وارد کنید:

./nerd-dictation end

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

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

👉🔗 Github

#آموزش #معرفی

بعضی وقتا هزاران تحلیل و آنالیز کامپیوتری، اندازه یک قضاوت مهندسی شما نمی‌تونه کار کنه.


@Linuxor ~ Safe

امشب حوصلم سر رفته بود گفتم یدونه کتابخونه جنریت پسورد بنویسم، براش doc هم نوشتم، اگه دوست داشتید استفاده کنید، قابلیت excludeSimilar هم داره حتی :)
اکانت npm ام مشکل داشت، حالا وقت کردم روی اونجا هم میذارمش
https://github.com/Mehranlip/RandomPassX

@DevTwitter | <Mehran/>

یکی از چیزایی که از rust خیلی دوست دارم pattern matching هست، خیلی تر و تمیز و انعطاف پذیر هست.
اینجا بیشتر میتونید در موردش بخونید.
https://doc.rust-lang.org/book/ch06-00-enums.html

مثلا استفاده کردن match در کنار Result ENUM خیلی practice خوبی برای بررسی خروجی یک تابع یا متد هست.

اینطوری مجبور نیستی همه توابع رو طوری بنویسی که خروجی آخرشون error باشه (در گولنگ اینطوریه)

به کمک pattern matching هم خیلی خوانایی کد کمتر نمیشه بنظرم.

let greeting_file_result = File::open("hello.txt");

    let greeting_file = match greeting_file_result {
        Ok(file) => file,
        Err(error) => match error.kind() {
            ErrorKind::NotFound => match File::create("hello.txt") {
                Ok(fc) => fc,
                Err(e) => panic!("Problem creating the file: {e:?}"),
            },
            other_error => {
                panic!("Problem opening the file: {other_error:?}");
            }
        },
    };

از نظر error handling فکر میکنم نگاه مشترکی با گولنگ داره، از این نظر که خطاهارو دو دسته recoverable و unrecoverable میبینه که یکی رو با Result مدیریت میکنه و یکی رو با panic که فکر میکنم خیلی شبیه نگاه گولنگ هست.
Most languages don’t distinguish between these two kinds of errors and handle both in the same way, using mechanisms such as exceptions. Rust doesn’t have exceptions. Instead, it has the type Result<T, E> for recoverable errors and the panic! macro that stops execution when the program encounters an unrecoverable error.


@gocasts

#rust #golang

امروز فهمیدم که یک 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 ارائه بدند. بنچ‌مارک‌هاشونم خوبه خدایی و کار تمییزی انجام دادن.

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