https://github.com/torvalds/linux/pull/1290
بینظیره.

فرض کن مسئول فنی توییتری، ساعت ۸ شبه و یه نفر با ۳۰ میلیون فالوور یه توییت میزنه، تو چند ثانیه، سیستم تو باید توییت رو ببره تو تایم لایت همه فالوراش
حالا سؤال اینه: چطوری سیستم شما باید با کمترین هزینه و بیشترین سرعت این توییت رو بزاره تو تایم لاین فالورا؟

این مشکلی بود که توییتر تو سال 2012 باید حلش میکرد اما راه حلشون چی بود؟
دوتا راهکار روبروشون بود
1- توییت یکبار تو دیتابیس ذخیره شه و هر بار کاربرا با باز کردن تایم لاین یه کوئری بزنن ببینن اونایی که فالو کردن چیا توییت کردن
2- تویتت به محض ارسال تو کش تایم لاین همه فالورا ذخیره بشه
اون اولا توییتر راه اول شماره 1 رو انتخاب کرد که این باعث میشه هر کاربر موقع باز کردن صفحه اول توییتر یک کوئری read بزنه که به مرور با افزایش تعداد خواننده ها که تقریبا دوبرابر نویسنده ها بودن بازدهیش اومد پایین
پس توییتر اومد سویچ کرد رو حالت دوم که با زدن هر توییت میومد تو کش تایم لاین فالورا اون توییت رو اضافه میکرد اینطوری برا نوشتن یه توییت پردازش بیشتری میکرد اما این به سرعتش می ارزید اما خب همچنان یه مشکلی بود!
مشکل این بود ممکن بود یه نفر 30 میلیون فالور داشته باشه و خب نوشتن و قرار دادن اون توییت جدید برای 30 میلیون فالور پردازش و زمان زیادی میخواست و این باز سرعتو میورد پایین
راه حل جدید چی بود؟
ترکیبی از این دوتا روش!
به این صورت که برای اونا که فالورشون کم بود توییت هاشونو میزاشت تو کش تایم لاین فالوراشون و کنارش میمود برای افراد با فالور زیاد هم کوئری read میزد و بعد بر اساس زمان سورتش میکرد

البته احتمالا تا الان باید نحوه کار خیلی تغیر کرده باشه و روش ها بهتری رو انتخاب کرده باشن

@DevTwitter | <ixAbolfazl/>

TikTok has implemented Rust into its systems by selectively rewriting specific, CPU-intensive Go services in Rust to achieve significant performance gains, leading to a 2x increase in traffic handling and an estimated annual saving of $300,000 in cloud costs

TikTok rewrite Go micro-services in Rust (Save $300k per year)

تیک‌تاک و جابجایی از Go به Rust ...

سنیور کیست

توی این ویدیو سعی کردم راجع به تجربیات خودم راجع به اینکه سنیور کیست صحبت کنم.

https://youtu.be/u_BtB_CEuwg

PhD in Formal Verification @ IMDEA Software
————————————————

Dear colleagues,

My research group at IMDEA Software Institute in Madrid has multiple, fully-funded open PhD positions in the broad area of formal verification and cyber-physical systems design. The goal of the PhD will be building foundations and algorithms for the design of real-world cyber-physical systems with rigorous correctness guarantees. All applicants need to have a master's degree in CS and have the willingness to work in problems in the intersection of theory and practice.

The ideal starting date is March 1, 2026 or before, but it is negotiable. The application deadline is *October 3, 2025*.

Interested candidates may apply here.

If you have further questions, please feel free to reach out at: [email protected]

Best,
Kaushik

این یه پروژهٔ متن‌بازه که با هدف کمک به توسعه‌دهندها برای ساخت سیستم‌های پیشنهادگر (Recommendation Systems) ساخته شده، سیستم پیشنهادگر همون چیزیه که وقتی توی یک سایت یا اپ میری، بهت پیشنهاد می‌ده که "شاید اینو هم دوست داشته باشی" مثلا فید اینستاگرام

توش کلی مثال آماده و Jupyter های پایتونه که می‌تونید خودتون هم تستش کنید


github.com/recommenders-team/recommenders

@Linuxor

مولانا | دیوان شمس | رباعیات | رباعی شمارهٔ ۱۷۲۰

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

#مولانا | گنجور
📍@iipoem

🛠 پروژه stal/IX — بازنگری بنیادی در سیستم لینوکسی

✅ ‏stal/IX قصد داره بعضی مفاهیم پایه‌ای سیستم‌عامل رو از نو تعریف کنه، ولی API و ABI لینوکس را دست‌نخورده بگذارد ؛ یعنی سازگاری با اپلیکیشن‌های لینوکس

