147
Підписники
Немає даних24 години
-17 днів
+930 день
Архів дописів
147
Zed IDE از مخزن swot برای احراز دامنه های دانشجویی استفاده میکنه.
این مخزن توسط شرکت JetBrains ساخته شده.
من و بسیاری از دوستان دیگر pull request زدیم برای اضافه کردن دامنه ایمیل iau.ir ( مختص کل دانشگاه های آزاد سرتاسر کشور ) که متاستفانه همشون رد شدند .
چون در سیاست JetBrains نیست که به کشور های تحریم شده از سمت آمریکا و اروپا خدمات ارایه بده.
147
Repost from City of learn📚 | شهر یادگیری
اگر دانشجو هستید
با ایمیلهای .ac.ir و .edu میتونید اشتراک 120 دلاری سالانهی Zed رو با مدلهای Calude Sonnet 4.6, GPT 5.5,5.4,5.3, Gemini 3.1 Pro بگیرید به رایگان. 10 دلار هم کردیت از API خودش میده.به شدت هم IDE سبک و خوبیهاز اینجا میتونید اقدام کنید: https://zed.dev/education 🧠 City Of Learn
147
Boolean از کجا آمد؟
حدود ۱۸۰ سال پیش، ریاضی دانی به نام George Boole یه ایده عجیب مطرح کرد:
«آیا میشه منطق رو هم مثل ریاضی، با فرمول بیان کرد؟»
اون گفت به جای اینکه با جملههایی مثل «درسته» و «غلطه» کار کنیم، فقط از دو مقدار استفاده کنیم:
0 = False
1 = True
و بعد روی همین دو مقدار، عملگرهایی مثل AND، OR و NOT رو تعریف کرد.
این شد چیزی که امروز بهش میگیم جبر بول (Boolean Algebra).
سالها بعد، مهندسهای برق متوجه شدن مدارهای الکترونیکی هم دقیقاً دو حالت دارن:
ولتاژ نیست = 0
ولتاژ هست = 1
پس همون جبر بول رو برای طراحی مدارها استفاده کردن و گیتهای منطقی AND، OR و NOT به وجود اومدن.
بعد نوبت برنامهنویسها رسید.
اونا هم دیدن که شرطها و تصمیمگیریها دقیقاً بر اساس دو حالت انجام میشه:
true
false
برای همین به احترام George Boole، نوع دادهای که فقط این دو مقدار رو نگه میداره رو Boolean نامگذاری کردن.
یعنی اون &&، || و ! که هر روز توی کدهامون استفاده میکنیم، در اصل همون جبر بولیه که نزدیک دو قرن پیش معرفی شده.
147
وقتی به کیفیت اکثر محتوا های فضای مجازی که توسط اکثر مردم دنبال میشن توجه میکنم، این جمله از گلی عامری یادم میفته:
اینترنت جامعه را به فساد نکشیده ، این فساد جامعه است که اینترنت ، آن را به تصویر کشیده است! مشکل از شماست ، نه اینترنت!
147
Repost from Linuxor ?
الان ZCode رو نصب کردم
۵ میلیون توکن در روز رایگان میده
و البته مدل glm 5.2 هم توش اومده
مدل قدرتمندی هست نسبتا خوشمان آمد
zcode.z.ai
@Linuxor ~ Mehdi Akbari
147
برنامه نویسی imperative در مقابل declarative
داشتم بخشی از داکیومنت Next.js رو مطالعه میکردم که دوباره به این مفاهیم برخوردم.
فرض کنید میخوایم یک تگ
h1 رو داخل یک تگ div اضافه کنیم. برای انجام این کار با JavaScript باید اول المنت رو بسازیم، بعد مقدارش رو مشخص کنیم و در نهایت به DOM اضافه کنیم.
کدش یه چیزی شبیه اینه:
const app = document.getElementById('app');
// Create a new H1 element
const header = document.createElement('h1');
// Create a new text node for the H1 element
const text = 'Develop. Preview. Ship.';
const headerContent = document.createTextNode(text);
// Append the text to the H1 element
header.appendChild(headerContent);
// Place the H1 element inside the div
app.appendChild(header);
imperative programming:
همونطور که توی کد بالا میبینید، برای انجام این عملیات باید مرحله به مرحله همه چیز رو خودمون مدیریت کنیم. یعنی به برنامه میگیم چطور به نتیجه برسه و UI چطور تغییر کنه.
declarative programming:
اما وقتی پای ساخت UI وسط میاد، معمولاً رویکرد declarative محبوبتره. با استفاده از ابزارهایی مثل React یا Next.js دیگه لازم نیست همه این مراحل رو دستی انجام بدیم.
ما فقط مشخص میکنیم چی میخوایم و فریمورک جزئیات پیادهسازی و تغییرات DOM رو مدیریت میکنه.
جمعبندی با یک مثال:
برنامه نویسی imperative مثل اینه که خودت وارد آشپزخونه بشی و مرحله به مرحله پیتزا رو درست کنی.
برنامه نویسی declarative مثل سفارش دادن پیتزاست؛ فقط میگی چه پیتزایی میخوای و دیگه درگیر این نیستی که خمیر چطور آماده میشه یا پنیر کی اضافه میشه.147
Repost from Linuxor ?
سلام وقت بخیر.
من یه اپ رایگان برای مسیریابی مترو تهران ساختم Tehgo
خوشحال میشم تو کانالتون معرفیاش کنید 🙏
github.com/taymakz/tehgo
@Linuxor
147
حتی خالق زبان c++ هم همه c++ رو نمیدونه!
Bjarne Stroustrup خالق c++ گفته که تمامی آرگومان ها و ... c++ رو حفظ نیست و چنین کاری هدر دادن زمانه.
یادمه انیشتین هم در جایی گفته بود که بسیاری از فرمول های علمی رو حفظ نیست و هر موقع که بخواد میتونه پیداشون کنه.
هنر در اینه که بدونی دنبال چی بگردی و در کجا استفاده کنی.
147
اینجا لیستی از سایت های خلاقانه جمع آوری شده که واقعا همشون جالب اند، و میشه ازشون ایده گرفت :
https://www.awwwards.com/websites/
147
سیاست حفظ حریم خصوصی جمینای گوگل عملا اینطوریه که :
پدر داده هات رو در میاریم. قطعا ازش استفاده خواهیم کرد و حتی شاید توسط یک انسان ریویو بشه پس حواسات باشه که چی میگی و چی آپلود میکنی ...
خاموشش هم که کنی هیستوری چت رو نخواهی داشت و تا 72 ساعت ذخیره میکنه فقط، و عملا بی کاربرد میشه 🤦♂️
147
دانشگاه(خصوصا آزاد) اینطوری شده که نه دانشجو علاقه ای به یاد گرفتن داره، نه استاد علاقه ای به تدریس.
دور هم نشستیم پول و وقتمون رو هدر میدیم و یه قشری رو پولدار میکنیم.
الحق که از ماست بر ماست!
147
خب تجربه اول استفاده من از این ابزار این بود که واقعا خفن بود!
میتونم بگم در مقابل تجربه ای که با codex داشتم خیلی بهتر عمل کرد. کل کدبیس پروژه رو خوند، تغییرات رو هم به درستی هم روی کلاینت و هم سرور اعمال کرد.
اینکه میگن وقتی context پر بشه گیج نمیزنه و درست عمل نمیکنه، به نظر راسته.
کدی هم که زد پیچیده نبود و با سینتکس پروژه انجام داد، به بقیه جاها هم دست نزد.
حالا نمیگم خداست و بی نقص اما در این تجربه اولم، راضی بودم ازش.
(به نسبت کدکس و کلاد سرعتش پایین بود. احتمال میدم بخشیش به دلیل اینترنت باشه چون اینترنتم پایدار نبود.)
147
دستیار کد نویسی شیائومی هم خوب چیزیه.
با نام MiMo Code V0.1.0 به صورت متن باز منتشر و معرفی شد.
3 حالت ( ایجنت ) داره.
build :
حالت پیشفرض. دسترسی کامل برای توسعه.
plan :
فقط خواندن. کد رو میخونه و راه حل های بهینه برای حل چالش ها بیان میکنه.
compose :
حالت اختصاصی و جدید MiMo! به کاربران اجازه میده تا فقط هدف رو تعیین کنند، و خودش کد نویسی، بازبینی، تست و ... رو انجام میده و جالب اینکه در context های طولانی بدون از دست دادن رشته کار، توسعه رو ادامه میده.
یک سری قابلیت و فیچر های اختصاصی و خفن دیگه ای هم دار که توضیحات کامل در ریپو خودش هست :
https://github.com/XiaomiMiMo/MiMo-Code
نصب در مک، لینوکس :
npm install -g @mimo-ai/cli
نصب در ویندوز :
npm install -g @mimo-ai/cli
و سپس وارد کردن دستور mimo در کدبیس.147
Repost from ذهن زیبا - A beautiful Mind
با استفاده از لینک زیر، میتونید API رایگان Claude و Codex دریافت کنید:
https://freemodel.dev/invite/FRE-c3b7b75e
با تشکر از مهدی عزیز و سایر پنگوئنهای ضدپنجره 😁
@haghiri75_blog
