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
Forwarded from موهطاوا (𝑨𝒎𝒊𝒓𝑯𝒐𝒔𝒔𝒆𝒊𝒏 𝒔𝒉)
گاهی اوقات موقع خدافظی با هرکسی باید به این فکر کنیم که شاید آخرین دیدار باشه.
اینجوری بیشتر ادمارو دوست داریم و بیشتر میفهمیم چرا اینقدر دوستشون داریم.
به نظرم ادما هرکدوم یه تیکه از قلب مارو میگیرن و وقتی ازشون خدافظی میکنی اونو پیش خودشون نگه می‌دارن تا دیدار بعدی که بهت پس بدن.
مهدی ازت خیلی ممنونم که یه تیکه از قلبمو روز اول دانشگاه برداشتی و الان با خودت داری میبری.
همیشه شاد و خوشبخت بمون پسر❤️
اینجوری بیشتر ادمارو دوست داریم و بیشتر میفهمیم چرا اینقدر دوستشون داریم.
به نظرم ادما هرکدوم یه تیکه از قلب مارو میگیرن و وقتی ازشون خدافظی میکنی اونو پیش خودشون نگه می‌دارن تا دیدار بعدی که بهت پس بدن.
مهدی ازت خیلی ممنونم که یه تیکه از قلبمو روز اول دانشگاه برداشتی و الان با خودت داری میبری.
همیشه شاد و خوشبخت بمون پسر❤️
❤26💔3
Forwarded from تروریست اوپن سورس
تجربه یه کاربر ویندوزی رو مرور کنید و یادتون بیاد که چرا ویندوزو پاک کردید
https://news.ycombinator1.com/item?id=49881747
https://news.ycombinator1.com/item?id=49881747
Hacker News
Windows 11½ | Hacker News
343 votes - 99 comments - posted 3 hours ago
👎2😁1😭1