یک RFC باز شده برای چند کرنلی کردن هسته لینوکس.

پروژه‌ی Multikernel برای لینوکس رسماً کد خود را به‌صورت آزاد منتشر کرد. همزمان، کونگ وانگ، مهندس گوگل، نخستین پچ‌ها را برای بررسی به فهرست پستی کرنل لینوکس (LKML) ارسال کرده است. این حرکت می‌تواند نقطه‌ی عطفی در تاریخ توسعه‌ی گنو/لینوکس باشد.

تا به امروز لینوکس، با وجود توانایی چشمگیر در مقیاس‌پذیری، بر پایه‌ی مدل تک‌کرنلی بنا شده بود: یک هسته‌ی مرکزی که همه‌ی منابع سخت‌افزاری را مدیریت می‌کند. اما Multikernel رویکرد متفاوتی را معرفی می‌کند. به جای اتکا بر یک کرنل واحد یا لایه‌های سنگین مجازی‌سازی، این پروژه از kexec استفاده می‌کند تا چند کرنل مستقل روی یک ماشین بوت شوند و به‌عنوان «همکار» با همدیگر ارتباط بگیرند.

در عمل، این یعنی می‌توان همزمان چند نسخه‌ی لینوکس را روی یک سخت‌افزار اجرا کرد، برای مثال یک کرنل بهینه‌شده برای شبکه، و دیگری برای پردازش‌های سنگین ذخیره‌سازی و آن‌ها بار کاری را بین خود تقسیم کنند.

خب این امکان از ۳۵ سال پیش جزو اهداف هرد بوده. گنو/هرد یک میکروکرنل سروره برای کرنل گنو ماخ که اون‌هارو در کنار هم اجرا کنه، هرچند درمورد هرد حرف زیاد زدم، پروژه جدای از جالب بودنش از کمبود توسعه دهنده رنج می‌بره و بعد از ۳۰ و اندی سال بالاخره یک پورت ۶۴ بیتی ازش بر روی دبیان ساختن.


https://multikernel.io/2025/09/18/multikernel-goes-open-source/


@SohrabContents

روزی ۲۰ دقیقه دارم Ocaml یاد میگیرم. به عنوان یه زبان فانکشنال اینقدر با زبان های قبلی که کار کردم متفاوت هست که انگار دفعه اولمه کد میزنم.
به عنوان تمرین مغزی و یادگیری یه شیوه جدید فکری بهش نگاه میکنم و هدف خاصی ازش ندارم.

@DevTwitter | <Soroush Sardashti/>

⭐️ کتاب مرجع کامل مدرک بین‌المللی Linux Essentials

🔹پس از انتشار کتاب LPIC1 و کتاب 1001 دستور لینوکس این بار با افتخار کتابی جامع و کاربردی دیگه ای برای شما آماده کرده‌ام.
🔹 راهنمایی گام‌به‌گام برای ورود به دنیای لینوکس، مبتنی بر منابع بین‌المللی معتبر و تجربه‌های عملی.
مخصوص افرادی است که می‌خواهند گام اول در لینوکس را محکم بردارند. شما با مطالعه آن با مفاهیم پایه‌ای آشنا می‌شوید و برای آزمون بنیاد LPI آماده شوید.

🔹 این کتاب منابع معتبر زیر را پوشش میدهد و نیاز به خواندن کتاب دیگری نیست:


🔸Linux Essentials Exam 010 Objectives
🔸Linux Essentials, 2nd Edition — Wiley
🔸LPI Linux Essentials Study Guide: Exam 010 v1.6 — Sybex / Wiley
🔸LPI Linux Essentials Certification All-in-One Exam Guide — McGraw-Hill

و منابع مستقل منتشر شده در Amazon KDP

🔻تماماً رنگی
🔻۲۸۰ صفحه، قطع وزیری (شومیز)
🔻ویرایش اول، سال انتشار ۱۴۰۴
🔻منتشر شده توسط: انتشارات یافته
🔻نویسنده :حسین سیلانی
🔻فرمت فایل: PDF

https://learninghive.ir/product/book11-linux-essentials/

