یکم میخوام راجب Transfer learning صحبت منم.
احتمالا برای همتون جالب باشه

شبیه به Python که برای نوشتن کد خوانا و قابل نگهداری PEP8 داره، جاوااسکریپت چیزی داره؟ airbnb اومده همونو برای JS بیاره.
یه توافق غیررسمی بین برنامه نویس ها درباره اینکه چطوری کد جاوا اسکریپت بزنیم خوبه‌!

github.com/airbnb/javascript

@Linuxor

وردپرس ۶.۹ قراره تغییرات و امکانات جالبی داشته باشه:

- بدون پوسته پیش‌فرض (اولین‌بار از ۲۰۱۰)
- فرستادن دیدگاه روی بلوک‌ها
- حالت ویرایش ساده‌تر توی ویرایشگر
- شروع بازطراحی مدیریت
- بهبود Interactivity API و HTML API
- تمرکز روی سرعت، تجربه کاربری و تجربه مدیریت محتوا

@DevTwitter | <Morteza Geransayeh/>

خب بریم سراغ نتایج StackOverFlow Developer Survey سال ۲۰۲۵
فقط یک چهارم developerها از شغل فعلی شون رضایت دارن
استفاده کنندگان از AI agentها اکثرا معتقدند که productivityشون زیاد شده
بیشتر developerها به نتایج AI tools اعتماد ندارن که بنظرم منطقی هم هست
استفاده از python هفت درصد نسبت به پارسال رشد داشته که از بقیه زبان ها بیشتر بوده

همچنان Visual Studio Code و Visual Studio پرکاربردترین development environmentها هستند
از most admiredها بگیم. این نشون میده که برنامه نویسا هر چیزی رو چقدر ستایش میکنن و دوست دارن (لزوما به معنی استفاده و کاربرد نیست)
زبان Rust و بعدش Gleam و Elixir و Zig تحسین برانگیزترین(محبوب ترین) زبان ها هستند.
تحسین برانگیزترین مدل AI هم claude sonnet شده هر چند که most desired یا اونی که بیشتر استفاده میشه یا قصد استفاده دارن ChatGPT بوده
Claude Sonnet is the most admired AI model
گزارش کامل ش رو میتونید تو این لینک ببینید
https://survey.stackoverflow.co/2025

@DevTwitter | <Hossein Nazari/>

🔶 به یاد Neofetch

#لینوکس

@TheRaymondDev

🔶 ‏از تاریخ 30 جولای 2025 (۸ مرداد ۱۴۰۴)، پلاگین محبوب Laravel Idea برای PhpStorm کاملاً رایگان شد!

#لاراول

@TheRaymondDev

نسخه جدید ollama یک اپلیکیشن هم بهت میده
دیگه نیازی به open webui نداری و مهمتر از اون؛ تغییر مسیر دیفالت مدل‌ها دیگه دردسر بزرگ نخواهد بود.

اگر خواستید با:
qwen3:30b-a3b-instruct-2507-q4_K_M

تستش کنید (ورژن جدید qwen3 این هست)

گوگل یه کتابخونه داره به اسم MediaPipe که همه الگوریتمای بینایی کامپیوتر رو به‌صورت real-time رو داره، از تشخیص چهره بگیر تا دست. همچنین کراس‌پلتفرمه که به‌راحتی می‌شه توی اپ‌های موبایل یا حتی وب استفاده‌ش کرد، بدون نیاز به GPU یا سخت‌افزار قوی.

mediapipe.dev

@Linuxor

تلگرام‌اکس و تاپیک

