Forwarded from a pessimistic researcher (Kc)
همه اینا رو گفتم که بگم ایونت گرامیداشت ایشون به صورت آنلاین هم برگزار میشه و شما میتونید از طریق لینک zoom ای که روی وبسایت گذاشتن وارد بشید و در جلسات این ایونت شرکت کنید.
این ایونت فردا برگزار میشه و به وقت ایران از ساعت ۱۰:۳۰ صبح شروع و تا ساعت ۷:۳۰ عصر هم ادامه خواهد داشت
این ایونت فردا برگزار میشه و به وقت ایران از ساعت ۱۰:۳۰ صبح شروع و تا ساعت ۷:۳۰ عصر هم ادامه خواهد داشت
Forwarded from a pessimistic researcher (Kc)
گرامیداشت Symbolic Model Checking
————————————
توی کنفرانس CAV یه ایونت ورکشاپ مانندی ترتیب دیدن برای گرامی داشت و تقدیر از زحمات آقای Kenneth McMillan، کسی که بیشک اگر نبود، نه CAV بود و شاید نه Software Model Checking به معنای امروز. ایشون تقریبا اولین کسی بود که با ارائهی یک تکنیک خلاقانه، راهی جدید برای مقابله با State Space Explosion ارائه کرد. مسئله به زبان ساده بدین صورته : مدل چکینگ کلاسیک ایدهاش این بود که ما بیایم تمامی رفتارهای ممکن یک سیستم رو در قالب یک state machine محاسبه کنیم. یعنی یک گراف با مجموعهای از state های اولیه و پایانی و میانی و تعدادی یال یا transition بینشون. در نتیجه میشد مسئلهی verification سیستم رو به مسئلهی Graph Reachability تقلیل داد. در وهلهی اول به نظر میومد که این تکنیک بسیار موثر باشه، چرا که مسئلهی graph reachability یک مسئلهی polynomial هستش و میشه به راحتی حلش کرد. اما چیزی نگذشت که دانشمندان در اون دوران فهمیدن که فضا حالت یک سیستم میتونه به قدری بزرگ باشه که در وهلهی اول اصلا نشه اون فضای حالت رو ذخیره و بازنمایی کرد و در وهله دوم اگر این کار رو هم بکنن، پروسهی reachability تا پایان عمرشون هم به پایان نمیرسه. تصور کنید که یک برنامهی ساده دارید که داخلش یک آرایه به سایز ۱۰ از تایپ int تعریف کردید و هیچ متغیر دیگهای تو برنامه تون وجود نداره. با فرض اینکه هر متغیر int اندازهاش تو حافظه ۳۲ بیت باشه، میتونه
2^32
مقدار مختلف رو بپذیره. حالا شما نه یکی که ده تا دارید و فضای حالت تون معادل
(2^32)^10
حالت میشه. تازه ما تعداد transition هاش رو هم حساب نکردیم.
آقای McMillan با یک ایدهی جدید میان و سعی میکنن که تمام state ها و transition های یک سیستم رو در قالب تعداد محدودی فرمول logical نمایش بدن. بنابراین مشکل اول رو حل کردن یعنی ما حالا میتونستیم به راحتی فضای حالت یک سیستم رو بازنمایی و ذخیره کنیم. در حقیقت ایشون اومدن و مسئلهی Graph Reachability رو به مسئلهی Satisfiablity فرمولهای logical تقلیل دادن.
از اونجایی که ما تو دپارتمانهای CS مون اثبات کردیم که مسئلهی SAT روی منطق گزارهای NP-complete هستش و روی منطق First-order تصمیم ناپذیره، پیش خودمون گفتیم که پس قرار نیست که یک SAT Solver ای روزی ساخته بشه که ما بهش فرمول لاجیکال رو بدیم و اون بهمون بگه که آیا SAT هست یا نه. منتهی یه سریا بودن که توی دپارتمان برق بودن و خیلی به حرفای ما باور نداشتن و شروع با ساختن SAT Solver ها کردند و اون جنبش باعث شد که امروزه SAT و SMT solver هایی داشته باشیم که بسیار خوب و قوی دارن کار میکنن.
به لطف جنبش دپارتمان برقیها امروزه کارای آقای McMillan بیشتر مورد توجه قرار گرفته. چرا که دانشمندان در اون زمان بر این باور بودند که راهکار آقای McMillan فقط مشکل اول مدل چکینگ کلاسیک رو حل کرده و مشکل دوم هنوز سر جاشه. ولی خب به لطف جنبش دپارتمان برقیها اون مشکل تا حد خوبی حل شده و اکثر تکنیکهای مدل چکینگ تو حوزه هاردور و سافتور بر اساس ایدههای ایشون ساخته میشه.
————————————
توی کنفرانس CAV یه ایونت ورکشاپ مانندی ترتیب دیدن برای گرامی داشت و تقدیر از زحمات آقای Kenneth McMillan، کسی که بیشک اگر نبود، نه CAV بود و شاید نه Software Model Checking به معنای امروز. ایشون تقریبا اولین کسی بود که با ارائهی یک تکنیک خلاقانه، راهی جدید برای مقابله با State Space Explosion ارائه کرد. مسئله به زبان ساده بدین صورته : مدل چکینگ کلاسیک ایدهاش این بود که ما بیایم تمامی رفتارهای ممکن یک سیستم رو در قالب یک state machine محاسبه کنیم. یعنی یک گراف با مجموعهای از state های اولیه و پایانی و میانی و تعدادی یال یا transition بینشون. در نتیجه میشد مسئلهی verification سیستم رو به مسئلهی Graph Reachability تقلیل داد. در وهلهی اول به نظر میومد که این تکنیک بسیار موثر باشه، چرا که مسئلهی graph reachability یک مسئلهی polynomial هستش و میشه به راحتی حلش کرد. اما چیزی نگذشت که دانشمندان در اون دوران فهمیدن که فضا حالت یک سیستم میتونه به قدری بزرگ باشه که در وهلهی اول اصلا نشه اون فضای حالت رو ذخیره و بازنمایی کرد و در وهله دوم اگر این کار رو هم بکنن، پروسهی reachability تا پایان عمرشون هم به پایان نمیرسه. تصور کنید که یک برنامهی ساده دارید که داخلش یک آرایه به سایز ۱۰ از تایپ int تعریف کردید و هیچ متغیر دیگهای تو برنامه تون وجود نداره. با فرض اینکه هر متغیر int اندازهاش تو حافظه ۳۲ بیت باشه، میتونه
2^32
مقدار مختلف رو بپذیره. حالا شما نه یکی که ده تا دارید و فضای حالت تون معادل
(2^32)^10
حالت میشه. تازه ما تعداد transition هاش رو هم حساب نکردیم.
آقای McMillan با یک ایدهی جدید میان و سعی میکنن که تمام state ها و transition های یک سیستم رو در قالب تعداد محدودی فرمول logical نمایش بدن. بنابراین مشکل اول رو حل کردن یعنی ما حالا میتونستیم به راحتی فضای حالت یک سیستم رو بازنمایی و ذخیره کنیم. در حقیقت ایشون اومدن و مسئلهی Graph Reachability رو به مسئلهی Satisfiablity فرمولهای logical تقلیل دادن.
از اونجایی که ما تو دپارتمانهای CS مون اثبات کردیم که مسئلهی SAT روی منطق گزارهای NP-complete هستش و روی منطق First-order تصمیم ناپذیره، پیش خودمون گفتیم که پس قرار نیست که یک SAT Solver ای روزی ساخته بشه که ما بهش فرمول لاجیکال رو بدیم و اون بهمون بگه که آیا SAT هست یا نه. منتهی یه سریا بودن که توی دپارتمان برق بودن و خیلی به حرفای ما باور نداشتن و شروع با ساختن SAT Solver ها کردند و اون جنبش باعث شد که امروزه SAT و SMT solver هایی داشته باشیم که بسیار خوب و قوی دارن کار میکنن.
به لطف جنبش دپارتمان برقیها امروزه کارای آقای McMillan بیشتر مورد توجه قرار گرفته. چرا که دانشمندان در اون زمان بر این باور بودند که راهکار آقای McMillan فقط مشکل اول مدل چکینگ کلاسیک رو حل کرده و مشکل دوم هنوز سر جاشه. ولی خب به لطف جنبش دپارتمان برقیها اون مشکل تا حد خوبی حل شده و اکثر تکنیکهای مدل چکینگ تو حوزه هاردور و سافتور بر اساس ایدههای ایشون ساخته میشه.
❤1
Forwarded from Persepolis Download Manager
Persepolis Download Manager 5.2.0 is released. We have made some positive changes. Please read the release notes.
@persepolisdm
@persepolisdm
Forwarded from DevTwitter | توییت برنامه نویسی
اگر به مباحث یادگیری تقویتی تو مدلهای زبانی علاقهدارید، دوره زیر از دانشگاه UCLA رو از دست ندید.
https://youtube.com/playlist?list=PLir0BWtR5vRp5dqaouyMU-oTSzaU5LK9r&si=bGoBe0-FCmbRa34f
@DevTwitter | <Reza Jafari/>
https://youtube.com/playlist?list=PLir0BWtR5vRp5dqaouyMU-oTSzaU5LK9r&si=bGoBe0-FCmbRa34f
@DevTwitter | <Reza Jafari/>
Forwarded from Ai Casts | Ai for Software
فقط یاد بگیرید!
عصر ai عصر یادگیریه
تو دوره ای هستیم که کارهای روتین رو agentهای هوش مصنوعی در چند دقیقه انجام میدن. چیزی که قبلا شاید روزها طول میکشید.
اما agentها هنوز خیلی کارها رو نمیتونن انجام بدن. یا بهتره بگم یه کار رو به هزار شیوه میتونن انجام بدن.
شما باید تصمیم بگیری که کدوم شیوه درسته و agentرو هدایت کنی به سمتش.
این تصمیم گیری ها بقدری تعدادشون زیاده و خاص منظوره هستن که نیازمند کسب تجربه و یادگیریه.
اگه قبلا ۲۰و ۳۰ درصد تایم به یادگیری مشغول بودید و ۷۰ درصد کار میکردید الان این موازنه باید کامل عوض بشه. چون کارهای سطح پایین و معمولی رو agentها به خوبی انجام میدن. مهم اینه که طراحی چطور باشه. ساختار چی باشه. در هر قسمت کد چه الگو و patternی انتخاب بشه.
دقیقا چند روزه دارم به چنین مثالی که در متن هست فکر میکنم. شما باید از agent بخواید که exponential backoff به کدتون اضافه کنه. و گرنه اگه بهش بگید make it more robust to errors اون هزارتا راه خوب و بد جلوی دست ش داره...
اینکه به agent بگیم code as a senior engineer تفاوتی در نتیجه ایجاد نمیکنه!! باید در مورد تک تک جزییات ازش بخواید که فلان کارو انجام بده.
حتی در مرحله قبل از کدنویسی هم میتونید در مورد چالش و تصمیمات تون مشورت کنید با ai و بعدش تصمیم نهایی تون رو در مرحله کدنویسی دقیق ازش بخواید اجرا کنه.
@gocasts
Ai for Software
@aicasts_ir
عصر ai عصر یادگیریه
تو دوره ای هستیم که کارهای روتین رو agentهای هوش مصنوعی در چند دقیقه انجام میدن. چیزی که قبلا شاید روزها طول میکشید.
اما agentها هنوز خیلی کارها رو نمیتونن انجام بدن. یا بهتره بگم یه کار رو به هزار شیوه میتونن انجام بدن.
شما باید تصمیم بگیری که کدوم شیوه درسته و agentرو هدایت کنی به سمتش.
این تصمیم گیری ها بقدری تعدادشون زیاده و خاص منظوره هستن که نیازمند کسب تجربه و یادگیریه.
اگه قبلا ۲۰و ۳۰ درصد تایم به یادگیری مشغول بودید و ۷۰ درصد کار میکردید الان این موازنه باید کامل عوض بشه. چون کارهای سطح پایین و معمولی رو agentها به خوبی انجام میدن. مهم اینه که طراحی چطور باشه. ساختار چی باشه. در هر قسمت کد چه الگو و patternی انتخاب بشه.
دقیقا چند روزه دارم به چنین مثالی که در متن هست فکر میکنم. شما باید از agent بخواید که exponential backoff به کدتون اضافه کنه. و گرنه اگه بهش بگید make it more robust to errors اون هزارتا راه خوب و بد جلوی دست ش داره...
اینکه به agent بگیم code as a senior engineer تفاوتی در نتیجه ایجاد نمیکنه!! باید در مورد تک تک جزییات ازش بخواید که فلان کارو انجام بده.
حتی در مرحله قبل از کدنویسی هم میتونید در مورد چالش و تصمیمات تون مشورت کنید با ai و بعدش تصمیم نهایی تون رو در مرحله کدنویسی دقیق ازش بخواید اجرا کنه.
@gocasts
Ai for Software
@aicasts_ir
Forwarded from Gopher Academy
نسخه ۱.۷.۰ پکیج env منتشر شد 🥳:
https://github.com/nasermirzaei89/env
چرا این پکیج رو نوشتم؟
- چون تقریبا همیشه اپلیکیشنهام درون Dockerfile قرار میگیره و صرفا گرفتن کانفیگ از متغیرهای محیطی کافیه
- به جای فقط متغیر رشتهای نوع های دیگه رو هم میخونه، از جمله bool، عدد، اسلایس...
توی نسخه جدید چی شده؟
- پکیج testify با چندتا تابع دستنویس جایگزین شده تا این کتابخونه Zero Dependency بشه
ای کسانی که از کتابخونه های بزرگ کانفیگ استفاده میکنید
ترکیب این کتابخونه و
github.com/joho/godotenv
بینظیره 😎
اما مثلا وقتی از
github.com/spf13/viper
استفاده میکنید با خودش نزدیک ۲۰ تا دیپندنسی داره، دیگه خود دانید 🫠
https://github.com/nasermirzaei89/env
چرا این پکیج رو نوشتم؟
- چون تقریبا همیشه اپلیکیشنهام درون Dockerfile قرار میگیره و صرفا گرفتن کانفیگ از متغیرهای محیطی کافیه
- به جای فقط متغیر رشتهای نوع های دیگه رو هم میخونه، از جمله bool، عدد، اسلایس...
توی نسخه جدید چی شده؟
- پکیج testify با چندتا تابع دستنویس جایگزین شده تا این کتابخونه Zero Dependency بشه
ای کسانی که از کتابخونه های بزرگ کانفیگ استفاده میکنید
ترکیب این کتابخونه و
github.com/joho/godotenv
بینظیره 😎
اما مثلا وقتی از
github.com/spf13/viper
استفاده میکنید با خودش نزدیک ۲۰ تا دیپندنسی داره، دیگه خود دانید 🫠
Forwarded from a pessimistic researcher (Kc)
بزرگوار اومد دقیقا نشست رو به روم و تا پرواز هم ۲ ساعت مونده. احتمال این که تو این زمان بپرم بغلش کنم از اینکه یه روزی تورینگ ببره خیلی بیشتره
Forwarded from Programming Notes
✺ OpenSource Spotlight: «torrra»
A Python tool that lets you find and download torrents without leaving your CLI.
→ github.com/stabldev/torrra
⁂ @remvze // #opensource #python #torrent
A Python tool that lets you find and download torrents without leaving your CLI.
→ github.com/stabldev/torrra
⁂ @remvze // #opensource #python #torrent
Forwarded from DevTwitter | توییت برنامه نویسی
خوشحالم که افزونه کوچک اما کاربردی که آماده کردم رو معرفی کنم
افزونه بررسی امنیت وردپرس آریا
هدف این افزونه شناسایی سریع مشکلات امنیتی با گزارش ساده و کاربردی هست.
قطعا تمام موارد امنیتی که در وبینار امنیت وردپرسم در آکادمی منظم اشاره کردم بررسی نمیشه
اما یک راهنمای عالی برای موارد امنیتی باقی مونده در سایت شماست.
برخی از موارد که در این افزونه بررسی میشه :
- هسته وردپرس:
دسترسی به wp-login.php، wp-admin، حساب "admin"، پیشوند پایگاه داده، HTTPS، تعداد مدیران، افزونه محدودکننده ورود، و xmlrpc.php.
- فایلها:
دسترسی به فایلهای حساس (wp-config.php، readme.html)، مکان و سطح دسترسی فایلها، اجرای PHP در uploads و wp-includes.
- دایرکتوریها:
فهرستبندی (Directory Listing) در wp-content، themes، plugins و uploads، و وجود index.php.
- تنظیمات:
ویرایشگر فایلها، حالت دیباگ، لاگ دیباگ، WP_CRON، مسیر uploads، نسخه PHP، و افشای دادههای REST API.
در مورد نحوه انتشارش هنوز تصمیم نگرفتم ؛ شاید بزودی از مخزن وردپرس منتشر بشه .
@DevTwitter | <Armin Jamali | آرمین جمالی/>
افزونه بررسی امنیت وردپرس آریا
هدف این افزونه شناسایی سریع مشکلات امنیتی با گزارش ساده و کاربردی هست.
قطعا تمام موارد امنیتی که در وبینار امنیت وردپرسم در آکادمی منظم اشاره کردم بررسی نمیشه
اما یک راهنمای عالی برای موارد امنیتی باقی مونده در سایت شماست.
برخی از موارد که در این افزونه بررسی میشه :
- هسته وردپرس:
دسترسی به wp-login.php، wp-admin، حساب "admin"، پیشوند پایگاه داده، HTTPS، تعداد مدیران، افزونه محدودکننده ورود، و xmlrpc.php.
- فایلها:
دسترسی به فایلهای حساس (wp-config.php، readme.html)، مکان و سطح دسترسی فایلها، اجرای PHP در uploads و wp-includes.
- دایرکتوریها:
فهرستبندی (Directory Listing) در wp-content، themes، plugins و uploads، و وجود index.php.
- تنظیمات:
ویرایشگر فایلها، حالت دیباگ، لاگ دیباگ، WP_CRON، مسیر uploads، نسخه PHP، و افشای دادههای REST API.
در مورد نحوه انتشارش هنوز تصمیم نگرفتم ؛ شاید بزودی از مخزن وردپرس منتشر بشه .
@DevTwitter | <Armin Jamali | آرمین جمالی/>
Forwarded from محتوای آزاد سهراب
چند بسته دارای مشکلات امنیتی در AUR منتشر شده بودند که با گزارش کاربران حذف شدن.
یک کاربر، روز چهارشنبه بستههای مخربی را در AUR با نامهای firefox-patch-bin، librewolf-fix-bin و zen-browser-patched-bin رو بارگذاری کرده که این بستهها در نهایت یک فایل اجرایی را از یک مخزن GitHub نصب میکردند که در حقیقت یک تروجان دسترسی از راه دور (RAT) بود.
توصیه میشه قبل از نصب هر بسته پروندهٔ PKGBUILD رو که AUR Helper بهتون نشون میده رو خوب مطالعه کنید، ببینید آیا کار عجیبی نمیکنه یا نه و بعد برنامه رو نصب کنید.
@SohrabContents
یک کاربر، روز چهارشنبه بستههای مخربی را در AUR با نامهای firefox-patch-bin، librewolf-fix-bin و zen-browser-patched-bin رو بارگذاری کرده که این بستهها در نهایت یک فایل اجرایی را از یک مخزن GitHub نصب میکردند که در حقیقت یک تروجان دسترسی از راه دور (RAT) بود.
توصیه میشه قبل از نصب هر بسته پروندهٔ PKGBUILD رو که AUR Helper بهتون نشون میده رو خوب مطالعه کنید، ببینید آیا کار عجیبی نمیکنه یا نه و بعد برنامه رو نصب کنید.
@SohrabContents
Forwarded from Geek Alerts
خبرهایی شنیده میشه که گوگل تصمیم داره اندروید و کروماواس رو یکی کنه، سامسونگیها قبلا با دکس نسخه دسکتاپی اندروید رو تجربه کردن، خود گوگل هم توی اندروید ۱۶ نسخه QPR1 یه حالت اولیه دسکتاپ برای اندروید گذاشته که البته فقط برای گوشیهای پیکسل هست.
کاربرها به خبر واکنش مثبت نشون دادن، چون توی دسکتاپ انتخابها خیلی کمه و اومدن یه نسخه دسکتاپی درست و حسابی از اندروید میتونه خیلیهارو سمت تغییر سیستمعامل بکشونه، به خصوص اینکه کروماواس یه سیستمعامل برای انجام کارهای معمولیه ولی اندروید میتونه یه سیستمعامل کامل برای اجرای وظایف سنگین و حتی بازی کردن باشه. [L]
🤓 @geekalerts
کاربرها به خبر واکنش مثبت نشون دادن، چون توی دسکتاپ انتخابها خیلی کمه و اومدن یه نسخه دسکتاپی درست و حسابی از اندروید میتونه خیلیهارو سمت تغییر سیستمعامل بکشونه، به خصوص اینکه کروماواس یه سیستمعامل برای انجام کارهای معمولیه ولی اندروید میتونه یه سیستمعامل کامل برای اجرای وظایف سنگین و حتی بازی کردن باشه. [L]
Please open Telegram to view this post
VIEW IN TELEGRAM
Forwarded from Geek Alerts
ردپای نسخه آلفای GPT-5 از OpenAI پیدا شده، اسم مدل توی فایل کانفیگ گیتهاب مربوط به ارزیابیهای بنچمارک داخلی OpenAI در حوزه زیستشناسی پیدا شده. این یعنی مدل جدید به جای اینکه روی مکالمات معمولی تست بشه، روی معیارهای تحقیقاتی زیستشناسی در حال آزمایشه.
اسم دقیق مدلش gpt-5-reasoning-alpha-2025-07-13 هست و تحلیل کردن که یه سری ویژگیها داره مثل قابلیت خودتعمیری در کارهای مرتبط با کد و منطق. [L]
🤓 @geekalerts
اسم دقیق مدلش gpt-5-reasoning-alpha-2025-07-13 هست و تحلیل کردن که یه سری ویژگیها داره مثل قابلیت خودتعمیری در کارهای مرتبط با کد و منطق. [L]
Please open Telegram to view this post
VIEW IN TELEGRAM
Forwarded from IRCF | اینترنت آزاد برای همه
بانک صادرات، ملی، ملت و پاسارگاد هک شد، صرافی نوبیتکس هک شد، ماهواره صدا و سیما هک شد، شرکت پست تهران هک شد، اما ما نمره قبولی گرفتیم!
ما که هیچ، اما شما آقای معاون قطعا تو ریاضی مردودی!
© a_kamandlou
🔍 ircf.space
@ircfspace
ما که هیچ، اما شما آقای معاون قطعا تو ریاضی مردودی!
© a_kamandlou
🔍 ircf.space
@ircfspace
Forwarded from Code Module | کد ماژول (𔓙)
سئوی قدرتمند در Next.js 🛠
سئو نقش بسیار مهمی در دیده شدن وبسایت و پروژه داره و شما به عنوان دولوپر، باید اطلاعاتی راجع به این موضوع داشته باشید. مقاله زیر نکته هایی برای سئوی بهتر در پروژه های نکستی جمع اوری کرده و یشنهاد میکنم، حتما مطالعش کنید.
🔗 Article
#seo #tips
@CodeModule
سئو نقش بسیار مهمی در دیده شدن وبسایت و پروژه داره و شما به عنوان دولوپر، باید اطلاعاتی راجع به این موضوع داشته باشید. مقاله زیر نکته هایی برای سئوی بهتر در پروژه های نکستی جمع اوری کرده و یشنهاد میکنم، حتما مطالعش کنید.
🔗 Article
#seo #tips
@CodeModule
DEV Community
Best Practices for SEO Optimization in Next.js Applications
Search Engine Optimization (SEO) is crucial for enhancing the visibility of any web application....
Forwarded from Geek Alerts
ایلان ماسک میگه دارن روی یه نسخه مناسب کودکان کار میکنن به اسم بیبی گراک، که اپ اختصاصی خودش رو داره، از زمانی که خبرش رو اعلام کرد واکنشهای مثبت و منفی زیاد داشته، مثلا بعضیها اعتقاد دارن بچهها همین الان دارن با مدلهای AI کار میکنن و باید نسخههای مناسب سنشون وجود داشته باشه.
شرکتهای دیگه هم دارن پروژههای مشابه رو جلو میبرن، یه نسخه فمیلی از gemini قرار هست بیاد، ولی واکنشهای منفی هم به بیبیگراک داشتید، اونم اینه که مدل گراک معروف به جذب بزرگسالان هست، حتی تو نسخههای جدید آواتارهای انیمهای اضافه کردن و کاربرها میگن برنامهای که تمرکزش روی نسخه بزرگساله نباید نسخه کودکان داشته باشه. [L]
🤓 @geekalerts
شرکتهای دیگه هم دارن پروژههای مشابه رو جلو میبرن، یه نسخه فمیلی از gemini قرار هست بیاد، ولی واکنشهای منفی هم به بیبیگراک داشتید، اونم اینه که مدل گراک معروف به جذب بزرگسالان هست، حتی تو نسخههای جدید آواتارهای انیمهای اضافه کردن و کاربرها میگن برنامهای که تمرکزش روی نسخه بزرگساله نباید نسخه کودکان داشته باشه. [L]
Please open Telegram to view this post
VIEW IN TELEGRAM
Forwarded from FuckingProgrammingBook
برای نزدیک به یک دهه، کتاب "Docker Deep Dive" به عنوان راهنمای اصلی برای توسعهدهندگان و متخصصان IT که به دنبال تسلط بر Docker هستند، شناخته شده است. با بیشترین تعداد بررسیها نسبت به هر کتاب دیگری در مورد Docker و سابقهای به عنوان محبوبترین کتاب Docker در بازار، این کتاب پرفروش آمازون منبع نهایی شما برای تسلط بر Docker است.
چه چیزی در ویرایش 2025 جدید است؟
این ویرایش جدید بهطور کامل با پیشرفتهای نوآورانه در اکوسیستم Docker بهروز شده است، از جمله:
- کانتینرهای Wasm (WebAssembly) - آینده بارهای کاری سریع، قابل حمل و با عملکرد بالا
- برنامههای چتبات LLM چندکانتینره - استقرار و مدیریت چتباتهای هوش مصنوعی با Docker Compose و Ollama
- محیط توسعه حرفهای، الگوهای برنامه، اشکالزدایی و اسکن آسیبپذیری با Docker Desktop، Docker Init، Docker Debug و Docker Scout
لینک کتاب
#book
@FuckingProgrammingBooks
📚📚 @PhiloLearn 📚📚
چه چیزی در ویرایش 2025 جدید است؟
این ویرایش جدید بهطور کامل با پیشرفتهای نوآورانه در اکوسیستم Docker بهروز شده است، از جمله:
- کانتینرهای Wasm (WebAssembly) - آینده بارهای کاری سریع، قابل حمل و با عملکرد بالا
- برنامههای چتبات LLM چندکانتینره - استقرار و مدیریت چتباتهای هوش مصنوعی با Docker Compose و Ollama
- محیط توسعه حرفهای، الگوهای برنامه، اشکالزدایی و اسکن آسیبپذیری با Docker Desktop، Docker Init، Docker Debug و Docker Scout
لینک کتاب
#book
@FuckingProgrammingBooks
📚📚 @PhiloLearn 📚📚
Forwarded from Gopher Academy
🔵 عنوان مقاله
cpuid 2.3: CPU Feature Identification for Go
🟢 خلاصه مقاله:
این مقاله راهنمایی عملی برای تعیین مشخصات فنی پردازنده مرکزی کامپیوتر (CPU) است که شامل تعداد هستههای فیزیکی و منطقی، خانواده پردازنده، و جزئیات مشابه میباشد. این راهنما از پردازندههای معماریهای x86/x64 و ARM64 پشتیبانی میکند و برای کاربرانی که به اطلاعات دقیق فنی سیستم خود نیاز دارند بسیار مفید است.
🟣لینک مقاله:
https://golangweekly.com/link/171864/web
➖➖➖➖➖➖➖➖
👑 @gopher_academy
cpuid 2.3: CPU Feature Identification for Go
🟢 خلاصه مقاله:
این مقاله راهنمایی عملی برای تعیین مشخصات فنی پردازنده مرکزی کامپیوتر (CPU) است که شامل تعداد هستههای فیزیکی و منطقی، خانواده پردازنده، و جزئیات مشابه میباشد. این راهنما از پردازندههای معماریهای x86/x64 و ARM64 پشتیبانی میکند و برای کاربرانی که به اطلاعات دقیق فنی سیستم خود نیاز دارند بسیار مفید است.
🟣لینک مقاله:
https://golangweekly.com/link/171864/web
➖➖➖➖➖➖➖➖
👑 @gopher_academy
GitHub
GitHub - klauspost/cpuid: CPU feature identification for Go
CPU feature identification for Go. Contribute to klauspost/cpuid development by creating an account on GitHub.
Forwarded from Geek Alerts
بریتانیا چند صد سال هست که مالیاتی بر درآمد خارج از کشور ندارن، یعنی اگه کسی اونجا بره و از کشورهای دیگه پول در بیاره تا زمانی که پول رو به بریتانیا نیاره نیازی نیست مالیاتی پرداخت کنه.
همین قانون باعث شد سرمایهداران زیادی به بریتانیا مهاجرت کنن، حالا قانون جدیدی گذاشتن که مالیات درآمدهای خارج از بریتانیا رو بگیرن و این باعث رفتن سرمایهدارانشون شده. تخمین زدن سرمایهدارهایی که دارن میرن سالی ۸ ملیارد پوند مالیات پرداخت میکردن.
یکی از آمارهای جالبی که منتشر میکنن اینه که افراد غیرمقیم (کسایی که دارن میرن) حدود ۰.۱۱ درصد از جمعیت بریتانیا رو تشکیل میدن، اما حدود ۱.۲۴ درصد از کل مالیاتهای این کشور رو پرداخت میکنن. البته بحثهایی هست که اجرای این قانون باعث رفتن تمام این افراد نمیشه. [L]
🤓 @geekalerts
همین قانون باعث شد سرمایهداران زیادی به بریتانیا مهاجرت کنن، حالا قانون جدیدی گذاشتن که مالیات درآمدهای خارج از بریتانیا رو بگیرن و این باعث رفتن سرمایهدارانشون شده. تخمین زدن سرمایهدارهایی که دارن میرن سالی ۸ ملیارد پوند مالیات پرداخت میکردن.
یکی از آمارهای جالبی که منتشر میکنن اینه که افراد غیرمقیم (کسایی که دارن میرن) حدود ۰.۱۱ درصد از جمعیت بریتانیا رو تشکیل میدن، اما حدود ۱.۲۴ درصد از کل مالیاتهای این کشور رو پرداخت میکنن. البته بحثهایی هست که اجرای این قانون باعث رفتن تمام این افراد نمیشه. [L]
Please open Telegram to view this post
VIEW IN TELEGRAM