اگه با AI کد میزنید، ZCode رو یه تست بکنید.
فعلاً برای GLM-5.3-Flash روزانه ۳۰۰ میلیون توکن رایگان میده که برای کارهای سنگین، پروژههای بزرگ و تسکهایی که سریع توکن میبلعن عدد خیلی خوبیه.
یعنی عملاً میتونید بخش زیادی از کدنویسی و Agentic Coding روزمرهتون رو بدون نگرانی از مصرف توکن بندازید روش.
پس Zcode رو نصب کنید، برید بخش Global Building و سهمیه روزانهتون رو Claim کنید.
300 میلیون توکن در روز واقعاً ارزش امتحان کردن داره.
https://zcode.z.ai/en
@codehalics | کدهالیک
فعلاً برای GLM-5.3-Flash روزانه ۳۰۰ میلیون توکن رایگان میده که برای کارهای سنگین، پروژههای بزرگ و تسکهایی که سریع توکن میبلعن عدد خیلی خوبیه.
یعنی عملاً میتونید بخش زیادی از کدنویسی و Agentic Coding روزمرهتون رو بدون نگرانی از مصرف توکن بندازید روش.
پس Zcode رو نصب کنید، برید بخش Global Building و سهمیه روزانهتون رو Claim کنید.
300 میلیون توکن در روز واقعاً ارزش امتحان کردن داره.
https://zcode.z.ai/en
@codehalics | کدهالیک
👍11🔥2❤1
اگر میخوایید مرسولتون برگشت نخوره باید روی لینک گیت هاب کلیک کنید
یادداشت کنین یادتون نره
@codehalics | کدهالیک
یادداشت کنین یادتون نره
@codehalics | کدهالیک
😁21🤯9
پروژه متنباز Colorfigures یه اسکیل خیلی باحال برای ابزارهای هوش مصنوعی مثل Claude، ChatGPT و Gemini هست که بهتون اجازه میده فقط با یه خط پرامپت و بدون حتی یه خط کدنویسی، مدلهای سهبعدی و ایزومتریک با استایل طراحی دستی بسازید. خروجی کار یه فایل HTML سبکه که مستقیم توی مرورگر باز میشه و کاملاً هم تعاملیه؛ یعنی میتونید مدل رو ۳۶۰ درجه بچرخونید، دکمهها و اهرمهاش رو واقعاً فشار بدید و حتی بدنه رو نامرئی کنید تا ببینید قطعات داخلی وسایلی مثل اسپرسوساز، گرامافون یا کتری برقی چطوری با هم کار میکنن و اسم هر قطعه چیه.
april-zhu.com/colorfigures
@codehalics | کدهالیک
april-zhu.com/colorfigures
@codehalics | کدهالیک
❤3🔥2
فلیکس ریزنبرگ، از مدیران مهندسی Anthropic، به تازگی توییتی زده و گفته مصاحبههای کدنویسی سنتی دیگه مردن و تیمش از این ماه این مرحله رو کلهم از فرآیند استخدام حذف کرده. منطقش اینه که الان چالش دادن به یه برنامهنویس برای نوشتن یه تسک کوچیک با React، به اندازه سوال پرسیدن از زبان اسمبلی بیمعنیه؛ چون Claude توی هر دوتاش از آدمها بهتر عمل میکنه و این تستها دیگه هیچ سیگنال مفیدی برای سنجش توانایی واقعی افراد نمیدن. به عقیده اون، الان که پیادهسازی و کد زدن به لطف هوش مصنوعی ارزون و سریع شده، یه فرصت طلایی برای جونیورها به وجود اومده که حتی از سنیورها هم جلو بزنن؛ کما اینکه دو تا از مهندسهای تازهکار تیمش آخر هفته یه پروتوتایپ برای رابط کاربری Claude Code ساختن که فقط هشت روز بعد پابلیک شد. ریزنبرگ میگه الان به جای تست کدنویسی، دنبال رزومههایی میگرده که توشون پروتوتایپهای کوچیک ولی باسلیقه، کاربردی و تاثیرگذار روی بیزینس دیده بشه، نه صرفاً کسایی که تسکهای بکلاگ رو انجام میدن. البته همه با این دیدگاه موافق نیستن و یه نگاه مخالف هم وجود داره که میگه اتفاقاً باید مصاحبهها رو به سادهترین اصول پایهای برگردوند؛ یعنی از کارجو بخوایم زنده یه فانکشن بنویسه و یه سرویس رو از لوکال روی سرور پابلیک دیپلوی کنه، چون مصاحبههای رفتارشناسی و سنجش سلیقه، معیارهای دقیقی نیستن. در کل، همزمان با اینکه Anthropic اعلام کرده ۸۰ درصد کدهای خودش توسط Claude نوشته میشه و گوگل هم داره مصاحبههای با اجازه استفاده از Gemini رو تست میکنه، هر دو طرف ماجرا سر این توافق دارن که مصاحبههای سنتی دیگه جواب نمیدن؛ فقط یه عده میگن باید سراغ سنجش سلیقه و دید محصولی رفت و عده دیگه معتقدن باید روی اصول پایهای مهندسی تمرکز کرد.
https://x.com/felixrieseberg/status/2115200995546566910
@codehalics | کدهالیک
https://x.com/felixrieseberg/status/2115200995546566910
@codehalics | کدهالیک
X (formerly Twitter)
Felix Rieseberg (@felixrieseberg) on X
The coding interview is dead, at least for my team at Anthropic. I've seen enough to know that it no longer provides signal. I removed it from loops this month.
I have a spicy, optimistic take -…
I have a spicy, optimistic take -…
❤5
یکی از دوستانم با الهام از بازی خاطرهانگیز تراوین، یه بازی استراتژیک فوقالعاده جذاب و پرجزئیات ساخته که صفر تا صدش با کمک Claude پیادهسازی شده و از مدیریت منابع و ساخت ارتش گرفته تا رقابتهای کلن رو به تمیزترین شکل ممکن داره؛ منم از همون اول داخلش شروع کردم و الان با یه اکانت خیلی قوی بالانشین جدولم، پس اگه ادعاتون میشه و فکر میکنید حریف من میشید، از لینک زیر وارد بشید تا توی بازی ببینمتون!
@valorians_bot
البته اینم بگم که بهتره با دم شیر بازی نکنین چون من خیلی تو این بازی قویم الان X0
@codehalics | کدهالیک
@valorians_bot
البته اینم بگم که بهتره با دم شیر بازی نکنین چون من خیلی تو این بازی قویم الان X0
@codehalics | کدهالیک
🔥6😁1
اگه با هوش مصنوعی کد میزنید یا به بازیسازی علاقه دارید، ریپازیتوری Claude Code Game Studios یکی از خفنترین پروژههاییه که اخیراً روی گیتهاب ترند شده و نزدیک به ۳۰ هزار تا ستاره گرفته.
مشکل اصلی ساختن پروژههای بزرگ با AI توی یه چت ساده اینه که هیچ ساختاری وجود نداره؛ کسی جلوی هاردکد کردن، اسپاگتی شدن کدها یا رد شدن از فاز طراحی و تست رو نمیگیره. این پروژه دقیقاً میاد همین خلاء رو پر میکنه و یه سشن Claude Code رو به یه استودیوی واقعی بازیسازی تبدیل میکنه.
توی این تمپلیت به جای یه دستیار عمومی، ۴۹ ایجنت تخصصی توی ۳ سطح (از کارگردان فنی و هنری گرفته تا برنامهنویس گیمپلی، شبکه، طراح اقتصاد بازی و تستر QA) در اختیارتون قرار میگیره که با هم هماهنگ میشن. علاوه بر این، ۷۴ کامند آماده برای تمام مراحل از ایدهپردازی و معماری تا اسپرینتبندی و تست داره، به صورت اختصاصی از Unity، Unreal و Godot پشتیبانی میکنه و با هوکهای خودکارش اجازه نمیده کدهای کثیف یا تستنشده وارد پروژه بشن.
https://github.com/Donchitos/Claude-Code-Game-Studios
@codehalics | کدهالیک
مشکل اصلی ساختن پروژههای بزرگ با AI توی یه چت ساده اینه که هیچ ساختاری وجود نداره؛ کسی جلوی هاردکد کردن، اسپاگتی شدن کدها یا رد شدن از فاز طراحی و تست رو نمیگیره. این پروژه دقیقاً میاد همین خلاء رو پر میکنه و یه سشن Claude Code رو به یه استودیوی واقعی بازیسازی تبدیل میکنه.
توی این تمپلیت به جای یه دستیار عمومی، ۴۹ ایجنت تخصصی توی ۳ سطح (از کارگردان فنی و هنری گرفته تا برنامهنویس گیمپلی، شبکه، طراح اقتصاد بازی و تستر QA) در اختیارتون قرار میگیره که با هم هماهنگ میشن. علاوه بر این، ۷۴ کامند آماده برای تمام مراحل از ایدهپردازی و معماری تا اسپرینتبندی و تست داره، به صورت اختصاصی از Unity، Unreal و Godot پشتیبانی میکنه و با هوکهای خودکارش اجازه نمیده کدهای کثیف یا تستنشده وارد پروژه بشن.
https://github.com/Donchitos/Claude-Code-Game-Studios
@codehalics | کدهالیک
GitHub
GitHub - Donchitos/Claude-Code-Game-Studios: Turn Claude Code into a full game dev studio — 49 AI agents, 72 workflow skills, and…
Turn Claude Code into a full game dev studio — 49 AI agents, 72 workflow skills, and a complete coordination system mirroring real studio hierarchy. - Donchitos/Claude-Code-Game-Studios
❤2🔥1
امروز اکستنشن رسمی Claude Code روی VS Code برای یه بازه زمانی کوتاه هک شد و مهاجمها موفق شدن یه بکدور SSH داخلش قرار بدن.
طبق گزارشهایی که توی ردیت منتشر شده، هر کسی که توی اون بازه زمانی این اکستنشن رو نصب یا آپدیت کرده باشه، عملاً این بکدور روی سیستمش نصب شده و دسترسی سیستمش در خطر بوده. اگر امروز این اکستنشن رو روی VS Code یا ادیتورهای مشابه مثل Cursor آپدیت یا نصب کردید، حتماً همین الان فایلهای authorized_keys توی پوشه .ssh، پروسسهای مشکوک پسزمینه و لاگهای شبکه سیستمتون رو چک کنید و تا جای ممکن کلیدها و توکنهای دسترسیتون رو عوض کنید.
https://www.reddit.com/r/ClaudeCode/comments/1xj7d4p/the_official_claude_code_vs_code_extension_was/?rdt=63749
@codehalics | کدهالیک
طبق گزارشهایی که توی ردیت منتشر شده، هر کسی که توی اون بازه زمانی این اکستنشن رو نصب یا آپدیت کرده باشه، عملاً این بکدور روی سیستمش نصب شده و دسترسی سیستمش در خطر بوده. اگر امروز این اکستنشن رو روی VS Code یا ادیتورهای مشابه مثل Cursor آپدیت یا نصب کردید، حتماً همین الان فایلهای authorized_keys توی پوشه .ssh، پروسسهای مشکوک پسزمینه و لاگهای شبکه سیستمتون رو چک کنید و تا جای ممکن کلیدها و توکنهای دسترسیتون رو عوض کنید.
https://www.reddit.com/r/ClaudeCode/comments/1xj7d4p/the_official_claude_code_vs_code_extension_was/?rdt=63749
@codehalics | کدهالیک
👍1
کدهالیک | codehalic
امروز اکستنشن رسمی Claude Code روی VS Code برای یه بازه زمانی کوتاه هک شد و مهاجمها موفق شدن یه بکدور SSH داخلش قرار بدن. طبق گزارشهایی که توی ردیت منتشر شده، هر کسی که توی اون بازه زمانی این اکستنشن رو نصب یا آپدیت کرده باشه، عملاً این بکدور روی سیستمش…
این مدل حملات اصلاً شوخیبردار نیستن و من خودم به بدترین شکل ممکن تجربهش کردم. آخرین باری که سر یکی از همین آسیبپذیریها سیستمم آلوده شد، کل کلیدهای دسترسی گیتهابم لو رفت. مهاجم خیلی سریع اومده بود روی تمام ریپازیتوریهام پایپلاینهای CI/CD مخرب ست کرده بود، از طریق همونها به سرورهای اون موقعم نفوذ کرده بود، کل دیتای سرورها رو کشیده بود بیرون و در نهایت هم روی همهشون ماینر ران کرده بود! بدترین قسمت ماجرا هم این بود که گیتهاب به خاطر فعالیتهای مخرب و اجرای ماینر روی اکشنها، اکانت من رو به مدت ۶ ماه بن کرد و تا بتونم ثابت کنم هک شدم و اکانتم رو پس بگیرم، رسماً پیر شدم.
خلاصه که این هشدارها رو خیلی جدی بگیرید؛ لو رفتن یه کلید SSH یا توکن ساده میتونه کل زیرساخت، دیتا و اکانتهاتون رو ظرف چند دقیقه نابود کنه. اگر امروز این اکستنشن رو آپدیت کردید، بدون معطلی کلیدها و دسترسیهاتون رو عوض کنید.
@codehalics | کدهالیک
خلاصه که این هشدارها رو خیلی جدی بگیرید؛ لو رفتن یه کلید SSH یا توکن ساده میتونه کل زیرساخت، دیتا و اکانتهاتون رو ظرف چند دقیقه نابود کنه. اگر امروز این اکستنشن رو آپدیت کردید، بدون معطلی کلیدها و دسترسیهاتون رو عوض کنید.
@codehalics | کدهالیک
❤11👍1
بزرگترین هک تاریخ کریپتو؛ سرقت ۶.۳ میلیارد دلاری از بایننس از طریق لپتاپ یک مهندس!
درست بعد از بحثی که راجع به خطر آلوده شدن سیستم برنامهنویسها داشتیم، خبر هک ۶.۳ میلیارد دلاری بایننس منتشر شد که رسماً بزرگترین سرقت تاریخ دنیای کریپتو محسوب میشه و ردپای گروه هکری لازاروس (کره شمالی) توش دیده میشه.
نکته فنی و عجیب این هک اینجاست که هیچ کلید خصوصی (Private Key) از والتهای بایننس لو نرفته! هکرها اول لپتاپ یکی از مهندسهای بایننس رو آلوده کردن و از طریق اون، به یکی از سرویس کانتینرها (Service Containers) نفوذ کردن. بعد هم به همراه چند نقطه نفوذ دیگه، مستقیماً از داخل سرویس، تراکنشهای برداشت غیرمجاز رو ثبت کردن. یعنی به جای دزدیدن کلید خزانه، زیرساخت و سیستمی که اجازه صادر کردن دستور برداشت رو داشته تسخیر کردن.
بعد از این اتفاق، بایننس کل برداشتها رو بست و با کمک شرکتهایی مثل تتر و سرکل (که به تنهایی ۲.۴ میلیارد دلار رو فریز کردن)، تونسته حدود نصف این مبلغ رو مسدود کنه و قول داده تمام خسارت رو پوشش بده. با این حال، میلیاردها دلار هنوز دست هکرهاست و بازار کریپتو از جمله بیتکوین و اتریوم واکنش منفی شدیدی به این خبر نشون دادن.
https://www.bbc.com/news/articles/cwg7xp8kx4v5o
@codehalics | کدهالیک
درست بعد از بحثی که راجع به خطر آلوده شدن سیستم برنامهنویسها داشتیم، خبر هک ۶.۳ میلیارد دلاری بایننس منتشر شد که رسماً بزرگترین سرقت تاریخ دنیای کریپتو محسوب میشه و ردپای گروه هکری لازاروس (کره شمالی) توش دیده میشه.
نکته فنی و عجیب این هک اینجاست که هیچ کلید خصوصی (Private Key) از والتهای بایننس لو نرفته! هکرها اول لپتاپ یکی از مهندسهای بایننس رو آلوده کردن و از طریق اون، به یکی از سرویس کانتینرها (Service Containers) نفوذ کردن. بعد هم به همراه چند نقطه نفوذ دیگه، مستقیماً از داخل سرویس، تراکنشهای برداشت غیرمجاز رو ثبت کردن. یعنی به جای دزدیدن کلید خزانه، زیرساخت و سیستمی که اجازه صادر کردن دستور برداشت رو داشته تسخیر کردن.
بعد از این اتفاق، بایننس کل برداشتها رو بست و با کمک شرکتهایی مثل تتر و سرکل (که به تنهایی ۲.۴ میلیارد دلار رو فریز کردن)، تونسته حدود نصف این مبلغ رو مسدود کنه و قول داده تمام خسارت رو پوشش بده. با این حال، میلیاردها دلار هنوز دست هکرهاست و بازار کریپتو از جمله بیتکوین و اتریوم واکنش منفی شدیدی به این خبر نشون دادن.
https://www.bbc.com/news/articles/cwg7xp8kx4v5o
@codehalics | کدهالیک
Bbc
Crypto giant Binance hit by $6.3bn hack suspected to be largest in history
Two analytics firms have attributed the incident to a North Korean hacking unit called TraderTraitor.
❤2😁2👍1🤬1
This media is not supported in your browser
VIEW IN TELEGRAM
چرا هر چی میره نمیرسه به کوروش؟
البته امیدوارم توی نسخه ۱.۰.۲ این مشکل برطرف کرده باشه
@codehalics | کدهالیک
البته امیدوارم توی نسخه ۱.۰.۲ این مشکل برطرف کرده باشه
@codehalics | کدهالیک
😁20
گزارش جدید GitHub Octoverse 2026 میگه که توی یک سال گذشته ایجنتهای هوش مصنوعی کل فرآیند کدنویسی رو زیر و رو کردن طوری که دولوپرها با ۱۷.۹ میلیارد Push که از مجموع دو سال قبل هم بیشتره و ۳۴.۳ میلیارد کامیت، رکوردهای عجیبی زدن طبق این آمار، پروژههایی که از روز اول فایل کانفیگ ایجنت داشتن به طور میانگین ۸ برابر کامیت بیشتری خوردن و الان بیش از ۴۰ درصد کل Pull Requestها رو خود ایجنتها استارت میزنن؛ یعنی نقش ما برنامهنویسها از تایپ کردن خط به خط کد به سمت معماری، مدیریت ایجنت و Code Review شیفت پیدا کرده. از طرفی بیش از ۶۰ درصد دولوپرها دیگه روی یک مدل خاص قفل نمیکنن و بسته به تسکشون بین مدلهای سنگین استدلالی، عمومی و سریع سوییچ میکنن. توی بخش زبانها هم تایپاسکریپت همچنان پادشاه گیتهابه و نکته باحالش اینه که وقتی انتخاب زبان رو به عهده خود ایجنتها میذاریم، اونها هم به خاطر سیستم تایپینگ و خطایابی راحتتر، بیشتر از هر چیزی میرن سراغ TypeScript.
لینک گزارش
@codehalics | کدهالیک
لینک گزارش
@codehalics | کدهالیک
❤6👍2
فکرش رو بکنید ابزاری مثل curl که کارش فقط دانلود فایل و فرستادن درخواستهای اینترنتیه، به مدت ۹ ماه بدون اینکه حتی سازندههاش خبر داشته باشند، تبدیل به یک زبان برنامهنویسی کامل شده بود! اما چطوری؟ بین نسخههای 8.12 تا 8.16، چند قابلیت ساده به فایلهای تنظیمات (Config) این ابزار اضافه شد که ترکیبشون یه معجزه رقم زد. برنامهنویسها دیدند چون curl ریاضی بلد نیست، میتونن اعداد رو با تعداد حرف x شبیهسازی کنند (مثلاً ۳ میشد xxx)؛ بعد با قابلیت «حذف حرف اول متن» ازش کم کنند (تفریق) و با چسبوندن یه x بهش اضافه کنند (جمع)! از طرفی، چون هر فایل تنظیمات میتونست فایل دیگهای رو صدا بزنه، اسم فایل بعدی رو بر اساس متغیرها تغییر دادند و رسماً بدون اینترنت، شرط (if) و حلقه (loop) ساختند! این کامپیوتر عجیب و ناخواسته که نشون میده ترکیب چند قابلیت ساده چه رفتارهای پیشبینینشدهای خلق میکنه، در نسخه 8.17 وقتی تیم سازنده برای جلوگیری از هنگ کردن برنامه، صدا زدن تودرتوی فایلها رو به ۵ لایه محدود کرد، برای همیشه از کار افتاد.
https://seriot.ch/computation/curl.html
@codehalics | کدهالیک
https://seriot.ch/computation/curl.html
@codehalics | کدهالیک
🔥6❤3
This media is not supported in your browser
VIEW IN TELEGRAM
دیگه وقتشه Claude Code رو بیاری توی گروه تلگرام تیمت!
با این ابزار اوپنسورس، کل تیم میتونن خیلی راحت با منشن کردن، ازش استفاده کنن. نکته باحالش اینه که همهچیز توی چت شفافه، خروجی فایلها هم مستقیم همونجا فرستاده میشه.
دسترسی بچهها بر اساس نقششون تعیین میشه و برای کارهای حساس هم حتماً تایید تو لازمه؛ پس خیالت از بابت کنترل اوضاع کاملاً راحته.
پروژه کاملاً متنبازه و میتونی خیلی راحت روی سرور یا سیستم شخصی خودت اجراش کنی
https://github.com/dev-aly3n/aipager
@codehalics | کدهالیک
با این ابزار اوپنسورس، کل تیم میتونن خیلی راحت با منشن کردن، ازش استفاده کنن. نکته باحالش اینه که همهچیز توی چت شفافه، خروجی فایلها هم مستقیم همونجا فرستاده میشه.
دسترسی بچهها بر اساس نقششون تعیین میشه و برای کارهای حساس هم حتماً تایید تو لازمه؛ پس خیالت از بابت کنترل اوضاع کاملاً راحته.
پروژه کاملاً متنبازه و میتونی خیلی راحت روی سرور یا سیستم شخصی خودت اجراش کنی
https://github.com/dev-aly3n/aipager
@codehalics | کدهالیک
❤4
لپتاپ رو بعد از یه روز سنگین میبندی؛ یه باگ عجیب رو فیکس کردی، چند تا PR رو ریویو کردی و به همتیمیت کمک کردی یه تیکه کد رو بهتر بفهمه، اما به محض اینکه گوشی رو برمیداری، حس میکنی هیچکدوم کافی نبوده. یکی توی یه بعدازظهر با AI یه اپ کامل بالا آورده، یکی دیگه میگه برنامهنویسها کارشون تمومه و نفر سوم لیست ۱۰ تا ابزاری رو گذاشته که اگه تا فردا یاد نگیری، از بازار حذف میشی. واقعیت اینه که خستگی این روزهای ما از کد زدن نیست؛ از دویدن بیوقفه دنبال خط پایانیه که هر روز جاش عوض میشه و ترسیه که خودش رو پشت نقاب «جاهطلبی و یادگیری» قایم کرده. ما داریم یک روز کاری واقعی و پر از چالشهای مهندسی رو با «۵ دقیقه دموی جذاب» بقیه مقایسه میکنیم؛ دمویی که نه خبری از تغییر نیازمندیها توش هست، نه دیتای کثیف و نه دردسرهای یکپارچهسازی با سیستمهای قدیمی. یادگیری زمانی ارزشمنده که برای حل یک مسئله واقعی باشه، نه از سر عذاب وجدان استراحت کردن؛ هیچ کورسی قرار نیست به سوال «آیا آینده من امنه؟» جواب بده، پس به جای اینکه هر شب کل صنعت تکنولوژی رو از ترس عقب موندن زیر و رو کنی، لپتاپ رو ببند و با خیال راحت زندگی کن؛ چون داشتن یه ذهن آروم و باتمرکز برای حل کردن یه مسئله واقعی در فردا، خیلی بیشتر از بوکمارک کردن صدتا ابزار جدید تو رو توی این بازار نگه میداره.
این مقاله بنظرم بدرد این روزامون میخوره و خوندنش رو بهتون توصیه میکنم :
https://medium.com/@abhijitrana.dev/i-can-fix-the-bug-i-cant-fix-the-fear-of-becoming-irrelevant-ac0dbaaa8899
@codehalics | کدهالیک
این مقاله بنظرم بدرد این روزامون میخوره و خوندنش رو بهتون توصیه میکنم :
https://medium.com/@abhijitrana.dev/i-can-fix-the-bug-i-cant-fix-the-fear-of-becoming-irrelevant-ac0dbaaa8899
@codehalics | کدهالیک
👍17❤8🔥2
آخرای اکتبر ۲۰۲۶، OpenAI اعلام کرد هوش مصنوعیاش تونسته یه مسئلهٔ ریاضی رو حل کنه که از سال ۱۹۹۱ همینطوری بیجواب مونده بود. اسمش «حدس هموارسازی موضعی» عه و یه ریاضیدان به اسم کریستوفر ساگ مطرحش کرده بود. حالا چرا اینقدر سروصدا کرده؟ چون این حدس مثل مهرهٔ اول یه ردیف دومینوئه. اگه درست باشه، چندتا حدس معروف دیگه هم پشت سرش خودبهخود درست درمیان: حدس بوشنر ریس، حدس تحدید فوریه و آخر از همه حدس کاکیا. اثباتش رو هم با یه نرمافزار به اسم Lean چک کردن که قدمبهقدم اثبات رو مثل یه معلم خیلی سختگیر بررسی میکنه. ولی هنوز ریاضیدانها رسماً تأییدش نکردن.
اما قضایایی که اثبات شدن رو میتونیم در حد ریاضیات راهنمایی بیاریمش پایین که متوجه بشید که هر کدوم راجب چی داشتن صحبت میکردن پس این رشته پست رو از دست ندید !
@codehalics | کدهالیک
اما قضایایی که اثبات شدن رو میتونیم در حد ریاضیات راهنمایی بیاریمش پایین که متوجه بشید که هر کدوم راجب چی داشتن صحبت میکردن پس این رشته پست رو از دست ندید !
@codehalics | کدهالیک
❤5
کدهالیک | codehalic
آخرای اکتبر ۲۰۲۶، OpenAI اعلام کرد هوش مصنوعیاش تونسته یه مسئلهٔ ریاضی رو حل کنه که از سال ۱۹۹۱ همینطوری بیجواب مونده بود. اسمش «حدس هموارسازی موضعی» عه و یه ریاضیدان به اسم کریستوفر ساگ مطرحش کرده بود. حالا چرا اینقدر سروصدا کرده؟ چون این حدس مثل مهرهٔ…
برای اینکه بفهمیم قضیه چیه، بیاید از ته صف شروع کنیم، یعنی از حدس کاکیا. فرض کن یه سوزن روی زمین داری و میخوای کامل دور خودش بچرخونیش. سؤال اینه که حداقل چقدر جا لازم داری. اولش آدم فکر میکنه یه دایره لازمه، ولی میشه زرنگی کرد و سوزن رو مثل ماشینی که توی کوچهٔ تنگ دور میزنه، با چند بار جلو و عقب رفتن چرخوند. یه ریاضیدان به اسم بزیکوویچ یه چیز خیلی عجیب پیدا کرد: میشه شکلی ساخت که سوزن توش به همهٔ جهتها اشاره کنه، ولی مساحتش تقریباً صفر باشه! حدس کاکیا میگه با همهٔ این حرفها، این شکل هیچوقت واقعاً لاغر نمیشه. مثل جارویی که موهاش به همهٔ جهتها رفتن: هرچقدر هم موهاش رو نازک کنی، بازم یه تودهٔ پرپشت میمونه و تبدیل به یه خط نمیشه. همین حرف رو برای فضای سهبعدی و بیشتر هم میزنن. یه نسخهٔ دقیقترش هم هست به اسم «تابع ماکسیمال کاکیا» که همین رو با عدد و رقم میگه: اگه کلی لولهٔ خیلی باریک داشته باشی که هر کدوم یه طرف میرن، این لولهها نمیتونن خیلی روی هم جمع بشن و مجبورن پخش بشن.
@codehalics | کدهالیک
@codehalics | کدهالیک
❤4
کدهالیک | codehalic
برای اینکه بفهمیم قضیه چیه، بیاید از ته صف شروع کنیم، یعنی از حدس کاکیا. فرض کن یه سوزن روی زمین داری و میخوای کامل دور خودش بچرخونیش. سؤال اینه که حداقل چقدر جا لازم داری. اولش آدم فکر میکنه یه دایره لازمه، ولی میشه زرنگی کرد و سوزن رو مثل ماشینی که توی…
خب حالا این سوزن و لولهها چه ربطی به موج دارن؟ هر صدا یا موجی رو میشه به یه سری نت خالص تجزیه کرد، مثل اینکه یه آبمیوهٔ مخلوط بخوری و بگی اینقدرش موزه و اینقدرش توتفرنگی. به این کار میگن «تبدیل فوریه». حدس تحدید فوریه دربارهٔ موجیه که فقط از نتهایی ساخته شده که زیروبمیشون یکیه ولی هر کدوم از یه جهت میان. این حدس میگه همچین موجی نمیتونه یه جا خیلی جمع بشه و مجبوره پخش بشه. جالبیش اینجاست که این موج در واقع از کلی تیکهموج ساخته شده که هر کدوم مثل همون لولههای باریک، توی یه جهت حرکت میکنن. اگه این لولهها میتونستن زیاد روی هم جمع بشن، موج هم میتونست یه جا متمرکز بشه. واسه همینه که اگه حدس تحدید درست باشه، حدس کاکیا هم درست درمیاد.
@codehalics | کدهالیک
@codehalics | کدهالیک
❤3
کدهالیک | codehalic
خب حالا این سوزن و لولهها چه ربطی به موج دارن؟ هر صدا یا موجی رو میشه به یه سری نت خالص تجزیه کرد، مثل اینکه یه آبمیوهٔ مخلوط بخوری و بگی اینقدرش موزه و اینقدرش توتفرنگی. به این کار میگن «تبدیل فوریه». حدس تحدید فوریه دربارهٔ موجیه که فقط از نتهایی…
یه پله بالاتر میرسیم به حدس بوشنر ریس که به یه کار خیلی آشنا ربط داره: فشرده کردن عکس و صدا. توی این کار یه سری از فرکانسها رو حذف میکنن. اگه این کار رو یهویی و تیز انجام بدی، دور لبهها یه لرزشها و خرابیهای اضافه پیدا میشه. ولی اگه آروم و نرم حذفشون کنی، تصویر سالم میمونه. این حدس میگه دقیقاً چقدر باید نرم ببُری که همهچی درست بمونه. جالبه بدونی دلیل اینکه بریدن تیز خراب درمیاد، دقیقاً همون شکلهای عجیب کاکیاست. و بالاخره میرسیم به بالای صف، یعنی همون حدس هموارسازی موضعی که دربارهٔ رفتار موجها مثل صدا و نور توی زمانه. ذرهبین یادتونه؟ میتونه نور خورشید رو یه لحظه روی یه نقطه جمع کنه. موجها هم میتونن یه لحظه خیلی تیز و متمرکز بشن. ولی حرف این حدس اینه که این تمرکز دووم نمیاره و اگه موج رو توی یه بازهٔ کوتاه زمانی نگاه کنی، از چیزی که فکرش رو میکنی نرمتر و صافتره. چون این حدس از همه اطلاعات بیشتری توی خودش داره، بقیهٔ حدسها از دلش بیرون میان.
@codehalics | کدهالیک
@codehalics | کدهالیک
❤3