‏در جبر بول مقدار true را معادل 1 و false را معادل 0 می‌دانند که همیشه false چیز بدی نیست.

هنگامی که شما برنامه‌ای با Java می‌نویسید پس از اجرا و پایان آن اگر برنامه با موفقیت به پایان رسیده و terminate شود مقدار خروجی 0 را بر‌میگرداند.

@DevTwitter | <Elyas Hadizadeh Tasbiti/>

چند وقتیه که خیلی تعریف AB Download Manager رو می‌شنوم. بالاخره اولین نسخه مک هم اومد و تستش کردم. ظاهرش که متفاوته و به نظر من قشنگه و امکانات خوبی هم داره. سرعت دانلود هم باهاش خوبه و مشکل خاصی باهاش نداشتم.
نکته دیگه هم اینکه ایرانی و اوپن‌سورسه
https://github.com/amir1376/ab-download-manager

@DevTwitter | <Hamed Pourhosseini/>

رادیوجادی ۱۹۲ - غیرمستقیم

حالا که کارهای غیرمستقیم آزاده ما چرا نکنیم؟ تو این شماره نه فقط سراغ ای آی و شرایط کاری ای که درست کرده می‌ریم که به مدل کیبرد لینوس توروالدز نگاه می کنیم و بررسی می کنیم که چرا اسم پاپ؛ لئوی ۱۴ است و این اصلا چه ربطی به ما داره! با من باشین که جهان هکرهای بیشتری لازم داره.


00:00 - رادیوجادی ۱۹۲
01:22 - تاثیر ای آی و هوش مصنوعی و مدل‌های زبانی بر مشاغل
07:17 - مایکروسات ۶۰۰۰ نفر رو اخراج می‌کنه
10:51 - بازم هم اخراج و بحث جی تی ای ۶
12:05 - مایکروسافت می‌خواد برای آپدیت سرورهاش هم پول بگیره
16:30 - خبر جلف کیبرد مورد استفاده لینوس توروالدز
20:32 - «نگرانی از هوش مصنوعی» دلیل انتخاب نام لئوی ۱۴ ام
23:52 - دیدار کشورهای جهان برای بررسی قوانین مرتبط با ربات‌های قاتل
30:59 - بخش آخر

https://youtu.be/-UtzE7kEkUo

کامند ها به تنهایی توی لینوکس کار های ساده ای انجام می‌دن، زمانی قدرتمند می‌تونیم ازشون استفاده کنیم که با هم دیگه پایپشون کنیم ولی پایپ کردن بعضی مواقع خیلی سخت می‌شه چون توی هر مرحله پایپ باید بدونیم چه اتفاقی می‌افته ابزار UP بهتون کمک می‌کنه که هر مرحله به صورت زنده پایپ رو ببینید :

github.com/akavel/up

@Linuxor

توسعه اپلیکیشن و وب اپلیکیشن، هم‌زمان؟
تاریخچه...
چند سال پیش شرکت ها با Java اپلیکیشن اندروید، با Swift اپلیکیشن IOS توسعه میدادن و وبسایت با HTML CSS JS بود که همگی به یک API وصل میشدن.
چند سال گذشت و جای Swift و Java سمت ابزار های کراس پلتفورم مثل Flutter اومدن

اما امروز، داریم می رسیم به جمله طلایی ری اکت در کنفرانس سال 2021

React is not a web frontend library, react is a development paradigm

امروز میتونیم در یک فریمورک، مثل next یا nuxt ، با استفاده از tauri.app به طور همزمان فرانت، بکند، اپلیکیشن اندروید و آی او اس و لینوکس و ویندوز توسعه بدیم!
در کنار shadcn.com ، یک شاهکار به تمام عیار هستش که می‌تونه تا چندین برابر بهره‌وری تیم توسعه رو افزایش بده.
🆔 @Hiradsajde

اپن‌ای‌آی مدل GPT-4.1ش رو توی چت‌جی‌پی‌تی عرضه کرده. این یه مدل مخصوص کدنویسیه و قبلا فقط در بخش API در دسترس بود. فعلا برای کاربران اشتراکی در دسترسه و میگن به دلیل سرعتش جایگزین مناسبی برای انجام کارای ساده در مقابل مدل‌های سری o شون هست. [L]

