Forwarded from Laravel News
Use Amazon Bedrock in Laravel with Prism PHP https://laravel-news.com/use-amazon-bedrock-in-laravel-with-prism-php
Laravel News
Use Amazon Bedrock in Laravel with Prism PHP - Laravel News
The Prism Bedrock package is a standalone Bedrock provider for the Prism PHP Package for Laravel. It supports text generation, structured output, embeddings, and more
Forwarded from DevTwitter | توییت برنامه نویسی
خبر کوتاه بود و غم انگیز!
کمپانی Builder AI که قرار بود با Vibe Coding جای مهندس های نرم افزار رو بگیره و برامون محصولات نرم افزاری بسازه دیروز به صورت رسمی اعلام ورشکستگی کرد!
این شرکت فقط 1.3 میلیارد دلار سرمایه از مایکروسافت جذب کرده بود!
https://www.financialexpress.com/business/start-ups/why-did-microsoft-backed-1-3bn-builderai-collapse-accused-of-using-indian-codersforaiwork/3854944/
@DevTwitter | <Max Shahdoost/>
کمپانی Builder AI که قرار بود با Vibe Coding جای مهندس های نرم افزار رو بگیره و برامون محصولات نرم افزاری بسازه دیروز به صورت رسمی اعلام ورشکستگی کرد!
این شرکت فقط 1.3 میلیارد دلار سرمایه از مایکروسافت جذب کرده بود!
https://www.financialexpress.com/business/start-ups/why-did-microsoft-backed-1-3bn-builderai-collapse-accused-of-using-indian-codersforaiwork/3854944/
@DevTwitter | <Max Shahdoost/>
Forwarded from 🎄 یک برنامه نویس تنبل ( MΞ)
🔸GithubMultiView - userscript
با این یوزراسکریپتی راحت ریپو رو در سایتای زیر باز کنید:
gitingest.com
gitdiagram.com
DeepWiki.com
https://greasyfork.org/en/scripts/530563-githubmultiview
@TheRaymondDev
با این یوزراسکریپتی راحت ریپو رو در سایتای زیر باز کنید:
gitingest.com
gitdiagram.com
DeepWiki.com
https://greasyfork.org/en/scripts/530563-githubmultiview
@TheRaymondDev
greasyfork.org
GithubMultiView
Redirect GitHub repositories to Gitingest, GitDiagram, or DeepWiki with a single click.
Forwarded from DevTwitter | توییت برنامه نویسی
امروز یک مطلب خوب پیدا کردم راجع به MVC توی لاراول
خیلی میتونه کمکتون کنه
https://fkrihnif.medium.com/understanding-the-mvc-architecture-in-laravel-a-comprehensive-guide-8f620cc139b6
@DevTwitter | <Misagh Momeni Bashusqeh/>
خیلی میتونه کمکتون کنه
https://fkrihnif.medium.com/understanding-the-mvc-architecture-in-laravel-a-comprehensive-guide-8f620cc139b6
@DevTwitter | <Misagh Momeni Bashusqeh/>
Forwarded from Laravel News
Last Call: Early Access for NativePHP Ends This Week https://laravel-news.com/last-call-early-access-for-nativephp-ends-this-week
Laravel News
Last Call: Early Access for NativePHP Ends This Week - Laravel News
Last chance for Early Access to NativePHP—build mobile apps with Laravel. 1,000 licenses sold, $100K+ raised, and big features launched.
Forwarded from Geek Alerts
نوتپد قدیمی ویندوز حالا یه AI داره که میشه برای تولید محتوا ازش استفاده کرد، یا ازش بخواید متنهای قبلی رو ویرایش کنه. اینا فقط برای بعضی از دستگاههای ویندوزی فعال میشه. [L]
شرکت The Browser Company که مرورگر Arc رو ساخته، گفته دیگه مسیرش رو از آرک تغییر میده و میخواد روی مرورگر جدیدی به اسم Dia کار کنه که از اساس بر پایه هوش مصنوعیه. دارن بررسی میکنن که آرک رو بفروشن یا اوپنسورس کنن. [L]
وایفای ۷ اومد. این استاندارد جدید که ژانویه ۲۰۲۴ رسمی شد، با افزایش پهنای کانال تو باند ۶ گیگاهرتز (تا ۳۲۰ مگاهرتز) و قابلیت Multi-Link Operation (اتصال همزمان به دو باند) این کارو میکنه. برای استفاده کامل، هم روتر و هم دستگاهتون باید ازش پشتیبانی کنن. [L]
ویندوز ۱۱ یه ابزار انتخاب رنگ پیشفرض به Snipping Tool اضافه کرده. کافیه با Win + Shift + S ابزار رو باز کنید، روی آیکون قطرهچکان کلیک کنید و نشانگر ماوس رو روی هر رنگی بذارید تا کدهای HEX, RGB و HSL رو بدون نیاز به اسکرینشات نشون بده. فعلا آزمایشی هست ولی منتظرش باشید. [L]
کاهش قیمت شدید محصولات شرکت چینی BYD باعث سقوط سهام رقباش شده. مثلا هاچبک Seagull بیست درصد کاهش قیمت (شده حدود ۷٬۷۸۰ دلار) و سدان هیبریدی Seal سی و چهار درصد کاهش قیمت (شده حدود ۱۴.۳۰۰ دلار) [L]
قابلیت Tap to Pay روی آیفون امروز تو هشت کشور جدید شامل بلژیک، کرواسی، قبرس، دانمارک، یونان، ایسلند، لوکزامبورگ و مالت راهاندازی شد. به کسبوکارهای کوچیک اجازه میده بدون نیاز به دستگاه کارتخوان، با آیفونشون پرداختهارو قبول کنن. از امریکن اکسپرس، مسترکارت و ویزا پشتیبانی میکنه. [L]
واتساپ داره یه بخش مدیریت فایل اضافه میکنه که میشه دیگه تو بخش فایلها گشت، مثلا بر اساس تاریخ یا حجم مرتبشون کرد، یا چندتاشو دانلود، فوروارد یا حذف کنید. [L]
مدل پشت دستیار Operator از OpenAI حالا به o3 ارتقا پیدا کرد، معنیش اینه که فرایندهای خودکاری که براتون داخلش مرورگر انجام میده حالا با دقت بالایی انجام میشه، البته بری استفاده ازش فعلا اشتراک ۲۰۰ دلرای نیازه. [L]
اپل هم بالاخره هوش مصنوعی خودش یعنی Apple Intelligence رو به آیفون آورده. با این قابلیت جدید میتونید توی هر برنامهای که تایپ میکنید، از هوش مصنوعی بخواید متنتون رو غلطگیری، بازنویسی یا لحنش رو دوستانه، رسمی یا خلاصه کنه. برای آیفونهای بالای ۱۵ هست. [L]
توسعهدهنده توزیع لینوکس (AnduinOS) که به لینوکس با ظاهر ویندوز ۱۱ معروفه، گفته نسخه ۱.۴ (بر پایه اوبونتو ۲۵.۱۰) اواخر اکتبر امسال و نسخه ۱.۵ LTS (بر پایه اوبونتو ۲۶.۰۴ LTS) اواخر آوریل ۲۰۲۶ میاد. [L]
🤓 @geekalerts
شرکت The Browser Company که مرورگر Arc رو ساخته، گفته دیگه مسیرش رو از آرک تغییر میده و میخواد روی مرورگر جدیدی به اسم Dia کار کنه که از اساس بر پایه هوش مصنوعیه. دارن بررسی میکنن که آرک رو بفروشن یا اوپنسورس کنن. [L]
وایفای ۷ اومد. این استاندارد جدید که ژانویه ۲۰۲۴ رسمی شد، با افزایش پهنای کانال تو باند ۶ گیگاهرتز (تا ۳۲۰ مگاهرتز) و قابلیت Multi-Link Operation (اتصال همزمان به دو باند) این کارو میکنه. برای استفاده کامل، هم روتر و هم دستگاهتون باید ازش پشتیبانی کنن. [L]
ویندوز ۱۱ یه ابزار انتخاب رنگ پیشفرض به Snipping Tool اضافه کرده. کافیه با Win + Shift + S ابزار رو باز کنید، روی آیکون قطرهچکان کلیک کنید و نشانگر ماوس رو روی هر رنگی بذارید تا کدهای HEX, RGB و HSL رو بدون نیاز به اسکرینشات نشون بده. فعلا آزمایشی هست ولی منتظرش باشید. [L]
کاهش قیمت شدید محصولات شرکت چینی BYD باعث سقوط سهام رقباش شده. مثلا هاچبک Seagull بیست درصد کاهش قیمت (شده حدود ۷٬۷۸۰ دلار) و سدان هیبریدی Seal سی و چهار درصد کاهش قیمت (شده حدود ۱۴.۳۰۰ دلار) [L]
قابلیت Tap to Pay روی آیفون امروز تو هشت کشور جدید شامل بلژیک، کرواسی، قبرس، دانمارک، یونان، ایسلند، لوکزامبورگ و مالت راهاندازی شد. به کسبوکارهای کوچیک اجازه میده بدون نیاز به دستگاه کارتخوان، با آیفونشون پرداختهارو قبول کنن. از امریکن اکسپرس، مسترکارت و ویزا پشتیبانی میکنه. [L]
واتساپ داره یه بخش مدیریت فایل اضافه میکنه که میشه دیگه تو بخش فایلها گشت، مثلا بر اساس تاریخ یا حجم مرتبشون کرد، یا چندتاشو دانلود، فوروارد یا حذف کنید. [L]
مدل پشت دستیار Operator از OpenAI حالا به o3 ارتقا پیدا کرد، معنیش اینه که فرایندهای خودکاری که براتون داخلش مرورگر انجام میده حالا با دقت بالایی انجام میشه، البته بری استفاده ازش فعلا اشتراک ۲۰۰ دلرای نیازه. [L]
اپل هم بالاخره هوش مصنوعی خودش یعنی Apple Intelligence رو به آیفون آورده. با این قابلیت جدید میتونید توی هر برنامهای که تایپ میکنید، از هوش مصنوعی بخواید متنتون رو غلطگیری، بازنویسی یا لحنش رو دوستانه، رسمی یا خلاصه کنه. برای آیفونهای بالای ۱۵ هست. [L]
توسعهدهنده توزیع لینوکس (AnduinOS) که به لینوکس با ظاهر ویندوز ۱۱ معروفه، گفته نسخه ۱.۴ (بر پایه اوبونتو ۲۵.۱۰) اواخر اکتبر امسال و نسخه ۱.۵ LTS (بر پایه اوبونتو ۲۶.۰۴ LTS) اواخر آوریل ۲۰۲۶ میاد. [L]
Please open Telegram to view this post
VIEW IN TELEGRAM
Forwarded from 🎄 یک برنامه نویس تنبل (The Lazy 🌱)
🔶 کمپانی Builder AI که قرار بود با Vibe Coding جای مهندس های نرم افزار رو بگیرد و محصولات نرم افزاری بسازد, دیروز به صورت رسمی اعلام ورشکستگی کرد!
این شرکت متهم شده بود که به جای استفاده از هوش مصنوعی، از برنامهنویسان هندی برای انجام کارها استفاده میکرد.
در طول هشت سال، این شرکت بیش از ۴۴۵ میلیون دلار سرمایه جذب کرد، سرمایهگذارانی مانند مایکروسافت و صندوق سرمایهگذاری قطر را جذب نمود، و به ارزشگذاری بالای ۱.۳ میلیارد دلار رسید. اما تا ماه مه ۲۰۲۵، اعلام ورشکستگی کرد.
#خبر
@TheRaymondDev
این شرکت متهم شده بود که به جای استفاده از هوش مصنوعی، از برنامهنویسان هندی برای انجام کارها استفاده میکرد.
در طول هشت سال، این شرکت بیش از ۴۴۵ میلیون دلار سرمایه جذب کرد، سرمایهگذارانی مانند مایکروسافت و صندوق سرمایهگذاری قطر را جذب نمود، و به ارزشگذاری بالای ۱.۳ میلیارد دلار رسید. اما تا ماه مه ۲۰۲۵، اعلام ورشکستگی کرد.
#خبر
@TheRaymondDev
Financial Express
Why did Microsoft-backed $1.3bn Builder.ai collapse? Accused of using Indian coders for ‘AI’ work
Over the next eight years, it raised over $445 million, counted Microsoft and the Qatar Investment Authority as investors, and crossed the $1.3 billion valuation mark. By May 2025, it has gone bankrupt.
Forwarded from DevTwitter | توییت برنامه نویسی
امروز با ripgrep آشنا شدم؛ سرعتش به طرز عجیبی از grep بیشتر بود! کنجکاو شدم برم سورس کدش رو که چک کنم. دیدم با Rust نوشته شده.
ادعا میکنن پیدا کردن یه پترن توی کرنل لینوکس براشون یکدهم بقیه ابزارها زمان میبره!
https://github.com/BurntSushi/ripgrep
@DevTwitter | <Maza/>
ادعا میکنن پیدا کردن یه پترن توی کرنل لینوکس براشون یکدهم بقیه ابزارها زمان میبره!
https://github.com/BurntSushi/ripgrep
@DevTwitter | <Maza/>
Forwarded from Geek Alerts
اریک اشمیت مدیرعامل سابق گوگل، شرکت فضایی رلتیویتی اسپیس رو خریده. میخواد تو فضا دیتاسنتر بسازه. [L]
پاکستان قراره یه ظرفیت ۲ هزار مگاواتی برق رو برای استخراج بیتکوین اختصاص بده. [L]
سرگئی برین از بنیانگذاران گوگل، ۷۰۰ میلیون دلار از سهام خودش در گوگل رو به موسسات خیریه اهدا کرد. [L]
احتمالا ۹۹ درصد استارتاپهای هوش مصنوعی تا سال ۲۰۲۶ از بین برن، دلیل اصلیش اینه که محصول واقعی ندارن و فقط یه رابط کاربری زیبا روی API مدلهای بزرگ مثل OpenAI هستن. [L]
ویژگی اشتراکگذاری صفحه گوشی به مدلهای xAI یا همون اپ Grok داره اضافه میشه. [L]
میسترال یه پلتفرم جدید به اسم Document AI معرفی کرده، متن رو با دقت بالا از انواع فایلها مثل PDF، ورد، پاورپوینت، دستنوشتهها و جدولها استخراج میکنه. از ۴۰ زبان پشتیبانی میکنه. [L]
شرکت Anthropic میگه دیگه تمرکزشون روی چتباتهای عمومی نیست و از اواخر سال پیش اولویتهاشون عوض شده. حالا بیشتر روی کارهای پیچیدهتری مثل تحقیق و برنامهنویسی تمرکز دارن و مدلهای جدید کلود ۴ هم برای کاربردهای ایجنت-محور (agentic) طراحی شدن. [L]
مایکروسافت از مدل Aurora رونمایی کرده. میتونه پیشبینیهای ۱۰ روزه جهانی آبوهوا، ۵ روزه آلودگی هوا و مسیر طوفانهای گرمسیری رو با دقت بالایی انجام بده. [L]
دمیس هاسابیس مدیرعامل گوگل دیپمایند، گفته قبل از ۲۰۳۰ اولین AGI رو معرفی میکنن. [L]
مدیرعامل آنتروپیک میگه اولین کسبوکار یک میلیارد دلاری با تنها یک کارمند تو سال ۲۰۲۶ اتفاق میفته. [L]
تحلیلگر ولز فارگو میگه اگه قرار باشه گوگل از این پس جواب همه سوالهارو خودش بده احتمالا دیگه کسی نمیره داخل ردیت یا سایتهای مشابه سوال کنه و این پایان ردیت هست. [L]
مدیرعامل انتروپیک میگه مدلهای هوش مصنوعی امروزی کمتر از انسانها «توهم» میزنن یا اطلاعات غلط میدن. انسانها هم مدام اشتباه میکنن، و اشتباهات AI لزوما نشانه ضعیف بودن نیست. [L]
🤓 @geekalerts
پاکستان قراره یه ظرفیت ۲ هزار مگاواتی برق رو برای استخراج بیتکوین اختصاص بده. [L]
سرگئی برین از بنیانگذاران گوگل، ۷۰۰ میلیون دلار از سهام خودش در گوگل رو به موسسات خیریه اهدا کرد. [L]
احتمالا ۹۹ درصد استارتاپهای هوش مصنوعی تا سال ۲۰۲۶ از بین برن، دلیل اصلیش اینه که محصول واقعی ندارن و فقط یه رابط کاربری زیبا روی API مدلهای بزرگ مثل OpenAI هستن. [L]
ویژگی اشتراکگذاری صفحه گوشی به مدلهای xAI یا همون اپ Grok داره اضافه میشه. [L]
میسترال یه پلتفرم جدید به اسم Document AI معرفی کرده، متن رو با دقت بالا از انواع فایلها مثل PDF، ورد، پاورپوینت، دستنوشتهها و جدولها استخراج میکنه. از ۴۰ زبان پشتیبانی میکنه. [L]
شرکت Anthropic میگه دیگه تمرکزشون روی چتباتهای عمومی نیست و از اواخر سال پیش اولویتهاشون عوض شده. حالا بیشتر روی کارهای پیچیدهتری مثل تحقیق و برنامهنویسی تمرکز دارن و مدلهای جدید کلود ۴ هم برای کاربردهای ایجنت-محور (agentic) طراحی شدن. [L]
مایکروسافت از مدل Aurora رونمایی کرده. میتونه پیشبینیهای ۱۰ روزه جهانی آبوهوا، ۵ روزه آلودگی هوا و مسیر طوفانهای گرمسیری رو با دقت بالایی انجام بده. [L]
دمیس هاسابیس مدیرعامل گوگل دیپمایند، گفته قبل از ۲۰۳۰ اولین AGI رو معرفی میکنن. [L]
مدیرعامل آنتروپیک میگه اولین کسبوکار یک میلیارد دلاری با تنها یک کارمند تو سال ۲۰۲۶ اتفاق میفته. [L]
تحلیلگر ولز فارگو میگه اگه قرار باشه گوگل از این پس جواب همه سوالهارو خودش بده احتمالا دیگه کسی نمیره داخل ردیت یا سایتهای مشابه سوال کنه و این پایان ردیت هست. [L]
مدیرعامل انتروپیک میگه مدلهای هوش مصنوعی امروزی کمتر از انسانها «توهم» میزنن یا اطلاعات غلط میدن. انسانها هم مدام اشتباه میکنن، و اشتباهات AI لزوما نشانه ضعیف بودن نیست. [L]
Please open Telegram to view this post
VIEW IN TELEGRAM
Forwarded from Linuxor ?
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