Forwarded from a pessimistic researcher (Kc)
یه بازگشتی بزنیم به سامر اسکولها
موسسهی SRI تو کالیفرنیا یکی از موسسات پیشرو تو حوهی فرمال متد بوده و هست. قدیما خب بیشتر بود و الان یکمی کمرنگ تر شده فعالیتش. این موسسه ۱۳ ساله که داره Summer School on Formal Techniques رو برگزار میکنه و هر سال کلی تاک خفن و جذاب داره. مثلا سال ۲۰۱۵ آقای Dana Scott یکی از برندکان جایزهی تورینگ تاک معروف شون رو انجام دادن که توی این پست از کانال مفصل راجع بهش صحبت کردیم
امسال هم به رسم هر ساله، قراره که چهاردهمین سامر اسکول SSFT به شکل هیبرید برگزار بشه. به اصحابی که در آمریکا هستند بسیار توصیه میکنم شرکت کنند. امسال خیلی تاکهای خفنی داره. باقی اصحابم که آمریکا نیستند میتونن مجازی اتند کنن تاکها رو فقط باید قبلش حتما ثبت نام کنند. ددلاین ثبتنامش ۳۱ مارچ هست و میتونید از طریق این لینک اقدام کنید. در ادامه لیست تاکها رو براتون قرار میدم :
- Deductive Verification of Probabilistic Programs with Caesar : Joost-Pieter Katoen
- Understanding and using SAT and SMT solvers : Erika Abraham
- Runtime Verification with R2U2 : Kristin Yvonne Rozier
- Compositional Verification using the Gillian Platform : Philippa Gardner
- Programming and Reasoning with Kleene Algebra with Tests : Nate Foster
- Speaking Logic : Natarajan Shankar and Stéphane Graham-Lengrand
موسسهی SRI تو کالیفرنیا یکی از موسسات پیشرو تو حوهی فرمال متد بوده و هست. قدیما خب بیشتر بود و الان یکمی کمرنگ تر شده فعالیتش. این موسسه ۱۳ ساله که داره Summer School on Formal Techniques رو برگزار میکنه و هر سال کلی تاک خفن و جذاب داره. مثلا سال ۲۰۱۵ آقای Dana Scott یکی از برندکان جایزهی تورینگ تاک معروف شون رو انجام دادن که توی این پست از کانال مفصل راجع بهش صحبت کردیم
امسال هم به رسم هر ساله، قراره که چهاردهمین سامر اسکول SSFT به شکل هیبرید برگزار بشه. به اصحابی که در آمریکا هستند بسیار توصیه میکنم شرکت کنند. امسال خیلی تاکهای خفنی داره. باقی اصحابم که آمریکا نیستند میتونن مجازی اتند کنن تاکها رو فقط باید قبلش حتما ثبت نام کنند. ددلاین ثبتنامش ۳۱ مارچ هست و میتونید از طریق این لینک اقدام کنید. در ادامه لیست تاکها رو براتون قرار میدم :
- Deductive Verification of Probabilistic Programs with Caesar : Joost-Pieter Katoen
- Understanding and using SAT and SMT solvers : Erika Abraham
- Runtime Verification with R2U2 : Kristin Yvonne Rozier
- Compositional Verification using the Gillian Platform : Philippa Gardner
- Programming and Reasoning with Kleene Algebra with Tests : Nate Foster
- Speaking Logic : Natarajan Shankar and Stéphane Graham-Lengrand
Forwarded from a pessimistic researcher (Kc)
به خدا که این ایونت، با لیست قوی سخنران هاش و عناوین تاکهاش، و امکان شرکت کردن به طور مجازی، خیلی خیلی مفید تر و درست تره از این ایونتهایی که هزار مدل تبلیغات و شو براش راه میندازن و تازه ازتون پولم میگیرن. من اصلا به ایونت خاصی هم اشاره نمیکنم.
Forwarded from Linuxor ?
This media is not supported in your browser
VIEW IN TELEGRAM
میدونستین که توی گیت هاب، Github Models رو معرفی کردن که توی اون شما به مجموعه ای از LLMها دسترسی دارین؟
استفاده ازش رایگانه تا شما بتونید تصمیم بگیرید چه مدلی برای کارتون بهتره
یه زمین بازی داره و هم اینکه کدش رو در زبان های مختلف بتون میده...
https://github.com/marketplace/models
@Linuxor ~ Saeedam92
استفاده ازش رایگانه تا شما بتونید تصمیم بگیرید چه مدلی برای کارتون بهتره
یه زمین بازی داره و هم اینکه کدش رو در زبان های مختلف بتون میده...
https://github.com/marketplace/models
@Linuxor ~ Saeedam92
Forwarded from 🎄 یک برنامه نویس تنبل (The Lazy 🌱 Raymond)
🔶 ممکن است تصور کنید که خودپردازهای جهان از ویندوز ۱۰ استفاده می کند.
اما با اینکه آمار دقیقی وجود ندارد اما ۷۵ درصد از ۴۲۰۰۰۰ دستگاه خودپرداز در دنیا از ویندوز XP استفاده می کند.
البته ویندوز XP مخصوص بانک است که مایکروسافت برای آن نسخه به روز رسانی منتشر می کند.
دلیلی که اکثرا بانک های ایران و جهان به ویندوز ۱۰ مهاجرت نمی کند به دلیل هزینه بالای ارتقا و نرم افزار بانکی خاصی است که بر ویندوز XP اجرا می شوند و قابلیت اجرا در ویندوز ۱۰ ندارند!
در ایران همین مسئله هست که اکثرا سیستم های بانکی روی ویندوز XP است.
#خبر
@TheRaymondDev
اما با اینکه آمار دقیقی وجود ندارد اما ۷۵ درصد از ۴۲۰۰۰۰ دستگاه خودپرداز در دنیا از ویندوز XP استفاده می کند.
البته ویندوز XP مخصوص بانک است که مایکروسافت برای آن نسخه به روز رسانی منتشر می کند.
دلیلی که اکثرا بانک های ایران و جهان به ویندوز ۱۰ مهاجرت نمی کند به دلیل هزینه بالای ارتقا و نرم افزار بانکی خاصی است که بر ویندوز XP اجرا می شوند و قابلیت اجرا در ویندوز ۱۰ ندارند!
در ایران همین مسئله هست که اکثرا سیستم های بانکی روی ویندوز XP است.
#خبر
@TheRaymondDev
Smithsonian Magazine
Microsoft Is Killing XP, But 75 Percent of ATMs Still Use It
420,000 ATMs are about to become easy targets for hackers
Forwarded from 🎄 یک برنامه نویس تنبل (The Lazy 🌱 Raymond)
🔶 ممکن است تصور کنید که خودپردازهای جهان از ویندوز ۱۰ استفاده می کند.
اما با اینکه آمار دقیقی وجود ندارد اما ۷۵ درصد از ۴۲۰۰۰۰ دستگاه خودپرداز در دنیا از ویندوز XP استفاده می کند.
البته ویندوز XP مخصوص بانک است که مایکروسافت برای آن نسخه به روز رسانی منتشر می کند.
دلیلی که اکثرا بانک های ایران و جهان به ویندوز ۱۰ مهاجرت نمی کند به دلیل هزینه بالای ارتقا و نرم افزار بانکی خاصی است که بر ویندوز XP اجرا می شوند و قابلیت اجرا در ویندوز ۱۰ ندارند!
در ایران همین مسئله هست که اکثرا سیستم های بانکی روی ویندوز XP است.
در مقابل حدود ۷۵ درصد از ۳.۴ میلیون دستگاه خودپرداز از ویندوز ۷ استفاده می کند.
#خبر
@TheRaymondDev
اما با اینکه آمار دقیقی وجود ندارد اما ۷۵ درصد از ۴۲۰۰۰۰ دستگاه خودپرداز در دنیا از ویندوز XP استفاده می کند.
البته ویندوز XP مخصوص بانک است که مایکروسافت برای آن نسخه به روز رسانی منتشر می کند.
دلیلی که اکثرا بانک های ایران و جهان به ویندوز ۱۰ مهاجرت نمی کند به دلیل هزینه بالای ارتقا و نرم افزار بانکی خاصی است که بر ویندوز XP اجرا می شوند و قابلیت اجرا در ویندوز ۱۰ ندارند!
در ایران همین مسئله هست که اکثرا سیستم های بانکی روی ویندوز XP است.
در مقابل حدود ۷۵ درصد از ۳.۴ میلیون دستگاه خودپرداز از ویندوز ۷ استفاده می کند.
#خبر
@TheRaymondDev
Smithsonian Magazine
Microsoft Is Killing XP, But 75 Percent of ATMs Still Use It
420,000 ATMs are about to become easy targets for hackers
Forwarded from Linuxor ?
Forwarded from a pessimistic researcher (Kc)
این رو هم به دوستاتون اطلاع رسانی کنید. فقط بازم دقت کنید که این پروگرام مخصوص خانمهاست و برای مقطع ارشده.
Forwarded from Ai Casts | Ai for Software
خب بریم سراغ اولین مقاله ای که درباره الگوهای Generative AI در نرم افزار صحبت میکنه
یکی از نویسندگان این مقاله Martin Fowler معروفه
عنوان مقاله هست
Emerging Patterns in Building GenAI Products
این مقاله به بررسی الگوها و روشهای مختلف برای استفاده مؤثر از GenAI در توسعه نرمافزار و سایر حوزهها میپردازه. این مقاله integrate شدن GenAI، به ویژه مدلهای زبانی بزرگ (LLM) در workflowها رو برای افزایش بهرهوری، خلاقیت و حل مسئله بررسی میکنه.
در تصویر، لیستی از الگوهایی که مقاله به بررسی اونها پرداخته رو میبینید که شرح بیشتر هر کدوم در مقاله ارائه شده.
این مقاله تأکید میکند که GenAI ابزاری برای تقویت قابلیتهای انسانی است، نه جایگزینی برای اون، و اهمیت ادغام هوشمندانه و یادگیری مستمر رو برای به حداکثر رساندن پتانسیلش برجسته میکنه.
@gocasts
Ai for Software
@aicasts_ir
یکی از نویسندگان این مقاله Martin Fowler معروفه
عنوان مقاله هست
Emerging Patterns in Building GenAI Products
این مقاله به بررسی الگوها و روشهای مختلف برای استفاده مؤثر از GenAI در توسعه نرمافزار و سایر حوزهها میپردازه. این مقاله integrate شدن GenAI، به ویژه مدلهای زبانی بزرگ (LLM) در workflowها رو برای افزایش بهرهوری، خلاقیت و حل مسئله بررسی میکنه.
در تصویر، لیستی از الگوهایی که مقاله به بررسی اونها پرداخته رو میبینید که شرح بیشتر هر کدوم در مقاله ارائه شده.
این مقاله تأکید میکند که GenAI ابزاری برای تقویت قابلیتهای انسانی است، نه جایگزینی برای اون، و اهمیت ادغام هوشمندانه و یادگیری مستمر رو برای به حداکثر رساندن پتانسیلش برجسته میکنه.
@gocasts
Ai for Software
@aicasts_ir
Forwarded from DevTwitter | توییت برنامه نویسی
بازهم یک سری مدل جدید و اینبا از کمپانی Cohere!
مدل Aya Vision معرفی شد – یه مدل چندزبانه و چندوجهی (multilingual & multimodal vision model) پیشرفته که توی درک تصویر، تولید متن و عملکرد چندزبانه، رکوردهای جدیدی ثبت کرده!
- پشتیبانی از ۲۳ زبان از جمله فارسی
- قدرت بالا در کپشنگذاری تصاویر، پاسخ به سوالات تصویری، تولید متن و ترجمه چندوجهی (multimodal translation)
- عملکرد بهتر از مدلهای برتر اوپنسورس مثل Qwen2.5-VL، Gemini Flash 1.5، Llama-3.2 Vision و Pangea
- مدل Aya Vision 8B از مدلهایی ۱۰ برابر بزرگتر از خودش بهتر عمل میکنه! (۶۳٪ برتری نسبت به Llama-3.2 90B Vision)
- مدل Aya Vision 32B حتی مدلهای ۲ برابر بزرگتر رو شکست داده! (مثل Molmo 72B، Qwen2.5-VL 72B) با نرخ برد تا ۷۲٪
- بهینه و کممصرف – با کمترین منابع محاسباتی، بهترین نتایج رو میده
- پیشرفتهای مهم در یادگیری چندزبانه چندوجهی با synthetic annotations، مقیاسگذاری دادهها و ترکیب مدلها
- ارائه ی AyaVisionBench – یه بنچمارک جدید و قوی برای ارزیابی واقعی چندزبانه چندوجهی
https://cohere.com/blog/aya-vision
@DevTwitter | <Mehdi Allahyari/>
مدل Aya Vision معرفی شد – یه مدل چندزبانه و چندوجهی (multilingual & multimodal vision model) پیشرفته که توی درک تصویر، تولید متن و عملکرد چندزبانه، رکوردهای جدیدی ثبت کرده!
- پشتیبانی از ۲۳ زبان از جمله فارسی
- قدرت بالا در کپشنگذاری تصاویر، پاسخ به سوالات تصویری، تولید متن و ترجمه چندوجهی (multimodal translation)
- عملکرد بهتر از مدلهای برتر اوپنسورس مثل Qwen2.5-VL، Gemini Flash 1.5، Llama-3.2 Vision و Pangea
- مدل Aya Vision 8B از مدلهایی ۱۰ برابر بزرگتر از خودش بهتر عمل میکنه! (۶۳٪ برتری نسبت به Llama-3.2 90B Vision)
- مدل Aya Vision 32B حتی مدلهای ۲ برابر بزرگتر رو شکست داده! (مثل Molmo 72B، Qwen2.5-VL 72B) با نرخ برد تا ۷۲٪
- بهینه و کممصرف – با کمترین منابع محاسباتی، بهترین نتایج رو میده
- پیشرفتهای مهم در یادگیری چندزبانه چندوجهی با synthetic annotations، مقیاسگذاری دادهها و ترکیب مدلها
- ارائه ی AyaVisionBench – یه بنچمارک جدید و قوی برای ارزیابی واقعی چندزبانه چندوجهی
https://cohere.com/blog/aya-vision
@DevTwitter | <Mehdi Allahyari/>
Forwarded from DevTwitter | توییت برنامه نویسی
پروژه مدیریت تسک (TaskSquad) با لاراول - لایو وایر
در این پروژه شما می توانید کارهای وظایفی ایجاد کنید و از شرکت یا راه دور وظیفه یا پروژه ها برای هم تیمی خود تعریف و مدیریت کنید. این پروژه پیچیدگی چندانی ندارد و طوری نوشته شده است که کار با آن ساده باشد.
امکانات نظیر : مدیریت کاربران - گروه ها - مقام ها - دسترسی ها - وظیفه ها - پروژه ها
گیت هاب :
https://github.com/Rayiumir/TaskSquad
نمی دونم قابلیت تجاری سازی داره یا نه
شما می توانید این پروژه مشارکت و فورک و توسعه دهید و امکاناتی که مد نظر است را در تسک اسکواد اضافه کنید که کم کم پروژه بزرگتر شود.
@DevTwitter | <Raymond Baghumian/>
در این پروژه شما می توانید کارهای وظایفی ایجاد کنید و از شرکت یا راه دور وظیفه یا پروژه ها برای هم تیمی خود تعریف و مدیریت کنید. این پروژه پیچیدگی چندانی ندارد و طوری نوشته شده است که کار با آن ساده باشد.
امکانات نظیر : مدیریت کاربران - گروه ها - مقام ها - دسترسی ها - وظیفه ها - پروژه ها
گیت هاب :
https://github.com/Rayiumir/TaskSquad
نمی دونم قابلیت تجاری سازی داره یا نه
شما می توانید این پروژه مشارکت و فورک و توسعه دهید و امکاناتی که مد نظر است را در تسک اسکواد اضافه کنید که کم کم پروژه بزرگتر شود.
@DevTwitter | <Raymond Baghumian/>
Forwarded from linuxtnt(linux tips and tricks) (hosein seilany https://seilany.ir/)
This media is not supported in your browser
VIEW IN TELEGRAM
🔰پیرو این پست:
https://t.iss.one/linuxtnt/4215
🔰کم کم بوی دوران transhumanism هم داره میاد.
🔹 رباتهای انساننما، در چهارمین انقلاب صنعتی هوش مصنوعی
🔸 نئو گاما، نسل جدیدی از رباتهای انساننما با هوش مصنوعی است که برای مصارف خانگی طراحی شده و توسط 1X Technologies نروژی عرضه میشود.
🔸آنچه تاکنون عرضه شده نشان میدهد رباتیک و هوش مصنوعی بسیاری از حد و مرزها را تغییر خواهند داد یا هدف تغییر شان را دارند.
https://t.iss.one/linuxtnt/4215
🔰کم کم بوی دوران transhumanism هم داره میاد.
🔹 رباتهای انساننما، در چهارمین انقلاب صنعتی هوش مصنوعی
🔸 نئو گاما، نسل جدیدی از رباتهای انساننما با هوش مصنوعی است که برای مصارف خانگی طراحی شده و توسط 1X Technologies نروژی عرضه میشود.
🔸آنچه تاکنون عرضه شده نشان میدهد رباتیک و هوش مصنوعی بسیاری از حد و مرزها را تغییر خواهند داد یا هدف تغییر شان را دارند.
Forwarded from Geek Alerts
داکداکگو یه سرویس داره به اسم Duck.ai که اجازه میده به طور ناشناس با چتباتهای معروف مثل چتباتهای OpenAi یا آنتروپیک، متا و میسترال چت کنیم. الان از حالت آزمایشی خارج شده و امکان چت با مدلهای معروفی مثل o3-mini یا GPT-4o mini و حتی Claude 3 Haiku رو میده.
نکته خوب اینکه همگی از زبان فارسی پشتیبانی میکنن و چتها روی دستگاه خودتون ذخیره میشه نه سرورهای اونها، یعنی برنامه یا کش مرورگر پاک بشه چتهاتون هم پاک میشن.
یه بخش دیگه هم اضافه کردن که وقتی چیزی رو جستجو میکنی داخل این موتور جستجو میاد در کنار نتایج یه جواب هم از AI نمایش میده، قبلا فقط از ویکیپدیا بودن ولی الان میتونه از هر سایتی باشه. امکان خاموش کردنش هم هست.
🔗 spreadprivacy
🤓 @geekalerts
نکته خوب اینکه همگی از زبان فارسی پشتیبانی میکنن و چتها روی دستگاه خودتون ذخیره میشه نه سرورهای اونها، یعنی برنامه یا کش مرورگر پاک بشه چتهاتون هم پاک میشن.
یه بخش دیگه هم اضافه کردن که وقتی چیزی رو جستجو میکنی داخل این موتور جستجو میاد در کنار نتایج یه جواب هم از AI نمایش میده، قبلا فقط از ویکیپدیا بودن ولی الان میتونه از هر سایتی باشه. امکان خاموش کردنش هم هست.
Please open Telegram to view this post
VIEW IN TELEGRAM
Forwarded from Geek Alerts
شبکه World Network که سازندش سمآلتمن مدیر OpenAI هست یه پیامرسان جدید به اسم ورلد چت World Chat رو راهاندازی کرده که فقط برای کاربرهای تأییدشدهش قابل استفادهست. یعنی یه Mini App داره که به کاربرها اجازه میده با آدمهای واقعی و تأییدشده توی این پلتفرم ارتباط برقرار کنن.
این البته فقط پیامرسان نیست و با کیفپول هم یکپارچه شده و بیشتر به نظر میرسه یه ابزار برای نقل و انتقال پول باشه، یعنی میشه به سادگی ارسال یه عکس برای دیگران کریپتو بفرستید.
تا الان بیش از ۱۰۰ مینیاپ منتشر شده و بالای ۲۵۰ میلیون بار باز شدن، بلاکچین این پلتفرم بالاترین نسبت UOPS/TPS رو بین بلاکچینهای اتریوم داره، که نشون میده بیشتر استفادهکنندهها آدمهای واقعی هستن، نه سیستمهای خودکار.
🔗 world
🤓 @geekalerts
این البته فقط پیامرسان نیست و با کیفپول هم یکپارچه شده و بیشتر به نظر میرسه یه ابزار برای نقل و انتقال پول باشه، یعنی میشه به سادگی ارسال یه عکس برای دیگران کریپتو بفرستید.
تا الان بیش از ۱۰۰ مینیاپ منتشر شده و بالای ۲۵۰ میلیون بار باز شدن، بلاکچین این پلتفرم بالاترین نسبت UOPS/TPS رو بین بلاکچینهای اتریوم داره، که نشون میده بیشتر استفادهکنندهها آدمهای واقعی هستن، نه سیستمهای خودکار.
Please open Telegram to view this post
VIEW IN TELEGRAM
Forwarded from Geek Alerts
شرکت تاووس (Tavus) که تو زمینه CVI کار میکنه، سه مدل هوش مصنوعی جدید رو معرفی کرده، این CVI در واقع تکنولوژی هست که امکان تعامل تصویری رو به دستگاهها یا مدلها میده، مثلا وقتی جلو دوربین دست تکون میدید متوجه بشن، البته پیشرفتهتر از اینها هستن.
فینیکس-۳ یه مدله که میتونه حالتهای چهره، لب و تغییرات اون رو با دقت بالایی ثبت کنه، مدل Raven-0 ادراک بصری داره، متنهارو میخونه، حرکات رو تشخیص میده و احساسات رو شناسایی میکنه. بعدی هم Sparrow-0 که ریتم و متن گفتگو رو درک میکنه.
این مدلها با همدیگه کار میکنن تا یه سیستم زنجیره فکری رو توی مکالمه تشکیل بدن، شرکتش این مدلهارو در قالب یه AI به اسم چارلی (Charlie) نشون داده که میتونه توی گفتگوهای واقعی شرکت کنه. این مدلها الان به صورت API در دسترس هستن.
🔗 testingcatalog
🤓 @geekalerts
فینیکس-۳ یه مدله که میتونه حالتهای چهره، لب و تغییرات اون رو با دقت بالایی ثبت کنه، مدل Raven-0 ادراک بصری داره، متنهارو میخونه، حرکات رو تشخیص میده و احساسات رو شناسایی میکنه. بعدی هم Sparrow-0 که ریتم و متن گفتگو رو درک میکنه.
این مدلها با همدیگه کار میکنن تا یه سیستم زنجیره فکری رو توی مکالمه تشکیل بدن، شرکتش این مدلهارو در قالب یه AI به اسم چارلی (Charlie) نشون داده که میتونه توی گفتگوهای واقعی شرکت کنه. این مدلها الان به صورت API در دسترس هستن.
Please open Telegram to view this post
VIEW IN TELEGRAM
Forwarded from DevTwitter | توییت برنامه نویسی
باج افزار برای تمرین و یادگیری:)
ی باج افزار خیلی ساده برای صرفا آشنایی بیشتر با نحوه کارکردشون نوشتم و روی گیت هاب قرار دادم.
از الگوریتم RSA و AES برای رمزنگاری فایل ها استفاده میکنه و دوباره رمزگشایی میکنه:)
https://github.com/manirazii/Ayatollah-Ransamware
@DevTwitter | <Mani/>
ی باج افزار خیلی ساده برای صرفا آشنایی بیشتر با نحوه کارکردشون نوشتم و روی گیت هاب قرار دادم.
از الگوریتم RSA و AES برای رمزنگاری فایل ها استفاده میکنه و دوباره رمزگشایی میکنه:)
https://github.com/manirazii/Ayatollah-Ransamware
@DevTwitter | <Mani/>
Forwarded from Geek Alerts
استارلینک اشتراک ارزونتری به اسم Residential Lite معرفی کرد که ۸۰ دلار هست، این اشتراک ترافیک نامحدود با اولویت پایین داره که یعنی تو ساعات اوج مصرف تو نقاط شلوغ مثل داخل شهرها ممکنه افت سرعت داشته باشه.
از طرفی خود سرویس سرعت کمتری داره که به جای سرعت ۱۵۰ تا ۳۰۰ مگابیتی بین ۵۰ تا ۱۰۰ مگابیت سرعت داره. در واقع این برای کاربرهایی هست که خیلی سرعت بالای ۱۵۰ مگابیت براشون مهم نیست و میخوان کمتر هزینه کنن و ترافیک نامحدود داشته باشن. این طرح فعلا فقط تو ۱۵ ایالت آمریکا ارائه میشه.
🔗 starlink
🤓 @geekalerts
از طرفی خود سرویس سرعت کمتری داره که به جای سرعت ۱۵۰ تا ۳۰۰ مگابیتی بین ۵۰ تا ۱۰۰ مگابیت سرعت داره. در واقع این برای کاربرهایی هست که خیلی سرعت بالای ۱۵۰ مگابیت براشون مهم نیست و میخوان کمتر هزینه کنن و ترافیک نامحدود داشته باشن. این طرح فعلا فقط تو ۱۵ ایالت آمریکا ارائه میشه.
Please open Telegram to view this post
VIEW IN TELEGRAM