🔰دستورات مفید برای بدست آوردن اطلاعات از یک بسته نصب شده روی سیستم

فرض کنید برنامه uget را نصب کردید
برای این کار از دستورات زیر می توان استفاده کرد.کافی است بعد از نام دستور نام بسته خود را وارد نمایید:


dpkg -L  uget
whereis  uget
which uget
dpkg —status  uget
dpkg —listfiles uget
dpkg —search  uget

🔰دستورات مفید برای بدست آوردن اطلاعات از یک بسته نصب شده روی سیستم

فرض کنید برنامه uget را نصب کردید
برای این کار از دستورات زیر می توان استفاده کرد.کافی است بعد از نام دستور نام بسته خود را وارد نمایید:


dpkg -L  uget
whereis  uget
which uget
dpkg —status  uget
dpkg —listfiles uget
dpkg —search  uget

گیت و کامیت کردن مال پروژه های اصولیه ما شب ایده به ذهنمون برسه صبح قبل اینکه خورشید بالا بیاد اپلیکیشن بالا اومده

@Linuxor

این خانومه دوتا شوهراشم برنده جایزه تورینگ بودن چه خوب تورشون انداخته


این پستو خواستم نزارم دیدم قافیه سنگینه گفتم بزارم (تور انداختن اصلا کلمه خوبی نیست) 😂

@Linuxor

دورف (مدیر تلگرام) امروز نوشته:

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

جدا از دیگران، در اِنزوا، آهسته آهسته
شدم با خویشتن ناآشنا آهسته آهسته

سرَم با عشقِ او گرم است و همچون شمع می‌گِریَم
که آبَم می‌کند این غُصّه‌ها آهسته آهسته

چه در دل دارم از عشقش؟، حَیا اِی‌ کاش بگذارد
که گویم با لبَش این راز را آهسته آهسته

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

به من گفته‌ست از هم چند روزی بی خبر باشیم
همین یعنی جدایی مُنتها آهسته آهسته

«محمد عزیزی»

دیتا تایپ استریم

https://redis.io/docs/latest/develop/data-types/streams/

امروز رو یکم سبک شروع کنیم با مقاله آینده کاری در دیوار با هوش مصنوعی.
https://vrgl.ir/EJRB7

یکسری مقاله سنگین دارم که ۲ روز زمان میگیره از فردا یکیش شروع میکنیم.
@TorhamDevCH

گولنگ فکر می کنم یکی از زبان های اصلی ای خواهد بود که در عصر agentic coding خواهد درخشید. علت اصلی ش readability بالای کدهای گولنگ هست که خیلی فهمش رو برای llmها ساده کرده. گولنگ از اول هم اینطوری دیزاین شده بود که کمتر درگیر syntax زبان بشی و بیشتر درگیر ساختن بیزینس بشی. همین موضوع خواسته یا ناخواسته در عصر LLMها یه جورایی برگ برنده شده براش.

اخیرا مقالات متفاوتی رو خوندم که به همین موضوع اشاره میکنن.

I work mostly in Go. I’m confident the designers of the Go programming language didn’t set out to produce the most LLM-legible language in the industry. They succeeded nonetheless.

https://fly.io/blog/youre-all-nuts/

https://lucumr.pocoo.org/2025/6/12/agentic-coding/

تجربه کم شخصی خودم هم خیلی خوب بوده با vibe coding و گولنگ. این موضوع رو در کنار performance گولنگ, کتابخانه های std سطح بالا و کارآمد, و تغییرات کم و پایدار زبان که قرار بدیم حس میکنم گولنگ در عصر AI درخشش بیشتری هم خواهد داشت.


@gocasts

چند تا کامند داکر برای پاکسازی و آزاد کردن فضا

پاک کردن فضای بلا استفاده داکر هر چند وقت یبار نیازه وگرنه اگه مثل من از داکر زیاد استفاده کنید ممکنه کلی فضا بگیره.

1. حذف همه چیزهای استفاده نشده (Containers, Images, Networks, Volumes)
این دستور جامع‌ترین راه برای آزاد کردن فضاست و تمام آبجکت‌های داکر که در حال استفاده نیستن (کانتینرهای متوقف شده، ایمیج‌های بدون استفاده، شبکه‌های بدون اتصال و والیوم های بدون کاربرد) رو حذف می‌کنه:

docker system prune

اگه می‌خواید والیوم های بدون استفاده هم حذف بشن، از فلگ —volumes استفاده کنید:

docker system prune --volumes

2. حذف کانتینرهای متوقف شده
این دستور فقط کانتینرهایی رو حذف می‌کنه که در حال اجرا نیستن:

docker container prune

3. حذف ایمیج‌های بدون استفاده (Dangling Images)
ا. Dangling Images ایمیج‌هایی هستن که تگ ندارن و توسط هیچ کانتینری استفاده نمی‌شن:

docker image prune

برای حذف تمام ایمیج‌های استفاده نشده (حتی اونایی که توسط کانتینری استفاده نمی‌شن ولی تگ دارن)، از سوییچ —all یا -a استفاده کنید:

Bash
docker image prune -a

