با آپدیت سیستم
توی دسکتاپ گنوم
بنظر میرسه افزونه‌های جدیدی اضافه شدن
( یا شاید من تازه دیدمشون )

🔸Forge
دقیقا شبیه i3 پنجره‌ها مدیریت میکنه

🔸System Monitor
وضعیت CPU و RAM و Swap و شبکه رو نمایش میده
چیزی که قدیم وجود نداشت
و مجبور بودی بخاطرش افزونه بیرونی نصب کنی

🔍 راهنمای جامع نصب و راه‌اندازی کارت‌خوان SD در لینوکس
(پشتیبانی از Debian, Fedora, Arch Linux)
📌 اگر کارت‌خوان SD یا رم‌ریدر لپ‌تاپ شما در لینوکس شناسایی نمی‌شود، این راهنما مشکل را حل می‌کند!

🛠 مراحل نصب و پیکربندی
۱. نصب بسته‌های ضروری
برای پشتیبانی از فرمت‌های مختلف (exFAT, NTFS, FAT32) و مدیریت دستگاه‌های ذخیره‌سازی، این بسته‌ها را نصب کنید:

✅ دبیان (Debian/Ubuntu):

sudo apt update && sudo apt install exfatprogs usbutils udisks2 ntfs-3g

✅ فدورا (Fedora):

sudo dnf install exfatprogs udisks2 fuse-exfat ntfs-3g usbutils

✅ آرچ لینوکس (Arch/Manjaro):

sudo pacman -S exfatprogs udisks2 ntfs-3g usbutils

نکته:
🔹بسته exfatprogs جایگزین exfat-utils شده و پشتیبانی بهتری دارد.
🔹برای دسترسی آسان‌تر، کاربر را به گروه storage اضافه کنید:

sudo usermod -aG storage $USER

📌 نکته: پس از اجرای این دستور، حتماً لاگ‌اوت و لاگین مجدد کنید.
📌نویسنده: حسین سیلانی
اخبار و آموزش های بیشتر در کانال:
https://t.iss.one/linuxtnt

الان دیدم مایکروسافت یه ویرایشگر متن داره به اسم ادیت، برای محیط کامندلاین (ترمینال)، به تازگی نسخه استیبل هم داده، با زبان راست درست شده، میگن پیچیدگی های ادیتورهای مدال مثل ویم رو نداره، حجم باینریش هم خیلی کمه، لینک گیتهابش:
https://github.com/microsoft/edit

@DevTwitter | <حمید کرد/>

امروز، روز جهانی دوست خوب و مهربون منه :))

@DevTwitter

چرا Ionic از بقیه فریمورک‌ها مثل React Native یا Flutter دوست داشتنی تره؟ چون به‌جای زبان جدید، از HTML، CSS و JavaScript استفاده می‌کنه که همه بلدن! این یعنی یادگیری کمتر، توسعه سریع‌تر و انبوه پلاگین‌های آماده برای دسترسی به امکانات گوشی. مخصوصاً برای کسایی که تو دنیای وب حرفه‌ای هستن و می‌خوان زود اپ موبایل بسازن.

github.com/ionic-team/ionic-framework

@Linuxor

#استخدام
#تمام_وقت #دورکاری

🏷 نام مجموعه:
استارتاپ گفتا – دستیار هوشمند فروش و پاسخگویی

🪑 پوزیشن شغلی:
🔹 توسعه‌دهنده فرانت‌اند میدلول (mid level Front-end Developer)

🔗 مهارت‌های شغلی:

تسلط به HTML، CSS، JavaScript

تسلط به فریم‌ورک‌ React

تجربه کار با Tailwind CSS یا سایر ابزارهای مدرن طراحی رابط کاربری

آشنایی با مفاهیم REST API و ارتباط با بک‌اند

دقت بالا در جزئیات طراحی و تجربه کاربری (UX)

روحیه کار تیمی، یادگیری سریع و مسئولیت‌پذیری

🌐 شرح وظایف:

توسعه صفحات وب اپلیکیشن گفتا

پیاده‌سازی بخش‌های جدید با همکاری تیم بک‌اند

بهینه‌سازی تجربه کاربری و سرعت بارگذاری صفحات

رفع باگ‌ها و نگهداری کد موجود

همکاری در طراحی ماژول‌های جدید و ارائه پیشنهادهای بهبود

