🎙️ عنوان پادکست:
Go gets audited, and Ian Lance Taylor talks about 19 years on the Go team
خلاصه پادکست:
**
در این مطلب، از ممیزی امنیتی زیرساخت رمزنگاری Go و گفت‌وگوی مفصل با Ian Lance Taylor درباره ۱۹ سال حضورش در تیم Go خبر داده می‌شود. ممیزی به رهبری Roland Shoemaker و Filippo Valsorda انجام شده و همراه با بررسی‌های عملی درباره FIPS در Episode 89 با Alex Scheel، بر اهمیت سخت‌گیری امنیتی و الزامات انطباق تأکید دارد. در حوزه طراحی زبان، پیشنهاد x/exp/xiter برای افزودن iterator adapters رد شد تا بر اولویت سادگی و پایداری در اکوسیستم Go تأکید شود....

اگه دارید یه پروژه گولنگی رو سنگین ریفکتور میکنید ‍‍پیشنهاد میکنم از
// Deprecated
خیلی زود استفاده کنید

قشنگی قضیه اینه که lsp گولنگ وقتی چنین کامنتی روی تابع یا type یا field خاصی قرار میگیره متوجه میشه و شما حین ریفکتور خیلی راحت قسمت هایی که deprecate شده رو میتونید از کد حذف کنید و یا صرفا جهت backwardCompatibility نگهشون دارید.
خیلی پیچیدگی ریفکتور رو کم میکنه مخصوصا اگه تعداد تغییرات زیاد باشه.

همچنین اگه به تیم ها و کلاینت هاتون sdk ارائه دادید میتونید برای backward compatibility این فیلدهارو حفظ کنید ولی اون deprecated annotation بهشون هشدار میده که نباید دیگه ازش استفاده کنن.
ضمنا بهتره تو توضیحات روش جایگیزین (اگه وجود داره رو) اشاره کنید که کم کم کلاینت های sdk هم تشویق بشن از روش جایگزین استفاده کنن.

توضیحات بیشتر رو اینجا میتونید بخونید
https://go.dev/wiki/Deprecated


@gocasts

🍪 اکستنشن ذخیره و تغیر نشست سایت ها با قابلیت ویرایش کوکی برای کروم منتشر شد.

😃چند کاربرد جالب این افزونه :

✅ رفع محدودیت لاگین در چت بات ها
✅ رفع محدودیت لاگین های زیاد در تلگرام وب
✅️ لاگین سریع به اکانت های مختلف سایت ها
✅ مشاهده و ویرایش کوکی ها
✅ دانلود و ارسال نشست به دستگاه های دیگر

📥لینک نصب از کروم استور: [VIEW]
#کروم #مرورگر #اکستنشن

اینقدر هر روز مدلهای خوب میاد بیرون که گاهی انتخاب سخت میشه. IBM یک مدل فوق سبک ولی فوق العاده با کیفیت از مدلهای vision-language model (VLM) به اسم Granite-Docling-258M داده بیرون. با اینکه فقط ۲۵۸ میلیون پارامتر داره ولی عالیه در OCR، استخراج فرمولهای ریاضی، کد وجدول از داکیومنت. همچین خیلی دقیق هست در تبدیل pdf به HTML با حفظ ساختار اصلی داکیومنت.
روی سیستم لوکال راحت اجرا میشه. و کلی کار جالب میتونید باهاش انجام بدید برای انواع اپلیکیشنها. برای اطلاعات کامل بلاگشون را بخونید که کلی خوندنیه. مدل هم روی HuggingFace هست که میدونید دانلود کنید و استفاده کنید.
https://www.ibm.com/new/announcements/granite-docling-end-to-end-document-conversion

@DevTwitter | <Mehdi Allahyari/>

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

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


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

@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:

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