https://discuss.tvm.apache.org/t/possible-to-convert-a-llvm-ir-back-to-c-code/6625

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

یک ابزار language agnostic که میاد تودو هایی که با Comment Anchors نوشته شدن رو جمع آوری میکنه و بعد تبدیل شون میکنه به ایشیو توی گیت هاب. بنظرم برای پروژه های بزرگ خیلی چیز مفیدیه. درکل ایده جالبی بود :)

https://github.com/tsoding/snitch

اگر خواستید رزومه بسازید این هم رایگانه هم امکانات خیلی خوبی ارائه میده.
بشدت پیشنهادی:

resumementor.com

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

https://youtu.be/3Vlk6hCWBw0?si=uUMqwoCqvnXRgGfn

پ.ن: قبلا کتاب جان رو معرفی کرده بودم همینجا

راجب زبان برنامه نویسی C3 که من هم ازش طراحی کامپایلر یاد گرفتم، هم نقدش میکنم، و هم اشتباهات ش رو میبینم.

پ.ن: این یه competitor برای Zig هست منتها فعلا نتونسته توی فیچر ها به پای زیگ برسه =)

https://www.youtube.com/watch?v=UC8VDRJqXfc

ایا همه زبان های dynamically typed از نوع interpreter based هستند؟
جوابش اینه که نه. ربطی نداره. مثلا LISP داینامیک تایپد هست ولی معمولا کامپایل میشه. یا حتی ممکنه که زبان های statically typed شامل یک اینترپرتر باشن و بازم مشکلی نداره. درکل این دوتا کانسپت موازی از هم هستند.

جزییات بیشتر تو لینک زیر:

https://softwareengineering.stackexchange.com/questions/88645/are-dynamic-languages-always-interpreted

یه guidance خیلی خوب از طرف تیم اندروید گوگل برای یادگیری Rust :

https://google.github.io/comprehensive-rust/index.html

چرا باید نیکس یاد بگیریم؟ و چطور بدرد جماعت دولوپر میخوره؟

https://www.youtube.com/watch?v=6WLaNIlDW0M

Clang Compiler Frontend: Get to grips with the internals of a C/C++ compiler frontend and create your own tools (2024) by Ivan Murashko

خوندمش تموم شد. ولی ۵ درصد هم به دانشم اضافه نکرد.
انگار کمپلت هیچ مطلبی توش نبود🤕

Writing a C Compiler: Build a Real Programming Language from Scratch (2023)

پ.ن: این محتوای مفیدی داره. داره یه کامپایلر C رو با کامپایل کردنش بطور مستقیم به اسمبلی میسازه. برای کسب دانش اسمبلی و compiler design خیلی خوبه. ولی بازم بدرد من نمیخوره /: اینکه یه همچین پروژه ای استیبل بشه ادم نابود میشه. کامپایل کردن به اسمبلی برای studying purposes بهتره.

زبان موجو (Modular) اخیرا دستاورد های بی نظیری داشته که خالی از لطف نیست کمی راجبش حرف بزنیم :) منم هرچقدر که راجبش میفهمم همینجا میگم.

درواقع موجو یک زبان برنامه نویسی جدید هست که شباهت زیادی به پایتون داره. ولی هدفش اینه که پرفرمنس C/C++ و کنترل روی سخت افزار ارائه بده. برای Machine Learning و high-performance computing (HPC) و در زمینه محاسبات علمی کاربرد داره. پرفرمنس قابل مقایسه ای با Rust و ++C داره. لازم به ذکره که دیتا تایپ های قدرتمند و ownership model ای که از راست الهام گرفته شده رو ارائه میده.

از همون ابتدا ساپورت parallelism هم داره! از فیچر هایی مثل autotuning و multithreading و SIMD support به خوبی پشتیبانی میکنه.

یه نقطه جالبی هم که فهمیدم اینه که گویا بر پایه MLIR ساخته شده کامپایلرش :) اگه براتون جالبه... سازنده ش Chris Lattner معروف هست! همان سازنده کامپایلر LLVM و همچنین زبان Swift. و MLIR هم یک Intermediate Represntation ای هست شبیه به LLVM-IR ولی با این تفاوت که ساپورت بیشتری از انتزاعات و فیچر های high level داره. البته لازم به ذکره که ما هنوز به خوبی تسلط روی LLVM-IR نداریم :) و MLIR هم تازگی داره... و کمبود داکیومنت و این ها به خوبی احساس میشود.

جمع بندی کاربرد های Mojo :

- Writing ML models and kernels (alternative to CUDA or C++)

- Optimizing data pipelines and numeric computations

- Systems-level programming where Python is too slow

- High-performance scientific computing

یوتیوب شون:

https://www.youtube.com/watch?v=FSBnDzMwOKs

پ.ن: رقیب سر سخت پایتون از راه رسیده :)

توی V کیوورد nil رو unsafe در نظر گرفتن چون مستعد پنیک و UB هستش‌. در عوض معادلش که یه صفر (zero) هست رو safe تلقی میکنه و کاملا اوکیه😂🤦

