بخشی از کلاس سیستم عامل استاد روحانی در مورد ترجمه اصطلاحات فنی علم کامپیوتر :)))

فیلم های آموزشی هوش مصنوعی (فارسی) دکتر رامین رهنمون،117 قسمت همه در یکجا با حجم 767MB
#ویدئو #فیلم #هوش_مصنوعی
#Video #Artificial_Intelligence #ArtificialIntelligence #AI
@Computer_IT_Engineering

کتاب درس هوش مصنوعی Artificial Intelligence (فارسی) 406 صفحه، حسن عسکرزاده، دانشگاه پیام نور
#کتاب #هوش_مصنوعی
#Book #Artificial_Intelligence #ArtificialIntelligence #AI
@Computer_IT_Engineering

یادآوری
دوره های فیلم آموزشی در کانال:

https://t.iss.one/codinginaday/738

مدتیه روی یکی از پروژه هام کار می کنم و در این مسیر به یک Slider نیاز داشتم. در ابتدا به دلیل آشنایی قبلی، سراغ Swiper رفتم. اما زمانی که بحث ریسپانسیو مطرح شد، متوجه شدم کار کردن با اون پیچیدگی های زیادی داره و زمان زیادی رو صرف رفع مشکلاتش کردم، بدون نتیجه مطلوب.

بعد از بررسی گزینه های دیگه، با Keen-Slider آشنا شدم و تجربه کار با اون بسیار روان تر و ساده تر بود.


مزایای Keen-Slider:
- استفاده آسان و بدون دردسر
- سازگار با ساختارهای flex و grid (بدون ایجاد اختلال در عملکرد)
- مستندات کامل همراه با مثال های کاربردی
- ریسپانسیو کردن بسیار ساده و سریع


معایب Swiper (از نگاه من):
- پیچیدگی و دشواری در پیاده سازی
- مشکل جدی در سازگاری با flex و grid هنگام ریسپانسیو


در مجموع، تجربه من از کار با Keen-Slider بسیار مثبت بود و استفاده از اون رو به سایر توسعه دهنده ها توصیه می کنم.

@DevTwitter | <Sahand Feizi/>

تشخیص چهره توی مرورگر

تسنورفلو یکی از کتابخونه های خیلی معروف گوگله که علاوه بر پایتون نسخه جاوا اسکریپت و ساده شده هم داره، حالا یه عده اومدن باهاش یه کتابخونه تشخیص چهره ساختن، مثلا می‌تونید ببینید کجای ویدیو صورت وجود داره و یا چشم و مرز صورت رو باهاش پیدا کنید، حتی می‌تونید سن و جنسیت هم باهاش تشخیص بدید و یا اینکه صورت رو با یه صورت دیگه تطبیق بدید و ببینید این شخص همون شخصه یا نه.

ایده جالبیه برای مرورگر، بخش آموزش هم داره :

github.com/justadudewhohacks/face-api.js

@Linuxor

یه شغل عجیبی برای هوش مصنوعی ایجاد شده!

توی چند سال اخیر اکثر رشته های دیگه غیر کامپیوتری به سمت هوش مصنوعی اومدن، مثلا کسی که رشتش عمرانه می‌آد برای مقاله یا پایان نامش طراحی فلان سازه با هوش مصنوعی یا یه نفر دیگه می‌آد پیشبینی آلودگی هوای تهران رو برمی‌داره... این خودش شغل خاصی ایجاد نمی‌کنه مسئله جایی جالب می‌شه که این مسائل که پایان نامه و مقاله هستن و باید چندین ماه روشون وقت گذاشته بشه رو کامپیوتری ها توی چند ساعت پیاده می‌کنن ! و در ازاش پول خوبی هم می‌گیرن.

نکته تلخ اینه هیچ تولید علمی اینجا صورت نمی‌گیره و این هایپی که توی کامپیوتر و هوش مصنوعی رخ داده باعث توهم تولید علم توی رشته های دیگه شده.


@Linuxor

🚨🤯 حقیقت تکان‌دهنده 11 سپتامبر: آیا CIA از تروریست‌ها محافظت کرد؟! هرگز چیزی که به شما گفتند باور نکنید! 💥✈️

🎥 قسمت اول

این مستند به بررسی دقیق و افشاگرانه ابعاد پنهان حملات 11 سپتامبر می‌پردازد. با استناد به شهادت‌های کارکنان سابق سیا و اف‌بی‌آی و همچنین اسناد طبقه‌بندی‌نشده، این برنامه نشان می‌دهد که چگونه اطلاعات حیاتی درباره عاملان این حملات ممکن است از سوی نهادهای اطلاعاتی پنهان مانده باشد. این قسمت اول به نقش احتمالی سیا در محافظت از هواپیماربایان 11 سپتامبر و جلوگیری از اطلاع‌رسانی به اف‌بی‌آی می‌پردازد.