📥 دانلود فایل نمونه کتاب به همراه فهرست کامل
Linux Essentials PDF

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

document.getElementsByTagName("body").length

پ.ن: اگه این جوکو نفهمیدی کلا نفهمش، منم تا دیروز نمی‌فهمیدمش

@Linuxor

🔵 عنوان مقاله
It's Survey Time! The 2025 Go Developer Survey is Live

🟢 خلاصه مقاله:
** نظرسنجی 2025 Go Developer Survey آغاز شده و Go team طبق روال دوره‌ای برای تعیین اولویت‌های بعدی از جامعه بازخورد می‌گیرد. این نظرسنجی به تصمیم‌ها درباره زبان، ابزارها، مستندات و اکوسیستم کمک می‌کند. مهلت شرکت کوتاه است و تا September 30 ادامه دارد—اگر با Go کار می‌کنید یا به آن علاقه‌مندید، همین حالا مشارکت کنید و خبرش را به دیگران هم برسانید.

#Go #Golang #DeveloperSurvey #GoCommunity #2025 #Programming #OpenSource #DevTools

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

➖➖➖➖➖➖➖➖
👑 @gopher_academy

برنامه کلیدساز (Keysmith) یک ابزار مدیریت کدهای ورود دوعاملی (2fa) برای میزکار کی‌دی‌ای پلاسما هستش.


این ابزار از وارد کردن کلیدهای خروجی andotp, aegis و freeotp پشتیبانی می‌کنه.


برای نصب می‌تونید در توزیع‌های آرچ‌پایه از دستور زیر استفاده کنید:

sudo pacman -S keysmith

برای توزیع‌های دیگر از فلت‌هاب استفاده کنید یا به مستندات توزیع خود مراجعه کنید.

#چیزهای_کی‌دی‌ای
@KDE_fa

داریکس یه زبان برنامه نویسی جدیده!


زبان داریکس یه زبان برنامه نویسی نوظهوره و سینتکسی مشابه دارت و پایتون داره و یادگیریش خیلی راحته.

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

می‌تونی روی ویندوز، لینوکس و حتی اندروید (ترموکس) اجراش کنی، این زبان اولین زبانیه که توسط یه برنامه نویس افغان به اسم شایان حیدری ساخته شده و تیتر رسانه های برنامه نویسی شده

گیت هاب این زبان اینجاست
https://github.com/shayanheidari01/DariX

@DevTwitter | <یه کاربر پایتون/>

🔥 New GitHub Trending Repositories 🔥

Found 12 new trending repositories:

1. bevy by bevyengine
📝 A refreshingly simple data-driven game engine built in Rust
💻 Rust | ⭐ 42,036 | 🌟 Today: 26
🔗 Link
2. elasticsearch by elastic
📝 Free and Open Source, Distributed, RESTful Search Engine
💻 Java | ⭐ 73,862 | 🌟 Today: 11
🔗 Link
3. Sunshine by LizardByte
📝 Self-hosted game stream host for Moonlight.
💻 C++ | ⭐ 29,017 | 🌟 Today: 38
🔗 Link
4. mindcraft by mindcraft-bots
📝 Minecraft AI with LLMs+Mineflayer
💻 JavaScript | ⭐ 3,850 | 🌟 Today: 21
🔗 Link
5. eslint by eslint
📝 Find and fix problems in your JavaScript code.
💻 JavaScript | ⭐ 26,293 | 🌟 Today: 13
🔗 Link
6. hiring-without-whiteboards by poteto
📝 ⭐️ Companies that don't have a broken hiring process
💻 JavaScript | ⭐ 49,425 | 🌟 Today: 70
🔗 Link
7. stable-diffusion-webui by AUTOMATIC1111
📝 Stable Diffusion web UI
💻 Python | ⭐ 156,618 | 🌟 Today: 30
🔗 Link
8. tech-interview-handbook by yangshun
📝 💯 Curated coding interview preparation materials for busy software engineers
💻 TypeScript | ⭐ 129,910 | 🌟 Today: 76
🔗 Link
9. Fooocus by lllyasviel
📝 Focus on prompting and generating
💻 Python | ⭐ 46,504 | 🌟 Today: 10
🔗 Link
10. system-design-primer by donnemartin
📝 Learn how to design large-scale systems. Prep for the system design interview. Includes Anki flashca...
💻 Python | ⭐ 320,505 | 🌟 Today: 172
🔗 Link
11. zig by ziglang
📝 General-purpose programming language and toolchain for maintaining robust, optimal, and reusable sof...
💻 Zig | ⭐ 41,122 | 🌟 Today: 19
🔗 Link
12. freqtrade by freqtrade
📝 Free, open source crypto trading bot
💻 Python | ⭐ 42,367 | 🌟 Today: 32
🔗 Link

