🧮 ‏OpenAI تازگی یه مجموعه از مسئله‌های ریاضی رو که یکی از مدل‌های داخلیش روشون کار کرده و حلشون کرده رو، توی گیت هاب گذاشته. یسری از مسئله ها جز مسئله های سخت ریاضی هستن و OpenAI بعضی از اثبات هارو با Lean گذاشته که بشه درستی اونهارو هم بررسی کرد.

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

اما برای اونایی که نمیدونن Lean چیه، یه زبان برای نوشتن اثبات‌های ریاضیه که به کامپیوتر اجازه میده درستی مراحل اثبات رو بررسی کنه و فقط بجای دیدن توضیحات میتونیم اثبات هارو با سیستم بررسی کنیم.

لینک ریپازیتوری:
🔗 https://github.com/openai/math

#openai #math #challenge
☕️ Telegram | Website | Discord

🚧 اگر برای Input Validation توی Go دنبال یه لایبرری میگردید میتونید از Axis استفاده کنید. یه کتابخونه سبک و بدون وابستگی که باهاش میتونید فیلد هایی مثل ایمیل و پسورد، ساختارای تو در تو و داده‌های JSON و فرم رو اعتبارسنجی کنید و به Struct تبدیلشون کنید.

type User struct {
    Name  string `required:"true"`
    Email string `email:"true"`
}

میتونید برای تعریف Rule های Validation هم از Tag ها روی فیلدای Struct استفاده کنید یا حتی Rule دلخواه خودتون رو هم بسازین✅

🔗 https://github.com/nillofficial/axis

#golang #library #input_validation
☕️ Telegram | Website | Discord | <Mehdi>

اگر از Claude استفاده میکنید به اعصابتون مسلط باشید چون تو آپدیت جدیدش به بی احترامی حساس شده و یه طرفه چت رو میبنده.
البته میتونید تو چت بعدی برید از دلش در بیارین😂 (فقط همون چت رو میبنده)

همینمون کم بود فقط‌

#news
☕️ Telegram | Website | Discord

😂😂

#fun
☕️ Telegram | Website | Discord

به نظرتون برای گرفتن پروژه ارتباطات تاثیر بیشتری داره یا مهارت؟

یه لاگ منیجر ساده و اوپن سورس برای C و ++C که باهاش میتونید لاگ هارو با فرمت دلخواه خودتون ثبت کنید و مشخص کنید کجا ذخیره بشن مثلا توی ترمینال باشه یا فایل💯

حتی میتونید با نوشتن Handler که خودتون تعریف کردید لاگ‌ها رو توی سرور، دیتابیس و... ذخیره کنید.

🎚 همچنین میتونید Log level خودتون رو هم بسازید.

🔗 https://github.com/qgdev-ir/qolman

#c #cpp #log_manager #repo
☕️ Telegram | Website | Discord | <Qoqnus>

😼 توی Github Universe امسال چخبره؟
ایونت سالانه GitHub Universe قراره 14 روز دیگه یعنی 28 و 29 اکتبر برگزار بشه. اگر راجبش نمیدونید مراسمیه که گیت هاب توش جدیدترین قابلیت ‌ها و ابزارهاش رو معرفی می‌کنه و درباره آینده توسعه نرم‌افزار صحبت میکنه.

بعضی از بخشای ایونت:
🔹 معرفی محصولات و قابلیت‌های جدید GitHub همراه با دمو
🔹 نمایش Workflowهای واقعی برای توسعه نرم‌افزار
🔹کارگاه‌های آموزشی تخصصی برای یادگیری مهارت‌هایی که میشه توی پروژه‌های واقعی استفاده کرد

🔗 منبع

#github_universe #event
☕️ Telegram | Website | Discord

اسکن سریع پورت با RustScan

برای پیدا کردن پورت‌های باز در شبکه‌ای که مسئولش هستی، ابزار RustScan مرحلهٔ کشف رو سریعتر پیش میبره؛ یک Port Scanner نوشته‌شده با Rust که نتایج رو برای بررسی بیشتر به Nmap میسپاره.

میتونید محدوده پورت‌ها، هم‌زمانی و Timeout را تنظیم کنید تا اسکن با ظرفیت شبکه هماهنگ باشد. برای بازبینی سرویس‌های در معرض دسترس و بررسی تنظیمات فایروال کاربردیه؛ فقط روی سیستم خودت یا با مجوز اجرا کن.

این پروژه کاملا با راست نوشته شده و مثل اینکه اومده تا رقیب NMAP بشه و تا الان 20k استارز هم گرفته!

لینک گیتهاب پروژه:
https://github.com/bee-san/RustScan


#rust #project
☕️ Telegram | Website | Discord

Ⓜ️ موجو بالاخره ورژن 1.0 رو منتشر کرد و اوپن سورس شد.
زبان برنامه‌نویسی Mojo که توسط شرکت Modular توسعه داده میشه، به نسخه 1.0 رسیده و کد کامپایلر این زبان هم بصورت اوپن سورس در دسترس قرار گرفته.

خب موجو اصلا چه قابلیتایی داره؟
- برای کسایی که با سیستم پایتون آشنایی دارن این زبان با پایتون سازگاره و از کتابخونه هایی مثل NumPy و Matplotlib میتونید توش استفاده کنید
- کامپایل شدنش به کد 0 و 1 باعث میشه توی کارایی که نیاز به سرعت بالا دارن بازدهی خوبی داشته باشه
- میشه باهاش کرنل های GPU و CPU رو هم نوشت

اما توی نسخه 1.0 چه تغییراتی داشته؟🔥
- سینتکس lambda مشابه پایتون اضافه شده تا بتونید Closureهای کوتاه رو راحت‌تر تعریف کنید.
- تعریف متغیرها با var استاندارد شده، روش‌های مختلف تعریف Closure یکپارچه شدن و حالا Mojo از یک نوع Pointer استفاده میکنه.
- سرور LSP پایدارتر شده تا تجربه کدنویسی توی VS Code یا کد ادیتور های دیگه بهتر بشه.
- توی تشخیص ارور های مموری هم بهتر شده و حالا بعضی مشکلات مثل نامعتبر شدن Reference بعد از تغییر یک List رو تشخیص میده.
- استفاده از where یکدست‌تر شده و ارورها هم واضح تر شدن
- ‏AI Skills هم اضافه شده تا ایجنت ‌ها بتونن توی نوشتن پروژه‌های Mojo، نوشتن کدهای GPU و کار با مدل‌های دیگه توی پلتفرم MAX کمک کنن.

🔗 منبع

کسی از شما اینجا با موجو کار کرده؟ تو کامنتا بنویسید💬

#mojo #news
☕️ Telegram | Website | Discord

😶🤦🏻‍♂

#fun
☕️ Telegram | Website | Discord