میزکار کی‌دی‌ای برای اصلاح ظاهر برنامه‌های GTK و یک‌دست کردن ظاهر اون‌ها با استفاده از موتور KDE GTK Configurator پوستهٔ برنامه‌های GTK رو دست‌خوش تغییراتی می‌کنه.

به صورت پیش‌فرض از پوستهٔ Breeze برای برنامه‌های GTK هم استفاده میشه. اگر قصد سفارشی‌سازی میزکار رو دارید برای تغییر این پوستهٔ باید در تنظیمات به آدرس زیر برید:

Colors & Themes > Application Style > Configure Gnome/GTK Application Style

و از اون‌جا پوستهٔ GTK رو تغییر بدید یا یک پوستهٔ جدید دریافت کنید.

#نکات_میزکار

@KDE_fa

محمد حسین خیلی خوشحالم که بعد کلی زحمتی که کشیدی تونستی پلتفرم خفنتو بیاری بالا :)❤️
ارزوی بهترینا رو برات داریم 😉

یکی از جاسوسان اسراییل رو که گرفتن

تخصصش خنک سازی سرور ها و دیتاسنتر ها بوده

کسانی که که توی دیتاسنتر ها کار میکنن واقعا شغل های حساسی دارن

فقط 120 میلیون دلار به ایشون بابت جاسوسی داده شده

بهترین راهکار برای مقابله با این جاسوسی ها

ساخت دیتاسنتر های خصوصی و شخصی هست

تصور کنید کسانی که در دیتاسنتر ها در لایه های بالاتری هستن چقدر شغلشون حساس تره

حالا فکر میکنید چقدر به یک شبکه کار توی دیتاسنتر حقوق میدن ؟

حداکثر 25 الی 30 تومن میخواید داده های 80 میلیون نفر رو با 25 میلیون تومن در ماه نگه دارید ؟

@poinair پوینا

It Takes a Village: Bridging the Gaps between Current and Formal Specifications for Protocols

https://arxiv.org/pdf/2509.13208
#paper #Foster #Basin #McMillan #Namjoshi #2025

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

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

#برنامه_نویسی #هوش_مصنوعی #شغل #پادکست

این مقاله دیروز رفته روی arxiv و به نظرم با توجه به تمپلیتی که استفاده شده و ددلاین کنفرانس‌ها، برای POPL 2026 سابمیت کردند و هفته گذشته هم review ها رو گرفتند و مثبت بوده و تصمیم گرفتند قبل انتشار رسمی، یک preprint منتشر کنند. اما از این حرفا که بگذریم آدمای خیلی خفنی توی مقاله هستند. توی کانال قبلا در مورد خیلی از این آدما من جمله McMillan صحبت کردم اگر اسماشون رو سرچ کنید میتونید بخونید پست‌هاشون رو. تمام آدمایی که تو این مقاله هستند، کارهای درخشانی در فرمال کردن شبکه داشتن. حالا چه مدل‌سازی و توصیف فرمال پروتکل‌های شبکه، چه توسعه‌ی روش‌های فرمال برای آنالیز این پروتکل‌ها مثل verification و performance measurement. این مقاله که بیشتر survey طور هستش میاد و توضیح میده که تلاش‌های هر کدوم از این افراد امروزه به کجا رسیده، فریمورک‌هایی که توسعه دادند رو معرفی می‌کنه، و دست آوردهاشون رو توی برخی از مباحث شبکه مثل TLS، 5G-AKA، QUIC، CHORD، SIP، SDN توضیح میده. بیشتر تمرکزش روی بحث Formal Specification هستش تا آنالیز و به عبارتی میخوان توضیح بدن که تبدیل کردن spec های RFC ها و IEEE Standard ها به توصیفات فرمال چه چالش‌هایی رو داشته.
آخر این مقاله میان و گپ موجود رو معرفی میکنند که به درستی اشاره میکنند به Incompleteness و عدم Scalability.