🔥 مزایا:

حقوق منصفانه

انعطاف در زمان‌بندی و محل کار

فرصت یادگیری و رشد فردی


📌 نوع همکاری:
تمام وقت

📰 ارسال رزومه:
📩 t.iss.one/goftaai_admin

📍 محل فعالیت:
تهران یا دورکاری

☢️ وضعیت آگهی:
فعال

گوگل از هوش مصنوعی ویدیوساز Veo 3 رونمایی کرد

گوگل امروز در جریان I/O 2025 از هوش مصنوعی ویدیوساز Veo 3 با قابلیت ساخت صدا رونمایی کرد. این سرویس هوش مصنوعی از امروز همراه با سرویس اشتراکی جدید AI Ultra در اختیار کاربران در ایالات متحده قرار می‌گیرد.

@DevTwitter | <Digiato/>

حافظ | غزلیات | غزل شمارهٔ ۴۵۶

نوبهار است در آن کوش که خوش دل باشی
که بسی گل بدمد باز و تو در گل باشی
من نگویم که کنون با که نشین و چه بنوش
که تو خود دانی اگر زیرک و عاقل باشی
چنگ در پرده همین می دهدت پند ولی
وعظت آن گاه کند سود که قابل باشی
در چمن هر ورقی دفتر حالی دگر است
حیف باشد که ز کار همه غافل باشی
نقد عمرت ببرد غصه دنیا به گزاف
گر شب و روز در این قصه مشکل باشی
گر چه راهی ست پر از بیم ز ما تا بر دوست
رفتن آسان بود ار واقف منزل باشی
حافظا گر مدد از بخت بلندت باشد
صید آن شاهد مطبوع شمایل باشی

#حافظ | گنجور
📍@iipoem

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

شهرام ایزدی مدیر بخش xr گوگل، عینک گوگل رو با زبان فارسی تست کرد

با این عینک شما میتونید با طرف مقابلتون( هر زبانی که بلد هست) بدون اینکه هیچ زبان دیگه ی بلد باشید در لحظه مکالمه کنید

هوش مصنوعی به مترجم های زبان و کلاس های اموزش زبان هم داره میگه خدافظ

@DevTwitter | <Alfie/>

به پلاسما ۶.۳.۹۰ (بتای پلاسما ۶.۴.۰) به‌روزرسانی کردم.


@SohrabContents

ویژگی‌های جالبی بهش اضافه شده، اسپکتکل به‌روز شده و الان اگر دوتا مانیتور داشته باشید تولبار اسکرین‌شات با حرکت نشانگر وارد مانیتور دوم میشه.


حالا یکمی باهاش کار می‌کنم ببینم چیا بیشتر برای ارائه داره :)


@SohrabContents

سیستم مانیتور (پایشگر سامانه) خیلی بهتر شده، ظاهرش زیباتر شده و همینطور الآن هم مصرف پردازنده گرافیکی رو نشون میده.


@SohrabContents

افزونه آب و هوای کی‌دی‌ای :)


@SohrabContents

واقعاً این جوابه وقتی می‌خوای یه ابزار بسازی که هم سبک باشه، هم سریع، هم واکنش‌گرا، Dear ImGui یه UI لایبرری آنی (Immediate Mode) برای C++ئه که به طرز عجیبی ساده و قابل کنترله.

برای وقتی که می‌خوای یه پنل دیباگ، یه ادیتور یا حتی یه ابزار شخصی‌سازی درست کنی، بدون اینکه بری تو دردسر UI کلاسیک.

github.com/ocornut/imgui

@Linuxor

نمونه زاییدن AI وقتی کدبیس بزرگه و قرار نیست یه توپ که می‌خوره در و دیوار رو کد بزنه
https://github.com/dotnet/runtime/pull/115762

@DevTwitter | <Arman/>

از آمفی تئاتر Arles تا پل‌های Saarbrücken
صرفا بهانه‌ای برای گفتگو
——————————

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

