Forwarded from a pessimistic researcher (Kc)
خب خب خب...
خبر داریم چه خبری...
و اینک مفتخرم که اعلام کنم که اولین مقالهی ما روی JMC با عنوان Optimal Concolic Dynamic Partial Order Reduction توی کنفرانس CONCUR امسال پذیرش گرفت.
توی این کار ما یک تکنیک Stateless Model Checking ارائه دادیم که sound و complete هستش و مفهوم optimality رو هم فرمال کردیم و اثبات کردیم که بر اساس partial order reduction ای که استفاده کردیم optimal هستش. نکته قوت این تکنیک توی verification برنامههای concurrent و distributed ای هستش که data non-determinism دارن. یعنی مثلا شما توی برنامه تون یک دیتایی قرار داره که مقدارش هر چیزی میتونه باشه و بر اساس مقداری که داره رفتار process ها یا thread های برنامه تون تغییر میکنه. مثلا شما یه متغیر int دارید به اسم a با مقدار non-determinism و مثلا توی برنامه دارید که
if ( a mod 5 = 3 ) {
fun()
} else {
bug()
}
و خب همونطور که میبینید اگر توی برنامه مقدار a طوری باشه که به پیمانه ۵ حاصلش ۳ باشه، اون وقت برنامه به باگ میخوره. روش ما میتونه ار پس این برنامهها بر بیاد.
به عبارت دیگه ما اومدیم data non-derminism رو با استفاده از یک سمنتیک مبتنی بر concolic execution و dpor-based فرمال کنیم و نشون بدیم که مسئلهی data non-determinism با scheduling non-determinism که توی برنامههای concurrent وجود داره orthogonal نیست و به شکل فرمال رابطهی بین این ۲ رو مشخص کردیم و حتی اثبات کردیم که با reduce کردن مسئلهی scheduling non-det به data non-det میشه فضای حالت برنامه رو کاهش داد.
برای evaluate کردن تکنیک مون، ما روی jmc پیادهاش کردیم و تونستیم کلی concurrent data structure ای که state-of-the-art هستند مثل back-off elimination stack یا timestamp stack رو در کنار کلی ساختمان داده کلاسیک concurrent دیگه برای اولین بار verify کنیم.
ایشالا بعد camera ready پیپر رو قرار میدم و بیشتر در موردش صحبت میکنیم.
این کنفرانس اواخر آگوست توی شهر آرهوس دانمارک برگزار میشه و باید ارائه بدمش.
تا اون موقع فعلا پاریس رو عشق است :)
خبر داریم چه خبری...
و اینک مفتخرم که اعلام کنم که اولین مقالهی ما روی JMC با عنوان Optimal Concolic Dynamic Partial Order Reduction توی کنفرانس CONCUR امسال پذیرش گرفت.
توی این کار ما یک تکنیک Stateless Model Checking ارائه دادیم که sound و complete هستش و مفهوم optimality رو هم فرمال کردیم و اثبات کردیم که بر اساس partial order reduction ای که استفاده کردیم optimal هستش. نکته قوت این تکنیک توی verification برنامههای concurrent و distributed ای هستش که data non-determinism دارن. یعنی مثلا شما توی برنامه تون یک دیتایی قرار داره که مقدارش هر چیزی میتونه باشه و بر اساس مقداری که داره رفتار process ها یا thread های برنامه تون تغییر میکنه. مثلا شما یه متغیر int دارید به اسم a با مقدار non-determinism و مثلا توی برنامه دارید که
if ( a mod 5 = 3 ) {
fun()
} else {
bug()
}
و خب همونطور که میبینید اگر توی برنامه مقدار a طوری باشه که به پیمانه ۵ حاصلش ۳ باشه، اون وقت برنامه به باگ میخوره. روش ما میتونه ار پس این برنامهها بر بیاد.
به عبارت دیگه ما اومدیم data non-derminism رو با استفاده از یک سمنتیک مبتنی بر concolic execution و dpor-based فرمال کنیم و نشون بدیم که مسئلهی data non-determinism با scheduling non-determinism که توی برنامههای concurrent وجود داره orthogonal نیست و به شکل فرمال رابطهی بین این ۲ رو مشخص کردیم و حتی اثبات کردیم که با reduce کردن مسئلهی scheduling non-det به data non-det میشه فضای حالت برنامه رو کاهش داد.
برای evaluate کردن تکنیک مون، ما روی jmc پیادهاش کردیم و تونستیم کلی concurrent data structure ای که state-of-the-art هستند مثل back-off elimination stack یا timestamp stack رو در کنار کلی ساختمان داده کلاسیک concurrent دیگه برای اولین بار verify کنیم.
ایشالا بعد camera ready پیپر رو قرار میدم و بیشتر در موردش صحبت میکنیم.
این کنفرانس اواخر آگوست توی شهر آرهوس دانمارک برگزار میشه و باید ارائه بدمش.
تا اون موقع فعلا پاریس رو عشق است :)
Forwarded from یه شعر (Poem Bot)
حافظ | غزلیات | غزل شمارهٔ ۴۱۵
ای پیک راستان خبر یار ما بگو
احوال گل به بلبل دستان سرا بگو
ما محرمان خلوت انسیم غم مخور
با یار آشنا سخن آشنا بگو
بر هم چو می زد آن سر زلفین مشک بار
با ما سر چه داشت ز بهر خدا بگو
هر کس که گفت خاک در دوست توتیاست
گو این سخن معاینه در چشم ما بگو
آن کس که منع ما ز خرابات می کند
گو در حضور پیر من این ماجرا بگو
گر دیگرت بر آن در دولت گذر بود
بعد از ادای خدمت و عرض دعا بگو
هر چند ما بدیم تو ما را بدان مگیر
شاهانه ماجرای گناه گدا بگو
بر این فقیر نامه آن محتشم بخوان
با این گدا حکایت آن پادشا بگو
جان ها ز دام زلف چو بر خاک می فشاند
بر آن غریب ما چه گذشت ای صبا بگو
جان پرور است قصه ارباب معرفت
رمزی برو بپرس حدیثی بیا بگو
حافظ گرت به مجلس او راه می دهند
می نوش و ترک زرق ز بهر خدا بگو
#حافظ | گنجور
📍@iipoem
ای پیک راستان خبر یار ما بگو
احوال گل به بلبل دستان سرا بگو
ما محرمان خلوت انسیم غم مخور
با یار آشنا سخن آشنا بگو
بر هم چو می زد آن سر زلفین مشک بار
با ما سر چه داشت ز بهر خدا بگو
هر کس که گفت خاک در دوست توتیاست
گو این سخن معاینه در چشم ما بگو
آن کس که منع ما ز خرابات می کند
گو در حضور پیر من این ماجرا بگو
گر دیگرت بر آن در دولت گذر بود
بعد از ادای خدمت و عرض دعا بگو
هر چند ما بدیم تو ما را بدان مگیر
شاهانه ماجرای گناه گدا بگو
بر این فقیر نامه آن محتشم بخوان
با این گدا حکایت آن پادشا بگو
جان ها ز دام زلف چو بر خاک می فشاند
بر آن غریب ما چه گذشت ای صبا بگو
جان پرور است قصه ارباب معرفت
رمزی برو بپرس حدیثی بیا بگو
حافظ گرت به مجلس او راه می دهند
می نوش و ترک زرق ز بهر خدا بگو
#حافظ | گنجور
📍@iipoem
Forwarded from Linuxor ?
گیدرا (Ghidra) ساخته NSA (آژانس امنیت ملی آمریکا) یه فریمورک کامل برای مهندسی معکوس نرمافزاره، که قبلاً داخلی بوده ولی حالا در دسترسه همه است. اگه کارتون تحلیل عمیق نرمافزاره، گیدرا یه فرصته که از یه ابزار سطح بالا که با بودجههای کلان ساخته شده، رایگان استفاده کنید. انگار یهو به یه گنج دست پیدا کردی!
https://github.com/NationalSecurityAgency/ghidra
@Linuxor
https://github.com/NationalSecurityAgency/ghidra
@Linuxor
Forwarded from Md Daily (Mahan)
قسمت اول: چرا هر برنامهنویسی به یک ژورنال کدنویسی نیاز داره؟ نه، حافظهتون کافی نیست
داشتم دوتا مقاله ی متفاوت میخوندم (ریفرنس ها رو قسمت اخر میذارم) که راجب عملکرد مغزمون تو برنامه نویسی بود. تا حالا شده کدیو ببینید بگید دیگه کدوم نابلدی این کدو نوشته بعد بفهمید کار خودتون بوده؟ یا کدی که چند وقت پیش نوشتید رو دیگه یادتون نمیاد یا هم ممکنه یه مشکلی که کلی برای حلش وقت گذاشته باشید دفعه بعدی که بهش برخوردید به یاد نیارید قبلا چیکار کرده بودید. خبر خوب اینکه تمام اینا دلایل علمی پشتشونه :)
برنامهنویسی بیشتر از اینکه به حفظ کردن سینتکس ربط داشته باشه، یک فرآیند حل مسئله ست. مشاغل کمی هستن که به حافظهی طوطیوار نیاز دارن، اما در کدنویسی، مهم اینه که چطور از منطق برای رسیدن به یک هدف خاص استفاده کنی. توسعهدهندهها همیشه در حال یادگیری ابزارها، فریمورکها و روشهای جدید برای انجام کارها هستن؛ برای همین، تمرکزشون بیشتر روی حل مشکلات به بهینهترین شکل ممکنه تا به خاطر سپردن خط به خط کدها.
به مغز انسان خوش اومدید. یه کَش پر زرقوبرق که هیچ لایه ذخیرهسازی دائمی نداره :)
اصل مطلب اینه: مغز شما برای حل مسئله بهینه شده، نه برای ذخیرهسازی.
حالا فکر کن وسط این همه حل مسئله، تکنولوژی با سرعت زیادی در حال پیشرفته. زبانهای برنامهنویسی، کتابخونهها و فریمورکها مدام تغییر میکنن و این باعث میشه که توسعهدهندهها مجبور باشن همیشه خودشون رو با روشهای جدید بهروز نگه دارن. این تحول دائمی یعنی کدی که دیروز نوشتید، شاید امروز دیگه کاربردی نداشته باشه. برای برنامهنویسها، یادگیری اینکه چطور با تغییرات جدید خودشون رو وفق بدن، در اولویت قرار داره تا اینکه کدهای قبلی رو به حافظه بسپارن.
مغز ما حافظه کوتاهمدت و بلندمدت رو به شکل متفاوتی مدیریت میکنه. وقتی برنامهنویسها عمیقاً در حال کدنویسی هستن، ساختار و منطق کد رو توی حافظه کوتاهمدتشون نگه میدارن. وقتی که سراغ یک پروژه جدید میرن، اون کد ممکنه به حافظه بلندمدت منتقل نشه و همین باعث میشه بعداً به یاد آوردنش سخت باشه و برنامهنویسی میتونه از نظر ذهنی خیلی خستهکننده باشه، چون مجبوری همزمان چندین وظیفه، متغیر و منطق رو توی ذهنت نگه داری. مغز فقط میتونه حجم محدودی از اطلاعات رو در یک زمان پردازش کنه. وقتی با وظایف جدیدی روبرو میشه، اطلاعات قدیمیتر (مثل کدهای قبلی) به بیرون هل داده میشن تا فضا برای حل مسائل جدید باز بشه.
اما راه حل چیه؟
قبل از راه حل بریم ببینیم مشکل از کجا میاد. ما همه چیز رو مستند میکنیم به جز سفر خودمون: تلاشهای ناموفق، بردهای کوچیک، راهحلهای سریع و درسهایی که به روش سخت یاد گرفتیم. ما برای بقیه فایل
بیاید این مشکل رو حل کنیم.
—-
⬅️ ادامه در قسمت بعدی
💡 تا قسمت بعدی مثل همیشه کنجکاو بمونید :)
🆔 @MdDaily
داشتم دوتا مقاله ی متفاوت میخوندم (ریفرنس ها رو قسمت اخر میذارم) که راجب عملکرد مغزمون تو برنامه نویسی بود. تا حالا شده کدیو ببینید بگید دیگه کدوم نابلدی این کدو نوشته بعد بفهمید کار خودتون بوده؟ یا کدی که چند وقت پیش نوشتید رو دیگه یادتون نمیاد یا هم ممکنه یه مشکلی که کلی برای حلش وقت گذاشته باشید دفعه بعدی که بهش برخوردید به یاد نیارید قبلا چیکار کرده بودید. خبر خوب اینکه تمام اینا دلایل علمی پشتشونه :)
برنامهنویسی بیشتر از اینکه به حفظ کردن سینتکس ربط داشته باشه، یک فرآیند حل مسئله ست. مشاغل کمی هستن که به حافظهی طوطیوار نیاز دارن، اما در کدنویسی، مهم اینه که چطور از منطق برای رسیدن به یک هدف خاص استفاده کنی. توسعهدهندهها همیشه در حال یادگیری ابزارها، فریمورکها و روشهای جدید برای انجام کارها هستن؛ برای همین، تمرکزشون بیشتر روی حل مشکلات به بهینهترین شکل ممکنه تا به خاطر سپردن خط به خط کدها.
به مغز انسان خوش اومدید. یه کَش پر زرقوبرق که هیچ لایه ذخیرهسازی دائمی نداره :)
اصل مطلب اینه: مغز شما برای حل مسئله بهینه شده، نه برای ذخیرهسازی.
حالا فکر کن وسط این همه حل مسئله، تکنولوژی با سرعت زیادی در حال پیشرفته. زبانهای برنامهنویسی، کتابخونهها و فریمورکها مدام تغییر میکنن و این باعث میشه که توسعهدهندهها مجبور باشن همیشه خودشون رو با روشهای جدید بهروز نگه دارن. این تحول دائمی یعنی کدی که دیروز نوشتید، شاید امروز دیگه کاربردی نداشته باشه. برای برنامهنویسها، یادگیری اینکه چطور با تغییرات جدید خودشون رو وفق بدن، در اولویت قرار داره تا اینکه کدهای قبلی رو به حافظه بسپارن.
مغز ما حافظه کوتاهمدت و بلندمدت رو به شکل متفاوتی مدیریت میکنه. وقتی برنامهنویسها عمیقاً در حال کدنویسی هستن، ساختار و منطق کد رو توی حافظه کوتاهمدتشون نگه میدارن. وقتی که سراغ یک پروژه جدید میرن، اون کد ممکنه به حافظه بلندمدت منتقل نشه و همین باعث میشه بعداً به یاد آوردنش سخت باشه و برنامهنویسی میتونه از نظر ذهنی خیلی خستهکننده باشه، چون مجبوری همزمان چندین وظیفه، متغیر و منطق رو توی ذهنت نگه داری. مغز فقط میتونه حجم محدودی از اطلاعات رو در یک زمان پردازش کنه. وقتی با وظایف جدیدی روبرو میشه، اطلاعات قدیمیتر (مثل کدهای قبلی) به بیرون هل داده میشن تا فضا برای حل مسائل جدید باز بشه.
اما راه حل چیه؟
قبل از راه حل بریم ببینیم مشکل از کجا میاد. ما همه چیز رو مستند میکنیم به جز سفر خودمون: تلاشهای ناموفق، بردهای کوچیک، راهحلهای سریع و درسهایی که به روش سخت یاد گرفتیم. ما برای بقیه فایل
README.md مینویسیم... اما هیچوقت برای خودمون نه.بیاید این مشکل رو حل کنیم.
—-
🆔 @MdDaily
Please open Telegram to view this post
VIEW IN TELEGRAM
Forwarded from DevTwitter | توییت برنامه نویسی
وقتی هوش مصنوعی بهتر از من کد مینویسه، من باید چیکار کنم؟ | تجربه من از Vibe Coding
تجربه واقعی خودم از Vibe Coding :
مدتیه که دارم با ابزارهایی مثل GPT، Copilot و بهخصوص Cloud.ai کار میکنم و یه چیزی رو باید اعتراف کنم:
هوش مصنوعی تو بعضی کارها از منِ برنامهنویس سریعتر، تمیزتر و حتی هوشمندتر عمل میکنه.
مثلاً یه API ساده برای پردازش دادههای CSV لازم داشتم. به جای اینکه بشینم از صفر Flask رو بالا بیارم، فقط یه Prompt نوشتم توی Cloud.ai:
"Build me a REST API with one endpoint that takes a CSV upload, parses it, and returns summary statistics."
و نتیجه؟
یه پروژه کامل با ساختار پوشهمندی مرتب
تستهای اولیه
توضیحات کامل
و حتی هندلینگ خطاهای رایج...
همه اینا تو کمتر از ۳۰ ثانیه تحویلم شد!
این یعنی ته خطه برای ما برنامهنویسها؟ نه، اصلاً!
به نظرم Vibe Coding قراره ما رو از سطح Syntax به سطح خلاقیت و حل مسئله ببره.
الان دیگه ارزش من توی تعداد خط کدی که میزنم نیست، بلکه توی کیفیتیه که باهاش مسئله رو تعریف میکنم، ساختار میدم، و از ابزارها بهره میگیرم.
پس من چی کار کردم؟ تغییر زاویه نگاه
یاد گرفتم چطور دقیق Prompt بنویسم (مهارت underrated امروزه)
از مدلها برای طراحی اولیه استفاده میکنم، ولی Refactor و امنیت و Performance رو خودم کنترل میکنم
روی درک معماری، Domain Design و بهینهسازی وقت میذارم – جایی که AI فعلاً هنوز جا داره!
@DevTwitter | <Alireza Ahmadi/>
تجربه واقعی خودم از Vibe Coding :
مدتیه که دارم با ابزارهایی مثل GPT، Copilot و بهخصوص Cloud.ai کار میکنم و یه چیزی رو باید اعتراف کنم:
هوش مصنوعی تو بعضی کارها از منِ برنامهنویس سریعتر، تمیزتر و حتی هوشمندتر عمل میکنه.
مثلاً یه API ساده برای پردازش دادههای CSV لازم داشتم. به جای اینکه بشینم از صفر Flask رو بالا بیارم، فقط یه Prompt نوشتم توی Cloud.ai:
"Build me a REST API with one endpoint that takes a CSV upload, parses it, and returns summary statistics."
و نتیجه؟
یه پروژه کامل با ساختار پوشهمندی مرتب
تستهای اولیه
توضیحات کامل
و حتی هندلینگ خطاهای رایج...
همه اینا تو کمتر از ۳۰ ثانیه تحویلم شد!
این یعنی ته خطه برای ما برنامهنویسها؟ نه، اصلاً!
به نظرم Vibe Coding قراره ما رو از سطح Syntax به سطح خلاقیت و حل مسئله ببره.
الان دیگه ارزش من توی تعداد خط کدی که میزنم نیست، بلکه توی کیفیتیه که باهاش مسئله رو تعریف میکنم، ساختار میدم، و از ابزارها بهره میگیرم.
پس من چی کار کردم؟ تغییر زاویه نگاه
یاد گرفتم چطور دقیق Prompt بنویسم (مهارت underrated امروزه)
از مدلها برای طراحی اولیه استفاده میکنم، ولی Refactor و امنیت و Performance رو خودم کنترل میکنم
روی درک معماری، Domain Design و بهینهسازی وقت میذارم – جایی که AI فعلاً هنوز جا داره!
@DevTwitter | <Alireza Ahmadi/>
Forwarded from 🎄 یک برنامه نویس تنبل (The Lazy 🌱)
🔶 مرورگر Arc به آخر خط رسید.
جاش میلر، مدیرعامل Arc، در بیانیهای اعلام کرد که این شرکت تصمیم دارد مرورگر خود را کنار بگذارد و تمرکزش را روی اپلیکیشنی جدید بهنام Dia بگذارد؛ اپلیکیشنی که با هدف بازتعریف تجربهی استفاده از اینترنت توسعه داده شده است.
#خبر
@TheRaymondDev
جاش میلر، مدیرعامل Arc، در بیانیهای اعلام کرد که این شرکت تصمیم دارد مرورگر خود را کنار بگذارد و تمرکزش را روی اپلیکیشنی جدید بهنام Dia بگذارد؛ اپلیکیشنی که با هدف بازتعریف تجربهی استفاده از اینترنت توسعه داده شده است.
#خبر
@TheRaymondDev
Substack
Letter to Arc members 2025
On Arc, its future, and the arrival of AI browsers — a moment to answer the largest questions you've asked us this past year.
Forwarded from IRCF | اینترنت آزاد برای همه
وحید فرید: استفاده ۸۴ درصدی کاربران از فیلترشکن نوعی #رفراندوم برای سیاست #فیلترینگ است.
وزارت قطع ارتباطات باید جای نقشهکشیدن برای اجرای #اینترنت_طبقاتی با عناوین گولزننده مثل «منطقه آزاد سایبری»، سرش رو از برف دربیاره و همسو با ۸۵٪ مردم که استفاده از VPN رو انتخاب کردن، فقط و فقط روی مسیر آزادسازی دسترسی به اینترنت حرکت کنه.
سگارو: فیلترینگ محدود به شبکههای اجتماعی نیست. بسیاری از استارتاپهای مرتبط با خدمات زیرساخت به خاطر فیلترینگ و قطع اینترنت متوقف شده و اعضای تیم آن به امارات مهاجرت کردند.
🔍 ircf.space
@ircfspace
وزارت قطع ارتباطات باید جای نقشهکشیدن برای اجرای #اینترنت_طبقاتی با عناوین گولزننده مثل «منطقه آزاد سایبری»، سرش رو از برف دربیاره و همسو با ۸۵٪ مردم که استفاده از VPN رو انتخاب کردن، فقط و فقط روی مسیر آزادسازی دسترسی به اینترنت حرکت کنه.
سگارو: فیلترینگ محدود به شبکههای اجتماعی نیست. بسیاری از استارتاپهای مرتبط با خدمات زیرساخت به خاطر فیلترینگ و قطع اینترنت متوقف شده و اعضای تیم آن به امارات مهاجرت کردند.
💡 توضیح تصویر: ارائه وحید فرید و شهاب حسینی (سگارو) در دومین رویداد CS12
🔍 ircf.space
@ircfspace
Forwarded from IRCF | اینترنت آزاد برای همه
جمهوری اسلامی با #فیلترینگ و تحریم و کوفت و زهرمار چقدر موقعیتهارو نابود کرد
© iranux
🔍 ircf.space
@ircfspace
نرمافزار، نفت جدید است
عربستان سعودی در سال ۲۰۲۰ نفت خامی به ارزش ۱۱۳.۷ میلیارد دلار صادر کرد
هند از سال ۲۰۲۰ تا ۲۰۲۱ خدمات نرمافزاری به ارزش ۱۳۳.۷ میلیارد دلار صادر کرد
© iranux
🔍 ircf.space
@ircfspace
Forwarded from Syntax | سینتکس (alireza-fa)
تو پروژه ها اولش شبیه به اینه که داری یه سنگ گرد سنگین رو به سختی از یه تپه بالا می بری. انرژی زیادی میخواد تا راه بیوفته، ولی وقتی راه افتاد، ادامه دادنش خیلی راحته
اما اگه یه مدت رهاش کنی دوباره راه انداختنش به همون اندازه اول، یا حتی بیشتر، سخت میشه
حفظ momentum یعنی حتی اگه وقتت کمه، یا خسته ای، یا مغزت پره، یه حرکت کوچیک بزنی، یه باگ ریز، یه refactor ساده، یا حتی فقط باز کردن پروژه
چون وقتی فاصله می گیری، پروژه یه دفعه سنگین تر از چیزی که هست به نظر میرسه و اون وقت به جای یه خط کد، با یه کوه ناتموم طرفی
چرا momentum؟
1. انگیزه رو زنده نگه میداره
وقتی هر روز یه کار کوچیک انجام بدی، حس پیشرفت میگیری. ولی وقتی چند روز فاصله بیفته، مغز حس میکنه پروژه سنگینتر شده
2. یادگیری و درگیری ذهنی حفظ میشه
وقتی مدام با کدها درگیری، context توی ذهنت میمونه. ولی بعد از چند روز، باز کردن پروژه مثل روبهرو شدن با یه چیز ناآشنا میشه
3. بهت کمک میکنه با کمالگرایی کنار بیای
وقتی توی flow باشی، بیشتر عمل میکنی تا تحلیل. ولی فاصله گرفتن باعث میشه بیش از حد فکر کنی. از کجا شروع کنم؟ نکنه کدم خوب نباشه؟
@Syntax_fa
اما اگه یه مدت رهاش کنی دوباره راه انداختنش به همون اندازه اول، یا حتی بیشتر، سخت میشه
حفظ momentum یعنی حتی اگه وقتت کمه، یا خسته ای، یا مغزت پره، یه حرکت کوچیک بزنی، یه باگ ریز، یه refactor ساده، یا حتی فقط باز کردن پروژه
چون وقتی فاصله می گیری، پروژه یه دفعه سنگین تر از چیزی که هست به نظر میرسه و اون وقت به جای یه خط کد، با یه کوه ناتموم طرفی
چرا momentum؟
1. انگیزه رو زنده نگه میداره
وقتی هر روز یه کار کوچیک انجام بدی، حس پیشرفت میگیری. ولی وقتی چند روز فاصله بیفته، مغز حس میکنه پروژه سنگینتر شده
2. یادگیری و درگیری ذهنی حفظ میشه
وقتی مدام با کدها درگیری، context توی ذهنت میمونه. ولی بعد از چند روز، باز کردن پروژه مثل روبهرو شدن با یه چیز ناآشنا میشه
3. بهت کمک میکنه با کمالگرایی کنار بیای
وقتی توی flow باشی، بیشتر عمل میکنی تا تحلیل. ولی فاصله گرفتن باعث میشه بیش از حد فکر کنی. از کجا شروع کنم؟ نکنه کدم خوب نباشه؟
@Syntax_fa
Forwarded from IRCF | اینترنت آزاد برای همه
ابزار جدیدی برای تست سرعت اینترنت به نام Orb، که توسط تیم اصلی جدا شده از Speedtest ساخته شده و تمرکزشون رو روی سنجش کیفیت اینترنت گذاشتن، تا سرعت.
👉 orb.net/get-orb
© Geek_Alerts
🔍 ircf.space
@ircfspace
👉 orb.net/get-orb
© Geek_Alerts
🔍 ircf.space
@ircfspace
Forwarded from Laravel News
Setup Social Auth Redirects with Laravel Herd https://laravel-news.com/fwd-host
Laravel News
Setup Social Auth Redirects with Laravel Herd - Laravel News
fwd.host acts as a proxy for your redirects to handle social authentication callbacks by setting your callback URLs
Forwarded from Armon technical logs (armon Taheri)
در مسیری که بودم متوجه چاله ای کوچیک در راهی که بقیه صاف کرده بودن شدم
اصلاحش کردم که هم دینمون رو به گذشتگان ادا کنم هم آیندگان راحت تر قدم بردارن
https://stackoverflow.com/questions/64843104/why-gitconfig-includeif-does-not-work/75348577#75348577
اصلاحش کردم که هم دینمون رو به گذشتگان ادا کنم هم آیندگان راحت تر قدم بردارن
https://stackoverflow.com/questions/64843104/why-gitconfig-includeif-does-not-work/75348577#75348577
Stack Overflow
Why .gitconfig [includeIf] does not work?
System settings:
MacOS Catalina 10.15.6
> git --version
git version 2.24.3 (Apple Git-128)
file: ~/.gitconfig :
[user]
name = nickname
email = [email protected]
[includeIf "gitdir:~/
MacOS Catalina 10.15.6
> git --version
git version 2.24.3 (Apple Git-128)
file: ~/.gitconfig :
[user]
name = nickname
email = [email protected]
[includeIf "gitdir:~/
Forwarded from کانال مهرداد لینوکس
🔐 چطور پورت SSH به عنوان پیش فرض TCP/22 تبدیل شد؟
در سال ۱۹۹۵، تاتو یلونن برای جایگزینی امنتر
پورت ۲۳ (Telnet)
پورت ۲۱ (FTP)
پروتکل SSH را توسعه داد.
پورت ۲۲ بین این دوتا قرار داشت و آزاد بود همین .
اون با ارسال یک ایمیل به IANA، این پورت را برای SSH درخواست کرد و تنها یک روز بعد، پورت ۲۲ به طور رسمی به SSH اختصاص یافت.
منبع
در سال ۱۹۹۵، تاتو یلونن برای جایگزینی امنتر
پورت ۲۳ (Telnet)
پورت ۲۱ (FTP)
پروتکل SSH را توسعه داد.
پورت ۲۲ بین این دوتا قرار داشت و آزاد بود همین .
اون با ارسال یک ایمیل به IANA، این پورت را برای SSH درخواست کرد و تنها یک روز بعد، پورت ۲۲ به طور رسمی به SSH اختصاص یافت.
قبلا ها زندگی را ساده تر میگرفتند
منبع
Forwarded from mosTafa Arshadi
در انتخاب ادم های اطرافت بی رحم ترین باش. هر لحظه ای که با آدم های اشتباه، منفی و بی هدف میگذرونی، فقط وقتت رو تلف نکردی، فرصت بودن با آدم های درست و ساختن ایندت رو از دست دادی. این هزینه فرصت، جبران ناپذیره.
@hamidreza01
@hamidreza01
Forwarded from DevTwitter | توییت برنامه نویسی
تو داتنت 10 قراره بتونیم به همین سادگی کد سیشارپ رو اجرا کنیم! بدون csproj
کافیه دستور dotnet run App.cs رو بزنیم که برنامه اجرا بشه
تصویر از یوتیوب Nick Chapsas برداشته شده
@DevTwitter | <Serajoddin AliAbadi/>
کافیه دستور dotnet run App.cs رو بزنیم که برنامه اجرا بشه
تصویر از یوتیوب Nick Chapsas برداشته شده
@DevTwitter | <Serajoddin AliAbadi/>
Forwarded from Geek Alerts
آنتروپیک توی آپدیت امروز خودش قابلیت جستجوی وب رو که تا امروز فقط برای کاربران اشتراکهای پولی فعال بود، برای همه کاربران در دسترس قرار داد.
این قابلیت با جستجوی وب به شما دادههای بهروزتر رو همراه با منابع به شما نشون میده. این قابلیت برای پلنهای رایگان فقط روی مدل Sonnet 4 قابل اجراست.
claude.ai
🤓 abolfazl @geekalerts
این قابلیت با جستجوی وب به شما دادههای بهروزتر رو همراه با منابع به شما نشون میده. این قابلیت برای پلنهای رایگان فقط روی مدل Sonnet 4 قابل اجراست.
claude.ai
Please open Telegram to view this post
VIEW IN TELEGRAM
Forwarded from Geek Alerts
قابلیت مکالمه صوتی بهزودی به اپلیکیشن چت بات کلاد اضافه میشه. آنتروپیک تا چند هفته آینده قابلیت مکالمه بهزبان انگلیسی با کلاد که بهطور پیشفرض روی مدل Sonnet 4 هست رو منتشر میکنه.
در نسخه صوتی کاربر میتونه بین متن و صدا جابجا بشه و بعد از مکالمه رونوشت و خلاصه اون رو ببینه. کاربران رایگان میتونن ۲۰ تا ۳۰ مکالمه رو انتظار داشته باشن. مشترکین پولی کلاد میتونن «Google Workspace» خودشون رو به اون متصل کنند و اجازه دسترسی به تقویم و ایمیلهای جدید خودشون رو به اون بدن.
TechCrunch
🤓 abolfazl @geekalerts
در نسخه صوتی کاربر میتونه بین متن و صدا جابجا بشه و بعد از مکالمه رونوشت و خلاصه اون رو ببینه. کاربران رایگان میتونن ۲۰ تا ۳۰ مکالمه رو انتظار داشته باشن. مشترکین پولی کلاد میتونن «Google Workspace» خودشون رو به اون متصل کنند و اجازه دسترسی به تقویم و ایمیلهای جدید خودشون رو به اون بدن.
TechCrunch
Please open Telegram to view this post
VIEW IN TELEGRAM