با تشکر از علیرضا عزیز، ترجمه پلاسما دیسکاور ۱۰۰ درصد شد.

زبان فارسی در دیسکاور به صورت کامل در نسخه‌ای که با پلاسما ۶.۵.۰ عرضه می‌شود وجود دارد.


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

@KDE_fa

میزکار کازمیک وارد بتا شد.



@SohrabContents

🎙️ عنوان پادکست:
👕 Clothe your naked gophers and returns, with this one weird episode THEY don't want you to know about!
خلاصه پادکست:
این هفته در دنیای Go، دو نسخه نگهداری Go 1.25.1 و Go 1.24.7 منتشر شدند که باگ‌ها و بهبودهای پایداری (و احتمالا امنیتی) را در کامپایلر، کتابخانه استاندارد و ابزارها ارائه می‌کنند؛ ارتقا برای محیط‌های تولیدی توصیه می‌شود. ویدیوهای GopherCon Europe: Berlin 2025 هم در دسترس است و موضوعاتی از طراحی زبان تا سیستم‌های توزیع‌شده و بهینه‌سازی عملکرد را پوشش می‌دهد....

Draft for CSS Environment Variables

https://www.w3.org/news/2025/first-public-working-draft-css-environment-variables-module-level-1

#css #env #news

ELLIS PhD Program: Call for Applications 2025 and Info Session
­
The ELLIS PhD Program is now open for applications for 2026! The program offers joint supervision with advisors in different European countries, including at least six months of exchange, and connects students with both academic and industry mentors. Interested candidates should apply online through the ELLIS application portal by October 31, 2025, 23:59 AoE.

Virtual info session:
On October 1st, there will be an information session for prospective PhD students providing an overview of the ELLIS PhD program, the call for applications, and the expected application material to provide.

📍 Virtual
📅 October 1, 2025

🕓 16:00 CET
🔗 Register to join info session
#phd_position
@SingularThinker

اگر ELLIS نمیدونی چیه اینجا رو بخون

🔥 New GitHub Trending Repositories 🔥

Found 6 new trending repositories:

1. trendFinder by ericciarla
📝 Stay on top of trending topics on social media and the web with AI
💻 TypeScript | ⭐ 3,517 | 🌟 Today: 72
🔗 Link
2. netdata by netdata
📝 The fastest path to AI-powered full stack observability, even for lean teams.
💻 C | ⭐ 76,047 | 🌟 Today: 27
🔗 Link
3. jellyfin by jellyfin
📝 The Free Software Media System - Server Backend & API
💻 C# | ⭐ 43,669 | 🌟 Today: 39
🔗 Link
4. gemini-cli by google-gemini
📝 An open-source AI agent that brings the power of Gemini directly into your terminal.
💻 TypeScript | ⭐ 76,735 | 🌟 Today: 189
🔗 Link
5. register by is-a-dev
📝 Grab your own sweet-looking '.is-a.dev' subdomain.
💻 JavaScript | ⭐ 7,678 | 🌟 Today: 225
🔗 Link
6. cookbook by google-gemini
📝 Examples and guides for using the Gemini API
💻 Jupyter Notebook | ⭐ 14,778 | 🌟 Today: 22
🔗 Link

🔘 @github_trending_daily

خلاصه از اون مقاله‌هایی هستش که به نظرم هر دانشجوی کامپیوتری باید بخونه و این هفته می‌خوایم توی group reading مون مفصل در موردش صحبت کنیم.

این هفته جلسه‌ی دوم reading group رو داشتیم که در مورد untyped lambda calculus صحبت کردیم و قوانین reduction و conversion و فرم نرمال‌شون و تئورم‌های Curch-Rosser رو مرور کردیم و کلی هم کیف کردیم. آقا دروغ چرا روز اولی که امیر این گروه رو زد و تصمیم گرفت که این حرکت رو پوش کنه، من چشمم آب نمیخورد که بعد جلسه‌ی اول کسی تمایل داشته باشه که ادامه بدیم، ولی از اون موقع ۴ جلسه گذشته و کلی حس و انرژی خوب بین دوستان وجود داره. پیرو جلسات اول که روی Hoare Logic و GCL بود، امیر و یاسمین دو پروژه‌ی موازی رو شروع کردند. امیر داره روی پیاده‌سازی زبان GCL کار میکنه، به طوری که هم یک نسخه‌ی Executable ازش داشته باشه و هم با استفاده از operational semantics این زبان، فضای حالش رو محاسبه کنه و بتونه verification هم روش انجام بده. این پروژه روی این ریپو قرار داره :
https://github.com/amirkhaki/gcl
در کنار این پروژه، یاسمین داره روی پیاده‌سازی زبان WHILE کار میکنه و براش یک Verifier می‌نویسه که بتونه با استفاده از Axiom ها و rule های Hoare Logic درستی برنامه‌های WHILE رو اثبات کنه. لینک این پروژه هم روی این ریپو قرار داره :
https://github.com/yasaminashoori/HoareWhileVerifier

