نمیدانم
حالا که خیلیا خرید Groq توسط Nvidia که یک استارتاپ سخت افزاری هوش مصنوعی هست رو پوشش دادن : https://www.cnbc.com/2025/12/24/nvidia-buying-ai-chip-startup-groq-for-about-20-billion-biggest-deal.html بد نیست یه نگاهی هم به بحثای فناوری این قضیه بندازیم و یه…
این بالام تصاویری از شکل این چیپ و اجزا و نحوه عملکردش میبینید
❤1🔥1
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