فقط برنامه نویسا درکش میکنن :)

https://youtu.be/EFmxPMdBqmU?si=dkT-Ry9K_-5m8DxY

#️⃣ #video

➖➖➖➖➖➖➖➖➖

🥷 CHANNEL | GROUP

اکثر سطح هایی که گفته شده مثلا E6 و L6 و ICT5 نیاز به سابقه حدودا 8 تا 15 ساله داره معمولا افرادی که توی این سطح ها هستن 30 تا 40 ساله هستن که تجربه مدیریتی بالایی دارن و تیم های فنی رو هدایت می‌کنن، یعنی علاوه بر دانش فنی عمیق می‌تونن پروژه های پیچیده هم هدایت کنن.


@Linuxor

مایکروسافت یه دوره ی رایگان گذاشته برای یادگیری AI Agentها...
تمرکزش روی استفاده از تکنولوژی های مایکروسافته، مثال های متعددی داره و فریم ورکهای مختلفی رو برای ساخت ایجنت معرفی کردن...

https://github.com/microsoft/ai-agents-for-beginners


@Linuxor ~ Saeedam92

انتشار نسخه 15.2 از Next.js

که امکانات جذابی برای بهبود تجربه توسعه‌دهندگان به همراه دارد. در اینجا به خلاصه‌ای از ویژگی‌های جدید می پردازیم:

رابط کاربری جدید برای خطاها و بهبود استک‌ترِیس‌ها: یک رابط کاربری بهتر و طراحی‌شده برای نمایش خطاها که با دقت بیشتر به شما کمک می‌کند تا سریع‌تر مشکلات را شناسایی و رفع کنید.

استفاده از Streaming Metadata: حالا متادیتاهای async مانع از رندرینگ صفحات نمی‌شوند و بهبود زمان بارگذاری صفحات را به همراه دارد.

بهبود عملکرد Turbopack: زمان کامپایل تا 57.6% سریع‌تر و کاهش 30 درصدی مصرف حافظه در توسعه محلی.

تغییرات ویوها با استفاده از API جدید React View Transitions (آزمایشی): امکان انیمیت کردن بین ویوها و کامپوننت‌های مختلف در برنامه شما.

پشتیبانی آزمایشی از Node.js در Middleware(آزمایشی): قابلیت استفاده از Node.js در Middleware قبلا از این نمی شد از ویژگی های node مثلا package هاش در داخل middleware استفاده کرد .

https://nextjs.org/blog/next-15-2

@DevTwitter | <Alireza soltanian/>

🔶 استفاده دانشجویان از هوش مصنوعی، ناقوس مرگ برای تفکر انتقادی است.

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

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

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

#خبر

@TheRaymondDev

نونگاه اول؛
🔰 «سودای منطق»
درآمدی بر دست‌یارهای اثبات

همراه با ارائه نسخه ایرانی
توسط توسعه‌دهندگان:
حمیدرضا کلباسی؛
دانشجوی رشته هوش مصنوعی دانشگاه شریف
ارشیا معینی؛
دانشجوی رشته ریاضی دانشگاه شریف

📆 سه‌شنبه ۱۴ اسفند ۱۴۰۳ | ساعت ۱۳:۳۰
📍 دانشگاه صنعتی شریف، کلاس ۱ معاونت فرهنگی
🌐 پخش مجازی در اتاق مجازی ژرفا

🔸 چنانچه دانشجوی دانشگاه شریف نیستید اما مایل به حضور در برنامه هستید، لطفاً تا ساعت ۹ روز سه‌شنبه ۱۴ اسفند این فرم را تکمیل فرمایید.

🔻 توضیحات بیشتر

🆔 @Zharfa90

من خیلی این دوستان رو نمی‌شناسم منتهی با یک سرچی که کردم فکر کنم دارن روی این پروژه کار میکنن. اول از همه باید بگم که خیلی دمشون گرم. توسعه‌ی theorem prover کار بسیار سختیه. منتهی به نظرم سخت تر از اون رقابت کردنه. البته شاید کلمه‌ی رقابت خیلی درست نباشه ولی خب هست.
قبل از اینکه ادامه بدیم، اگر با مفهوم Theorem prover آشنا نیستید و نمی‌دونید که چه نقش مهمی می‌تونن توی علم software بازی کنند توصیه می‌کنم این پست‌های کانال رو بخونید :