شرکت DeepMind گوگل از AlphaEvolve رونمایی کرده که یک عامل(agent) برنامه‌نویس برای پیدا کردن الگوریتم‌های مختلفه. یعنی کار اصلیش پیدا کردن الگوریتم‌هایی برای مسائل مختلف ریاضیات و غیره است. گوگل میگه ما از این برای بهینه‌سازی دیتاسنترهامون، راهنمایی توی طراحی چیپ‌های مختلف و آموزش مدل‌هامون توی یک سال اخیر استفاده کردیم.[L]

حالت صوتی Grok برای تمامی کاربران اندروید به صورت رایگان عرضه شد. کافیه نرم‌افزار گروک رو از گوگل پلی نصب کنید. [L]

hadi @geekalerts

ترمینال ویندوز یا CMD برای یونیکس یوزر ها کابوسه از دستوراتش بگیر تا اون کاراکتر های ممنوعه یونیکسی که توش باید بنویسی و اونجا ممنوع نیست !

این ریپو با جاوا اسکریپت (به عنوان میانجی گر بین یونیکس و ویندوز) اومده ابزار cash رو نوشته که توی ترمینال CMD ویندوز بتونین دستورات با استایل یونیکسی بزنید‌ :

github.com/dthree/cash

@Linuxor

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

devopsdays.org

حالا جالبه بدونید اکثر کتاب های DevOps سر چشمش از این کنفرانس ها بود و باعث شد که DevOps انقدر رشد کنه و تبدیل بشه به یکی از مهم ترین روش های توسعه نرم افزار و مدیریت زیرساخت.

@Linuxor

حتما نگاهی به این بلاگ بندازید اگر علاقه داشتید مقالش رو هم بخونید؛ دستاورد جدیدی از Google Deep Mind :

AlphaEvolve

چیزی که من از دیدنش لذت بردم؛ پیدا کردن ضرب ماتریسی بهینه تر بود:

معروفترینش ضرب <4, 4> بوده که از ۴۹ تا به ۴۸ تا کاهش داده یا مثلا راهکاری برای ضرب <7, 4, 3> پیدا کرده که از ۶۶ تا به ۶۳ مورد رسیده.
بطورکلی تو اکثر حالات یا راهکاری که ارائه داده یه اندازه راهکارهای موجود بهینه هست یا اینکه راهکار بهتری رو ارائه داده.

و این تازه شروع ماجرا هست؛ پای LLM به حل مسائل ریاضی هم باز شد.

🔶 در حال باز طراحی سایت راییوم هستیم.

با CSS خام و رسپانسیو با Bootstrap Grid

#متفرقه

@TheRaymondDev

مولانا | دیوان شمس | رباعیات | رباعی شمارهٔ ۱۰۳۳

دانم که برای ما نخفتی همه دوش
بر صفه سرد با یکی بالاپوش
آن نیز فراموش نگردد ما را
ای بوده عزیزتر از دیده و گوش

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

🔵 عنوان مقاله
GoVisual: A Pure-Go HTTP Request Visualizer and Debugger

🟢 خلاصه مقاله:

در این مقاله ابزاری برای نمایش و عیب‌یابی درخواست‌های HTTP بدون نیاز به پیکربندی معرفی شده است که به ویژه برای توسعه برنامه‌های وب محلی گو در نظر گرفته شده است. این ابزار با ادغام قابلیت‌های ردیابی میان‌افزار و OpenTelemetry، فرایند توسعه و عیب‌یابی را ساده‌تر می‌کند. از این طریق، توسعه‌دهندگان می‌توانند داده‌های تلمتری مانند معیارها، گزارشات و ردیاب‌ها را جمع‌آوری کنند که برای درک عملکرد و مشکلات سیستم ضروری است.

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

➖➖➖➖➖➖➖➖
👑 @gopher_academy

