https://t.me/still_learning_linux/74
این Fex هم خیلی فناوری خفنیه توصیه میکنم ببینیدش
این Fex هم خیلی فناوری خفنیه توصیه میکنم ببینیدش
Telegram
میخواهم که بدانم
https://www.youtube.com/watch?v=3yDXyW1WERg
Forwarded from تاکچه
ارائهٔ تاکچه با موضوع «از ساختارهای بی‌نام‌و‌نشان تا اثبات درستی با Zig»
🧑 ارائه‌دهنده: #مهدی_بهرامیان
⏰️ سه‌شنبه ۱۶ دی‌ماه، ساعت ۱۸
📍 کلاس مجازی انجمن علمی
🎙 @ssc_talkche
☕️ @cafe_ssc
⚪️ زبان Zig با حفظ کارایی C، مشکلات دیرینه‌ای مانند مدیریت پیچیدهٔ حافظه و سیستم‌های ساخت پرخطا را حل کرده‌است. در Zig هیچ تخصیص‌دهندهٔ حافظهٔ پیش‌فرضی وجود ندارد. شما آزادید از تخصیص‌دهنده‌های مختلف (مانند Arena ،FixedBuffer و Debug) برای سناریوهای خاص استفاده کنید. این طراحی نه‌تنها عملکرد را بهینه می‌کند، بلکه امکان استفاده از کتابخانه‌ها حتی روی سیستم‌های نهفتهٔ بدون heap را فراهم می‌کند.
⚪️ این زبان با قابلیت comptime، انقلابی در فرابرنامه‌نویسی ایجاد کرده‌است، می‌توانید توابع پیچیده مانند فیبوناچی را در زمان کامپایل اجرا کنید، داده‌ساختارهای جنریک بسازید و حتی چندریختی ایستا پیاده‌سازی کنید! همچنین Zig یک سیستم ساخت یکپارچه و cross-compile ارائه می‌دهد که مدیریت وابستگی‌ها و کامپایل برای پلتفرم‌های مختلف را به کاری ساده تبدیل می‌کند.
Please open Telegram to view this post
VIEW IN TELEGRAM
🔥16🤣2👍1💩1
تاکچه
ارائهٔ تاکچه با موضوع «از ساختارهای بی‌نام‌و‌نشان تا اثبات درستی با Zig» 🧑 ارائه‌دهنده: #مهدی_بهرامیان ⏰️ سه‌شنبه ۱۶ دی‌ماه، ساعت ۱۸ 📍 کلاس مجازی انجمن علمی ⚪️ زبان Zig با حفظ کارایی C، مشکلات دیرینه‌ای مانند مدیریت پیچیدهٔ حافظه و سیستم‌های ساخت پرخطا…
این ارائه با نیم ساعت تاخیر شروع میشود
💩3💔2👀1😡1
تاکچه
ارائهٔ تاکچه با موضوع «از ساختارهای بی‌نام‌و‌نشان تا اثبات درستی با Zig» 🧑 ارائه‌دهنده: #مهدی_بهرامیان ⏰️ سه‌شنبه ۱۶ دی‌ماه، ساعت ۱۸ 📍 کلاس مجازی انجمن علمی ⚪️ زبان Zig با حفظ کارایی C، مشکلات دیرینه‌ای مانند مدیریت پیچیدهٔ حافظه و سیستم‌های ساخت پرخطا…
این ارائه تا دقایقی دیگر شروع میشود
❤6💩4
Forwarded from Hacker News
GitHub
GitHub - danalec/DMMSY-SSSP: Experimental C implementation of “Breaking the Sorting Barrier for Directed Single-Source Shortest…
Experimental C implementation of “Breaking the Sorting Barrier for Directed Single-Source Shortest Paths” by Ran Duan, Jiayi Mao, Xiao Mao, Xinkai Shu, and Longhui Yin (STOC 2025) - danalec/DMMSY-SSSP
💩7🥴5❤4🤯1
نمیدانم
https://youtu.be/UdKqfQ3a_sY?is=_djgJR3ZaBzV8HiZ دیوانه وار 🤯 https://github.com/fpikus/LockFree
در این نقطه به نظرم خوب میشه پردازنده ها عملیاتای ۲ اشاره ای رو اضافه کنن
مثلا
lock lockptr valptr
چون کل اتفاقای بالا به خاطر اینه ک پردازنده نمیدونه spinlock کیارو توی ناحیه بحرانیش کار داره و اینها پس مجبور میشه کل خط لوله رو بریزه دور
مثلا
lock lockptr valptr
چون کل اتفاقای بالا به خاطر اینه ک پردازنده نمیدونه spinlock کیارو توی ناحیه بحرانیش کار داره و اینها پس مجبور میشه کل خط لوله رو بریزه دور
❤2💩1
Hacker News
Running Kimi K3 on MI355X at Better Performance per Dollar Than B300 Article, Comments
آیا شروعی بر پایان سلطه انویدیا؟
🔥6
نمیدانم
enshitifiction طبق تعریف:
یه زمانی ملت روی چند کیلوبایت رم میرفتن ماه و بر میگشتن
بعد با چند مگ رم بازیای مشتی میساختن
بعد شد ک یه برنامه الکی چندین گیگ رم میخوره چون داره کرومو با خودش حمل میکنه و اجرا میکنه
و الانم این.....
بعد با چند مگ رم بازیای مشتی میساختن
بعد شد ک یه برنامه الکی چندین گیگ رم میخوره چون داره کرومو با خودش حمل میکنه و اجرا میکنه
و الانم این.....
😭5👍2🦄2
Forwarded from Programming Deadlock
Domain-specific hyperspecialization (for SAT)
https://c.mov/lymphosat/
https://c.mov/lymphosat/
c.mov
Domain-specific hyperspecialization (for SAT) | c.mov
An immune system for SAT solvers
Programming Deadlock
Domain-specific hyperspecialization (for SAT) https://c.mov/lymphosat/
یه استفاده خیلی حق و تر و تمیز از للم:
اومده ۱۲۶ تا الگوریتم مختلف برای حالتای مختلف مساله sat ساخته بعلاوه یه بخش تشخیص و دسته بندی
ک در نهایت تمام الگوریتمای قبل خودشو شکست داده در این زمینه
و خب مساله sat خیلی مساله مهمیه
و تقریبا توی هر مساله حل نشده یا سختی ک توی دنیای واقعی کاربرد دارن (مثل پیدا کردن مثال نقض - اثبات درستی برنامه/مدار‌ها و ...) دیده میشه
و همین ک یه مقدار سریعتر بشه کافیه که یه دسته جدیدی از بهینه‌سازی‌ها رو برای ما باز بکنه
اومده ۱۲۶ تا الگوریتم مختلف برای حالتای مختلف مساله sat ساخته بعلاوه یه بخش تشخیص و دسته بندی
ک در نهایت تمام الگوریتمای قبل خودشو شکست داده در این زمینه
و خب مساله sat خیلی مساله مهمیه
و تقریبا توی هر مساله حل نشده یا سختی ک توی دنیای واقعی کاربرد دارن (مثل پیدا کردن مثال نقض - اثبات درستی برنامه/مدار‌ها و ...) دیده میشه
و همین ک یه مقدار سریعتر بشه کافیه که یه دسته جدیدی از بهینه‌سازی‌ها رو برای ما باز بکنه
❤1