هفته دیگه قراره بریم سراغ این مقاله :
The Next 700 Programming Languages
به نوشته‌ی آقای Peter John Landin که در سال ۱۹۶۶ در مجله‌ی Communications of the ACM چاپ شد. چرا این مقاله انقدر مهمه؟ همونطور که توی بخش تاریخچه‌ی Lambda Calculus گفتم و توی این پست نوشتم، لامبدا کلکولس زمانی که ابداع شد توسط آقای Church، هدفش پروگرامینگ نبود، هدفش فرمال کردن مفهوم محاسبه و محاسبه‌پذیری (computablity) بود. بیشتر اون زمان دنبال این بودن که بفهمن جه مسائلی محاسبه پذیر نیستند، و این جریان بعد از ارائه‌ی اصول ناتمامیت گودل آغاز شد. موقعی که اثبات شد این مدل محاسبه‌ universal هستش، خیلیا اومدن و computablity theory رو بر پایه‌ی حاسب لامبدا جلو بردن. توی جلسه‌ی دیروز اشاره کردم به یک textbook خیلی معروف در این قضیه که اینه :
Theory of Recursive Functions and Effective Computability
نوشته‌ی آقای Hartley Rogers. این کتاب یکی از زیباترین کتابهایی هستش که می‌تونید توی زندگی‌تون بخونید. یه کتاب معروف دیگه هم اینه:
Computability: An Introduction to Recursive Function Theory
نوشته‌ی آقای Nigel Cutland. منتهی کتاب‌های امروزی Computability Theory همگی بر اساس ماشین تورینگ نوشته میشن و دیگه کسی خیلی با لامبدا کلکولس کار رو جلو نمیبره. اما یکی از عواملی که باعث شد حساب لامبدا هنوز که هنوز توی بازی باقی بمونه و بسیار بهش توجه بشه شاید همین مقاله‌ای هستش که قراره این هفته بخونیم. توی این مقاله آقای Landin برای اولین بار متوجه شد که حساب لامبدا میتونه به عنوان یک مدل برنامه‌نویسی ازش استفاده بشه و پایه‌گزار Functional Programming و Denotational Semantics شدند. حالا چی شد که ایشون اصلا به فکر این کار افتاد. اون زمان یعنی دهه ۶۰ میلادی چیزی حدود ۱۷۰۰ زبان برنامه‌نویسی وجود داشت. ممکنه بپرسید به چه دلیل؟ دلیلش این بود که توسعه‌ و طراحی یک زبان برنامه‌نویسی بسیار adhoc بود و هیچ حساب کتابی نداشت. برای همین گسترش زبان‌ها برای ساپورت کردن یه کانسپت جدید شدنی نبود و اگر نیاز به feature جدیدی بود، یک زبان جدید براش می‌ساختن :) مثلا فرض کن تو یه زبان ساختی برای نوشتن برنامه‌ی یک ماشین حساب، حالا من میگم میخوام از این زبان برای نوشتن برنامه‌ی یک ساعت دیجیتال استفاده کنم. ولی چون زبان تو باید یک سری primitive جدید می‌داشت برای این کار، راحتتر بود که من برم یه زبان مخصوص توسعه‌ی ساعت‌های دیجیتال طراحی کنم تا اینکه بیام زبان تو رو گسترش بدم. به عبارتی برای ۷۰۰ کاربرد مختلف اون زمان فقط ۱۷۰۰ زبان ساخته شده بود و این اصلا چیز خوبی نبود.

ایشون اومد و برای اولین بار توضیح داد که برای نوشتن یک زبان باید مرز syntax رو از semantics جدا کرد و روی مکانیزم‌های abstraction تاکید کردند. با این کار یک سری اوصول unified برای طراحی زبان برنامه‌نویسی توسعه دادند و بر اساس همون اصول هم یک زبان برنامه نویسی به اسم ISWIM ("If You See What I Mean") ساختند که تقریبا اولین زبان functional مبتنی بر حساب لامبدا بود و زبان‌هایی مثل Haskell و ML‌ با الهام از این زبان ساخته شدند. ایشون با ارائه‌ی زبان ISWIM توی این مقاله نشون دادن که چطور میشه یک زبان پایه رو طوری طراحی کرد که به راحتی قابل گسترش باشه برای اینکه بخواد feature های جدیدی رو ساپورت کنه و این کار تنها با تغییر عملیات‌های primitives زبان صورت میگرفت.