🔍 ویژگی‌ها برجسته:

✨- بدون FHS (Filesystem Hierarchy Standard
ساختار فایل شبیه Nix/Guix است؛ بروزرسانی‌ها اتمیک و چند نسخه‌ای
✨- بدون systemd:
در حال حاضر از init سفارشی استفاده می‌کنه
✨‏- libc: musl به عنوان پیش‌فرض ،
امکان استفاده از libc دلخواه برای بخش‌هایی از userland فراهم است.
✨- یک مدیریت بسته بدون root / بدون فایل‌های suid:
تمام فایل‌های سیستم به کاربر “IX” تعلق دارند؛ sudo فقط روی لایه ssh
✨- لینک‌دهی استاتیک و استفاده از Wayland به جایX
✨ - نظارت کامل بر درخت فرآیندها:
هر فرآیندی غیر از init باید والد معتبری داشته باشد؛ فرآیندهای بدون والد مناسب توسط یک فرآیند پس‌زمینه‌ای ویژه خاتمه می‌یابند.

🤔 چرا اهمیت دارد؟
امنیت، سادگی، قابل فهم بودن سیستم‌، و کنترل کامل بر اجزای سیستم‌عامل

برای سرورها، سیستم‌های تعبیه‌شده،

🔗 لینک
@MehrdadLinuxchannel

FM/PL/TCS.B Conferences summaries :

[] LICS ——> 16 Jan
[] CAV ——> 1 Feb
[] ICALP ——> 8 Feb
[] ECOOP R2 ——> 12 Feb
[] OOPSLA R2 ——> 17 March
[] CONCUR ——> 3 April
[] MFCS ——> 18 April
[] FMCAD ——> 20 April
[] ESOP R1 ——> 3 June
[] RP ——> 4 July
[] POPL ——> 10 July
[] CSL ——> 15 July
[] STACS ——> 25 Sep
[] OOPSLA R1 ——> 10 Oct
[] TACAS ——> 16 Oct
[] ESOP R2 ——> 16 Oct
[] FoSSaCS ——> 16 Oct
[] PLDI ——> 13 Nov
[] FM ——> 25 Nov
[] ECOOP R1 ——> 27 Nov

#conference #deadline

شرکت Qwen از دو مدل جدید Qwen-3-Next رونمایی کرد که در دو نسخه instruct و thinking منتشر شده.

نکته جالب اینه که از 80B پارامتر این مدل تنها 3B اش فعال میشه و به شدت بهینه هستند این دو مدل MOE.

با این پارامتر کم و معماری خاص نسخه thinking از gemini 2.5 flash بهتر عمل کرده

مقایسه این مدل رو با Qwen 235B می‌بینید که چقدر این مدل جدید عملکرد خوبی داره نسبت به تعداد پارامتر اش.

این مدل به صورت native از 256K توکن context پشتیبانی میکنه که تا 1M هم قابل افزایش هست.

به نظر گزینه خوبی برای local هست

@DevTwitter | <Mani/>

s

این لیست شامل کنفرانس‌های مورد علاقه در سطح A و A* به همراه ددلاین و لینک وب‌سایتشونه (البته RP توی سطوح ذکر شده نیست ولی خب به هر حال مورد علاقه است)

یه کتابی برای جاوا اسکریپت فانکشنال هست به اسم Functional-Light JavaScript که حدود 26 دلار قیمت نسخه الکترونیکیشه ولی خودشون گفتن اگه از گیتهاب بخونیدش رایگانه، چیز جالبیه توش ترکیب توابع (composition)، بدون عوارض جانبی (side-effects)، ایمنی ارزش‌ها (immutability)، ورودی تابع، بستن‌ها (closures)، بازگشت (recursion)، لیست‌ها، عملیات‌ها روی آرایه‌ها، و فضاهای Asynchronous مثل Promiseها یا callback گفته شده 11 فصل خیلی جالب داره بخونیدش حتما؛ هر فصلش یکی دو ساعت زمان می‌بره.


github.com/getify/Functional-Light-JS


@Linuxor

بعد از چند سال، اون ویدیو جادی با عنوان «توضیح و نوشتن ماشین رمز آلمان در جنگ جهانی دوم» رو دوباره دیدم و امروز با راست، کد جادی رو بازنویسی کردم و پلاگ‌برد، مکانیزم stepping برای روتور ها و چند تا قابلیت دیگه رو هم بهش اضافه کردم.

https://github.com/naseridev/enigma

@DevTwitter | <Nima Naseri/>