"Most Successful Program Based on a Wrong Idea - بخش اول"
"Most Successful Program Based on a Wrong Idea - بخش دوم"
"برنامه‌نویسی با طعم شیرین اثبات"
"You Want Poof? I'll give you proof!"
"باگ نه تنها در سافتور، بلکه در ریاضیات"
"اِوِرِست"
"معرفی منابع برای یادگیری Program به همراه Proof"

و اما بعد،‌ من تا جایی که متوجه شدم اسم پروژه‌ی این دوستان بَبَعی هستش(البته شایدم حکیم). این نام‌گذاری احتمالا بخاطر coq، تئورم پرور معروفه. خب coq یا همون خروس نماد کشور فرانسه‌است. جایی که این تئورم پرور ساخته شده. منتهی ببعی بعید می‌دونم نماد ما باشه. کاش اسم بهتری انتخاب بشه. مهم تر از اسم، رقابته. ببینید وقتی صحبت از Theorem prover می‌کنیم، باید حواسمون باشه که در مقابل ما یک کوهی از Theorem prover ها وجود دارند مثل coq و Agda و Isabelle/HOL و Lean و ACL2 که هر کدومشون یک غول بلا رقیبن. مثلا coq سی و پنج ساله که داره دولوپ میشه. یا Agda بیست و شش ساله که داره دولوپ میشه و پشت هر کدوم از این‌ها یک community چند صد نفره وجود داره. خب اگر ما قراره یک Theorem prover دیگه بسازیم، نقطه‌ی اتکا مون رو اگر فقط بذاریم روی بومی بودنش، سرنوشتش به لینوکس بومی، اندروید بومی، و کلی چیز بومی که دیگه اثری ازشون نیست می‌پیونده. ببعی یا هر حیوون دیگه‌ای :)) باید چیزی داشته باشه که کامیونیتی رو مجاب به استفاده ازش کنه. اینکه حقیقتا چه نقطه‌ی برتری‌ای نسبت به دیگر prover ها داره برای من روشن نیست و امیدوارم که توی ارائه‌شون این قضیه رو روشن کنن. یا حتی توی readme و wiki پروژه‌شون بهش اشاره کنن.

اما یک توصیه برای اونایی که کله‌شون باد داره و میخوان دست‌شون رو به نوشتن یک Theorem Prover آلوده کنند. تمرکزتون رو بذارید روی توسعه‌ی یک prover خاص منظوره. به‌طور خاص هدف رو روی program verification بذارید. و به طور خاص برنامه‌های concurrent و distributed. الان F* و Iris و KeY رو در نظر بگیرید که مسیری شبیه رو طی می‌کنند. مثلا KeY برای وریفیکیشن برنامه‌های جاوایی که spec شون با JML نوشته شده توسعه یافته. یعنی ورودیش یک برنامه‌ی جاوا با annotation های JML هستش و اینو ترنسلیت می‌کنه به dynamic logic. زیر بناش هم یک first order theorem prover مبتنی بر sequent calculus داره. منتهی با همه‌ی این حرفا، کار خاصی روی برنامه‌های multi-thread جاوا نمی‌تونه انجام بده. اینجا یک گپی وجود داره که باید یکی پرش کنه. شاید اون یک نفر تو باشی.

البته که رئیس زبان تندی داره و یکمی باید چیل داون کنه :))) ولی نکات مهمی رو لابه‌لای دق و دلی هاش اشاره کرد

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

یادی کنیم از این وویس استاد روحانی :)

جا داره یادی کنیم از این وویس استاد روحانی :)

خطرات هوش مصنوعی (جالب!)

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

خیام | رباعیات | رباعی شمارهٔ ۱۰

امروز تو را دسترس فردا نیست
واندیشه فردات به جز سودا نیست
ضایع مکن این دم ار دلت شیدا نیست
کاین باقی عمر را بها پیدا نیست

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

