PhD in Semantics @ Kent Univeristy
—————————————————

Marco Paviotti: Dear all,

I am looking for a #PhD student to work on (any subset of) these topics:
#semantics, #domaintheory, #categorytheory #typetheory and #functional programming.

Deadline for application is 15th of February 2025.

here's the official call: https://kent.ac.uk/scholarships/search/FN15COMPGR01

توصیه میکنم قبلا ارتباط با ایشون این صفحه رو هم بخونید.

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

@DevTwitter | <Reza/>

اگه دسترسی به api اوپن‌ای‌پی‌ای یا هرجای دیگه دارید میتونید از aider برای ساخت پروژه برنامه نویسی جدید استفاده کنید.
تجربه من این بود که تجربه کاربریش بد نبود و امکانات حداقلی رو داشت.
اما آیا کدی که می‌نویسه به درد هم میخوره؟ که پاسخ من اینه که فعلا خیر. (اما به ابزاره ربطی نداره)
https://github.com/Aider-AI/aider

میلاد نوری 👏🏻🤍

ابزار Migration امکان مهاجرت از پنل مرزبان به پنل مرزنشین رو بدون از کار افتادن کانفیگ‌ها و لینک‌های ساب فراهم میکنه.

👉 github.com/erfjab/migration

🔍 ircf.space
@ircfspace

📢 مسابقه برنامه‌نویسی رایانـکد

✅ «رایان کد»؛ یک معامله پرسود به زبان جاوا!

🔘 زبان برنامه‌نویسی Java

🗓 شنبه، ۱ دی ۱۴۰۳ ساعت ۱۸:۰۰

💠 نفرات برتر این مسابقه به شرکت رایان‌ هم‌افزا معرفی و در ادامه، به مصاحبه دعوت و در صورت موفقیت عضوی از خانواده رایان هم‌افزا میشن.

📈 راستی شرکت توی این مسابقه روی امتیاز کوئراییتون هم تاثیر داره.

🎁 همراه با جایزه به نفرات برتر

⚡️ثبت‌نام رایگان:
🔗 https://quera.org/r/5c0oo

〰️〰️〰️〰️
#Quera #Quera_Contest

با این سایت میتونید فعالیت خودتون در یوتیوب رو ببینید. اطلاعات خوبی میده برای فعالیت بهتر، نمونه گیتهاب تروالدز:
https://githubwrapped.io/torvalds

سورس
https://github.com/avgupta456/github-trends

@DevTwitter | <Developer One/>

🔰کره جنوبی و توزیع لینوکس:

🔹پیرو پست های قبلی درباره کشورهایی که در حال استفاده از توزیع لینوکس خود و متن باز هستند، که در پست های زیر قبلا منتشر کردم
https://t.iss.one/linuxtnt/3455

https://t.iss.one/linuxtnt/3193
هم اکنون به توزیع مختص کابران کره جنوبی میپردازم.

🔹این توزیع که HamoniKR است و هدف آن ارائه یک سیستم عامل کاربر پسند و بومی سازی شده به طور خاص برای کاربران کره ای است. بر پایه اوبونتو و لینوکس مینت ،است.
توزیع HamoniKR ترکیبی منحصربه‌فرد از ویژگی‌ها و سفارشی‌سازی‌ها را ارائه می‌کند که با حفظ سازگاری با اکوسیستم لینوکس، نیازهای بازار کره را برآورده می‌کند. آخرین نسخه توزیع است. این نسخه از نام کوه پائکتو (به کره‌ای: 백두산) که با نام کوه چانگ‌بای (به چینی: 长白山) در چین نیز شناخته می‌شود، نامگذاری شده است، که یک آتشفشان فعال استراتو 2744 متری در مرز چین و کره شمالی است
🔹 اولین بار در سال 2010 به عنوان پروژه ای برای ایجاد یک توزیع لینوکس متناسب با کاربران کره ای معرفی شد. HamoniKR که توسط تیمی از توسعه دهندگان و علاقه مندان کره ای توسعه یافته است،

