درباره اوبونتو بیشتر از همیشه بدانید! راهنمای کامل + نکات طلایی

ترجمه صفحه راهنمای اوبونتو با جزئیات بیشتر:

در پست زیر، البته با جزییات کامل تر, راهنمای و مرور سریع بر توزیع لینوکس اوبونتو خواهید دید.
ترجمه و تهیه: حسین سیلانی

https://learninghive.ir/ubuntu/

امروز پروژه Termix را دیدم که امکان مدیریت سرور را به شما می‌دهد و Self-Hosted هست. شاید در شرایط خاص، برای برخی کاربران گزینه مناسبی باشد.
یادم هست Netdata از اینجا شروع کرد و کم‌کم بزرگ شد و الان حتی نسخه cloud خود را دارد با کلی کاربر.
https://github.com/LukeGus/Termix

@DevTwitter | <VAHID NAMENI/>

شبیه ساز کنسول NES قسمت سوم ادامه ساخت CPU 6502
تو این قسمت قراره پیاده‌سازی کامل پردازنده 6502 رو انجام بدیم و در آخر هم یه برنامه اسمبلی واقعی روش اجرا کنیم. با نحوه کار کلاک پردازنده آشنا می‌شیم، می‌بینیم حالت‌های مختلف آدرس‌دهی چه جوری کار می‌کنن و دستورهای اسمبلی رو چه طوری میشه اجرا و شبیه‌سازی کرد. حتی زمان چرخه‌ها (cycle timing)، اینتراپت‌های نرم‌افزاری و سخت‌افزاری و ریست کردن CPU رو هم شبیه‌سازی می‌کنیم.

خوبه قبلش یه آشنایی کوچیک با اسمبلی 6502 داشته باشید. تو اینترنت هم کلی منبع خوب براش پیدا میشه.

لینک گیتهاب:
https://github.com/rouzbehsbz/rusty-nes/

لینک حمایت
https://donito.me/devdrug

لینک یوتیوب 👇
https://www.youtube.com/watch?v=DTPuBYI9yq0

شبیه ساز کنسول NES قسمت سوم ادامه ساخت CPU 6502
تو این قسمت قراره پیاده‌سازی کامل پردازنده 6502 رو انجام بدیم و در آخر هم یه برنامه اسمبلی واقعی روش اجرا کنیم. با نحوه کار کلاک پردازنده آشنا می‌شیم، می‌بینیم حالت‌های مختلف آدرس‌دهی چه جوری کار می‌کنن و دستورهای اسمبلی رو چه طوری میشه اجرا و شبیه‌سازی کرد. حتی زمان چرخه‌ها (cycle timing)، اینتراپت‌های نرم‌افزاری و سخت‌افزاری و ریست کردن CPU رو هم شبیه‌سازی می‌کنیم.

خوبه قبلش یه آشنایی کوچیک با اسمبلی 6502 داشته باشید. تو اینترنت هم کلی منبع خوب براش پیدا میشه.

لینک گیتهاب:
https://github.com/rouzbehsbz/rusty-nes/

لینک حمایت
https://donito.me/devdrug

لینک یوتیوب 👇
https://www.youtube.com/watch?v=DTPuBYI9yq0

شبیه ساز کنسول NES قسمت سوم ادامه ساخت CPU 6502

تو این قسمت قراره پیاده‌سازی کامل پردازنده 6502 رو انجام بدیم و در آخر هم یه برنامه اسمبلی واقعی روش اجرا کنیم. با نحوه کار کلاک پردازنده آشنا می‌شیم، می‌بینیم حالت‌های مختلف آدرس‌دهی چه جوری کار می‌کنن و دستورهای اسمبلی رو چه طوری میشه اجرا و شبیه‌سازی کرد. حتی زمان چرخه‌ها (cycle timing)، اینتراپت‌های نرم‌افزاری و سخت‌افزاری و ریست کردن CPU رو هم شبیه‌سازی می‌کنیم.

خوبه قبلش یه آشنایی کوچیک با اسمبلی 6502 داشته باشید. تو اینترنت هم کلی منبع خوب براش پیدا میشه.

لینک گیتهاب:
https://github.com/rouzbehsbz/rusty-nes/

لینک حمایت
https://donito.me/devdrug

لینک یوتیوب 👇
https://youtube.com/watch?v=DTPuBYI9yq0

هر بک‌اند کار حرفه ای یه فرانت‌اند کار حرفه ای درون داره و هر فرانت‌اند کار حرفه ای یه بک‌اند کار حرفه ای درون داره

زیگموند فروید

@Linuxor

میزکار کی‌دی‌ای برای اصلاح ظاهر برنامه‌های 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/>