4. حذف ولوم‌های بدون استفاده
این دستور ولوم‌هایی رو حذف می‌کنه که به هیچ کانتینری متصل نیستن:

docker volume prune

5. حذف شبکه‌های بدون استفاده
این دستور شبکه‌هایی رو حذف می‌کنه که هیچ کانتینری بهشون متصل نیست:

docker network prune

حذف کش بیلد(این یکی ممکنه فضای زیادی گرفته باشه):

docker builder prune

نمایش فضای اشغال شده: 
برای مشاهده فضای کلی اشغال شده توسط داکر و جزئیات مربوط به ایمیج‌ها، کانتینرها و والیوم ها، می‌تونید از دستور زیر استفاده کنید:

docker system df

#docker

@Syntax_fa

معرفی Redis Insight

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

چیزایی که Redis Insight برات روون و آسون می‌کنه:

می‌تونی داده‌هات (کلید-مقدار) رو خیلی راحت مرور، فیلتر و حتی به شکل‌های مختلف ببینی (مثل JSON، هگز، ASCII و …)

می‌تونی خیلی راحت روی انواع ساختار داده مثل لیست، هش، استرینگ، ست، ست مرتب و استریم CRUD انجام بدی

جی‌سان(JSON) هم پشتیبانی می‌کنه، می‌تونی مستقیم با داده‌های ساختاریافته کار کنی

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

خودش پیشنهادهایی برای بهتر شدن کارایی و مصرف حافظه بهت می‌ده و این پیشنهادها بسته به کاری که می‌کنی تغییر می‌کنن

پروفایلر(Profiler) داره که همه‌ی دستوراتی که می‌فرستی رو لحظه‌ای بررسی می‌کنه

ا SlowLog هم داره تا ببینی چه چیزایی تو Redis کند اجرا شدن

سیستم Pub/Sub هم پشتیبانی می‌کنه؛ یعنی می‌تونی تو کانال‌ها عضو شی و پیام رد و بدل کنی

قابلیت حذف گروهی کلیدها رو هم داره (وقتی با فیلتر دنبال یه سری کلید خاص می‌گردی)
ا Workbench یه خط فرمان باحال داره با تکمیل خودکار و نمایش گرافیکی داده‌ها

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

https://github.com/RedisInsight/RedisInsight

#redis

@Syntax_fa

برای حذف کامل ادیتور zed تو لینوکس اینکارو کنید:

~/.local/bin/zed zed --uninstall
rm -rf ~/.local/zed.app
rm ~/.local/bin/zed
rm ~/.local/share/applications/dev.zed.Zed.desktop
rm -rf ~/.local/share/zed
rm -rf ~/.config/zed
rm -rf ~/.cache/zed

هیچ اثری ازش باقی نمیمونه انگار که هیچوقت سمتش نرفتید

#fun

@Syntax_fa

🔵 عنوان مقاله
Lox: A Lexer and Parser Generator for Go

🟢 خلاصه مقاله:

مقاله‌ به تحلیل و مقایسه دقیق دو ابزار تولید کننده پارسر می‌پردازد، که بر اساس ساختار و چارچوب عملیاتی آن‌ها تمرکز دارد. پارسر مورد بحث در این مقاله از ANTLR الهام گرفته است که در آن ترکیب پارسر و لکسر و جدا سازی کد عملیاتی از دستور زبان مشخص است. با این حال، در مکانیزم‌های عملیاتی اصلی، پارسر بیشتر شبیه به yacc است، که از الگوریتم LR(1) برای پارسینگ استفاده می‌کند و ساختاری بدون وابستگی دارد که نصب و نگهداری آن را آسان‌تر می‌کند.

🟣لینک مقاله:
https://golangweekly.com/link/171565/web

➖➖➖➖➖➖➖➖
👑 @gopher_academy

Compose the Future: Building Agentic Applications, Made Simple with Docker

این عنوان یک ارائهٔ خوب از تیم Docker بود که در مورد فیچرهایی که دارن روش کار می‌کردن توضیح دادن. حرفشون این بود که Docker اومد و اشتراک‌پذیری و دسترس‌پذیری برنامه‌ها رو آسون کرد. حالا اون‌ها می‌خوان همین مسیر رو با LLMها برن.

برای این کار چندتا کامند جدید مثل docker model run و docker mcp اضافه کردن که باهاشون می‌شه مدل‌ها رو روی محیط‌های دلخواه اجرا کرد و به کمک docker compose با بقیهٔ برنامه‌ها integrate کرد.

البته همینطور که می‌دونیم LLMها رو معمولاً نمی‌شه روی ماشین‌های با قدرت پردازش معمولی اجرا کرد. برای حل این چالش فیچر Offload رو اضافه کردن که به کمکش میشه وظیفهٔ پردازش رو به GPUهای ریموت سپرد.

#wearedevelopers2025
@aminrbg

بعد از یک مدت طولانی که اندروید ۱۱ منسوخ شده بود، بالاخره وی‌دروید به اندروید ۱۳ رسید.


@SohrabContents

و پوکوفون f1 که با اندروید ۹ اومد، الان به ۱۶ رسیده!

و همچنان نمیشه لینوکس ترمینال رو روشن کرد.


@SohrabContents