مدل‌های قبلی OpenAI بیشتر روی استدلال تمرکز داشتن. ولی GPT-4.5 بیشتر روی یادگیری بدون نظارت تمرکز کرده، یعنی بهش کلی دیتا دادن و گذاشتن خودش یاد بگیره.

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

تضمینی اینکه هیچوقت قرار نیست رایگان باشه و احتمالا توی پنل Plus هم با کلی محدودیت ارائه میشه چون خیلی گرونه، یعنی ۱ میلیون توکن میشه ۷۵ دلار که احتمالا برای هر کاری مناسب نباشه.

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

اما نقدها هم به این مدل زیاد هستن، مثلا توی ریاضی، برنامه‌نویسی و بنچمارک‌های دیگه عملکردش در سطح مدل‌هایی مثل Grok 2.0 یا Claude 3.7 بوده و خیلی‌ها گفتن ارزش این مقدار هزینه بیشتر رو نداره.

تاکید می‌کنن که GPT-4.5 فعلا استدلال نمی‌کنه، ولی در آینده مدل‌های هیبریدی میسازن که استدلال هم داشته باشه. مثل کاری که Claude انجام داد.

@DevTwitter | <Soroush Ahmadi/>

وقتی Nuno توی لایو می‌گفت یادم نیست این three points thing اسمش چیه.

This is spread operator? Okay...

فهمیدم که خیلی کمال‌گرام.

آلوده سازی از طریق کرک بازی و نرم‌افزارها بشدت بالا رفته است و گهگاهی گریبان‌گیر اطرافیان، از یوتیوبرها تا گیمرها می شود.
طی تحقیقی بیشر از ۱۱۰۰ مخزن Github شناسایی شده‌اند که برای پخش بدافزار هستند.
جالب اینجاست که اطلاعات به چنل‌های Discord فرستاده می‌شوند (عادی سازی ترافیک) و در آنجا هکرها اطلاعات ارزشمند را جداسازی می کنند.
برنامه‌هایی مثل Photoshop و بازی هایی مثل Roblox و Fortnite در صدر لیست جذب قرار دارند.
در این مورد این بدافزار به دزدیدن اطلاعات می پردازد ولی در مواردی که خودم دیده‌ام سیستم آلوده در حمله DDoS هم استفاده می شود، اینگونه میشود که برای دارندگان سروری که VPN دارند، اخطار Abuse می‌آید!
https://timsh.org/github-scam-investigation-thousands-of-mods-and-cracks-stealing-your-data/

@DevTwitter | <Vahid Nameni/>

🔶 طبق بررسی هایی که در گیت هاب صورت گرفته است که متاسفانه بیش 1115 مخزن دارای محتوای کرک و ماد مربوط به نرم افزار های مثل فتوشاپ و فورتنایت و روبلاکس داده های کاربران را به سرقت می ببرند.

تمام داده های رایانه شما جمع آوری و به برخی از سرورهای دیسکورد ارسال می شود و جایی که صدها نفر در داده ها به دنبال کلیدهای خصوصی کیف پول رمزنگاری، حساب های بانکی و اعتبار رسانه های اجتماعی و حتی حساب های Steam و Riot Games می گردند.

پ . ن : اخیرا گیت هاب 100 هزار مخزن آلوده به بدافزار پیدا کرده است.

#خبر

@TheRaymondDev

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

آشفته همی روی به کویی ای جان
می جویی از آن گمشده خویش نشان
من دوش بدیدم کمرت را ز میان
هان تا نبری گمان بد بر دگران

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

ابزار Yaak یک API client برای توسعه دهنده‌های مدرن
این Yaak API Client به صورت Offline کار میکنه با Git سازگاره
و برای HTTP ,GraphQL ,WebSockets ,SSE و gRPC استفاده میشه

Yaak.app
@DevTwitter | <MehrdadLinux/>

یکمی از Summer School ها بگیم

امسال SAT/SMT/AR 2025 توی اسکاتلند برگزار میشه. این سامر اسکول به رسم هر سال، همراه با کنفرانس‌های SAT و SMT و CP برگزار میشه. من خودم خیلی توی این کامیونیتی نیستم منتهی پارسال که توی Nancy فرانسه بود شرکت کردم و خیلی تجربه‌ی خوبی بود. یه چیز جالب برام این بود که آدما به قدری توی حوزه‌ی خودشون تخصص داشتن و وقت گذاشته بودن که اگر یکمی از حوزه‌ی خودشون فاصله می‌گرفتن خیلی متوجه حرف‌ها و لکچرها نمیشدن. مثلا طرف SMT کار خیلی قوی‌ای بود ولی لکچرهای SAT رو خیلی متوجه نمی‌شد!

خلاصه از اصحاب اگر کسی ویزاش رو داره و می‌تونه بره به شدت توصیه می‌کنم. پارسال EuroProofNet یا همون EPN هزینه‌ی دانشجوهایی که توان مالی شرکت در این سامر اسکول نداشتن رو ساپورت می‌کرد. منتهی نمی‌دونم امسال هم این ساپورت رو دارن یا نه. امسال این سامر اسکول ۶ تا ۸ آگوست در University of St Andrews برگزار میشه. پورتال ثبت‌نام هم هنوز باز نشده. برای اطلاعات بیشتر می‌تونید به این لینک مراجعه کنید.

اما کمی بپردازیم به کامیونیتی SE. امسال SIESTA توی سوئیس برگزار میشه. من خیلی با این سامر اسکول آشنا نیستم. کلا هم خیلی با این SE کارا حال نمی‌کنم. منتهی تیم organizer این سامر اسکول تیم خیلی قوی‌ای هستش. آقای Paolo Tonella که از خدایان Test و Software هستند به همراه ۳ تا دیگه از همکارانشون در دانشگاه لوگانو organizer هستند و ایشون کارشون خیلی درسته. این سامر اسکول ۲۷ تا ۲۹ آگوست در دانشگاه لوگانو یا همون USI برگزار میشه و به اصحاب اروپایی بسیار توصیه میشه. فعلا لینک ثبت‌نام رو نذاشتن ولی برای کسب اطلاعات بیشتر می‌تونید به این لینک مراجعه کنید.

Compiler driven development

Some compilers are so strict (like your mom) that we might say

if it compiles, it probably works

Therefore exists another way of writing software called CDD or Compiler-Driven Development. Much like TDD but instead of your tests giving you the green light, you obey the compiler. It's highly feasible in Rust due to its type system and strict ownership rules.

This methodology can be summarized as:

> Write client code for your module even though it doesn't exist
> Figure out its model/interface
> Compile and face errors
> Errors bad, Life sad, Write code to get rid of errors
> Improve your model and repeat

> Hate yourself for choosing rust

تصاویری از AVM 2024 در شهر Freiburg