📽 زیرنویس فارسی
🧠 مناسب برای همه، چه مبتدی چه حرفه‌ای
🌐 ترجمه این ویدیو با وب‌سایت isega.ro انجام شده — حتماً سر بزن!
📌 برای دیدن قسمت‌های بعدی کانال رو دنبال کن:
📺🌐 @AiSegaro
🚀 هر روز یک قدم نزدیک‌تر به آینده‌ای هوشمند!
📤 بازنشر آزاد با ذکر منبع 🙏❤️

برام سوال شده ایرانی بودن فیچره یا باگه

مولانا | دیوان شمس | رباعیات | رباعی شمارهٔ ۵۷۲

بار دگر این خسته جگر باز آمد
بیچاره به پا رفت و به سرباز آمد
از شوق تو بر مثال جانهای شریف
سوی ملک از کوی بشر بازآمد

#مولانا | گنجور
📍@iipoem

با معرفی Signal در نسخه های جدید Angular، خیلی از توسعه دهندگان این سؤال رو دارن:

آیا باید RxJS رو کنار بذاریم و فقط از Signals استفاده کنیم؟


واقعیت اینه که هر کدوم از این ابزارها جایگاه خاص خودشون رو دارن:

- ابزار Signals: برای مدیریت state ساده، واکنش پذیری سریع و کدنویسی تمیز. وقتی با داده های لوکال و ساده (در سطح کامپوننت) سروکار دارید (مثل state یک فرم یا تغییرات UI) بهترین گزینه هستن.

- ابزار RxJS: وقتی پای جریان های داده پیچیده وسطه (WebSocket، استریم های real-time، درخواست های ترکیبی HTTP و …) همچنان قدرتمندترین ابزار باقی می مونه.


بهترین رویکرد اینه که در پروژه های واقعی ترکیب هوشمندانه ای از این دو داشته باشیم:

از Signals برای مدیریت state در سطح کامپوننت.
از RxJS برای کار با استریم های پیچیده و async.

اینطوری هم از سادگی Signals لذت می بریم و هم از قدرت RxJS.

@DevTwitter | <Farid Shahdad/>

الگوهای مهم Concurrency توی Golang
گاهی وقتا توی Go، کار کردن با concurrency فقط goroutine و channel نیست، یه سری الگو هست که وقتی یاد گرفتم واقعا دیدم کار رو راحت‌تر می‌کنن. مثلا یکی از اینا fan-out/fan-in هست. یعنی فرض کن چند تا goroutine داری که همزمان دارن یه سری داده رو پردازش می‌کنن (این میشه fan-out) و بعد همه‌شون خروجیشون رو میریزن توی یه کانال واحد تا جمع بشه (fan-in). من معمولا اینو وقتی استفاده می‌کنم که یه عالمه فایل یا دیتا دارم که میشه به صورت موازی روشون کار کرد. یه بار برای پردازش لاگ‌ها ازش استفاده کردم، هر worker یه بخش لاگ رو می‌خوند و پردازش می‌کرد و در نهایت همه‌ی نتایج توی یه جا جمع می‌شد.
یه الگوی دیگه که خیلی پرکاربرده worker pool ـه. به جای اینکه برای هر کاری یه goroutine جدا درست کنم، میام یه تعداد ثابت worker درست می‌کنم، مثلا ۵ تا، و همه‌ی کارها رو میریزم توی یه صف. workerها یکی‌یکی برمی‌دارن و انجام میدن. اینجوری هم منابع مصرف نمی‌شن هم قابل مدیریت‌تره. مثلا وقتی می‌خواستم ایمیل انبوه بفرستم، با worker pool خیلی راحت مدیریت کردم که سیستم منفجر نشه.
یه چیزی که همیشه باید حواسم باشه، محدود کردن هم‌زمانی یا همون bounded concurrency هست. مثلا وقتی می‌خوام به یه API خارجی درخواست بزنم، اگه بذارم ۱۰۰ تا goroutine همزمان بزنن، خیلی راحت اون سرویس منو بلاک می‌کنه یا خودم دچار timeout می‌شم. اینجاست که با یه کانال ساده یا semaphore جلوی تعداد درخواست‌ها رو می‌گیرم، مثلا نهایتا ۱۰ تا همزمان.
حالا مشکل بعدی backpressure ـه. این زمانی اتفاق میفته که producer سریع‌تر از consumer کار می‌کنه. مثلا تصور کن داری رویدادها رو از یه سیستم دیگه می‌گیری ولی پردازشت کندتره. اگه هیچ محدودیتی نباشه، حافظه‌ت پر میشه. من معمولا با کانال‌های buffer‌دار اینو مدیریت می‌کنم؛ وقتی بافر پر میشه producer گیر می‌کنه تا consumer کمی جلو بیفته. یه بار اینو توی سیستم لاگینگ پیاده کردم، به جای اینکه همه‌ی لاگ‌ها رو بدون کنترل بخوره، با backpressure سرعت متعادل شد.
یه چیز مهم دیگه cancellation ـه. بارها پیش اومده یه کاری رو استارت زدم ولی دیگه نیاز نبوده ادامه پیدا کنه. مثلا یه درخواست HTTP طولانی بود و کاربر صفحه رو بست. با context خیلی راحت میشه اینو مدیریت کرد، وقتی سیگنال cancel بیاد، همه‌ی goroutineهای مربوطه متوقف می‌شن. این باعث میشه منابع الکی مصرف نشن.
در نهایت هم timeout. خیلی وقتا نمی‌خوای یه عملیات تا ابد ادامه پیدا کنه. مثلا وقتی به یه سرویس بیرونی وصل میشی، میگی اگه بیشتر از ۲ ثانیه طول کشید، دیگه مهم نیست جواب چی بود، تمومش کن. این کار نه تنها سیستم رو responsive نگه می‌داره، بلکه از گیر کردن کل برنامه جلوگیری می‌کنه.