### 10. گراف وابستگی‌ها

go mod graph

- کاربرد: یه گراف متنی از همه وابستگی‌ها و ارتباط بینشون رو نشون می‌ده (ماژول‌ها و نسخه‌هاشون).
- مثال:

  go mod graph
  

- خروجی: مثلاً main github.com/gorilla/mux@v1.8.0 نشون می‌ده که ماژول اصلی به mux وابسته‌ست.

---

### 11. چرا یه وابستگی استفاده شده

go mod why -m <module>

- کاربرد: توضیح می‌ده که چرا یه ماژول خاص توی پروژه‌ت لازمه و کدوم بخش از کدت بهش وابسته‌ست.
- مثال:

  go mod why -m github.com/gorilla/mux
  

---

### 12. پاک کردن کش ماژول‌ها

go clean -modcache

- کاربرد: کش محلی ماژول‌ها (توی ~/go/pkg/mod) رو پاک می‌کنه. اگه مشکلی با وابستگی‌ها داری، این می‌تونه کمک کنه.
- مثال:

  go clean -modcache
  

---

### 13. استفاده از vendor

go mod vendor

- کاربرد: یه پوشه vendor/ توی پروژه‌ت می‌سازه و همه وابستگی‌ها رو اونجا کپی می‌کنه (برای سازگاری با پروژه‌های قدیمی یا بدون اینترنت).
- مثال:

  go mod vendor
  

- نکته: بعدش می‌تونی با go build -mod=vendor ازش استفاده کنی.

---

### 14. تغییر نسخه Go

go mod edit -go=<version>

- کاربرد: نسخه گولنگی که پروژه‌ت باهاش سازگاره رو توی go.mod تغییر می‌ده.
- مثال:

  go mod edit -go=1.21
  

---

### 15. حذف یه وابستگی خاص

go mod edit -droprequire=<module>

- کاربرد: یه ماژول خاص رو از لیست وابستگی‌های go.mod حذف می‌کنه (بدون چک کردن استفاده).
- مثال:

  go mod edit -droprequire=github.com/old/repo
  

---

### 16. حذف جایگزینی (replace)

go mod edit -dropreplace=<old-path>

- کاربرد: یه قانون جایگزینی رو از go.mod پاک می‌کنه.
- مثال:

  go mod edit -dropreplace=github.com/old/repo
  

---

### 17. اجرا با حالت فقط خواندنی

go build -mod=readonly

- کاربرد: پروژه رو می‌سازه بدون اینکه go.mod یا go.sum رو تغییر بده (برای تست سازگاری).
- مثال:

  go build -mod=readonly
  

---

### 18. دانلود نسخه خاص بدون تغییر go.mod

go get <module>@<version>

- کاربرد: فقط نسخه خاصی از یه ماژول رو دانلود می‌کنه، ولی اگه توی کدت استفاده نشه، توی go.mod ثبت نمی‌شه (با go mod tidy پاک می‌شه).
- مثال:

  go get github.com/gorilla/mux@v1.7.0
  

---

جمع‌بندی:
دستورات بالا بیشتر برای مدیریت پیشرفته‌تر یا رفع مشکلات خاص کاربرد دارن. مثلاً go mod graph و go mod why برای دیباگینگ وابستگی‌ها عالی‌ان، یا go mod vendor برای سناریوهای آفلاین. اگه بخوای روزمره کار کنی، همون دستورات قبلی (مثل go get و go mod tidy) کافین، ولی اینا توی پروژه‌های بزرگ یا پیچیده به کار میان.

➖➖➖➖➖➖➖➖
👑 @gopher_academy

به به!

دوره ی 5 روزه ی گوگل (رایگان) برای یادگیری GenAI برای developerها...

سرفصل هاش بسیار جالبه و شخصا سعی میکنم برم این دوره رو...

یه پروژه ی پایانی هم بتون میدن که انجام بدین...

https://rsvp.withgoogle.com/events/google-generative-ai-intensive_2025q1

@DevTwitter | <Sam92/>