Forwarded from Abolfazl Devs (ixAbolfazl)
استرایکو یه سایت کاربردیه که ابزار های مختلف هوش مصنوعی رو یکجا در اختیارتون میزاره👌
بیشتر از 50 مدل مختلف رو ارائه میده و همینطور ابزارهای های مختلفی برای تولید محتوا، اتوماسیون کردن، تحلیل اسناد و.. داره که میتونه برا برنامه نویسیا، مارکتر ها و تولید کننده های محتوا مفید باشه
آدرسش:
https://straico.com/
📌 ixAbolfazl | @abolfazl_devs
بیشتر از 50 مدل مختلف رو ارائه میده و همینطور ابزارهای های مختلفی برای تولید محتوا، اتوماسیون کردن، تحلیل اسناد و.. داره که میتونه برا برنامه نویسیا، مارکتر ها و تولید کننده های محتوا مفید باشه
آدرسش:
https://straico.com/
📌 ixAbolfazl | @abolfazl_devs
Forwarded from Abolfazl Devs (ixAbolfazl)
اگه شما هم موقع فیلم دیدن تو یوتیوب دسکتاپ، زیر نویسی که روی فیلم هست رو مختونه این یوزر اسکریپت نجات دهندس!
زیر نویس رو میاره پایین فریم فیلم و دیگه مزاحم نیست👌
برا استفاده ازش باید اکستنشن tampermonkey رو نصب داشته باشید
لینکش👇
https://greasyfork.org/en/scripts/433440-youtube-subtitles-under-video-frame
📌 ixAbolfazl | @abolfazl_devs
زیر نویس رو میاره پایین فریم فیلم و دیگه مزاحم نیست👌
برا استفاده ازش باید اکستنشن tampermonkey رو نصب داشته باشید
لینکش👇
https://greasyfork.org/en/scripts/433440-youtube-subtitles-under-video-frame
📌 ixAbolfazl | @abolfazl_devs
Forwarded from Unlocking Software Verification
Starting from 2023, STACS consists of two tracks, A and B, and I was not aware of it until now! But the good news is that STACS 2027 will be held in Göttingen. :)
https://www.stacs-conf.org/
https://www.stacs-conf.org/
www.stacs-conf.org
Website of the STACS Conferences
Informations about STACS
Forwarded from Gopher Academy
🔵 عنوان مقاله
The Deeper Love of Go.
🟢 خلاصه مقاله:
این یادداشت در Golang Weekly توضیح میدهد چرا علاقه به Go با گذشت زمان عمیقتر میشود: سادگی زبانی، کتابخانه استاندارد کارآمد، ابزارهای یکپارچه و مدل همزمانی عملی که طراحی شفاف را تشویق میکند. نتیجه این ترکیب، ساخت و استقرار قابل پیشبینی، کد خوانا و تیمهایی است که سریعتر و مطمئنتر کار میکنند. در عین پذیرش محدودیتها—مثل رسیدگی صریح به خطا و پرهیز آگاهانه از ویژگیهای پیچیده—مقاله نشان میدهد همین قیود به نگهداشتپذیری و پایداری بلندمدت کمک میکنند. در نهایت، با وجود بهبودهای سنجیده در بخشهایی مانند جنریکها و ابزارها، ارزشهای اصلی Go یعنی سادگی، وضوح و قابلیت اتکا محور باقی میمانند.
🟣لینک مقاله:
https://golangweekly.com/link/173647/web
➖➖➖➖➖➖➖➖
👑 @gopher_academy
The Deeper Love of Go.
🟢 خلاصه مقاله:
این یادداشت در Golang Weekly توضیح میدهد چرا علاقه به Go با گذشت زمان عمیقتر میشود: سادگی زبانی، کتابخانه استاندارد کارآمد، ابزارهای یکپارچه و مدل همزمانی عملی که طراحی شفاف را تشویق میکند. نتیجه این ترکیب، ساخت و استقرار قابل پیشبینی، کد خوانا و تیمهایی است که سریعتر و مطمئنتر کار میکنند. در عین پذیرش محدودیتها—مثل رسیدگی صریح به خطا و پرهیز آگاهانه از ویژگیهای پیچیده—مقاله نشان میدهد همین قیود به نگهداشتپذیری و پایداری بلندمدت کمک میکنند. در نهایت، با وجود بهبودهای سنجیده در بخشهایی مانند جنریکها و ابزارها، ارزشهای اصلی Go یعنی سادگی، وضوح و قابلیت اتکا محور باقی میمانند.
🟣لینک مقاله:
https://golangweekly.com/link/173647/web
➖➖➖➖➖➖➖➖
👑 @gopher_academy
Bitfield Consulting
The Deeper Love of Go — Bitfield Consulting
Introduces the Go programming language for complete beginners, as well as those with experience programming in other languages.
Forwarded from DevTwitter | توییت برنامه نویسی
https://youtu.be/7xTGNNLPyMI?si=eecurZsy84kG6fS5
یه قسمت از این ویدئو نشون میده که اگه LLM اول جواب رو بده و بعد توضیحات، شاید جواب غلطی بده و تلاش کنه اونو توجیح کنه ولی اگه اول توضیحات رو بیاره، احتمال اینکه به جواب درست برسه بیشتره. یجورایی LLM خودش به توکنهای تولید شده به عنوان توضیح، برای رسیدن به جواب نهایی نیاز داره. حداقل این برداشت من بود.
ولی این ایده تو دیباگ کردن با کمک AI Agentها خیلی کمککننده هست. اگه بهش توضیح بدید چیکار کردید، چه اروری گرفتید و چه حدسهایی برای رفع مشکل میزنید، یجورایی مسیر فهمیدن مشکل رو براش مشخص کنید، نتیجه خیلی بهتری میگیرید.
@DevTwitter | <Serajoddin Aliabadi/>
یه قسمت از این ویدئو نشون میده که اگه LLM اول جواب رو بده و بعد توضیحات، شاید جواب غلطی بده و تلاش کنه اونو توجیح کنه ولی اگه اول توضیحات رو بیاره، احتمال اینکه به جواب درست برسه بیشتره. یجورایی LLM خودش به توکنهای تولید شده به عنوان توضیح، برای رسیدن به جواب نهایی نیاز داره. حداقل این برداشت من بود.
ولی این ایده تو دیباگ کردن با کمک AI Agentها خیلی کمککننده هست. اگه بهش توضیح بدید چیکار کردید، چه اروری گرفتید و چه حدسهایی برای رفع مشکل میزنید، یجورایی مسیر فهمیدن مشکل رو براش مشخص کنید، نتیجه خیلی بهتری میگیرید.
@DevTwitter | <Serajoddin Aliabadi/>
Forwarded from 🎄 یک برنامه نویس تنبل (Lazy 🌱)
This media is not supported in your browser
VIEW IN TELEGRAM
🔶 چگونه یه گرید بنتو با TailwindCSS به صورت رسپانسیو ایجاد کنیم؟
کد زیر:
<div class="grid grid-cols-1 md:grid-cols-4 gap-4 lg:grid-cols-6">
<!-- 1 Large box spanning 2x2 -->
<div class="rounded-xl md:col-span-2 md:row-span-2"></div>
<!-- 2 Tall box spanning 2 rows -->
<div class="rounded-xl md:row-span-2"></div>
<!-- 3 Regular box -->
<div class="rounded-xl md:row-span-3 lg:row-span-2"></div>
<!-- 4 Wide box spanning 2 columns -->
<div class="rounded-xl md:col-span-2"></div>
<!-- 5 Tall box spanning 2 rows -->
<div class="rounded-xl md:row-span-2 lg:col-span-2"></div>
<!-- 6 Regular boxes -->
<div class="rounded-xl md:col-span-2"></div>
<!-- 7 box -->
<div class="rounded-xl lg:col-span-2"></div>
<!-- 8 Wide box spanning 3 columns -->
<div class="rounded-xl md:col-span-3"></div>
<!-- 9 Regular boxes -->
<div class="rounded-xl lg:col-span-2"></div>
<!-- 10 box -->
<div class="rounded-xl col-span-full lg:col-span-1"></div>
</div>
@TheRaymondDev
کد زیر:
<div class="grid grid-cols-1 md:grid-cols-4 gap-4 lg:grid-cols-6">
<!-- 1 Large box spanning 2x2 -->
<div class="rounded-xl md:col-span-2 md:row-span-2"></div>
<!-- 2 Tall box spanning 2 rows -->
<div class="rounded-xl md:row-span-2"></div>
<!-- 3 Regular box -->
<div class="rounded-xl md:row-span-3 lg:row-span-2"></div>
<!-- 4 Wide box spanning 2 columns -->
<div class="rounded-xl md:col-span-2"></div>
<!-- 5 Tall box spanning 2 rows -->
<div class="rounded-xl md:row-span-2 lg:col-span-2"></div>
<!-- 6 Regular boxes -->
<div class="rounded-xl md:col-span-2"></div>
<!-- 7 box -->
<div class="rounded-xl lg:col-span-2"></div>
<!-- 8 Wide box spanning 3 columns -->
<div class="rounded-xl md:col-span-3"></div>
<!-- 9 Regular boxes -->
<div class="rounded-xl lg:col-span-2"></div>
<!-- 10 box -->
<div class="rounded-xl col-span-full lg:col-span-1"></div>
</div>
@TheRaymondDev
Forwarded from 🎄 یک برنامه نویس تنبل (Lazy 🌱)
🔶 چگونه یه گرید بنتو با TailwindCSS به صورت رسپانسیو ایجاد کنیم؟
کد زیر:
#css
@TheRaymondDev
کد زیر:
<div class="grid grid-cols-1 md:grid-cols-4 gap-4 lg:grid-cols-6">
<!-- 1 Large box spanning 2x2 -->
<div class="rounded-xl md:col-span-2 md:row-span-2"></div>
<!-- 2 Tall box spanning 2 rows -->
<div class="rounded-xl md:row-span-2"></div>
<!-- 3 Regular box -->
<div class="rounded-xl md:row-span-3 lg:row-span-2"></div>
<!-- 4 Wide box spanning 2 columns -->
<div class="rounded-xl md:col-span-2"></div>
<!-- 5 Tall box spanning 2 rows -->
<div class="rounded-xl md:row-span-2 lg:col-span-2"></div>
<!-- 6 Regular boxes -->
<div class="rounded-xl md:col-span-2"></div>
<!-- 7 box -->
<div class="rounded-xl lg:col-span-2"></div>
<!-- 8 Wide box spanning 3 columns -->
<div class="rounded-xl md:col-span-3"></div>
<!-- 9 Regular boxes -->
<div class="rounded-xl lg:col-span-2"></div>
<!-- 10 box -->
<div class="rounded-xl col-span-full lg:col-span-1"></div>
</div>
#css
@TheRaymondDev
Forwarded from DevTwitter | توییت برنامه نویسی
امروز تصمیم گرفتم یه دستی به سر و روی ollama بکشم و UI واسش بریزم که دیدم خوشگل ترینش Lobe-Chat، خیلی خوبه سادست تنظیمات خوبی داره خیلی راحت به اولاما وصل میشه.
https://github.com/lobehub/lobe-chat
@DevTwitter | <Mahan Bakhshi/>
https://github.com/lobehub/lobe-chat
@DevTwitter | <Mahan Bakhshi/>
Forwarded from Reza Jafari
معرفی USO محصول جدید ByteDance
شما حتماً تا حالا دیدید که بعضی ابزارها فقط میتونن تصویرها رو بر اساس سبک یا بر اساس موضوع تولید کنن و این دو کار معمولاً جدا از هم انجام میشه. ابزارهای سنتی وقتی روی سبک تمرکز میکنن، ممکنه موضوع اصلی تصویر رعایت نشه و وقتی روی موضوع تمرکز میکنن، سبک دلخواه به خوبی منتقل نشه. اما یک ابزار جالب به اسم USO هست که تونسته این دو هدف رو با هم ترکیب کنه.
مدل USO که توسط شرکت ByteDance ساخته شده، این قابلیت رو داره که هر تصویر رو به هر سبک دلخواه شما تبدیل کنه، خیلی سریع و راحت. یعنی کافیه یک تصویر مرجع از سبک دلخواهتون داشته باشید و تصویر خودتون رو به همون سبک ببینید. این ابزار هم سریعه، هم متنباز، و هم برای کسانی که تازه شروع کردن به راحتی قابل استفاده است.
مدل USO بر اساس یک مجموعه داده بزرگ سهتایی ساخته شده؛ شامل تصاویر محتوا، تصاویر سبک و تصاویر محتوا با سبک اعمال شده. روش یادگیری این ابزار هم جالبه: همزمان ویژگیهای سبک رو همراستا میکنه و محتوا رو از سبک جدا میکنه. این کار با دو هدف مکمل انجام میشه: آموزش همراستایی سبک و آموزش جداسازی محتوا و سبک. علاوه بر این، یک سیستم یادگیری پاداش سبک هم داره که باعث میشه نتیجه نهایی خیلی بهتر بشه.
🔗 لینک ریپو
🔤 🔤 🔤 🔤 🔤 🔤 🔤
🥇 اهورا اولین اپراتور هوش مصنوعی راهبردی ایران در حوزه ارائه خدمات و سرویسهای زیرساخت هوش مصنوعی
🛍 کد تخفیف ۱۰ درصدی محصولات اهورا برای اعضای کانال
🌐 لینک وبسایت اهورا
@reza_jafari_ai
شما حتماً تا حالا دیدید که بعضی ابزارها فقط میتونن تصویرها رو بر اساس سبک یا بر اساس موضوع تولید کنن و این دو کار معمولاً جدا از هم انجام میشه. ابزارهای سنتی وقتی روی سبک تمرکز میکنن، ممکنه موضوع اصلی تصویر رعایت نشه و وقتی روی موضوع تمرکز میکنن، سبک دلخواه به خوبی منتقل نشه. اما یک ابزار جالب به اسم USO هست که تونسته این دو هدف رو با هم ترکیب کنه.
مدل USO که توسط شرکت ByteDance ساخته شده، این قابلیت رو داره که هر تصویر رو به هر سبک دلخواه شما تبدیل کنه، خیلی سریع و راحت. یعنی کافیه یک تصویر مرجع از سبک دلخواهتون داشته باشید و تصویر خودتون رو به همون سبک ببینید. این ابزار هم سریعه، هم متنباز، و هم برای کسانی که تازه شروع کردن به راحتی قابل استفاده است.
مدل USO بر اساس یک مجموعه داده بزرگ سهتایی ساخته شده؛ شامل تصاویر محتوا، تصاویر سبک و تصاویر محتوا با سبک اعمال شده. روش یادگیری این ابزار هم جالبه: همزمان ویژگیهای سبک رو همراستا میکنه و محتوا رو از سبک جدا میکنه. این کار با دو هدف مکمل انجام میشه: آموزش همراستایی سبک و آموزش جداسازی محتوا و سبک. علاوه بر این، یک سیستم یادگیری پاداش سبک هم داره که باعث میشه نتیجه نهایی خیلی بهتر بشه.
AHURA5@reza_jafari_ai
Please open Telegram to view this post
VIEW IN TELEGRAM