🔘 @github_trending_daily

این اسکریپت هم جالب بود بدون هیچ کد خاصی به سایتتون پروگرس بار اضافه می‌کنه فقط کافیه اسکریپتی که گفته رو توی تگ head سایتتون اضافه کنید. تازه با رنگ سایتتون هم کاستوم می‌شه دیگه چی ازش می خواین؟ یه اسکریپت سادس دیگه:)

codebyzach.github.io/pace

@Linuxor

می‌دونستین اگه گیت و SQL رو ترکیب کنید چی می‌شه؟ این کارو کردن و می‌شه dolt. یه چیزیه که باهاش می‌تونید مثل گیت ترک کنید و بفهمید مثلا کی این ریکورد رو تغییر داد! دقت کنید dolt خودش گیت و SQL رو پیاده کرده و همچیش مال خودشه در واقع گیت نیست ولی با ظاهر گیت برای دیتا.

مستنداتش خیلی کوتاهه اگه گیت و SQLبلد باشید dolt هم تقریبا بلدید :

docs.dolthub.com


@Linuxor

الزاما UI به معنای UX نیست

@Linuxor

با این پکیج به راحتی می تونید یک markdown و json از فایل های پروژه و ساختار دیتابیس تولید کنید.
از فایل های خروجی به راحتی می تونید برای داکیومنت کردن یا تحلیل در هوش مصنوعی استفاده کنید.

به راحتی روی لاراول نصب میشه و دستورات به Artisan اضافه میشه.
توضیحات بیشتر را در صفحه github ببینید
https://github.com/saeedvir/laravel-project-markdown

@DevTwitter | <سعید/>

تابستون فنا فشار نمیخورن هوای پاییز رو میبینن؟

اُمگا ( افزونه فایرفاکس ) منتشر شد.

- توضیحات درمورد سوال :
هر سرچی داشته باشید به راحتی براتون توضیحات دقیق و مفید و مختصر ارائه میده که از جستجو در منابع زیاد بی نیاز باشید.

- ذکر منابع :
چند منبع معتبر و خوب ارائه میده برای مطالعه بیشتر در موضوع مدنظر شما.

- سرچ هر نوع فایل :
به راحتی میتونید هر نوع فایلی که میخواید رو سرچ کنید از موزیک گرفته تا عکس و پی دی اف بهترین و مستقیم ترین منبع رو ارائه میده.

- کپی مطالب :
امکان کپی توضیحات این امکان رو میده که به راحتی توضیحات مفید رو کپی و در جای مدنظرتون پیست کنید.

- سریع و رایگان :
به صورت کاملا رایگان و با سرعت بالا براتون کار میکنه و در خدمتتونه همیشه و همه جا.

- چند پلتفرمی :
این افزونه قابلیت نصب در موبایل و دسکتاپ رو داره و به راحتی میتونید نصب کنید.

- ساپورت سوالات طولانی :
میتونید سوالات طولانی توی باکس سرچ تایپ کنید و به راحتی پاسخ دقیق رو دریافت کنید ( این یعنی فقط در وب سرچ نمیکنه و توانایی جنریت پاسخ هر سوالی رو داره ).

برای نصب میتونید در قسمت افزونه های فایرفاکس اسم افزونه رو سرچ کنید و نصب کنید. Omga Ai

برای نصب مستقیم میتونید از لینک زیر استفاده کنید.
https://addons.mozilla.org/en-US/firefox/addon/omga-ai-search-explainer

