Forwarded from جادی | Jadi
در ظاهر این چند وقت ممکنه کم کار به نظر بیام ولی خب ترکیبی است از چیزهای مختلف شامل عوض کردن شرکت و اینکه توش باید کلی چیز یاد بگیرم، سفر طولانی کم اینترنت اخیر و یه چیز دیگه که به خاطر گفتن اون بود که این پاراگراف رو شروع کردم!
در حال ساختن یه دوره گیت هستم برای مکتبخونه. سر رایگان کردن دوره ها در دوران جنگ درخواست کردن که اگر می شه این رو به جاش درست کنیم که حداقل به نفع مکتبخونه هم شده باشه و منم فکر کردم هل خوبی است که دوره جدیدی بسازم و شروع کردم. سعی می کنم سریع پیش برم ولی اینجا براتون پیشرفتش رو می ذارم که با هم پیش بریم یه جورهایی.
یه اسکریپت دارم که پیشرفت رو می سنجه بنا به محتوای در نظر گرفته شده. الان رسیدیم به ۴۴ و گاه گداری که پیش بره اینجا آپدیتش رو می ذارم.
Maktabkhoone GIT tutorial progress
███████░░░░░░░░░░ [44%]
در حال ساختن یه دوره گیت هستم برای مکتبخونه. سر رایگان کردن دوره ها در دوران جنگ درخواست کردن که اگر می شه این رو به جاش درست کنیم که حداقل به نفع مکتبخونه هم شده باشه و منم فکر کردم هل خوبی است که دوره جدیدی بسازم و شروع کردم. سعی می کنم سریع پیش برم ولی اینجا براتون پیشرفتش رو می ذارم که با هم پیش بریم یه جورهایی.
یه اسکریپت دارم که پیشرفت رو می سنجه بنا به محتوای در نظر گرفته شده. الان رسیدیم به ۴۴ و گاه گداری که پیش بره اینجا آپدیتش رو می ذارم.
Maktabkhoone GIT tutorial progress
███████░░░░░░░░░░ [44%]
Forwarded from Linuxor ?
Forwarded from DevTwitter | توییت برنامه نویسی
ویدیو جدید داریم در مورد استفاده رایگان از APIهای رایگان یه سری از مدلها...
https://www.youtube.com/watch?v=BxaVXOv356Y&list=PLwUWEGKy5kyNrPv05-Asbhm6g6S8_eRPb&index=13
@DevTwitter | <Ryan Heida/>
https://www.youtube.com/watch?v=BxaVXOv356Y&list=PLwUWEGKy5kyNrPv05-Asbhm6g6S8_eRPb&index=13
@DevTwitter | <Ryan Heida/>
Forwarded from Gopher Academy
🔵 عنوان مقاله
Twenty Talks from GopherCon UK 2025
🟢 خلاصه مقاله:
** پلیلیست YouTube با عنوان Twenty Talks from GopherCon UK 2025 مجموعهای از بیست ارائه تازهمنتشرشده از کنفرانس ماه گذشته Go در لندن را یکجا گرد آورده است. همهی Talks عمیق و فنیاند؛ اگر فقط یکی را میخواهید ببینید، پیشنهاد میشود “What’s Coming in Go 1” از Daniel Marti را از دست ندهید.
#Go #Golang #GopherConUK #YouTube #ConferenceTalks #SoftwareEngineering #BackendDevelopment
🟣لینک مقاله:
https://golangweekly.com/link/174632/web
➖➖➖➖➖➖➖➖
👑 @gopher_academy
Twenty Talks from GopherCon UK 2025
🟢 خلاصه مقاله:
** پلیلیست YouTube با عنوان Twenty Talks from GopherCon UK 2025 مجموعهای از بیست ارائه تازهمنتشرشده از کنفرانس ماه گذشته Go در لندن را یکجا گرد آورده است. همهی Talks عمیق و فنیاند؛ اگر فقط یکی را میخواهید ببینید، پیشنهاد میشود “What’s Coming in Go 1” از Daniel Marti را از دست ندهید.
#Go #Golang #GopherConUK #YouTube #ConferenceTalks #SoftwareEngineering #BackendDevelopment
🟣لینک مقاله:
https://golangweekly.com/link/174632/web
➖➖➖➖➖➖➖➖
👑 @gopher_academy
YouTube
GopherCon UK 2025
Discover all the sessions from GopherCon 2025, the premier Go programming conference bringing together the global Go community. Explore the latest in Go deve...
Forwarded from DevTwitter | توییت برنامه نویسی
This media is not supported in your browser
VIEW IN TELEGRAM
کمپانی OpenAI اومده و یک مجموعه ارزشمند پرامپت برای نقش ها/role های مختلف آماده کرده (به صورت template) که فقط کافیه کپی کنید و بسته به نیازتون تغییر بدید. این پرامپت ها با اینکه برای مدلهای openai ساخته شدند ولی روی مدلهای دیگه مثل gemini و anthropic هم خیلی عالی کار میکنند.
استفاده کنید و لذتش را ببرید.
https://academy.openai.com/public/tags/prompt-packs-6849a0f98c613939acef841c
@DevTwitter | <Mehdi Allahyari/>
استفاده کنید و لذتش را ببرید.
https://academy.openai.com/public/tags/prompt-packs-6849a0f98c613939acef841c
@DevTwitter | <Mehdi Allahyari/>
Forwarded from DevTwitter | توییت برنامه نویسی
هشدار به کاربران رمهای DDR5: در کمتر از ۲ دقیقه هک میشوید!
«آسیبپذیری سختافزاری» نوعی مشکل در ذات قطعات الکترونیکی است و برخلاف مشکلات نرمافزاری، اصلاحاش بسیار سختتر است.
حالا محققان دانشگاه ETH زوریخ و گوگل از یک «آسیبپذیری سختافزاری» پرده برداشتهاند که در قلب حافظههای رم (RAM) کمین کرده. این رخنه امنیتی که «ققنوس» نام گرفته نسل جدید حافظههای DDR5 و بهویژه تراشههای ساخت شرکت مشهور SK Hynix را هدف میگیرد.
آسیبپذیری ققنوس چیست؟
ققنوس مدل جدیدی از آسیبپذیری RowHammer است که از چند سال قبل شناخته شده بود. این آسیبپذیری به زبان ساده مثل ضربه زدن پیاپی به قفسه کتابها است. اگر به یک ردیف بیش از حد کوبیده شود، قفسه کناری هم تکان میخورد و کتابهای آن از جایش میافتند.
در چیپهای حافظه همین اتفاق رخ میدهد؛ با دستکاری مکرر یک ردیف، دادههای ردیفهای کناری دچار «بیت فلاپ» شده و بین صفر و یک جابجا میشوند. این تغییرات کوچک در ظاهر بیاهمیتاند، اما مهاجمان با همین روش به سیستم دسترسی غیرمجاز پیدا میکنند.
در ایران حافظههای RAM برند SK به دلیل قیمت مناسب سهم قابل توجهی از بازار را در اختیار دارند. همین باعث میشود بخشی از کاربران خانگی و حتی کسبوکارها ناخواسته در معرض ریسک قرار گیرند.
ققنوس از خاکستر برمیخیزد
سازندگان حافظه از این آسیبپذیری آگاه بودند و برای مقابله با آن سپرهای دفاعی مختلفی را طراحی کردند. اما حمله ققنوس نشان داد که این سپرها دیگر کافی نیستند.
ابزارهایی که قرار بود جلوی این نقص را بگیرند (مانند تصحیح خطای ECC) در برابر حملهی ققنوس کارایی ندارند.
روش جدید بهحدی خطرناک است که همه ۱۵ تراشه DDR5 آزمایششده (تولید سالهای ۲۰۲۱ تا ۲۰۲۴) در برابر آن تسلیم شدند. هکرها با استفاده از این تکنیک میتوانند:
• کلید اصلی را بدزدند: با تغییر دادن چند صفر و یک در جای درست، مهاجم به سیستم میقبولاند که مدیر اصلی (روت) است و کنترل کامل کامپیوتر را در دست بگیرد.
• قفلهای امنیتی را بشکنند: این حمله میتواند کلیدهای رمزنگاری را تخریب کرده و به اطلاعات حساس مانند رمزهای عبور دسترسی پیدا کند.
ترسناکتر اینکه تمام این فرآیند در کمتر از دو دقیقه (حدود ۱۰۹ ثانیه) روی یک سیستم استاندارد و بهروز قابل اجراست.
راه چاره چیست؟
مشکل اینجاست که ققنوس یک ضعف سختافزاری است، نه نرمافزاری. بنابراین نمیشود آن را با یک آپدیت ساده یا نصب وصله امنیتی برطرف کرد. تراشههایی که بین سالهای ۲۰۲۱ تا ۲۰۲۴ تولید شدهاند، این ضعف را در ذات خود دارند و برای سالها آسیبپذیر باقی خواهند ماند.
محققان توصیه کردهاند که نرخ بازخوانی (Refresh Rate) حافظه تا سه برابر افزایش یابد تا این روش خنثی شود، اما همین هم راهکاری موقت و تخصصی است.
@DevTwitter | <NooshDaroo/>
«آسیبپذیری سختافزاری» نوعی مشکل در ذات قطعات الکترونیکی است و برخلاف مشکلات نرمافزاری، اصلاحاش بسیار سختتر است.
حالا محققان دانشگاه ETH زوریخ و گوگل از یک «آسیبپذیری سختافزاری» پرده برداشتهاند که در قلب حافظههای رم (RAM) کمین کرده. این رخنه امنیتی که «ققنوس» نام گرفته نسل جدید حافظههای DDR5 و بهویژه تراشههای ساخت شرکت مشهور SK Hynix را هدف میگیرد.
آسیبپذیری ققنوس چیست؟
ققنوس مدل جدیدی از آسیبپذیری RowHammer است که از چند سال قبل شناخته شده بود. این آسیبپذیری به زبان ساده مثل ضربه زدن پیاپی به قفسه کتابها است. اگر به یک ردیف بیش از حد کوبیده شود، قفسه کناری هم تکان میخورد و کتابهای آن از جایش میافتند.
در چیپهای حافظه همین اتفاق رخ میدهد؛ با دستکاری مکرر یک ردیف، دادههای ردیفهای کناری دچار «بیت فلاپ» شده و بین صفر و یک جابجا میشوند. این تغییرات کوچک در ظاهر بیاهمیتاند، اما مهاجمان با همین روش به سیستم دسترسی غیرمجاز پیدا میکنند.
در ایران حافظههای RAM برند SK به دلیل قیمت مناسب سهم قابل توجهی از بازار را در اختیار دارند. همین باعث میشود بخشی از کاربران خانگی و حتی کسبوکارها ناخواسته در معرض ریسک قرار گیرند.
ققنوس از خاکستر برمیخیزد
سازندگان حافظه از این آسیبپذیری آگاه بودند و برای مقابله با آن سپرهای دفاعی مختلفی را طراحی کردند. اما حمله ققنوس نشان داد که این سپرها دیگر کافی نیستند.
ابزارهایی که قرار بود جلوی این نقص را بگیرند (مانند تصحیح خطای ECC) در برابر حملهی ققنوس کارایی ندارند.
روش جدید بهحدی خطرناک است که همه ۱۵ تراشه DDR5 آزمایششده (تولید سالهای ۲۰۲۱ تا ۲۰۲۴) در برابر آن تسلیم شدند. هکرها با استفاده از این تکنیک میتوانند:
• کلید اصلی را بدزدند: با تغییر دادن چند صفر و یک در جای درست، مهاجم به سیستم میقبولاند که مدیر اصلی (روت) است و کنترل کامل کامپیوتر را در دست بگیرد.
• قفلهای امنیتی را بشکنند: این حمله میتواند کلیدهای رمزنگاری را تخریب کرده و به اطلاعات حساس مانند رمزهای عبور دسترسی پیدا کند.
ترسناکتر اینکه تمام این فرآیند در کمتر از دو دقیقه (حدود ۱۰۹ ثانیه) روی یک سیستم استاندارد و بهروز قابل اجراست.
راه چاره چیست؟
مشکل اینجاست که ققنوس یک ضعف سختافزاری است، نه نرمافزاری. بنابراین نمیشود آن را با یک آپدیت ساده یا نصب وصله امنیتی برطرف کرد. تراشههایی که بین سالهای ۲۰۲۱ تا ۲۰۲۴ تولید شدهاند، این ضعف را در ذات خود دارند و برای سالها آسیبپذیر باقی خواهند ماند.
محققان توصیه کردهاند که نرخ بازخوانی (Refresh Rate) حافظه تا سه برابر افزایش یابد تا این روش خنثی شود، اما همین هم راهکاری موقت و تخصصی است.
@DevTwitter | <NooshDaroo/>
Forwarded from linuxtnt(linux tips and tricks) (hosein seilany https://seilany.ir/)
🔹لینوکس در هفته ای که گذشت:
🔸 در بهروزرسانی Fwupd 2.0.5 پشتیبانی از حسگرهای اثرانگشت ELAN بیشتری افزوده شده و برخی باگها بهخصوص در تعامل با EFI و دستگاههای Dell برطرف شدهاند.
🔸برنامه Firefox 135 اکنون میتونید دانلود کنید و در نسخه لینوکس از بستهبندی XZ برای فشردهسازی باینریها استفاده میکند (به منظور کاهش حجم و بهبود کارایی).
🔸 توزیع PorteuX 1.9 بر پایه اسلکور عرضه شده است، با هسته Linux 6.13 و افزوده شدن پشتیبانی از اجرای کانتینرها با Docker.
🔸 نسخه ۸.۱۱ از Ardour منتشر شد تا از یک باگ حیاتی در محیط لینوکس را رفع کند و پایداری در کار با فایلهای صوتی بهبود یابد.
🔸 در Firefox 136 وعده داده شده که پخش ویدئو بهصورت سختافزاری روی کارتهای گرافیک AMD فعال شود و امکان استفاده از زبانههای عمودی (vertical tabs) اضافه گردد.
🔸برنامه Thunderbird 135 نیز بهروزرسانی شد و مشابه Firefox، در نسخه لینوکس برای باینریها از بسته XZ استفاده میکند.
🔸 سیستمعامل Tails 6.12 با رفع مشکلات امنیتی در مدارهای Tor و مدیریت فضای ذخیرهسازی، بهبودهایی در محافظت و پایداری ارائه کرده است.
🔸برنامه LibreOffice 25.2 نسخه جدید مجموعه اداری متنباز است که با افزوده شدن قابلیتها و رفع ایرادها برای دانلود در دسترس قرار گرفته است.
🔸برنامه در KDE Gear 24.12.2 تعدادی از برنامههای مجموعه KDE مانند Dolphin، Itinerary و Tokodon بهبود یافتهاند تا عملکرد و تجربه کاربری بهتری ارائه دهند.
🔸برنامه Calibre 7.25 حالا امکان وارد کردن فایلهای KFX از دستگاههای Kindle 2024 را از طریق رابط MTP فراهم میکند، که کار مدیریت کتابها را آسانتر میسازد.
نویسنده: حسین سیلانی. خبرهای های بیشتر در:
https://learninghive.ir
🔸 در بهروزرسانی Fwupd 2.0.5 پشتیبانی از حسگرهای اثرانگشت ELAN بیشتری افزوده شده و برخی باگها بهخصوص در تعامل با EFI و دستگاههای Dell برطرف شدهاند.
🔸برنامه Firefox 135 اکنون میتونید دانلود کنید و در نسخه لینوکس از بستهبندی XZ برای فشردهسازی باینریها استفاده میکند (به منظور کاهش حجم و بهبود کارایی).
🔸 توزیع PorteuX 1.9 بر پایه اسلکور عرضه شده است، با هسته Linux 6.13 و افزوده شدن پشتیبانی از اجرای کانتینرها با Docker.
🔸 نسخه ۸.۱۱ از Ardour منتشر شد تا از یک باگ حیاتی در محیط لینوکس را رفع کند و پایداری در کار با فایلهای صوتی بهبود یابد.
🔸 در Firefox 136 وعده داده شده که پخش ویدئو بهصورت سختافزاری روی کارتهای گرافیک AMD فعال شود و امکان استفاده از زبانههای عمودی (vertical tabs) اضافه گردد.
🔸برنامه Thunderbird 135 نیز بهروزرسانی شد و مشابه Firefox، در نسخه لینوکس برای باینریها از بسته XZ استفاده میکند.
🔸 سیستمعامل Tails 6.12 با رفع مشکلات امنیتی در مدارهای Tor و مدیریت فضای ذخیرهسازی، بهبودهایی در محافظت و پایداری ارائه کرده است.
🔸برنامه LibreOffice 25.2 نسخه جدید مجموعه اداری متنباز است که با افزوده شدن قابلیتها و رفع ایرادها برای دانلود در دسترس قرار گرفته است.
🔸برنامه در KDE Gear 24.12.2 تعدادی از برنامههای مجموعه KDE مانند Dolphin، Itinerary و Tokodon بهبود یافتهاند تا عملکرد و تجربه کاربری بهتری ارائه دهند.
🔸برنامه Calibre 7.25 حالا امکان وارد کردن فایلهای KFX از دستگاههای Kindle 2024 را از طریق رابط MTP فراهم میکند، که کار مدیریت کتابها را آسانتر میسازد.
نویسنده: حسین سیلانی. خبرهای های بیشتر در:
https://learninghive.ir
Forwarded from Mr Python | مستر پایتون (حسین)
🟣 اسمبلی x86 - قسمت 4 : متمم ۲ و اعداد منفی
ما به طور روزمره اعداد منفی را به سادگی با گذاشتن یک علامت منفی (-) در سمت چپ آن ها مشخص میکنیم . سوال اینجاست که آیا این روش مناسب ذخیره اعداد منفی در کامپیوتر ها نیز میباشد ؟ جواب خیر است زیرا پیاده سازی این روش در کامپیوتر ها بهینه نیست و نیازمند سخت افزار گران تر و پیچیده تر میباشد .
در این ویدیو به بررسی چگونگی ذخیره سازی اعداد منفی در کامپیوتر ها و معرفی رایج ترین روش های آن ها خواهیم پرداخت .
00:53 روش های مختلف نگه داری اعداد منفی در کامپیوتر
02:46 روش مقدار-علامت (Sign-Magnitude)
13:24 روش متمم 1 (One's Complement)
17:52 روش متمم 2 (Two's Complement)
28:19 مفهوم علامت دار و بدون علامت بودن عدد
Aparat : https://www.aparat.com/v/bjj87ce
Youtube : https://youtu.be/ibe9MR2DgQg
🆔 : @MrPythonBlog | BOOST
ما به طور روزمره اعداد منفی را به سادگی با گذاشتن یک علامت منفی (-) در سمت چپ آن ها مشخص میکنیم . سوال اینجاست که آیا این روش مناسب ذخیره اعداد منفی در کامپیوتر ها نیز میباشد ؟ جواب خیر است زیرا پیاده سازی این روش در کامپیوتر ها بهینه نیست و نیازمند سخت افزار گران تر و پیچیده تر میباشد .
در این ویدیو به بررسی چگونگی ذخیره سازی اعداد منفی در کامپیوتر ها و معرفی رایج ترین روش های آن ها خواهیم پرداخت .
00:53 روش های مختلف نگه داری اعداد منفی در کامپیوتر
02:46 روش مقدار-علامت (Sign-Magnitude)
13:24 روش متمم 1 (One's Complement)
17:52 روش متمم 2 (Two's Complement)
28:19 مفهوم علامت دار و بدون علامت بودن عدد
Aparat : https://www.aparat.com/v/bjj87ce
Youtube : https://youtu.be/ibe9MR2DgQg
🆔 : @MrPythonBlog | BOOST
Forwarded from Gopher Academy
🔵 عنوان مقاله
Practical Networking Patterns in Go
🟢 خلاصه مقاله:
** این بخش تازه از Go Optimization Guide مجموعهای از ۱۳ راهنما را ارائه میکند که به شکل عملی ساخت اپلیکیشنهای شبکهای مقیاسپذیر با Go را پوشش میدهند. محورهای اصلی شامل دستیابی به «همزمانی بسیار بالا»، الگوهای مدیریت اتصال، کنترل فشار، زمانبندی و لغو عملیات، همراه با بنچمارکگیری واقعگرایانه و عیبیابی مبتنی بر سنجهها، پروفایلینگ و تِرِیسینگ است. همچنین درباره انتخاب و پیکربندی پروتکلهای انتقال، مدیریت خطا، اندازهگیری بافرها و تنظیمات سطح پایین برای پایداری و عملکرد بهتر توضیح میدهد. خروجی نهایی مجموعهای از الگوهای عملی و چکلیستهاست که به تیمها کمک میکند توان عملیاتی را افزایش دهند، تأخیرهای دُم توزیع را کاهش دهند و سرویسهای Go را در مقیاس بهصورت پایدار و شفاف اداره کنند.
#Go #Golang #Networking #Concurrency #Benchmarking #Performance #Scalability #Systems
🟣لینک مقاله:
https://golangweekly.com/link/174636/web
➖➖➖➖➖➖➖➖
👑 @gopher_academy
Practical Networking Patterns in Go
🟢 خلاصه مقاله:
** این بخش تازه از Go Optimization Guide مجموعهای از ۱۳ راهنما را ارائه میکند که به شکل عملی ساخت اپلیکیشنهای شبکهای مقیاسپذیر با Go را پوشش میدهند. محورهای اصلی شامل دستیابی به «همزمانی بسیار بالا»، الگوهای مدیریت اتصال، کنترل فشار، زمانبندی و لغو عملیات، همراه با بنچمارکگیری واقعگرایانه و عیبیابی مبتنی بر سنجهها، پروفایلینگ و تِرِیسینگ است. همچنین درباره انتخاب و پیکربندی پروتکلهای انتقال، مدیریت خطا، اندازهگیری بافرها و تنظیمات سطح پایین برای پایداری و عملکرد بهتر توضیح میدهد. خروجی نهایی مجموعهای از الگوهای عملی و چکلیستهاست که به تیمها کمک میکند توان عملیاتی را افزایش دهند، تأخیرهای دُم توزیع را کاهش دهند و سرویسهای Go را در مقیاس بهصورت پایدار و شفاف اداره کنند.
#Go #Golang #Networking #Concurrency #Benchmarking #Performance #Scalability #Systems
🟣لینک مقاله:
https://golangweekly.com/link/174636/web
➖➖➖➖➖➖➖➖
👑 @gopher_academy
goperf.dev
Practical Networking Patterns in Go - Go Optimization Guide
Patterns and Techniques for Writing High-Performance Applications with Go
Forwarded from a pessimistic researcher (Kc)
PhD in Formal Verification of Distributed Systems @ University of Groningen
———————————————————
یک پوزیشن بسیار خوب با حقوق عالی و استاد مستعد، در دانشگاهی قوی تو حوزهی وریفیکیشن.
📣 Fully-funded PhD position in our group at Bernoulli Institute (BI). Apply by October 20!
💡 We seek strong candidates interested in Formal Verification for Distributed Systems.
Possible research topics include: distributed algorithms, smart contracts, and quantum communication networks.
The candidate will be supervised by Rodrigo Otoni. Conditions of employment (4 years) follow the Collective Labour Agreement for Dutch Universities.
📌 Further information and application link:
https://tinyurl.com/5d343er5
———————————————————
یک پوزیشن بسیار خوب با حقوق عالی و استاد مستعد، در دانشگاهی قوی تو حوزهی وریفیکیشن.
📣 Fully-funded PhD position in our group at Bernoulli Institute (BI). Apply by October 20!
💡 We seek strong candidates interested in Formal Verification for Distributed Systems.
Possible research topics include: distributed algorithms, smart contracts, and quantum communication networks.
The candidate will be supervised by Rodrigo Otoni. Conditions of employment (4 years) follow the Collective Labour Agreement for Dutch Universities.
📌 Further information and application link:
https://tinyurl.com/5d343er5
Google
Rodrigo Otoni
University of Groningen - Cited by 107 - Automated Reasoning - Formal Methods - Model Checking
Forwarded from a pessimistic researcher (Kc)
پیرو مقالهی این هفته که قراره پنجشنبه یا جمعه در موردش صحبت کنیم و کمی توی این پست دربارهاش صحبت کردم، یک تعداد مقاله و کتاب روی ریپو مون قرار دادیم که با مراجعه به این لینک میتونید بهش دسترسی پیدا کنید :
https://github.com/yasaminashoori/CS_ReadingClub/tree/master/week3
از اونجایی که این مقاله درب ورود Lambda Calculus به دنیای Programming هستش، سعی کردم یک سری مقالهی مروری دربارهی تاریخچه زبانهای فانکشنال و دلیل مهم بودن و نیاز بهشون قرار بدم. همینطور چند مقالهی کلاسیک تو حوزه FP مثل مقالهی call by value call by name آقای پلاتکین و توسعههایی که روی ISWIM انجام شد مثل زبان PAL و GEDANKEN هم گذاشتم.
علاوهبر این سعی کردم دو تا کتاب خوب هم معرفی کنم برای علاقهمندان که دوست دارن از پایه وارد PL و FP بشن باهاش پیش برن ولی خب کتاب دوم رو هنوز نتونستم pdf اش رو براتون پیدا کنم، اما یکی از نویسندههای اون کتاب یعنی آقای Jonathan Aldrich یک سری فیلم داره بر اساس کتابش تهییه میکنه که لینک اون ویدئوها رو قرار دادم.
https://github.com/yasaminashoori/CS_ReadingClub/tree/master/week3
از اونجایی که این مقاله درب ورود Lambda Calculus به دنیای Programming هستش، سعی کردم یک سری مقالهی مروری دربارهی تاریخچه زبانهای فانکشنال و دلیل مهم بودن و نیاز بهشون قرار بدم. همینطور چند مقالهی کلاسیک تو حوزه FP مثل مقالهی call by value call by name آقای پلاتکین و توسعههایی که روی ISWIM انجام شد مثل زبان PAL و GEDANKEN هم گذاشتم.
علاوهبر این سعی کردم دو تا کتاب خوب هم معرفی کنم برای علاقهمندان که دوست دارن از پایه وارد PL و FP بشن باهاش پیش برن ولی خب کتاب دوم رو هنوز نتونستم pdf اش رو براتون پیدا کنم، اما یکی از نویسندههای اون کتاب یعنی آقای Jonathan Aldrich یک سری فیلم داره بر اساس کتابش تهییه میکنه که لینک اون ویدئوها رو قرار دادم.
Forwarded from Accio
Google in route to force everyone to use their malware-filled play store on Android. It might be so over
Article Link
Article Link
Forwarded from linuxtnt(linux tips and tricks) (hosein seilany https://seilany.ir/)
کرنل لینوکس 6.17 منتشر شد.
جزئیات کامل کرنل در پست کامل در قسمت بلاگ وب سایت
https://learninghive.ir/linux-kernel-6-17
جزئیات کامل کرنل در پست کامل در قسمت بلاگ وب سایت
https://learninghive.ir/linux-kernel-6-17
Forwarded from a pessimistic researcher (Kc)
PhD in AI/ML + X @ Max Planck Society
——————————————————
دوستان این پروگرامی که میخوام معرفی کنم جدیده و برای اولین بار توسط مکس پلانک داره اجرا میشه. جامعه مکس پلانک قصد داره که یک موسسه تو حوزه AI بزنه و تا رسیدن به اون مرحله داره یک سری کارای مقدماتی میکنه. یکی از این کارها راه اندازی یک نتورک تو حوزه AI بین موسسههای خودشه. اسم این نتورک هستش Max Planck Artificial Intelligence Network (MP-AIX) که بین جامعهی مکس پلانک و ELLIS شکل گرفته. طی اولین اقدام این نتورک قراره که تحت یک پروگرام، دانشجوی دکتری بگیرن و اون دانشجو در صورت قبولی با دو سوپروایزر کار میکنه. اولی متخصص حوزهی AI/ML خواهد بود و دیگری متخصص هر حوزهای که شما بخواید که اسمش رو میذاریم X. این اساتید میتونن از بین تمام موسسات MPG مثل MPI-SWS, MPI-INf, MPI-IS, MPI-SP و کلا هر MPI ای که شما دلتون بخواد انتخاب بشن. علاوه بر اساتید MPI با استادای ELLIS هم میتونید کار کنید. پورتال این پروگرام از ۱ اکتبر باز میشه و ددلاینش هم ۳۱ اکتبر هستش. حتما حتما با دقت تمام بخونید بخش application اش رو و اون چیزایی که ازتون خواسته رو توی sop داشته باشید.
اینجا توضیحات دربارهی پروگرام و ساختارش رو نوشته. اینجا هم پورتال اپلایشون هستش.
با آرزوی موفقیت برای دوستان
——————————————————
دوستان این پروگرامی که میخوام معرفی کنم جدیده و برای اولین بار توسط مکس پلانک داره اجرا میشه. جامعه مکس پلانک قصد داره که یک موسسه تو حوزه AI بزنه و تا رسیدن به اون مرحله داره یک سری کارای مقدماتی میکنه. یکی از این کارها راه اندازی یک نتورک تو حوزه AI بین موسسههای خودشه. اسم این نتورک هستش Max Planck Artificial Intelligence Network (MP-AIX) که بین جامعهی مکس پلانک و ELLIS شکل گرفته. طی اولین اقدام این نتورک قراره که تحت یک پروگرام، دانشجوی دکتری بگیرن و اون دانشجو در صورت قبولی با دو سوپروایزر کار میکنه. اولی متخصص حوزهی AI/ML خواهد بود و دیگری متخصص هر حوزهای که شما بخواید که اسمش رو میذاریم X. این اساتید میتونن از بین تمام موسسات MPG مثل MPI-SWS, MPI-INf, MPI-IS, MPI-SP و کلا هر MPI ای که شما دلتون بخواد انتخاب بشن. علاوه بر اساتید MPI با استادای ELLIS هم میتونید کار کنید. پورتال این پروگرام از ۱ اکتبر باز میشه و ددلاینش هم ۳۱ اکتبر هستش. حتما حتما با دقت تمام بخونید بخش application اش رو و اون چیزایی که ازتون خواسته رو توی sop داشته باشید.
اینجا توضیحات دربارهی پروگرام و ساختارش رو نوشته. اینجا هم پورتال اپلایشون هستش.
با آرزوی موفقیت برای دوستان
Forwarded from DevTwitter | توییت برنامه نویسی
من کپچای آرکپچا رو دیدم، خوب بود ولی پولی بود، بنابراین یکی خودم نوشتم:
https://github.com/mojtabaasadi/urcapcha
@DevTwitter | <Moji/>
https://github.com/mojtabaasadi/urcapcha
@DevTwitter | <Moji/>
Forwarded from محتوای آزاد سهراب (Sohrab)
برای ویدئو جدید چه کنیم؟
Final Results
26%
قسمت جدید آموزش پارچ
18%
ساخت یک ایمیج کاستوم از ووید
28%
ساخت یک ایمیج کاستوم از دبیان
29%
کانفیگ هایپرلند برای پارچ هایپرلند
Forwarded from دستاوردهای یادگیری عمیق(InTec)
یک عنوان شغلی هم داریم
من از ۹۰٪ اینا فرار میکنم؛ (مخصوصاً اونایی که مثل نونواها هرروز صبح، ظهر و شب پست میذارن) چرا ؟
چون اینا دقیقاً
مثلاً طرف مواردی راجب ورزش نوشته (تا دلت بخواد غلط داره)
الان یک مطلبی رو خوندم، طرف راجب تراپی و هوش مصنوعی نوشته بود!
تخصص تراپی رو که ندارم و کسی هم کنارم نیست که سوال کنم؛ اما توی هوش مصنوعی فقط کلمات تخصصی رو توی فرمت درست و براساس احتمال قرار گرفتن کنار هم گذاشته!
جدی میگم؛ سر و ته جمله مشخص نیست؛ ۸۰٪ مطلبش راجب
بدترین بخشش اینه که ۱۵ تا از کانکشنهای بنده توی لینکدین، این پست رو لایک کردند (منم آنفالو کردم؛ برخلاف خیلیها من وقتی کانکشنهام چیزی رو لایک یا کامنت میذارند وقت میذارم و میخونم.)
Content Writer من از ۹۰٪ اینا فرار میکنم؛ (مخصوصاً اونایی که مثل نونواها هرروز صبح، ظهر و شب پست میذارن) چرا ؟
چون اینا دقیقاً
Halucination دنیای واقعی ما هستند؛ دقیقاً مشخص نیست تخصص طرف چیه و راجب چی حق داره حرف بزنه یا بنویسه ولی راجب همه چیز شبه تخصص مینویسه.مثلاً طرف مواردی راجب ورزش نوشته (تا دلت بخواد غلط داره)
الان یک مطلبی رو خوندم، طرف راجب تراپی و هوش مصنوعی نوشته بود!
تخصص تراپی رو که ندارم و کسی هم کنارم نیست که سوال کنم؛ اما توی هوش مصنوعی فقط کلمات تخصصی رو توی فرمت درست و براساس احتمال قرار گرفتن کنار هم گذاشته!
جدی میگم؛ سر و ته جمله مشخص نیست؛ ۸۰٪ مطلبش راجب
LLM (هوش مصنوعی از نظر اینا) اشتباه هست، یعنی حتی اگر مطلب رو به ChatGpt هم میداد ایراداش رو میگرفت براش.بدترین بخشش اینه که ۱۵ تا از کانکشنهای بنده توی لینکدین، این پست رو لایک کردند (منم آنفالو کردم؛ برخلاف خیلیها من وقتی کانکشنهام چیزی رو لایک یا کامنت میذارند وقت میذارم و میخونم.)