دنبال خرید صندلی گیمینگ هستم.

کجای تهران داره؟ خرید فوری باشه و نه سفارشی

#موقت

🔵 عنوان مقاله
How I Program with LLMs

🟢 خلاصه مقاله:
در این مقاله، یکی از بنیان‌گذاران Tailscale نظرات خود را در مورد روش‌های مدرن نوشتن کد Go با استفاده از تکنیک‌های متعددی که توسط مدل‌های زبان بزرگ (LLM) پشتیبانی می‌شوند، به اشتراک می‌گذارد. او همچنین از یک پروژه جدید خبر می‌دهد که یک 'محیط بازی Go' مبتنی بر LLM است که در دست کار است. این ابزار جدید به توسعه‌دهندگان این امکان را می‌دهد تا کدهای Go خود را با توانائی‌های پیشرفته LLM تست و اجرا کنند، که می‌تواند فرآیند توسعه را بهبود ببخشد و کارایی برنامه‌نویسی با Go را افزایش دهد. این 'محیط بازی Go' که به احتمال زیاد شامل امکاناتی برای آموزش و توسعه مهارت‌های کدنویسی در بین توسعه‌دهندگان است، قصد دارد جامعه بزرگی از توسعه‌دهندگان Go را به خود جلب کند و روند برنامه‌نویسی با Go را متحول کند.

🟣لینک مقاله:
https://golangweekly.com/link/163965/web

➖➖➖➖➖➖➖➖
👑 @gopher_academy

بلاخره یه نفر در مورد کامپیوترهای کوانتومی نظر داد.
جنسن هوانگ، مدیرعامل انویدیا میگه کامپیوترهای کوانتومی تا ۲۰ سال دیگه کاربردی ندارن، منظورش اینه که توسعه دادن یک کامپیوتر کوانتومی با حداقل کاربرد انقدر زمان لازم داره.
حالا همین حرف باعث شده که سهام شرکت‌های فعال توی این حوزه بیش از ۴۰ درصد سقوط کنه و ارزش بازارشون ۸ میلیارد دلار کاهش داشته باشه.
الان غیر از آمریکا چین یکی از کشورهایی هست که داره میلیارد دلاری روی کامپیوترهای کوانتومی هزینه میکنه و تصمیم گرفتن اولین کامپیوتر کاربردی با نرخ خطای کم رو بسازن.
یکی از کاربردهاش اینه که میشه باهاش رمزنگاری‌های سنتی (که الان استفاده میشه) رو شکست.
ولی این اتفاق احتمالا ۱۵ تا ۲۰ سال دیگه میفته در صورتی که ۲۰۲۴ رمزنگاری‌های پساکوانتوم معرفی شدن و احتمالا تا چند سال دیگه کاملا جایگزین رمزنگاری‌های سنتی میشن.
با تمام این کاربرد کامپیوترهای کوانتومی فقط این نیست و میشه در طراحی ملکول‌ها، ساخت‌ دارو، پیشرفت سریع‌تر علم و چیزهای خیلی بیشتری ازشون استفاده کرد.
slashdot
@geekalerts

نسخه‌ی ۳ از پنل BPB، برای ساخت کانفیگ Vless/Trojan/Warp بر پایه ورکر منتشر شد.
در این‌نسخه مبهم‌سازی کد با تنظیمات جدیدی صورت گرفته و بخش‌هایی از کد با ساختار جدید بازنویسی شده، تا به‌سادگی توسط کلودفلر شناسایی نشه ...

👉 github.com/bia-pain-bache/BPB-Worker-Panel

🔍 ircf.space/software
@ircfspace

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

هتزنر آلمان رو بصورت سه بعدی ببینید
https://www.hetzner.com/unternehmen/360-tour/

تصاویر ماهواره‌ای آتیش‌سوزی‌های لس‌آنجلس رو میبینید.