ترم که شروع شد من باید هفته‌ای یک جلسه کلاس tutorial برگزار میکردم و تقریبا اینطوری بود که روپاک میومد سر کلاس ایده‌ی کلی مبحث رو میگفت و جزئیات و اثبات‌ها میموند برای کلاس tutorial. یه مشکل خیلی بزرگ این بود که هیچ تکست‌بوکی وجود نداشت که مطالب رو پوشش بده و با یک حجم زیادی از مقالات مواجه بودیم که هر کدوم دیدگاه و سبک فرمال خودشون رو داشتن و یک دست کردنشون خیلی چالش بود. ولی خب تا یه حد خوبی تونستیم از پسش بربیایم و اون ترم تونستم هر چیزی که رو میخوام سر کلاس توضیح بدم رو دست نویس بنویسم. دانشجوها هم خیلی درس رو دوست داشتن و جلسه‌ی آخر که ازشون فیدبک خواستیم خیلی از سبک و جدید بودن مطالب تعریف کردن. تصمیم گرفتم که این ترم بشینم برای این درس Lecture notes بنویسم و کی میدونه شاید یه روزی کتاب هم شد. یه دیدگاه خیلی خوبی که روپاک تو دوران دکتری بهم داده اینه که همیشه باید به وریفیکیشن برنامه‌های Large-scale فکر کنم و اگر قراره ایده‌هام فقط از پس یک سری toy example بربیان بدرد نمیخوره. راستش رو بخواید اصلا برای همین بود که مطالب جدید بود. توی این Lecture notes ها هم میایم راجع به ایده‌های کلاسیک صحبت می‌کنیم و هم سعی ‌میکنم به فریمورک خودمون یعنی DPOR تعمیمش بدیم.

یکی از این ایده‌ها Induction in Compositional Model Checking هستش. این ایده میاد روی سیستم‌های concurrent ای که پراسس‌های روی یک ordered set ای تعریف شدن، یک reduction تعریف می‌کنه و بعد سعی‌ میکنم روی اون دومین reduce شده induction بزنه. نکته‌ی جالبش اینه که برای انجام قدم‌های induction برخلاف اکثر روش‌ها که از deduction استفاده میکنند از model checking استفاده میکنه، به عبارت دیگه برای بررسی یک مدل روی دومین بی‌نهایت از یک روشی که روی مدل‌های finite عمل میکنه استفاده میکنیم و چی از این بهتر! منتهی بدی این روش اینه که نمیشه کامل automate اش کرد و لازمه که برنامه‌نویس برای انجام reduction یک سری information مشخص کنه. ما میخوایم این نیاز رو رفع کنیم و سوار DPOR کنیمش و بریم سراغ وریفیکیشن سیستم‌های infinite state.

یه چیز خیلی جالبی که بهش برخوردم اینه که تعدادی از مقالات خوب این حوزه توی یک کنفرانسی چاپ شدن به اسم CHARME که من هیچ اسمی ازش نشنیده بودم. خلاصه نظرم رو جلب کرد و یکم پی‌اش رو گرفتم. متوجه شدم که کنفرانس CHARME یا همون Advanced Research Working Conference on Correct Hardware Design and Verification Methods اولین بار سال ۱۹۹۳ توی شهر Arles فرانسه برگزار شده و بعد از اون هر سه چهار سال یک بار توی اروپا برگزار میشده. نکته جالبی که خیلی نظرم رو جلب کرد به خودش این بود که آدمای خیلی خفن و مقالات خیلی کلیدی‌ توی این سری از کنفرانس‌ها چاپ شدن و خیلی‌هاشونم در مورد وریفیکیشن سافتور بودن، منتهی چون اون زمان برای اینکه بتونی ایده‌های وریفیکیشنی رو بفروشی می‌باید می‌چسبوندیش به هاردور، اینا هم اومدن و مقالاتشون رو اینجا چاپ کردن. این کنفرانس آخرین بار سال ۲۰۰۵ توی شهر خودمون Saarbrücken برگزار شد و دیگه خبری ازش نشد.

ما از این دست کنفرانس‌ها زیاد داریم که مثلا اون موقع یه چیزی روی بورس بوده و اومدن اسم کنفرانس‌ رو بر اساس اون انتخاب کردن ولی چون خیلی اعتبار گرفته نیومدن اسمش رو تغییر بدن ولی مورد کاربریش رو چرا. یه مثال خوب کنفرانس OOPSLA هستش که مخفف Object-Oriented Programming, Systems, Languages & Applications هستش ولی خب الان یکی از کنفرانس‌های تاپ حوزه‌ی PL/FM هستش و شاید فقط ۵ درصد مقالاتش مربوط به OOP باشه.

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