Strangely, nil requires unsafe, but the equivalent 0 literal in a pointer context does not. This suggests very primitive reasoning by the compiler: an "evil" keyword is forbidden, but completely equivalent code without the keyword is allowed.

یه آرتیکل برای نقد زبان برنامه نویسی V 

https://justinas.org/the-bizarre-world-of-v

همچنین اینم هست که بیشتر تکنیکال بررسیش کرده (اپدیت ۲۰۲۳) :

https://n-skvortsov-1997.github.io/reviews

و اینکه تا دلتون بخواد داره برای ایده های V ایراد میگیره. همین emit C و در کنارش کامپایل کردن به machine code روی معماری x64 کافی نبود؟ رفتن emit Go و emit JS هم نوشتن😂 توی آرتیکل به وضوح نشون میده چطوری مدل کانکارنسی ش تبدیل به Promise توی جاوا اسکریپت میشه و این totally does not make sense😂🤦.

از مموری منیجمنت ش هم که نگم. دیدگاه م کلا به V تغییر کرد بعد از خوندن این مقاله ها! توی وی اومدن یه فلگ گذاشتن به اسم autofree. در واقع نه GC هست و نه RC. و حتی شبیه Rust هم نیست. در واقع میگه ما میتونیم مموری روی توی compilation time بیایم مدیریت بکنیم. ینی میاد خودش free() اضافه می کنه.
ایا لازمه بگم که این نمیشه و چقد UB میخوره؟😂
اخه جدا ازین... اومدن با GC شون هم ترکیب کردن! یعنی اگر خودش فری نمیشه... GC مسعولیت شو به عهده میگیره😂🤦
اینم بگم که از BoehmGC بعنوان مموری منیجمنت دیفالت استفاده میکنن.

دیگه بقیش تو دوتا آرتیکل هست میتونید چکش کنید :)

We can conclude that autofree is a very crude technology.

Why not rewrite LLVM in Rust?😐😂

https://www.reddit.com/r/rust/comments/5z2yvw/why_not_rewrite_llvm_in_rust

پ.ن: عجب!

اگه از hyprland استفاده میکنید، حتما این کانفیگ رو ببینید که میتونه زیباترین و پرکاربرد ترین دسکتاپ عمرتون رو بسازه!
من هرچی خودم کانفیگ کرده بودم ریختم دور...
https://github.com/end-4/dots-hyprland

@DevTwitter | <Mohsen Khodabakhshi/>

با C یه Reference Counting بسازیم

https://github.com/jeraymond/refcount

رفرنس کانتینگ یا به اصطلاح RC چیه؟

یک روش مدیریت مموری هست که توی بک گراند شامل یک‌ counter میشه. کامپایلر بطور هوشمندانه میاد پوینتر ها و رفرنس هایی که به آبجکت مورد نظر هست رو شناسایی میکنه (در پروسه کامپایل)، و بعد به ازای هر رفرنس میاد counter رو یک واحد increment میکنه. و زمانی که از اسکوپ مورد نظر خارج میشه، counter رو یک واحد decrement میکنه.

و اگر counter به صفر برسه ینی هیچ رفرنسی به این آبجکت وجود نداره و بی استفاده ست. پس بلافاصله free میشه allocation ش. همونطور که توی این سورس کد می‌بینید پیاده سازی ش راحته. یه Mutex Lock هم بهش اضافه میشه که توی محیط مولتی ترد هم مشکلی پیش نیاد.

مزایای RC اینه که وقفه یا به اصطلاح Stop the world ای که توی GC هست، توی RC بوجود نمیاد و ازاد سازی حافظه قابل پیش‌بینی تر هست.

معایبش :) در واقع اگر دوتا آبجکت به همدیگه رفرنس بدن که به اصطلاح Reference Cycling گفته میشه، درین صورت هیچ یک ازین دو آبجکت free نخواهند شد. معایب دیگه ش اینه که مخصوصا در محیط های مولتی ترد overhead خیلی زیادی داره. البته اگر سینگل ترد باشه هم درکل خیلی مکانیزم بهینه ای نیست.

در نتیجه نسبت به GC مکانیزم سنتی تر و پرفرمنس کمتری داره.

زبان هایی که از Reference Counting استفاده میکنند:

- Swift (Automatic RC)
- ObjectiveC
- Python (
Combination of GC and RC.
)
- C++ (Smart Pointers)

اخرین تلاش های من برای فهمیدن دات نت🥲🤞🏿

https://www.youtube.com/watch?v=TH5118PhzYs

https://www.youtube.com/watch?v=BeuNvhd1L_g

درسته از دات نت بدمون میاد... ولی به احتمال زیاد از coreclr/gc برای سایروس استفاده کنم. فعلا گزینه بهتر ازین پیدا نکردم (از BoehmGC خیلی بهتره)

https://github.com/dotnet/runtime/tree/main/src/coreclr/gc

تو این ویدیو یه درایور ساده برای کرنل ویندوز مینویسه با زبان C
(صرف نشون دادن kernel debugger).

باید بگم باحال بود :) تا حالا یه درایور ننوشتم...

https://www.youtube.com/watch?v=GTrekHE8A00