@DevTwitter | <Mohammad Salehi/>

ممنون میشم اگر شیر کنید :)

بعد میگید ما خلاقیت نداریم

🔶 تم مک برای گنوم ۴۵

[Gnome 45.8] MacOS Tahoe theme

#لینوکس

@TheRaymondDev

Master Thesis in Program Verification @ MPI-SWS
—————————————————

دوستانی که مشغول تحصیل در مقطع کارشناسی ارشد در اروپا هستند و علاقه‌مندند که تز ارشدشون رو تو حوزه‌ی Program Verification انجام بدند این پست رو بخونند :)

ما دنبال دانشجوی مستری هستیم که علاقه‌مند باشه تز کارشناسی ارشدش رو تو حوزه Program Verification در گروه ما انجام بده. پروژه‌ای که مد نظر داریم در راستای توسعه‌ی Java Model Checker (JMC) هستش. JMC یک Program Analyzer هستش که میتونه برنامه‌های مالتی تردی که به زبان Java نوشته میشن رو با استفاده از تکنیک Stateless Model Checking و یا Random Testing وریفای کنه. در مورد JMC توی کانال بسیار مفصل صحبت شده و با سرچ کردن این کلمه کلی مطلب بدست میارید. پروژه‌ای که مد نظر داریم توسعه‌ی الگوریتم TruSt برای وریفای کردن برنامه‌هایی هستش که از مکانیزم Rendezvous در راستای ارتباط thread ها با همدیگه استفاده میکنه. این مکانیزم در زبان Java با استفاده از wait و notify قابل پیاده‌سازی هستش. در قدم اول توی این پروژه، باید این مکانیزم رو با semantics مبتنی بر DPOR مدل کنیم. در ادامه مکانیک الگوریتم رو طوری تغییر بدیم که بتونه مکانیزم مدل شده رو به شکل sound، complete و optimal ساپورت کنه. در انتها این الگوریتم رو در JMC پیاده‌ میکنیم و روی case های real-world ارزیابی می‌کنیم.

دانشجوی عزیز باید تسلط خوبی در برنامه‌نویسی به‌طور خاص زبان Java داشته باشه و برنامه‌نویسی مالتی ترد هم بلد باشه. علاوه‌بر این با مفاهیم ابتدایی test و مهندسی نرم‌افزار و git هم آشنا باشه. اگر دانشجوی عزیز دل‌ ما model checking هم بلد باشه و هر گونه درس مرتبط یا پروژه‌ی مرتبط با verification یا model checking گذرونده باشه هم پوینت مثبت براش خواهد داشت.

دوستان عزیز و علاقه‌مند لطف کنند یک پیام همراه با cv برای بنده ارسال کنند.@joulook

ددلاین : ۱۵ اکتبر

توی این چند وقت اونقدر چیز میز یادگرفتم که سروقت همشو بهتون یاد میدم