Forwarded from Go Casts 🚀
This media is not supported in your browser
VIEW IN TELEGRAM
دو تا ابزار pgcli و mycli خیلی میتونه کار با دیتابیس هارو راحت تر و حتی امن تر کنه در محیط ترمینال
اولا که خیلی ux خوبی دارن و auto complete داره خیلی کارو راحت میکنه
دوما اینکه برای دستورات خطرناکی مثل آپدیت و حذف و غیره ازت یه تایید ثانویه دستور میگیره که خیلی ریسک اجرا رو کمتر میکنه اگه ریویو کنی دستور رو قبل از اجرا
مرسی از روزبه جان برای معرفی mycli
@terminal_stuff
pgcli
https://github.com/dbcli/pgcli
mycli
https://github.com/dbcli/mycli
@gocasts
اولا که خیلی ux خوبی دارن و auto complete داره خیلی کارو راحت میکنه
دوما اینکه برای دستورات خطرناکی مثل آپدیت و حذف و غیره ازت یه تایید ثانویه دستور میگیره که خیلی ریسک اجرا رو کمتر میکنه اگه ریویو کنی دستور رو قبل از اجرا
مرسی از روزبه جان برای معرفی mycli
@terminal_stuff
pgcli
https://github.com/dbcli/pgcli
mycli
https://github.com/dbcli/mycli
@gocasts
Forwarded from a pessimistic researcher (Kc)
PhD in Learning Systems @ Max Planck & ETH
——————————————————————
این یک پورگرام جوینت هست بین eth و mpi بدین صورت که شما یه استاد از هر دو سمت خواهید داشت و متناسب با برنامهریزی استادا، یک تایمی از سال رو mpi هستید و باقیش رو eth. ددلاینش هم ۵ نوامبر هستش.
📢 Apply now to join the doctoral program of the Max Planck ETH Center for Learning Systems (CLS) in 2026.
🇨🇭 🇩🇪 ✨ In our highly competitive CLS doctoral training program, fellows are co-supervised by one advisor from ETH Zürich and one from the Max Planck Institute for Intelligent Systems in Stuttgart / Tübingen, the Max Planck Institute for Informatics in Saarbrücken or the ELLIS Institute Tübingen. Each CLS fellow has a primary location (chosen based on interests and match) and conducts a mandatory 12-month exchange at the other location. Upon successful completion, the doctoral degree is awarded by ETH Zurich.
💡 Research fields covered include: Bio-inspired /Bio-hybrid Robotics, Biomechanics, Causal Inference, Computational Biology, Computer Graphics, Computer Vision, Control Systems, Deep Learning, Digital Humans, Earth Observation, Educational Technology, Efficient AI, Explainable AI, Graph Representation Learning, Haptics, Human-Computer Interaction, Human-Robot Interaction, Imaging Technology, Machine Learning, Medical Informatics, Medical Robotics, Natural Language Processing, Neuroinformatics, Optimization, Perceptual Inference, Probabilistic Models, Reinforcement Learning, Robotics, Safety, Security and Privacy, Scientific Machine Learning, Smart Materials, Social Questions, Soft Robotics, Statistical Learning Theory, Visual Analytics.
📅 Application deadline: November 05, 2025
🔗 Apply here: https://learning-systems.org/apply
——————————————————————
این یک پورگرام جوینت هست بین eth و mpi بدین صورت که شما یه استاد از هر دو سمت خواهید داشت و متناسب با برنامهریزی استادا، یک تایمی از سال رو mpi هستید و باقیش رو eth. ددلاینش هم ۵ نوامبر هستش.
📢 Apply now to join the doctoral program of the Max Planck ETH Center for Learning Systems (CLS) in 2026.
🇨🇭 🇩🇪 ✨ In our highly competitive CLS doctoral training program, fellows are co-supervised by one advisor from ETH Zürich and one from the Max Planck Institute for Intelligent Systems in Stuttgart / Tübingen, the Max Planck Institute for Informatics in Saarbrücken or the ELLIS Institute Tübingen. Each CLS fellow has a primary location (chosen based on interests and match) and conducts a mandatory 12-month exchange at the other location. Upon successful completion, the doctoral degree is awarded by ETH Zurich.
💡 Research fields covered include: Bio-inspired /Bio-hybrid Robotics, Biomechanics, Causal Inference, Computational Biology, Computer Graphics, Computer Vision, Control Systems, Deep Learning, Digital Humans, Earth Observation, Educational Technology, Efficient AI, Explainable AI, Graph Representation Learning, Haptics, Human-Computer Interaction, Human-Robot Interaction, Imaging Technology, Machine Learning, Medical Informatics, Medical Robotics, Natural Language Processing, Neuroinformatics, Optimization, Perceptual Inference, Probabilistic Models, Reinforcement Learning, Robotics, Safety, Security and Privacy, Scientific Machine Learning, Smart Materials, Social Questions, Soft Robotics, Statistical Learning Theory, Visual Analytics.
📅 Application deadline: November 05, 2025
🔗 Apply here: https://learning-systems.org/apply
Forwarded from Linuxor ?
This media is not supported in your browser
VIEW IN TELEGRAM
کتابخونه raylib یه ویدیو توی یوتیوبش گذاشته از بازی هایی که باهاش ساخته شده آدم دوست داره ده بار ببینتش، این بازی ها همگی با زبان C ساخته شدن، این کتابخونه ساخت بازی رو با C بسیار ساده میکنه ولی در عین اون مفاهیم عمیق زبان C رو نگه داشته. بازی هاش روی همه پلتفرما اجرا میشن و در کل چیز جالبیه به خصوص اینکه با C دارید باهاش کار میکنید جالب ترش هم میکنه
سایتش و مستنداتش:
www.raylib.com
ریپازیتوری گیتهابش:
github.com/raysan5/raylib
@Linuxor
سایتش و مستنداتش:
www.raylib.com
ریپازیتوری گیتهابش:
github.com/raysan5/raylib
@Linuxor
Forwarded from Agora (Alireza)
نسخهی ۱۸ پستگرس هم معرفی شد با کلی بهبود عملکرد و بهینهسازی. راجعبهشون مینویسم. اجالتاً تا اون موقع، این صفحه رو ببینید. اومدن تا جایی که میشد از سورس پروژهی curl آمار در آوردن و بردنشون روی انواع نمودارها. از تعداد کامیتها در ماه و روز تا میزان پرداخت برای باگ بانتی و تعداد سطرهای کد و خیلی چیزای دیگه. با مزهست.
https://curl.se/dashboard1.html#source-code-lines
https://curl.se/dashboard1.html#source-code-lines
Forwarded from Agora (Alireza)
مستند خیلی خوب روایت برنامهی هستهای ایران از چُراز رو توصیه میکنم از دست ندین. دو قسمت داره، قسمت اول مربوط به قبل از انقلابه و قسمت دوم بعد از انقلاب. بر مبنای چند منبع مختلف، از جمله اسناد هستهای که اسرائیل از ایران تو سال ۲۰۱۸ دزدید (معروف به اسناد تورقوزآباد). ماجرا هم صرفاً راجعبه ابعاد فنی برنامهی هستهای یا پروژهی آماد نیست. راجعبه وقایع سیاسی نظامییه که توی این سالها رخداده. از عملیات طوفان صحرا و حمله به عراق، تا دوران مذاکرات هستهای ایران. بخشی از داستان شطرنج قدرت در خاورمیانه.
قسمت دوم رو در یویتیوب چُراز ببینید.
قسمت دوم رو در یویتیوب چُراز ببینید.
Wikipedia
سرقت اسناد هستهای ایران
در ۳۱ ژانویه ۲۰۱۸، درحدود بيست و چهار نفر از مأموران موساد، به یک انبار مخفی در منطقه کهریزک در جنوب تهران رخنه کردند و ۱۰۰،۰۰۰ سند، شامل مدارک کاغذی و فایلهای کامپیوتری را به سرقت بردند که مربوط به فعالیتهای تسلیحات هستهای و پروژه «آماد» ایران، بین سالهای…
Forwarded from آروانگرام™
This media is not supported in your browser
VIEW IN TELEGRAM
قابلیت های یوتگرام:
. پردازش انواع لینک های پلیلیست، لایو، Shorts،لینک تکی ،سرچ آهنگ یا خواننده
. خروجی MP3 یا تا 1080p کیفیت ویدیو
. زیرنویس فارسی
کانال ما: @Arvangram
پشتیبانی: @arvangram_support
Please open Telegram to view this post
VIEW IN TELEGRAM
Forwarded from Linuxor ?
خیلیا فکر میکنن آپاچی یه شرکته که وبسرور داره توسعه میده و nginx هم رقیبشه و بزودی جاشو میگیره شاید nginx مزیت هایی نسبت به وبسرور آپاچی داشته باشه ولی آپاچی اونقدری شرکتش طول و عرضش بزرگه و محصولات زیادی تولید میکنه که کانال لینوکسور برای توضیحاتش کمه یه کانال اختصاصی باید براش ساخت
یکی از ابزار های خوبش bRPC هست. RPC مخفف Remote Procedure Call هستش به معنی فراخوانی تابع از راه دور. وقتی دو سیستمِ نرمافزاری (مثلاً سرویسها یا میکروسرویسها) بخوان با هم ارتباط بگیرن، یکیشون ممکنه تابعی رو توی سرور فراخوانی کنه و نتیجه را برگردونه. RPC ابزار یا چارچوبی است که این تعامل رو شفاف میکنه (انواع کارها مثل تبدیل پارامترها به بایتها، ارسال بر بستر شبکه، مدیریت خطاها، زمانسنجی و غیره). bRPC (مخفف better RPC) یه فریمورک سطح صنعتیِ RPC نوشته شده با ++C هست که برای سیستمهای پرکاربرد و با نیاز به پرفورمنس بالا استفاده میشه
همچنین امکان پشتیبانی همزمان از چند پروتکل (HTTP/HTTPS، HTTP/2، gRPC، Thrift و غیره) روی یک پورت واحد هم داره و روی سیستم های توزیع شده هم قابل استفادس.
اگه اهل فنید از اینجا توضیحاتش رو بخونید :
brpc.apache.org
@Linuxor
یکی از ابزار های خوبش bRPC هست. RPC مخفف Remote Procedure Call هستش به معنی فراخوانی تابع از راه دور. وقتی دو سیستمِ نرمافزاری (مثلاً سرویسها یا میکروسرویسها) بخوان با هم ارتباط بگیرن، یکیشون ممکنه تابعی رو توی سرور فراخوانی کنه و نتیجه را برگردونه. RPC ابزار یا چارچوبی است که این تعامل رو شفاف میکنه (انواع کارها مثل تبدیل پارامترها به بایتها، ارسال بر بستر شبکه، مدیریت خطاها، زمانسنجی و غیره). bRPC (مخفف better RPC) یه فریمورک سطح صنعتیِ RPC نوشته شده با ++C هست که برای سیستمهای پرکاربرد و با نیاز به پرفورمنس بالا استفاده میشه
همچنین امکان پشتیبانی همزمان از چند پروتکل (HTTP/HTTPS، HTTP/2، gRPC، Thrift و غیره) روی یک پورت واحد هم داره و روی سیستم های توزیع شده هم قابل استفادس.
اگه اهل فنید از اینجا توضیحاتش رو بخونید :
brpc.apache.org
@Linuxor
Forwarded from نوشتههای ترمینالی
توی کامنت های این پست، بحث کامیت مسیج شد،
این سایت فوقالعاده براتون کامیت مسیج رندوم پیشنهاد میده، میتونید حتی اسکریپتی هم بنویسید که مستقیم کامیت کنه و کامیت مسیج رو از این بگیره.
Commit Message Generator
https://whatthecommit.com/
توضیح: چند بار رفرش کنید.
این سایت فوقالعاده براتون کامیت مسیج رندوم پیشنهاد میده، میتونید حتی اسکریپتی هم بنویسید که مستقیم کامیت کنه و کامیت مسیج رو از این بگیره.
Commit Message Generator
https://whatthecommit.com/
توضیح: چند بار رفرش کنید.
Whatthecommit
Commit Message Generator
SHIT ===> GOLD
Forwarded from 🎄 یک برنامه نویس تنبل ( MΞ)
Forwarded from NetSentinel24Support
🚨 اگر میخوای قبل از همه بفهمی سایت یا سرورت Down شده و اولین نفر از Down Time باخبر شی
🔒 اگر میخوای قبل از منقضی شدن SSL سایتت، متوجه بشی و Renew کنی SSL رو
⚡️ اگر دوست داری UP Time یک پورت از سرورت رو بررسی کنی
📊 اگر میخوای مطمئن باشی سرورات همیشه زیر نظرن و گزارشگیری داشته باشی
🤖 مجموعهی ما میتونه کمکت کنه!
🚀 شروع کن با ربات: @NetSentinel24Bot
📌 کانال: @NetSentinel24
🤙 پشتیبانی: @NetSentinel24Support
🔥 حرفهایها همیشه یه نگهبان دارن!
🔒 اگر میخوای قبل از منقضی شدن SSL سایتت، متوجه بشی و Renew کنی SSL رو
⚡️ اگر دوست داری UP Time یک پورت از سرورت رو بررسی کنی
📊 اگر میخوای مطمئن باشی سرورات همیشه زیر نظرن و گزارشگیری داشته باشی
🤖 مجموعهی ما میتونه کمکت کنه!
🚀 شروع کن با ربات: @NetSentinel24Bot
📌 کانال: @NetSentinel24
🤙 پشتیبانی: @NetSentinel24Support
🔥 حرفهایها همیشه یه نگهبان دارن!
Forwarded from a pessimistic researcher (Kc)
بعد دو سال کار کردن، امشب، یعنی جمعه ساعت ۸:۳۰ که هیچ خبری در این کشور کار نمیکنه :) یکی ایمیل زد که ما داریم برای یه مقاله از ابزار شما استفاده میکنیم و به نظرمون یه باگی داره. باگ در کسری از ثانیه حل شد و من خوشحال از اینکه بالاخره JMC از وضعیت چرا هیچ خری بهش توجه نمیکنه، به وضعیت بالاخره یه عزیزی بهش توجه کرد تغییر کرد :)
GitHub
GitHub - mpi-sws-rse/jmc: jmc: Java Model Checker
jmc: Java Model Checker. Contribute to mpi-sws-rse/jmc development by creating an account on GitHub.
Forwarded from a pessimistic researcher (Kc)
حدس بزنید کی رفته اخیرا ریپوی JMC رو توی گیتهاب star کرده؟ :)
همون که چند وقت پیش توی کانال داشتم پتهاش رو میریختم روی آب :) آدمی که پشت مدل چکر CONFORMANCE هستش :) بله با افتخار :)
همون که چند وقت پیش توی کانال داشتم پتهاش رو میریختم روی آب :) آدمی که پشت مدل چکر CONFORMANCE هستش :) بله با افتخار :)
Forwarded from محتوای آزاد سهراب (Sohrab)
بعضی رفتارها توی بعضی گروهها، رفتارهای جالبی نیست.
من امشب اکثر گروههام رو خارج شدم، همینطور هم که اینجا نوشته بودم، تلگرام مناسب این مدل چیزها نیست.
اگر علاقمند به #نرمافزارآزاد ، #برنامهنویسی یا هرچیزی مرتبط با کامپیوتر هستید میتونید توی فروم پارچ فعالیت کنید، به شرطی که توی تاپیک درست پست بذارید.
https://forum.parchlinux.com
اگر هم از پارچ و من خوشتون نمیاد، میتونید بیاید توی fsiran فعالیت کنید:
https://fsiran.org
اینکه بخوام بنویسم که یک جامعه پویا و فعال خواهیم داشت، متاسفانه دروغی بیش نیست چون وضعیت کشور مانعش میشه، ولی هرکسی درحدی که توی توانش هست میتونه در گسترش و یا تشکیل یک جامعه جدید سهیم باشه، از فعالیت نترسید، از پاسخ دادن توی فروم ها هم نترسید، بالاخره از یکجا باید شروع بشه دیگه ؟
@SohrabContents
من امشب اکثر گروههام رو خارج شدم، همینطور هم که اینجا نوشته بودم، تلگرام مناسب این مدل چیزها نیست.
اگر علاقمند به #نرمافزارآزاد ، #برنامهنویسی یا هرچیزی مرتبط با کامپیوتر هستید میتونید توی فروم پارچ فعالیت کنید، به شرطی که توی تاپیک درست پست بذارید.
https://forum.parchlinux.com
اگر هم از پارچ و من خوشتون نمیاد، میتونید بیاید توی fsiran فعالیت کنید:
https://fsiran.org
اینکه بخوام بنویسم که یک جامعه پویا و فعال خواهیم داشت، متاسفانه دروغی بیش نیست چون وضعیت کشور مانعش میشه، ولی هرکسی درحدی که توی توانش هست میتونه در گسترش و یا تشکیل یک جامعه جدید سهیم باشه، از فعالیت نترسید، از پاسخ دادن توی فروم ها هم نترسید، بالاخره از یکجا باید شروع بشه دیگه ؟
@SohrabContents
Forwarded from PhiloLearn | فیلولرن
Forwarded from 🎄 یک برنامه نویس تنبل (Lazy 🌱)
🔶 مکانسیم ماشه فعال شد.
شواری امنیت با ۴ رای موافق، ۲ رای ممتنع و ۹ رای مخالف قطعنامه پیشنهادی چین و روسیه برای تعویق تحریمهای ایران را رد کرد.
#منهای_برنامه_نویسی
@TheRaymondDev
شواری امنیت با ۴ رای موافق، ۲ رای ممتنع و ۹ رای مخالف قطعنامه پیشنهادی چین و روسیه برای تعویق تحریمهای ایران را رد کرد.
#منهای_برنامه_نویسی
@TheRaymondDev
Forwarded from 🎄 یک برنامه نویس تنبل (Lazy 🌱)
🔶 در مکانسیم ماشه, بخش اصلی تحریم ها مربوط به حوزه های تسلیحاتی و هستهای خواهد بود، همراه با ممنوعیت سفر افراد تحریمشده و مسدود شدن دارایی های آنان.
در عین حال، گزارشهایی درباره امضای قراردادهای ایران با روسیه، چین و حتی هند و چندین کشور منتشر شده که نشان میدهد همکاریهای اقتصادی، هستهای و حتی نظامی همچنان ادامه دارد و صادرات نفت ایران نیز با مشکل جدی مواجه نیست.
در حوزه مالی، این کشورها میتوانند از مکانیزمهای پرداخت جایگزین مانند استفاده از ارزهای محلی (یوآن، روبل) یا روشهای تهاتر کالا به جای سیستمهای دلاری برای تجارت با ایران بهره بگیرند.
با این حال، ایراد اصلی اینجاست که اقتصاد ایران بهطور فزاینده ای به شرق وابسته خواهد شد و عملاً هیچ همکاری اقتصادی معناداری با اروپا نخواهد داشت.
#منهای_برنامه_نویسی
@TheRaymondDev
در عین حال، گزارشهایی درباره امضای قراردادهای ایران با روسیه، چین و حتی هند و چندین کشور منتشر شده که نشان میدهد همکاریهای اقتصادی، هستهای و حتی نظامی همچنان ادامه دارد و صادرات نفت ایران نیز با مشکل جدی مواجه نیست.
در حوزه مالی، این کشورها میتوانند از مکانیزمهای پرداخت جایگزین مانند استفاده از ارزهای محلی (یوآن، روبل) یا روشهای تهاتر کالا به جای سیستمهای دلاری برای تجارت با ایران بهره بگیرند.
با این حال، ایراد اصلی اینجاست که اقتصاد ایران بهطور فزاینده ای به شرق وابسته خواهد شد و عملاً هیچ همکاری اقتصادی معناداری با اروپا نخواهد داشت.
#منهای_برنامه_نویسی
@TheRaymondDev
Reuters
Iran sanctions snapback offers Chinese oil buyers a lucrative boost
The looming revival of international sanctions on Iran is unlikely to curtail Tehran’s vital oil exports but could benefit Chinese refiners, offering them access to a larger share of discounted Iranian crude.