🔸در طول سال‌ها، HamoniKR به‌روزرسانی‌ها و پیشرفت‌های مختلفی را برای افزایش قابلیت استفاده و حفظ سازگاری با سخت‌افزار و نرم‌افزار مدرن انجام داده است.
🔸پروژه HamoniKR توسط 김형채 کوین کیم رهبری می شود که همچنین رئیس شرکت Invesume Inc. ، شرکتی که در پشت توزیع است.

🔹ویژگی های منحصر به فرد HamoniKR

1.پشتیبانی جامع زبان کره ای: HamoniKR پشتیبانی گسترده ای از زبان کره ای، از جمله روش های ورودی کره ای، بومی سازی منوهای سیستم و ترجمه برنامه های نرم افزاری را ارائه می دهد.
2. یکپارچه سازی با خدمات کره ای: این توزیع دارای ویژگی ها و برنامه های کاربردی متناسب با کاربران کره ای است، مانند ادغام با خدمات آنلاین کره ای، مخازن نرم افزار محلی، و ابزارهای خاص منطقه.
3. محیط دسکتاپ Cinnamon سفارشی: HamoniKR از یک نسخه بسیار سفارشی شده از محیط دسکتاپ Cinnamon استفاده می کند که رابط کاربری صیقلی و کاربرپسندی را ارائه می دهد.
4. ابزارهای آموزشی: توزیع شامل ابزارهای آموزشی سفارشی طراحی شده برای سیستم مدارس کره است.
5. پذیرش دولتی و شرکتی: HamoniKR توسط چندین سازمان دولتی کره جنوبی، دانشگاه ها، مدارس و شرکت های خصوصی مستقر شده است.
🔸 شامل نسخه های :
1. HamoniKR LTS Edition
2. HamoniKR Lite Edition
3. HamoniKR Raspberry Pi 5 ARM64 Edition
🔹وب سایت رسمی:
https://hamonikr.org/

نویسنده: حسین سیلانی
منبع : کانال لینوکسی: لینوکس تی ان تی
@linuxtnt

اولین باری که کامپیوترهای کوانتومی استفاده شدن بحث اینکه یه روزی میتونن تمام الگوریتم‌های رمزنگاری رو بشکنن هم وسط اومد، الان همه‌چی توی دنیا الگوریتم رمزنگاری داره، از بیت‌کوین گرفته تا پیامی که برای دوستت میفرستی، ایمیل و حتی سیستم بانکی.
آمریکا اولین جایی بود که ابراز نگرانی کرد.
یعنی درسته که این کامپیوترها کلی برای علم، پزشکی و ... خوبن ولی میشه ازشون برای حملات سایبری هم استفاده کرد.
این شد که موسسه ملی فناوری آمریکا (NIST) اومد چند تا الگوریتم «رمزنگاری پساکوانتومی» معرفی کرد.
این الگوریتم‌ها در برابر کامپیوترهای کوانتومی ایمن هستن.
با این ایده که بهتره قبل از اینکه اونقدری پیشرفته بشن که بتونن الگوریتم‌هارو بشکنن، ما براش آماده باشیم.
سال ۲۰۲۲ دفتر مدیریت و بودجه (OMB) دستورالعمل لازم برای مهاجرت به رمزنگاری پساکوانتومی رو منتشر میکنه.
از ۲۰۲۳ هم در آمریکا به صورت جدی در حال مهاجرت به الگوریتم‌های پساکوانتومی هستن.
ارزهایی مثل بیت‌کوین، سیستم‌های بانکی، پیام‌رسان‌ها و هرچیزی که فکرش رو کنید تا چند سال آینده به الگوریتم‌های پساکوانتومی مهاجرت میکنن.
البته بعضی‌هاشون همین الان این کار رو کردن.


ibm
weforum
whitehouse
@geekalerts