اگه برای سرویس یا محصول تون به دنبال یه سرویس search engine هستید که کاربر بتونه باهاش product search کنه یا autocomplete و in-app search داشته باشه به جای راه اندازی دردسردار elasticsearch میتونید از meilisearch استفاده کنید.
الاستیک خیلی قابلیت ها داره که متفاوته با ابزاری که معرفی کردم، ولی برای مواردی که عرض کردم میتونه راه اندازی الاستیک و نگهداری ش بیش از حد سنگین باشه.

ابزار meilisearch با rust نوشته شده و زمان پاسخگویی ش خیلی پایینه (زیر ۵۰ میلی ثانیه) و تقریبا real-time آپدیت میکنه (۱ ثانیه تاخیر حدودا)

البته اعدادی که گفتم بسته به نحوه استفاده و داده شما و کانفیگ سرور میتونه متفاوت باشه

همچنین meilisearch قابلیت های فیلتر کردن ساده رو صرفا پشتیبانی میکنه اما facet search داره که فکر میکنم برای کاربردهای مذکور کافی باشه


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

Meilisearch
A lightning-fast search engine API bringing AI-powered hybrid search to your sites and applications.
https://github.com/meilisearch/meilisearch


@gocasts

برای اجرای برنامه های ویندوز روی لینوکس یه روش دیگه بجز wine هم هست، ماشین مجازی، ولی باز کردن ماشین مجازی خودش حوصله سر بره این ریپو اومده فرایند باز کردن ماشین مجازی ویندوزی و کلیک کردن روی برنامه مورد نظر ویندوزی رو راحت کرده و شما فقط کافیه روی آیکون برنامه ویندوزی کلیک کنید و خودش اون پشت ماشین مجازی رو توی بکگراند باز میکنه و با RDP بهش وصل می‌شه و برنامه رو اجرا می‌کنه

github.com/Fmstrat/winapps


@Linuxor

یه خبر مهم:
چندروز پیش کلی تلاش کردم وارد گیتهابم بشم، 2fa روی sms فعال بود ولی وقتی ارسال کد رو میزدم ارور میداد!
الان فهمیدم شماره ایران کلا از 2fa گیتهاب حذف شده. اگه روی گیتهابتون شماره ست کردین حتما برید روی یه متد دیگه
من با درخواست ریکاوری تونستم اکانتم رو برگردونم

@DevTwitter | <Sina Pirani/>

🎉 نسخه جدید MicroPython منتشر شد!

‏🧠 ‏MicroPython چیه؟

یه نسخه سبک از زبان پایتونه که برای اجرا روی سخت‌افزارهای کوچیک طراحی شده؛ مثل بردهای ESP32 یا Raspberry Pi Pico.

یعنی چی؟ یعنی باهاش می‌تونی وسایل واقعی رو با پایتون کنترل کنی! مثلاً:
💡 روشن و خاموش کردن LED
🌡 خوندن دمای محیط
📶 اتصال به وای‌فای
🕹 ساخت گجت‌های هوشمند

🔥در نسخه جدیدش (v1.25):
✅ سرعت بهتر
✅ سیستم فایل فقط‌خواندنی برای اجرای سریع‌تر
✅ پشتیبانی از WebAssembly (اجرای MicroPython توی مرورگر!)
✅ و کلی قابلیت دیگه برای آینده اینترنت اشیاء...

📌 اگه به پایتون، سخت‌افزار، IoT یا ساخت ابزارهای باحال علاقه‌داری، MicroPython یه دنیای هیجان‌انگیز برات باز می‌کنه.

🌐 سایت رسمی
🔖 گیت‌هاب نسخه جدید
@MehrdadLinuxchannel
#python

🧠 #تفکر_سیستمی و #تفکر_انتقادی دو رکن جدانشدنی حل مسائل (بخصوص مسائل پیچیده) هستند.