Compositional Symbolic Execution for the Next 700 Memory Models

https://arxiv.org/pdf/2508.15576
#paper #Gardner #OOPSLA #2025

این مقاله رو چند وقت پیش توی کانال انباریم گذاشته بودم که کار جدید خانم Gardner توی OOPSLA امساله. اسم مقاله رو از روی مقاله‌ی آقای Landin اسکی رفته :))

اینم بگم،
اگر بکگراند یا پیش زمینه‌ی لازم رو ندارید هم مسئله‌ای نیست ما توی ریپوی گروه‌مون برای هر هفته کلی کتاب و منبع قرار دادیم که همه چیز رو از پایه پوشش دادند و می‌تونید با مراجعه به اونا پایه‌ای تر شروع کنید. فیلم جلسات هم ضبط شده و توی گروه هست. دو جلسه‌ی اول راجع به Hoare Logic و GCL بود، جلسه‌ی سوم یه جلسه‌ی تکمیلی روی stateless model checking بود که خارج از برنامه‌مون بود، جلسه‌ی چهارم هم روی Lambda Calculus و تئوری Church-Rosser بود.

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


آپدیت ۲۶ سپتامبر ۲۰۲۵: خیلی اتفافی به یک بلاگ ووردپرسی بر خوردم. نویسنده اینطور نوشته بود:

Hi all!

Since I really like Mehran Modiri’s version of the song called ‘Negaraa’ which I believe was origanally sung by Homayoun Shajarian (Mohammad Reza Shajarian’s son), I decided to cut out the section in episode 22 in the famous serial ‘Baaghe Mozaffar’ where this song togheter with this sequence encaptures Kamran’s affection for his newly become spouse Naazi and edit it to make it even better. Here is the video:

برام جالب بود که یکی دیگه سال ۲۰۰۷،. همون سال‌ها که سریال پخش می‌شد همین فکرو داشت :) بلاگ هنوز بالاست ولی آرشیوش کردم.
لینک آرشیو

♦️در 44 ثانیه پسورد هر ویندوزی رو باز کن !!!!!😳

🔸نوع آموزش : ویدیو
🔸زمان : 10 دقیقه
🔸زبان : فارسی
🔹منبع : Arian Abrouni
#آموزشی
#پسورد
#ویندوز
#ترفند
✴️🆔</ @semilearn >

امروز عصر با یک دانشجوی دکتری ای که آمریکا درس میخونه و دانشگاهشم تاپ ۵ آمریکاست جلسه داشتم، دیدم اول جلسه حالش میزون نیست. اینم بگم که هفته‌های پیش بهم گفته بود که فاند ریسرچش از NSF بوده و فاندش قطع شده و مجبوره هفته‌ای ۱۴ ساعت teaching داشته باشه تا بتونه فاندش رو جور کنه. هیچی گفتم چطوری و چه خبر و اینا، گفت دیشب ساعت ۸ شب بعد از اتمام کار teaching اش دپارتمان رو ترک کرده و راه افتاده به سمت خونه که کلا ۵ دقیقه فاصله داره، و متوجه میشه حین راه که یکی داره تعقیبش میکنه. میگفت یه جا وایسادم و که الکی گوشیم رو نگاه کنم دیدم اونم وایساد. برگشتم بهش گفتم WHAT. گفت یهو اونم یه چاقو از جیبش آورد بیرون و گرفت سمت و یه چیزی گفت بعدش دوید رفت. ولی بنده خدا حسابی تراماتایز شده بود و میگفت اگر متوجه‌اش نمی‌شدم چه اتفاقی رخ میداد. جدی بد وضعی شده همه جا

از بین مدل‌های بینایی (برای کارهای پردازش تصویر) تا مدتی اغلب از شبکه‌های کانولوشنی (CNN) استفاده می‌شد. مدل ViT ایده‌ای آورد که تصاویر رو به قطعات (patchها) تقسیم می‌کنه و سپس مثل مدل‌های ترنسفورمر NLP به اونها نگاه می‌کنه یعنی از سازوکاری مشابه Attention / Transformer برای تصاویر استفاده می‌کنه.

برای استفاده و یادگیری اول با پیپ vit-pytorch رو نصبش کنید یا ریپو رو کلون کنید بعدش برید توی مستنداتش مثال های ساده ای داره که می‌تونید رانش کنید اگه سیستمون ضعیفه روی kaggle و colab هم می‌تونید که البته اونجا خودش کلی مثال آماده هم داره

قبل از شروع استفاده حتما README رو بخونید :
github.com/lucidrains/vit-pytorch

@Linuxor