Forwarded from محتوای آزاد سهراب (Sohrab)
اینترنت داغون بود گفتم جای اینکه بیام یک ویدئو بگیرم روی پارچ داکری که امیرحسین ساخته بود، بعد روش سرویس نصب کنیم و این مدل چیزها. بجاش اومدم توزیع xebian رو تست کنم، متاسفانه اون هم موقع نصب میرفت گراب رو از اینترنت میگرفت😂
من موندم و چهل دقیقه فوتیج و گیج بودن که چرا این انقدر طول میکشه.
@SohrabContents
من موندم و چهل دقیقه فوتیج و گیج بودن که چرا این انقدر طول میکشه.
@SohrabContents
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