🔬در مدل سازی و تفکر بر پایه نظریه سیستم ها، یکی از موضوعات واضح و بدیهی تا جای امکان کنار گذاشتن هر نوع پیش فرض (بررسی بیشتر در #تفکر_انتزاعی) در مدل کردن است. یکی از اهداف مهم تفکر انتقادی، شناسایی پیش فرض ها می باشد، چیزی که در مدل کردن یک سیستم برای درک و احیانا تغییری در سیستم بسیار مهم هست.

⏳توی دنیای امروز که سیستم‌ها هر روز پیچیده‌تر (complex) می‌شن، توانایی مدل‌سازی دقیق و بدون #سوگیری برای درک و بهبود این سیستم‌ها، یه مهارت کلیدی برای تصمیم گیران ارشد و کساییه که می‌خوان به سطوح بالای دانش و مهارت (حل مسئله) برسند. تفکر سیستمی به ما این امکان رو می‌ده که سیستم‌ها رو به صورت یه کل یکپارچه ببینیم و تعامل بین اجزای مختلفشون رو تحلیل کنیم. اما این مدل‌سازی وقتی واقعاً اثرگذار می‌شه که بتونیم پیش‌فرض‌های ذهنی‌مون رو با تفکر انتقادی به چالش بکشیم و از واقعی بودن پایه‌های #مدل هامون مطمئن شیم.

💬 این موضوع توی توسعه نرم‌افزار خیلی ملموس‌تره. فرض کنیم توی طراحی یه سیستم، به اشتباه "اینروزا همه کاربران به اینترنت پهنای باند بالا و پایدار دسترسی دارن." اگه این پیش‌فرض رو نقد نکنین، ممکنه توسعه به نحوی پیش بره که برای بارگذاری داده‌ها بهینه نباشه و توی دنیای واقعی، عملکرد سیستم رو برای خیلی از کاربران مختل کنه. اینجا تفکر انتقادی به کمک میاد تا این فرض رو زیر سؤال ببره و با داده‌های واقعی، شما رو به سمت توسعه (طراحی یه معماری) انعطاف‌پذیرتر و مقیاس‌پذیرتر هدایت کنه، مثلاً با درک عمیق تر مفهوم Cache و مفاهیم و تکنیک های مرتبط مثل lazy loading یا حتی بازطراحی فرآیندهای نرم‌افزار برای کاهش پیچیدگی محاسباتی یا انتقال بار پردازشی به client یا edge نودها و کاهش انتقال اطلاعات در شبکه های غیر پایدار اینترنت.

💬 یا در موضوع #حکمرانی #قانون فکر کنیم که همیشه #حکومت ها نیاز هست در پیاده سازی و نظارت به اجرای قانون باید به شکل انحصاری عمل کنند تا بتوانیم مطمئن بشیم قوانین (خواسته های جمعی آحاد جامعه) پس از نگارش به شکل متون با مدل مشخص، به شکل صحیح در جامعه، جاری می شوند. بذارید مثال عینی بزنیم که بشه مبنای فکری ما برای ایجاد تمرین های مشابه. فرض بگیرید جامعه به دلایل مختلف برای شناسایی وسایل نقلیه به یک توافق جمعی می رسد، آیا پیش فرض اینکه ما حتما نیاز به یک سازمان واحد برای ایجاد پروتکل های مورد نیاز و اجرای اون پروتکل ها داریم؟ اگر صرفا پیش فرض های گذشته در ذهن ما به شکل قوی وجود داشته باشد که #تجربه_زیسته همه جامعه ها به احداث سازمانی با عناوینی مانند سازمان راهنمایی و رانندگی ختم شود، پاسخ ما به سوال مطرح شده در جهت حل یک مسئله (شناسایی وسایل حمل و نقل) قطعا شبیه به گذشته خواهد شد، ولی با قوی شدن انواع تفکر در ما، قطعا در دام پیش فرض ها گرفتار نخواهیم شد و با پی بردن به اینکه تصمیم گذشتگان بر پایه عدم وجود سیستم های کامپیوتری بوده است، می توان تصمیم های به شدت بهینه تری در حل پرسش ها در حال، ایجاد کنیم.

💬 به بیان ساده‌تر، تفکر سیستمی بدون پشتوانه تفکر انتقادی می‌تونه به مدل‌های غیرواقعی و ناکارآمد منجر بشه. برای همین، در جلسات خوانش کتاب یادگیری تفکر سیستمی در Geniuses.Group قراره این دو مهارت رو عمیق‌تر بررسی کنیم و ببینیم چطور ترکیبشون می‌تونه به راه‌حل‌های نوآورانه و پایدار برای روبرویی با مسائل پیچیده منجر بشه.