تا اینجا ۱۰ کشته داشته و ۱۸۰ هزار نفر مجبور به تخلیه خونه‌اشون شدن. ۲۰۰ هزار نفر دیگه هم هشدار تخلیه گرفتن، یعنی ممکنه به‌زودی مجبور بشن خونه‌هاشون رو ترک کنن. ۱۰ هزار ساختمان آتیش گرفته و ۶۰ هزار ساختمان دیگه در خطر هستن.

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

آتش‌سوزی در ۵ نقطه هست.
۱. آتش‌سوزی Palisades: اولین آتش‌سوزی که سه‌شنبه شروع شد و بزرگ‌ترین آتش منطقه‌ست. نزدیک به ۲۰ هزار هکتار رو سوزونده و تا پنج‌شنبه شب فقط ۶٪ مهار شده.
۲. آتش‌سوزی Eaton: در شمال لس‌آنجلس فعاله و نزدیک به ۱۴ هزار هکتار رو سوزونده و هنوز هیچیش مهار نشده.
۳. آتش‌سوزی Hurst: که ۶۷۰ هکتار رو سوزونده، اما آتش‌نشان‌ها دارن اون رو کنترل می‌کنن.
۴. آتش‌سوزی Lidia: در منطقه‌ی کوهستانی شروع شد و ۳۵۰ هکتار رو سوزونده. ۶۰٪ مهار شده.
۵. آتش‌سوزی Kenneth: این آتش جدید پنج‌شنبه در مرز لس‌آنجلس و ونتورا شروع شد و تا الان نزدیک به ۱۰۰۰ هکتار رو سوزونده.

کارشناس‌ها علت آتیش‌سوزی رو خشک‌سالی شدید، تغییرهای اقلیمی زیاد و باد‌های قوی این چند روز میدونن.
bbc
@geekalerts

