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
Forwarded from DevTwitter | توییت برنامه نویسی
ابزار DNSBruter، ابزاری برای کشف سابدامین با روش brute-force، که از ابزارهای پرسرعتِ shuffledns و massdns استفاده میکند. این ابزار ضمن پشتیبانی از دو حالت Static و Dynamic (روی یک سابدامین یا روی لیست سابدامینها)، قابلیت ذخیره خروجی در پایگاهداده MongoDB را نیز داراست، این ابزار مناسب پنتستر و باگهانترها برای انجام Asset recon میباشد.
https://github.com/rjsoheil/DNSBruter/
@DevTwitter | <So/>
https://github.com/rjsoheil/DNSBruter/
@DevTwitter | <So/>
Forwarded from Linuxor ?
این پروژه با دیپ لرنینگ میآد و عکس های قدیمی و سیاه سفیدتون رو با دقت خوبی رنگی میکنه از ترکیب GAN و چیزی به اسم "NoGAN training" یاد گرفته عکسای قدیمی رو رنگی کنه بدون اینکه مصنوعی بهنظر برسن. البته سازندش یه سالی هست که دیگه توسعه نمی ده ولی چیز خاصی هم نیست که بخواد بهش اضافه بشه میتونید از کداش استفاده کنید :
github.com/jantic/DeOldify
توی صفحه اصلی توضیح داده NoGAN training چیه
@Linuxor
github.com/jantic/DeOldify
توی صفحه اصلی توضیح داده NoGAN training چیه
@Linuxor