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

تیم میراوا
https://miravaorg.ir/
https://github.com/MiravaOrg/Mirava

🔗 @miravaorg

خیلی جالبه اکثرا مسخره میکنن
منتها این چند روزه فرد عجیبی رو سر کار دیدم
مدیر یه شرکتن، بجای اینکه هزارتا سرویس از اینور اونور بخرن، چهارتا اکانت cursor برای افراد شرکتش گرفته ، چهارنفر اندازه 10 نفر کار میکنن

بصورت عجیبی حتی برای nvidia jetson برنامه نوشتن و میخوان به عنوان product بفروشن

خیلی شاهکار بود کارش ، جدی جذب شدم که حداقل یکبار openclaw رو تست کنم، با اینکه api های رایگان خیلی ضعیف و محدودن ولی بازم جذابن

"SSL داخلی"

سال ۹۸ دولت قزاقستان با اجباری کردن نصب گواهی الکترونیکی ریشه «root CA» اقدام به شنود کرد نصب SSL داخلی حتی در ایران بحث جدیدی نیست سال ۹۲ سامانه کارکنان نظام اداری کشور افراد را مجبور به نصب Root Certificate کردند

شاید قبلا میگفتم نه و فلان الان میگم این در دستور کار قرار خواهد گرفت

ffmpeg -i input.mp4 -c:v hevc_videotoolbox -profile:v main10 -q:v 50 -pix_fmt yuv420p10le -c:a libopus -b:a 128k -vbr on -compression_level 10 -movflags +faststart -map 0 output_hq_hevc.mp4

ffmpeg -i input.mp4 -c:v h264_videotoolbox -profile:v main -q:v 50 -pix_fmt yuv420p -c:a libopus -b:a 128k -vbr on -compression_level 10 -movflags +faststart -map 0 output_hq_h264.mp4

https://github.com/ghaemaghaey/RowSync

ما یه مشکلی که داشتیم این بودش که سینک کردن یه سری دیتا از یه دیتا بیس به دیتا بیس دیگه رو دستی انجام میدادیم
و ابزار درست و حسابی ای هم براش نتونستیم پیدا کنیم راستش
فرض کنین میخواین یه سری دیتای خیلی کم رو از یه دیتا بیس به یه دیتا بیس دیگه انتقال بدین
حالا ابزار RowSync میاد این کار رو بدون درد و خونریزی انجام میده
کاری که لازمه کنین اینه که sql سلکتی که میخواین داده هاش منتقل بشه رو بهش میدین
و بسته به جوین هایی که روی تیبل های مختلف زدین میاد اونارو به اون مقداری که میخواین براتون انتقال میده
دقیقا با همون شرایطی که توی where براش تعریف شده

لیستی از مدل هایی که API KEY رایگان ارائه می‌دن، بعضیاش حتی کریدیت کارتم نمیخواد فقط با ایمیل لاگین میکنید و میگیرید لطفا نفری یدونه بردارید به همه برسه.

github.com/mnfst/awesome-free-llm-apis


@Linuxor

آیا gzip می‌تواند یک مدل زبانی باشد؟

یک محقق کشف کرد که gzip — همان الگوریتم فشرده‌سازی قدیمی و ساده لینوکس — می‌تواند متن تولید کند؛ بدون هیچ شبکه عصبی، بدون وزن، بدون آموزش.
چطور؟
هر الگوریتم فشرده‌سازی در دلش یک مدل احتمالاتی پنهان دارد:

داده‌ای که «انتظارش را دارد» با بایت کمتری کُد می‌شود
داده غیرمنتظره بایت بیشتری می‌خواهد

پس می‌شود از این معیار به عنوان امتیازدهی استفاده کرد:
هر ادامه متنی که بهتر فشرده شود، «محتمل‌تر» است!
روش کار (gzipt):
۱. یک corpus (مثلاً متون شکسپیر) به gzip داده می‌شود
۲. یک prompt ورودی می‌گیرد
۳. با beam search روی توالی بایت‌ها جستجو می‌کند
۴. ادامه‌ای را انتخاب می‌کند که بهترین فشرده‌سازی را داشته باشد
نتیجه؟
خروجی کاملاً منسجم نیست، ولی به‌طور شگفت‌انگیزی ساختار زبان را درک کرده!
این ایده از مقاله‌ای با نام "Language Modeling is Compression" الهام گرفته که می‌گوید:

هر مدل پیش‌بینی، یک compressor است و هر compressor یک مدل پیش‌بینی.

بلاگ پست:
🔗 https://nathan.rs/posts/gzip-lm/

کد پروژه:
🔗 nathan.rs/posts/

واسه توسعه پکیج پایتون، من از استک‌ها و محیطی استفاده می‌کنم که تقریبا تمام نیازمندهام رو برطرف می‌کنه. از تست و کاوریج و داکیومنت، تا اتومیشن‌ها و..

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

CodeCov - PyTest - Tox - Nox - Ruff - Mkdocs - Coverage‍‍.‍py - GitHub Actions - Pre-commit

Link: https://blog.imsadra.dev/python-open-source-development-how-i-build-and-maintain-open-source-repositories

Join 👉 @lnxpylnxpy

من خودمم نمیتونم AI Agent بسازم ولی امروزه کسی نتونه بسازه باید مثل خر کار کنه، اینجا لیستی از ابزار های اوپن سورس برای ساخت AI Agent (حمال) جمع شده واقعا چیزای خوبی هست لینکو ذخیره کنید :

github.com/kyrolabs/awesome-agents

همچی داره از اتوماسیون و فریم ورک ساخت ایجنت بگیر تا توسعه نرم افزار و تست و ارزیابیش و همچینین ایجنت های چند وجهی، مرورگری و... هم داره

@Linuxor

دوستان هر گونه تعصب الکی و بیخود رو در مورد agent ها دوربریزید و بپیوندید به agent bros

در صورت مهم نبودن امنیت براتون agentmaxxing کنید و یک اشتراک codex یا claude یک ماهه 20 دلاری بگیرید و از solution های خودشون استفاده کنید(دارای rate limit)
اگر broke هستید، یک اکانت اشتراکی چت گپت بگیرید و از codexش استفاده کنید
اگر کنترل بیشتری میخواید یا از openrouter استفاده کنید که payg هست و هر چقدر اش بخورید پول میدید
یا از opencode go که خودم سفارش دادم ببینم چطوریه

اگر فقط api گرفتید از opencode یا zed editor استفاده کنید و وصلشون کنید به mcp سرور های مختلف
Openclaw هم که همیشه هست

اگر ترس از دزدیده شدن اطلاعاتتون دارید(😂😂😂) terrymaxxing کنید و از مونرو برای خرید کردیت از یکی از این پرووایدرا استفاده کنید
https://cake.nano-gpt.com/
دومیشو یادم نیست گشتم پیدا نکردم

ابزار جالبیه