«موضوع‌ها» یا «Topics» که قابلیّتی نوین در پیام‌رسان تلگرام به شمار می‌آید، هنوز هم در کارخواه تلگرام‌اکس، به طور رسمی، پشتیبانی نمی‌شود.
کماکان برای استفاده از این قابلیّت، می‌توانید بعد از اطمینان از فعّال بودن (پروفایل مربّعی‌شکل)، پیام ایجاد تاپیک رو پیدا کنید و بعد، روی بخش View thread، ضربه بزنید. حالا تاپیک مدنظر رو دارید و می‌تونید داخلش پیام بدید یا همچنین می‌تونید روی پیام ایجاد تاپیک، ریپلای بزنید.
اگه قادر به انجام این کار نبودید، پیوند یه پیام توی اون تاپیک رو کپی کنید، داخل یه جا (مثل پیام‌های ذخیره شده) بفرستید و بعد روش ضربه بزنید تا وارد تاپیک مربوطه، بشید.
این ترفند از کارکرد اصلی تاپیک – که با ریپلای روی پیام‌های ایجاد تاپیک و با استفاده از قابلیّت پیشین replies تلگرام – کار می‌کنه.


#note

تمام ابزار ها و چیز هایی که باید SysAdmin بدونه:

github.com/kahun/awesome-sysadmin

@Linuxor

@CleverDevs - @CleverDevsGp

با این ابزار می‌تونید توی ترمینالتون ویدیو پلی کنید !

mpv.io

@Linuxor

مولانا | دیوان شمس | رباعیات | رباعی شمارهٔ ۱۳۶

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

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

این بلاگ از کمپانی ZenML اومده و ۲۸۷ مورد case study جدید از کمپانی های مختلف گذاشته که چطور از AI و بخصوص Gen AI استفاده میکنند. همه را خلاصه کرده و لینک به مقاله/بلاگ اصلی اون کمپانی را هم گذاشته. اینها کلی مثال واقعی از دیپلوی کردن سیستم های AI هست در محیط پروداکشن. که میتونید تو کمپانی های خودتون یا مسائل خودتون الگو بگیرید. خودش یکجور آمادگی برای مصاحبه های شغلی هم هست.
Link: https://zenml.io/blog/llmops-in-production-287-more-case-studies-of-what-actually-works…

@DevTwitter | <Mehdi Allahyari/>

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

The software industry today is characterized by complex systems, such as parallel and distributed programs. These systems consist of a finite number of computational units that execute concurrently and synchronize with each other through message-passing, shared memory, or both, featuring increasingly integrated components and sophisticated functionalities. The scale and complexity of such systems are growing rapidly, and the pace of development has never been faster. However, this progress comes at a cost. With larger and more complex software, issues like unreliability, vulnerabilities, and unintended behaviors also increase. Ensuring the safety and correctness of parallel and distributed systems is as important as adding new features.

Formal methods are one of the prominent techniques that can provide theoretical guarantees and empirical tools to tackle these problems. In fact, formal methods offer formal specification languages that enable us to precisely model the behavior of each concurrent computational unit in a system, as well as the safety properties that need to be satisfied. Moreover, they provide sound, complete, and optimal decision procedures that allow us to perform automated reasoning over the formal specifications. Overall, they offer a push-button rigorous formal framework that can be applied to verify such systems.

In this introductory talk, we will motivate the audience regarding the need for formal methods in the daily software industry, followed by a discussion of some classical techniques that fall under the concept of model checking, which is an automated reasoning technique for verifying software. We will cover stateful enumeration, symbolic, and stateless techniques in model checking over guarded command languages, finite-state automata, and temporal logic formalisms. Finally, we will discuss state-of-the-art techniques in formal verification frameworks for concurrent and distributed programs and conclude the session with some open problems.

یکی از سوالای مفهومی کوبر اینکه وقتی یه دیپلویمنت اپلای میکنی چه اتفاقی میوفته تا اون پاد ایجاد بشه و قابل دسترس باشه
https://github.com/jamiehannaford/what-happens-when-k8s

چرا abstraction اشتباه در کد، از کد تکراری بدتر است:
https://sandimetz.com/blog/2016/1/20/the-wrong-abstraction

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