حملات ddos توی ایران هفته های اخیر به اوج خودش رسیده در حدی که حتی برخی سایتای بزرگ مجبور به ایران اکسس کردن شدن

برای همین یک سامانه رادار ddos طراحی کردن که میتونید وضعیت ddos شرکت ارتباطات زیر ساخت رو ببنید

ddos.tic.ir

@poinair پوینا

یکی از عامل های کندی اینترنت حملات ddos هست

ترافیک شبکه الکی پر میشه

@poinair پوینا

طبق سایت‌ بالا 17 درصد از حملات DDoS از کشور روسیه انجام می‌شود.

البته طبق بررسی‌هایی که ما روی بیش از 200 سایت انجام دادیم، بیشترین حملات DDoS روی سایت‌های مشتریان ما از دیتاسنتر هتزنر آلمان بوده است. کشورهای آلمان و فنلاند در این لیست بیشترین سهم را دارند. دلیل اصلی این موضوع نیز استفاده گسترده مردم از فیلترشکن‌ها است که باعث می‌شود هر گوشی به یک مهاجم تبدیل شود.

اما حملاتی که به زیرساخت‌ها انجام می‌شود و ترافیک شبکه را درگیر کرده و باعث کندی اینترنت می‌شوند، بیشتر از کشور روسیه به نظر می‌رسند.

@poinair پوینا

وقتی به چت جی پی تی اعتماد میکنید

دستور پاکسازی کل سرور رو بهش داده

بعد زدن کل سرور پاک شده


خیلیا به چت جی پی تی اعتماد میکنن و کد میزنن و سرورشون به فنا می‌ره


@poinair پوینا

میگن واسه سایت و برنامه هاتون اسم خوب انتخاب کنید که توی ذهن مخاطبا بمونه

ولی به نظر من خوب بودن اون چیز تاثیر بیشتری داره مثلا من سالی یه بار مشکل regex واسم پیش میاد و همیشه میرم تو سایت regex101.com اسمش اصلا اسمی نیست که توی ذهن بمونه ولی انقدر خوبه سایته که یه بار برین تو سایتش حتی شده روی کاغذ هم اسمش رو مینویسین.

🐧 @Linuxor ~ Sezo

توی این ویس یک فلوی خیلی خوب برای حل مسئله و باگ توی برنامه نویسی رو براتون توضیح دادم که به نظرم واقعا جوابه و در حال حاضر چالش خیلیا هستش ✅

🚀 @coolycode

صفر یک مقداره، ولی هیچ یا null یعنی متغیر بدون مقدار! و البته وقتی متغیری هم در کار نباشه و صدا زده بشه، میشه تعریف نشده.

#skill

جمع‌آوری منابع و جزوه‌های دانشگاهی

در این مخزن GitHub، من در حال جمع‌آوری منابع آموزشی و جزوه‌های دانشگاهی دروس مهم رشته مهندسی کامپیوتر هستم. این مجموعه شامل جزوه‌ها و مطالبی است که می‌تواند به دانشجویان و علاقه‌مندان کمک کند تا مفاهیم را بهتر یاد بگیرند و در مسیر تحصیلی خود موفق‌تر عمل کنند. 📘

اگر به دنبال منابع معتبر برای یادگیری یا مرور هستید، حتماً سری به این مخزن بزنید. با استفاده از این منابع می‌توانید به دانش خود عمق بیشتری بدهید و برای پروژه‌ها و امتحانات آماده‌تر شوید!

برای دسترسی به منابع، لطفاً به لینک زیر مراجعه کنید:
https://github.com/MohammadHossini/Computer-Engineering-Slides

#الگوریتم
📣👨‍💻 @AlgorithmDesign_DataStructuer

🔶 لینکدین توی صفحه اصلی کلی پست سیاسی میاد و گزارش اسپم می زنم, فایده نداره...
سرویسمون کرد ...
لینکدین = طویله خونه

@TheRaymondDev