ببینید دلیل اینکه امروزه با وجود سال‌ها ممارست و تلاش تو حوزه‌ی فرمال متدز، ما میبینیم که کامیونیتی و اینداستری استقبال گسترده‌ای از Testing و Fuzzing میکنند همین دو ضعفی هست که دوستان اشاره کردند. وقتی میگیم روش‌ها اکثرا Incomplete هستند یعنی خبری از اثبات درستی نیست. خب چرا باید بیایم این همه روش‌های سخت و پیچیده توسعه بدیم برای آنالیز و تهش هم بگیم خبری از گارانتی و اثبات نیست؟ خب به جاش میایم روش‌های ساده‌ی Test و Fuzzing رو پیش میبریم. نکته دوم Scalability هستش. شما ببینید مثلا یه سرویس cloudy خیلی ساده‌ای که یک شرکت رده میانی توی صنعت داره استفاده میکنه پشتش میلیون‌ها خط کده که بالا ۱۰۰ تا Thread دارن اجراش میکنن. وقتی تکنیک‌های ما نمیتونن حتی از پس ۱۰ تا Thread هم بربیان، چه توقعی داریم که بتونه از پس case های صنعتی هم بربیاد؟

متأسفانه خواب غفلتی که خیلی از اهالی فرمال درش غرق شدند اینه که فراموش کردند روش‌هایی که توسعه میدن باید استفاده هم بشه. چیزی که ما توی توسعه‌ی JMC خیلی بهش توجه داریم، یعنی Scalability.

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

میخوام توی پست بعدی interperter رو معرفی کنم به نام nogil که یه فورک از cpython هست که ادعا میکنه گیل رو حذف کرده
و خب موفق هم شده ولی یکسری مشکلات هست که بهش میپردازیم

#خبر

ساختمان سازمان ملی هوش مصنوعی اجاره داده می‌شود.

خلاصه‌ای از مدیریت حکومتی در کشور؛
واقعاً دیگه امیدی به بهبود نیست وگرنه چند پاراگراف اعتراض می‌نوشتم.

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

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

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

دارم یه پلی‌گراند RAG می‌نویسم: ۵ معماری از Naive تا Multimodal. کدها مرحله‌به‌مرحله می‌ره تو گیت‌هاب و درباره کاربرد هرکدوم می‌نویسم.
https://github.com/nonfungi/universal-rag-architectures.git
میدونم کار خاصی نمیکنم و اینم بیشتر واسه رزومه هست
ولی استار دادن شما همیشه خوشحال کننده هست

@DevTwitter | <Inirafaila/>

#موقت

از دوستانی که وین زندگی می‌کنند میخواستم چند تا راهنمایی بگیرم. راستش من دسامبر میخوام بیام اونجا و نمیدونم کجاهاش بهتره برای گرفتن هتل و کلا کارایی که میشه اونجا انجام دادم. ممنون میشم پیام بدین و تجربیاتتون رو با من به اشتراک بگذارید ❤️

برای وب‌اپ روی موبایل یه pdf viewer ساختیم که سبک و بهینه‌ست . برای نمایش فایل‌های pdf روی گوشی طراحی شده و بهتون امکان زوم و دارک مود هم برای مطالعه راحتتر میده url رو هم داینامیک از urlbar میخونه و میتونید همه جا ازش استفاده کنید

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

https://github.com/ERFouX/PDFouX-Viewer

@DevTwitter | <ERFouX/>

📍مطالب یکم مهم تر کانال

1- ربات و کانال شعر روزانه

2- زیر نویس دوتایی برای فیلم ها

3- ربات فرواردر و کانال مطالب مرتبط با برنامه نویسی و تکنولوژی

4- دسته بندی مطالب شبکه های اجتماعی

5- وبسایت نمایش آی‌پی + سورس کد

6- ربات دانلود از توییتر

7- وبسایت نمایش دامنه های تازه آزاد شده ir


کانال ها:

Perfect Dev Post:
@dev_perfects

GitHub Trending:
@github_trending_daily

Daily Poems:
@iipoem


📌 @abolfazl_devs

دارم سوالات مصاحبه node.js backend رو میخوندم این سه تا منابع خوبی هستن بنظرم جالب بود نکات خوبی رو گفته بود

https://geeksforgeeks.org/node-js/node-interview-questions-and-answers/

https://medium.com/@hoainho.work/mastering-nestjs-10-advanced-questions-every-senior-backend-engineer-must-conquer-thnk-and-grow-6aba7f063b2a

https://github.com/gasangw/NestJS-Interview-Questions-And-Answers?tab=readme-ov-file#what-is-nestjs

@DevTwitter | <0miD/>

ترفند تست‌نویسی (برای دستور check:fqcn در میکروسکوپ)

البته فراموش کردم بگم که ما فقط به phpunit نیاز داشتیم و از توابع کمکی تست فریم ورک استفاده‌ای نکردیم.

@codino