خونه CJ اینا سوخت... :(

یه نفر توییت زده :

اگه می‌تونی توضیح بدی این فانکشن C چطور کار می‌کنه، بهتره کمی از کامپیوتر فاصله بگیری و بیرون بری و هوای تازه‌ای بخوری.

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

فرض کنین یه آرایه دارین توش 100 تا عضو داره میخواین بریزینش توی یه آرایه دیگه، یه حلقه می‌شه نوشت اما این حلقه کند کار می‌کنه چون هر بار که یکی میریزه میره شرط حلقه رو چک می‌کنه، بجای یکی یکی فرض کنین 8 تا 8 تا بریزیم که کمتر شرط حلقه چک بشه، مشکل این اینه که 100 به 8 بخش پذیر نیست و اخرین اجرای حلقه که کمتر از 8 تا مونده به مشکل می‌خوره، پس میایم یه کاری می‌کنیم توی اولین اجرا با Switch می‌پریم وسط حلقه که اون اخرین اجرای حلقه هم جور در بیاد.

کد توییت هم در واقع داره از همین روش استفاده می‌کنه.

@Linuxor

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


@Linuxor ~ Dan Salomon

بحث دکوریتورها از بحث های نسبتا پیشرفته برنامه نویسی است و توی دوره جدید پایتون که دارم ضبط می کنم و احتمالا یکی دو ماه دیگه با مکتبخونه منتشر می شه پوشش دادم. بعد فکر کردم خوبه این تیکه رو انگلیسی هم ضبط کنم و نتیجه اش شد ویدئوی زیر. گفتم اینجا هم بذارم تا هم به نفع زبان انگلیسی مون بشه و هم زودتر از دوره مفهوم دکوریتورها رو (با استفاده از پایتون) خوب درک کنیم و شاید حتی خودمون هم بنویسیم.

Struggling with #Python decorators? 🐍 In this short video, I’ll simplify the concept, show why they’re useful, and how to create one step by step. Watch and start writing your own decorators today! 🚀 #Programming

https://youtu.be/0B01tgso7qw

“Sir, you are at risk of winning the argument.”
برای مرحوم E. Allen Emerson
—————————————————————
دو روز بعد اینکه تصمیم گرفتم در اینجا رو تخته کنم، یعنی ۱۶ اکتبر، توی توییتر دیدم که آقای Rajeev Alur اعلام کردند که متأسفانه آقای E. Allen Emerson فوت کردند. یادم میاد که روز خیلی تلخی بود اون روز. من از روزی که به شکل جدی وارد آکادمیک شدم همواره مشغول کار روی Model Checking بودم و حالا می‌بینم که دومین نفر از سه نفری که شروع کننده‌ی این داستان بودن فوت کردند. یادمه هفته بعدش یعنی ۲۳ اکتبر که روپاک سر کلاس Software Verification مبحث Enumerative Model Checking رو تموم کرد، درب ماژیک رو بست و بعد از چند ثانیه سکوت همراه با افسوس رو به ما کرد و گفت که جا داره یادی کنیم از Emerson که متأسفانه هفته پیش فوت کردند. واقعا از دست دادن ایشون یک افسوس بزرگ برای حوزه‌ی ما خواهد بود، من در کنفرانس‌های زیادی ایشون رو دیدم و باهاشون صحبت کردم و واقعا نمیدونم چطور بگم که چقدر انسان دوست داشتنی‌ای بودند.
دوست داشتم همون روزی که این خبر رو فهمیدم بیام اینجا و چیزی بنویسم. همونطور که حدس می‌زدم هیچ یک از دوستان در کانال‌هاشون سخن و اشاره‌ای به این خبر نداشتند و این غم لابه‌لای خیلی از سخن‌ها و خبر‌های شاید مهم‌تر محو شد. تا اینکه امروز یک سر ستون در والیوم ۶۷ ام مجله‌ی CACM که ۵ روز پیش منتشر شد خوندم که یادواره‌ی آقای Emerson بود و بهانه‌ای دستم داد تا این خبر تلخ رو غبار روبی کنم.
آقای Allen Emerson زمانی که در Harvard دکتری‌شون رو با آقای Edmund Clarke شروع کردند تصمیم گرفتن که تز دکتری‌شون رو معطوف کنند به Verification ویژگی‌های فرمال‌شده روی سیستم‌های Finite-state. تقریبا یک روز که ایشون داشتن با Clarke در حیاط محوطه‌ی Harvard قدم میزدن، اصطلاح Model Checking رو خلق کردند. ۲۵ سال بعد به پاس تلاش‌های ایشون و آقای Clarke و آقای Joseph Sifakis برای خلق و توسعه‌ی Model Checking و کاربرد موثر این تکنیک در Verification نرم‌افزارها و سخت‌افزارها، به هر سه‌ی این عزیزان جایزه‌ی Turing Award اهدا شد. آقای Clarke متأسفانه در سال ۲۰۱۹ بر اثر ابتلا به بیماری کرونا فوت کردند و حالا هم نوبت به اولین دانشجوی دکتری‌شون رسید. شاید حالا که از آقای Clarke یادی کردیم، اشاره‌ای کنیم به پستی با عنوان "صفحات پایانی ۳".
آقای Emerson دو منبع مهم الهام‌شون برای توسعه‌ی مدل چکینگ رو مقاله‌ی Proof of a Program : Find نوشته‌ی آقای Tony Hoare و یک سخنرانی از آقای Zohar Manna با عنوان Fixpoints and the Tarski-Knaster Theorem عنوان کردند. حالا که اسم این بزرگواران رو آوردم، بد نیست که ارجاع بدم شما رو به دو پست "ارمغان پیری" و "زهر منا".
آقای Emerson بعد از اتمام دکتری‌شون، وارد دپارتمان CS دانشگاه TU Austin در تگزاس شدند. جایی که آقای Edsger Dijkstra هم حضور داشتند و یکی از مخالفین سر سخت Model Checking بودند. حالا که یادی از دایکسترا شد همینجا شما رو ارجاع میدم به خوندن پست "واحد اندازه‌گیری غرور : نانو Dijkstra" در کانال. او معتقد بود که برنامه نویس‌ها خودشون باید در مورد درستی برنامه‌شون reasoning کنند و نباید روی ابزار‌های Automated Program Checker اتکا کنند. سال ۱۹۸۵ آقای Emerson مقاله‌ای رو با عنوان Modalities for model checking (extended abstract): branching time strikes back در کنفرانس POPL منتشر می‌کنند. آقای Dijkstra در اون سال در یکی از جلسات معروف Austin Tuesday Afternoon Club شون تصمیم می‌گیرند که به بررسی این مقاله بپردازن. همینجا شما رو ارجاع میدم به خواندن پستی که قدیما با عنوان "کلوب سه شنبه ها، بعد از ظهر" منتشر کردم.
توی اون جلسه آقای دایکسترا شروع می‌کنند به نقد این مقاله و نقدشون رو در قالب یک یادداشت تند برای آقای Emerson می‌نویسند، یک هفته بعد آقای Emerson به عنوان جوابیه یک یادداشت برای آقای دایکسترا می‌نویسند و تمام حملات آقای دایکسترا رو جواب میدن. آقای دایکسترا در نهایت می‌پذیرند که نقدهاشون نادرست بوده و با آقای Emerson دوست صمیمی میشن. آقای Emerson میگن که آقای دایکسترا واقعا به مفید بودن Model Checking پی بردند و با اون غرور معروفی که داشتند یه روز به آقای Emerson میگن :
“Sir, you are at risk of winning the argument.”
خیلی برام سخته که می‌بینم دارم تو حوزه‌ای کار میکنم که اکثر pioneer هاش دیگه بین ما نیستن. از بین تمام افرادی که توی این پست ازشون یاد کردم فقط دو سه نفرشون زنده‌اند. امیدوارم قبل از اینکه نوبت به من هم برسه بتونم روزی به هدفی که در ابتدای دکتری برای خودم تعیین کردم برسم، Unlocking Software Model Checking.
با این شعر از سایه خاتمه بدیم.
نآمدگان و رفتگان از دو کرانه‌ی زمان
سوی تو می‌دوند هان! ای تو همیشه در میان

آخرین ورژن منتشر شده‌ی JMC طبق benchmark هامون میتونه یک برنامه‌ی مالتی‌ترد Java که تعداد equivalent class های Execution trace هاش ۲۵۰ هزارتاست رو توی ۱۵ دقیقه Model Check کنه. دو ماهه که با شیرینیدی refactoring و optimization این ابزار رو شروع کردیم و چیزی به انتشار نهاییش نمونده. توی نسخه‌ی جدید این زمان به کمتر از ۵ ثانیه می‌رسه و این یعنی یک قدم دیگه نزدیک شدیم به آرمانمون، Unlocking Software Model Checking :)

If I was stranded on an island and the only way to get off the island was to make a pretty UI, I’d die there.

- Linus Torvalds

https://blog.ted.com/the-quotable-linus-torvalds-live-onstage-at-ted/

🔸territorial
یک بازی جذاب پیکسی سبک و انلاین که میتونه شمارو معتاد کنه
قلمرو خودتون گسترش میدید-متحد میشید-کمک میگیرید و میفرستید-حمله میکنید و... هم تحت وب هم اندروید هم ios

https://territorial.io
#معرفی
@TheRaymondDev

دوستان اگر در مورد آیندتون جدی هستید و میخواید موفق بشید، به نظرم این کانال می‌تونه کمکتون بکنه، از دستش ندید 👇🏻:

@hamidreza01

Only 0.4% of Pump.fun Traders Have Made More Than $10,000

Pump.fun has made just 294 millionaires so far, with just 0.4% of wallets profiting $10,000 on meme coins.