Forwarded from a pessimistic researcher (Kc)
🎬 مووی کاتیج
پایا اسیدو ایفاگر نقش پروفسور سوروس اسنیپ در سریال "Harry Potter" خواهد بود پروکسی | پروکسی @MovieCottage
خدایا شکرت
Forwarded from a pessimistic researcher (Kc)
🎬 مووی کاتیج
پایا اسیدو ایفاگر نقش پروفسور سوروس اسنیپ در سریال "Harry Potter" خواهد بود پروکسی | پروکسی @MovieCottage
This media is not supported in your browser
VIEW IN TELEGRAM
Forwarded from Golden Code (علی 🇨🇴)
متود times در لاراول بهتون این امکان رو میده که یک کار رو چندین بار به راحتی بتونید تکرار کنید بدون نیاز به نوشتن for یا foreach. یعنی شما میگید که یک کار رو مثلاً ۵ بار انجام بده، و لاراول به طور خودکار اون کار رو ۵ بار براتون انجام میده.
کاربردش؟؟
مثلا در تست نویسی(ایجاد رکورد با تعداد مدنظر در دیتابیس)
چجوری کار میکنه؟
در هر تکرار، شمارهی تکرار (که در اینجا number$ هستش) به closure داده میشه و میتونین ازش برای انجام کاری مثل چاپ پیام یا پردازش دیتای مدنظر استفاده کنین.
#Laravel
@GoldenCodeir
(به منبع و مثالش دقت کنید 👇🏾)
https://x.com/laravelbackpack/status/1896538556551884968?t=q22doKctgbLdIHAW0U24uA&s=35
کاربردش؟؟
مثلا در تست نویسی(ایجاد رکورد با تعداد مدنظر در دیتابیس)
چجوری کار میکنه؟
در هر تکرار، شمارهی تکرار (که در اینجا number$ هستش) به closure داده میشه و میتونین ازش برای انجام کاری مثل چاپ پیام یا پردازش دیتای مدنظر استفاده کنین.
#Laravel
@GoldenCodeir
(به منبع و مثالش دقت کنید 👇🏾)
https://x.com/laravelbackpack/status/1896538556551884968?t=q22doKctgbLdIHAW0U24uA&s=35
X (formerly Twitter)
Backpack for Laravel (@laravelbackpack) on X
#Laravel Collections Tip
Check out the static `times` method. It creates a new collection, invoking the given closure a specified number of times.
Check out the static `times` method. It creates a new collection, invoking the given closure a specified number of times.
Forwarded from 🎄 یک برنامه نویس تنبل (The Lazy 🌱 Raymond)
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