🧮 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❤🔥3
اسکن سریع پورت با RustScan
برای پیدا کردن پورت‌های باز در شبکه‌ای که مسئولش هستی، ابزار RustScan مرحلهٔ کشف رو سریعتر پیش میبره؛ یک Port Scanner نوشته‌شده با Rust که نتایج رو برای بررسی بیشتر به Nmap میسپاره.
میتونید محدوده پورت‌ها، هم‌زمانی و Timeout را تنظیم کنید تا اسکن با ظرفیت شبکه هماهنگ باشد. برای بازبینی سرویس‌های در معرض دسترس و بررسی تنظیمات فایروال کاربردیه؛ فقط روی سیستم خودت یا با مجوز اجرا کن.
این پروژه کاملا با راست نوشته شده و مثل اینکه اومده تا رقیب NMAP بشه و تا الان 20k استارز هم گرفته!
لینک گیتهاب پروژه:
https://github.com/bee-san/RustScan
#rust #project
☕️ Telegram | Website | Discord
برای پیدا کردن پورت‌های باز در شبکه‌ای که مسئولش هستی، ابزار RustScan مرحلهٔ کشف رو سریعتر پیش میبره؛ یک Port Scanner نوشته‌شده با Rust که نتایج رو برای بررسی بیشتر به Nmap میسپاره.
میتونید محدوده پورت‌ها، هم‌زمانی و Timeout را تنظیم کنید تا اسکن با ظرفیت شبکه هماهنگ باشد. برای بازبینی سرویس‌های در معرض دسترس و بررسی تنظیمات فایروال کاربردیه؛ فقط روی سیستم خودت یا با مجوز اجرا کن.
این پروژه کاملا با راست نوشته شده و مثل اینکه اومده تا رقیب NMAP بشه و تا الان 20k استارز هم گرفته!
لینک گیتهاب پروژه:
https://github.com/bee-san/RustScan
#rust #project
☕️ Telegram | Website | Discord
⚡4🔥1