🧮 OpenAI تازگی یه مجموعه از مسئله‌های ریاضی رو که یکی از مدل‌های داخلیش روشون کار کرده و حلشون کرده رو، توی گیت هاب گذاشته. یسری از مسئله ها جز مسئله های سخت ریاضی هستن و OpenAI بعضی از اثبات هارو با Lean گذاشته که بشه درستی اونهارو هم بررسی کرد.
البته هنوز همشون بررسی کامل نشدن و ممکنه ایراد داشته باشن.
اما برای اونایی که نمیدونن Lean چیه، یه زبان برای نوشتن اثبات‌های ریاضیه که به کامپیوتر اجازه میده درستی مراحل اثبات رو بررسی کنه و فقط بجای دیدن توضیحات میتونیم اثبات هارو با سیستم بررسی کنیم.
لینک ریپازیتوری:
🔗 https://github.com/openai/math
#openai #math #challenge
☕️ Telegram | Website | Discord
البته هنوز همشون بررسی کامل نشدن و ممکنه ایراد داشته باشن.
اما برای اونایی که نمیدونن Lean چیه، یه زبان برای نوشتن اثبات‌های ریاضیه که به کامپیوتر اجازه میده درستی مراحل اثبات رو بررسی کنه و فقط بجای دیدن توضیحات میتونیم اثبات هارو با سیستم بررسی کنیم.
لینک ریپازیتوری:
🔗 https://github.com/openai/math
#openai #math #challenge
☕️ Telegram | Website | Discord
🔥3❤🔥2
🚧 اگر برای Input Validation توی Go دنبال یه لایبرری میگردید میتونید از Axis استفاده کنید. یه کتابخونه سبک و بدون وابستگی که باهاش میتونید فیلد هایی مثل ایمیل و پسورد، ساختارای تو در تو و داده‌های JSON و فرم رو اعتبارسنجی کنید و به Struct تبدیلشون کنید.
میتونید برای تعریف Rule های Validation هم از Tag ها روی فیلدای Struct استفاده کنید یا حتی Rule دلخواه خودتون رو هم بسازین✅
🔗 https://github.com/nillofficial/axis
#golang #library #input_validation
☕️ Telegram | Website | Discord | <Mehdi>
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>
❤🔥7🔥2
به نظرتون برای گرفتن پروژه ارتباطات تاثیر بیشتری داره یا مهارت؟
❤🔥11🔥5
This media is not supported in your browser
VIEW IN TELEGRAM
💻 نگران دانلود و آپلود فایل‌های حجیم روی سرور نباش!
انتقال فایل‌های سنگین، با فیبر نوری ماهان‌نت🚀
🎁 ۲۰۰۰ گیگ حجم (۱۰۰۰ گیگ حجم هدیه)
⚡ سرعت ۱۰۰۰ مگابیت بر ثانیه
🚀 آپلود سریع‌تر و اتصال پایدار
🎧 پشتیبانی ۲۴ ساعته
🔥 پروژه هرچقدر سنگین، اینترنتت آماده‌ست!
ثبت‌نام کن و ۱۰۰۰ گیگ هدیه بگیر
👇
https://B2n.ir/fibermahan12
انتقال فایل‌های سنگین، با فیبر نوری ماهان‌نت🚀
🎁 ۲۰۰۰ گیگ حجم (۱۰۰۰ گیگ حجم هدیه)
⚡ سرعت ۱۰۰۰ مگابیت بر ثانیه
🚀 آپلود سریع‌تر و اتصال پایدار
🎧 پشتیبانی ۲۴ ساعته
🔥 پروژه هرچقدر سنگین، اینترنتت آماده‌ست!
ثبت‌نام کن و ۱۰۰۰ گیگ هدیه بگیر
👇
https://B2n.ir/fibermahan12
❤🔥1
یه لاگ منیجر ساده و اوپن سورس برای C و ++C که باهاش میتونید لاگ هارو با فرمت دلخواه خودتون ثبت کنید و مشخص کنید کجا ذخیره بشن مثلا توی ترمینال باشه یا فایل💯
حتی میتونید با نوشتن Handler که خودتون تعریف کردید لاگ‌ها رو توی سرور، دیتابیس و... ذخیره کنید.
🎚 همچنین میتونید Log level خودتون رو هم بسازید.
🔗 https://github.com/qgdev-ir/qolman
#c #cpp #log_manager #repo
☕️ Telegram | Website | Discord | <Qoqnus>
حتی میتونید با نوشتن Handler که خودتون تعریف کردید لاگ‌ها رو توی سرور، دیتابیس و... ذخیره کنید.
🎚 همچنین میتونید Log level خودتون رو هم بسازید.
🔗 https://github.com/qgdev-ir/qolman
#c #cpp #log_manager #repo
☕️ Telegram | Website | Discord | <Qoqnus>
❤🔥11🔥4🤣1
This media is not supported in your browser
VIEW IN TELEGRAM
Forwarded from آکادمی همراه
در این مسیر، فقط با ابزارها و کانال‌های بازاریابی آشنا نمی‌شوید؛ بلکه یاد می‌گیرید مسئله را درست بشناسید، رفتار مخاطب را تحلیل کنید و برای رسیدن به اهداف کسب‌وکار، راهکار مناسب را انتخاب و اجرا کنید.
✅ بیش از ۱۵۰ ساعت آموزش تخصصی
✅ تمرین و پروژه‌های عملی
✅ با حضـور اساتید برجسته دانشگاه و فعالان صنعت
✅ پشتیبانی و مشاوره مستمر با منتورها
✅ با امکان ثبت‌نام اقساطی
Please open Telegram to view this post
VIEW IN TELEGRAM
😼 توی Github Universe امسال چخبره؟
ایونت سالانه GitHub Universe قراره 14 روز دیگه یعنی 28 و 29 اکتبر برگزار بشه. اگر راجبش نمیدونید مراسمیه که گیت هاب توش جدیدترین قابلیت ها و ابزارهاش رو معرفی میکنه و درباره آینده توسعه نرم‌افزار صحبت میکنه.
بعضی از بخشای ایونت:
🔹 معرفی محصولات و قابلیت‌های جدید GitHub همراه با دمو
🔹 نمایش Workflowهای واقعی برای توسعه نرم‌افزار
🔹کارگاه‌های آموزشی تخصصی برای یادگیری مهارت‌هایی که میشه توی پروژه‌های واقعی استفاده کرد
🔗 منبع
#github_universe #event
☕️ Telegram | Website | Discord
ایونت سالانه GitHub Universe قراره 14 روز دیگه یعنی 28 و 29 اکتبر برگزار بشه. اگر راجبش نمیدونید مراسمیه که گیت هاب توش جدیدترین قابلیت ها و ابزارهاش رو معرفی میکنه و درباره آینده توسعه نرم‌افزار صحبت میکنه.
بعضی از بخشای ایونت:
🔹 معرفی محصولات و قابلیت‌های جدید GitHub همراه با دمو
🔹 نمایش Workflowهای واقعی برای توسعه نرم‌افزار
🔹کارگاه‌های آموزشی تخصصی برای یادگیری مهارت‌هایی که میشه توی پروژه‌های واقعی استفاده کرد
🔗 منبع
#github_universe #event
☕️ Telegram | Website | Discord
🔥4❤🔥1