@DevTwitter | <Pouria Hosseini/>

🔶 باگ سایت زومیت

به آدرس نوار مرورگر دقت کنید.

@TheRaymondDev

لینوکس 6.17 RC 7 منتشر شد؛ انتظار می‌رود نسخه پایدار هفته آینده در دسترس قرار گیرد.
#Linux #Kernel

مهم‌ترین تغییرات عبارت‌اند از:

• افزودن شناسه جدید ACPI ID به درایور AMD PMF که نشان‌دهنده پشتیبانی از یک پلتفرم آینده AMD است، اما جزئیات بیشتری درباره این سخت‌افزار منتشر نشده است.

• افزودن پشتیبانی از کنسول‌های دستی AOKZOE A1X و OneXPlayer X1Pro EVA-02 در درایور OneXPlayer EC (با کد OXPEC که امکان کنترل و نظارت بر دمای این کنسول‌ها را فراهم می‌کند.

منبع خبر
به ما بپیوندید :
@LinNews | @LinAcademy

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

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

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

یه عده از دوستان فکر کردند که من به شوخی اینجا گفتم که دارم روی مهارت‌های نون پزیم کار میکنم که بعد دکتری بیکار نمونم. یا اینکه ایده‌ی تاسیس رستوران‌های زنجیره‌ای با عنوان "فرمال‌خوران" به همراه دوستانم در اروپا جدی نبوده.

ببینید این چیزا کاملا طبیعیه. بخصوص توی حوزه‌ی کاری ما. نمونه‌های بی‌شماری هم داشته. اصلا بذارید من به یکیش اشاره کنم. آقای Aaron R Bradley دانشجوی مرحوم Zohar Manna در استنفورد بود. ایشون بعد دکتری میرن دانشگاه Colorado در آمریکا و tenure-track میشن. توی همون سال‌ها ایشون یک الگوریتمی میدن به نام IC3. به تنهایی هم این الگوریتم رو ابداع میکنند. توی اون چند سال هم هی روش مقاله میدن و ورژن‌های مختلفی میدن ولی خب کسی توجهی نمیکنه. دانشگاه هم با درخواست tenured شدن ایشون مخالفت میکنه و ایشون رو میندازه بیرون :)

بعدش ایشون میرن معلم دبیرستان میشن :) و ۴ سالی اونجا هندسه و ریاضی گسسته درس میدن :)
توی این چهار سال، ملت میفهمن که الگوریتم IC3 ایشون، چه چیز قوی و محشریه و اون زمانی که ایشون این الگوریتم رو ابداع کرد، هیچکس در واقع نفهمیده بود که این الگوریتم چقدر ارزشمنده. از اون موقع تا به امروز الگوریتم ایشون که پایه‌ی تمام تکنیک‌های CEGAR بیس هستند بهترین الگوریتم موجود در زمینه‌ی Symbolic Model Checking هستش :)

بعد معروف شدن IC3 شرکتا شروع میکنن آفر دادن و قاپیدن آقای Aaron. ایشونم درنهایت آفر شرکت Mentor Graphics رو قبول کرد و رفت اونجا مشغول فرمال متد شد. ۷ سال اونجا بود و بعدشم ۱ سال رفت AWS. منتهی باز دوباره احساس کرد که جامعه توان درک و فهم حرفاش رو نداره، و حدس بزنید چی کار کرد؟ :)

بله دوستان ایشون استعفا داد و رفت استخدام موزه‌ی Denver شد و پیشه‌ی فسیل شناسی رو پیشه کرد :) فاکینگ ۴ سال تمام کارش فسیل شناسی بود :) تا همین فبریه ۲۰۲۵. بعدش با خودش نشست فکر کرد که من دارم چه غلطی با زندگیم می‌کنم، و بله، بعدش تصمیم گرفت یه استارت آپ بزنه Neuro-symbolic AI کار کنه. تا امروز هنوز همونجاست :)

منم به نظرم همین میشه. بعد دکتری یه نونوایی باز میکنم تو زاربروکن و اوستا شاطر میشم :)

احتمالا اسم نانواییم رو خواهم گذاشت
a pessimistic baker