یکشنبه ۱۰ آبان ۱۴۰۵

داغ‌ترین خبرهای Hacker News،
هر روز به فارسی

گزیدهٔ خبرهای فناوری، برنامه‌نویسی و استارتاپ‌ها که هر روز ترجمه و خلاصه می‌شوند — با یک پادکست و ویدیوی کوتاه روزانه.

پادکست روزانه · ۹ آبان

مرور مهم‌ترین مطالب هکرنیوز

خبرهای این روز

تازه‌ترین مطالب

۱۰۰۹ مطلب
waymo.com ۲۶ مهر

ورود ویمو به کانادا؛ برنامه‌ریزی برای راه‌اندازی تاکسی‌های خودران در تورنتو

شرکت ویمو (Waymo) برنامه‌های خود را برای راه‌اندازی سرویس تاکسی خودران در تورنتو اعلام کرد. این پروژه با همکاری شرکت‌های محلی آغاز شده و هدف آن پذیرش مسافران تا سال ۲۰۲۸ است که چالش‌های فنی رانندگی در شرایط آب‌وهوایی مختلف را به همراه دارد.

۳۲۶ امتیاز ۴۴۴ نظر ۳ دقیقه
leodemoura.github.io ۲۶ مهر

عرضه ابزار Lean همراه با هسته‌های اثبات‌گر تأییدشده برای مقابله با خطاهای امنیتی

زبان Lean با انتشار نسخه v4.35.0 و دستور lake check، هسته‌های اثبات‌گر جدید و تأییدشده‌ای را برای مقابله با آسیب‌پذیری‌های کشف‌شده توسط عامل‌های هوش مصنوعی ارائه کرده است. این به‌روزرسانی با استفاده از رویکردهای صوری و هسته‌های جایگزین، امنیت بررسی اثبات‌ها را به شکل چشمگیری افزایش می‌دهد.

۲۰۴ امتیاز ۸۰ نظر ۳ دقیقه
pele.run ۲۶ مهر

معرفی ابزار Pele؛ رندر نمودارهای Mermaid به SVG قابل‌شخصی‌سازی با CSS

ابزار Pele یک کتابخانه متن‌باز و سبک برای تبدیل کدهای Mermaid به فایل‌های SVG است. این ابزار به توسعه‌دهندگان اجازه می‌دهد ظاهر نمودارها را مستقیماً با متغیرهای CSS و بدون نیاز به رندر مجدد تغییر دهند.

۵۸۶ امتیاز ۶۰ نظر ۲ دقیقه
cs.cmu.edu ۲۶ مهر

برنامه مشترک مایکروسافت و دانشگاه کارنگی ملون برای آموزش مهندسان نرم‌افزار مبتنی بر هوش مصنوعی

مایکروسافت و دانشگاه Carnegie Mellon برنامه‌ای آموزشی به نام PRAISE را برای توسعه مهارت‌های مهندسان نرم‌افزار تازه‌کار در عصر هوش مصنوعی راهاندازی کرده‌اند. این برنامه ترکیبی از دوره‌های آنلاین آکادمیک و راهنمایی‌های عملی در محیط کار است تا چالش‌های استفاده از ابزارهای هوش مصنوعی را برطرف کند.

۷۱ امتیاز ۹۲ نظر ۲ دقیقه
courk.cc ۲۶ مهر

دور زدن بوت امن RP2350 با تزریق خطای لیزری ارزان‌قیمت

این مقاله نشان می‌دهد چگونه یک پژوهشگر با ساخت یک پلتفرم تزریق خطای لیزری سفارشی و ارزان‌قیمت توانسته است مکانیزم‌های امنیتی و بوت امن میکروکنترلر RP2350 را دور بزند. این پژوهش رویکردی عملی برای هک سخت‌افزاری تراشه‌ها ارائه می‌دهد که پیش‌تر بسیار پرهزینه محسوب می‌شد.

۶۶ امتیاز ۱۸ نظر ۳ دقیقه
meidasnews.com ۲۶ مهر

مسدودسازی صفحه اینستاگرامی No Kings در روز اعتصاب؛ خطاهای سیستم‌های خودکار Meta و چالش‌های پلتفرم‌های متمرکز

شرکت Meta در روز برگزاری یک اعتصاب بزرگ، صفحه اینستاگرامی مرتبط با کارزار No Kings را مسدود کرد. بررسی‌های فنی و نظرات کاربران در Hacker News نشان می‌دهد که این اتفاق احتمالاً ناشی از فعال‌سازی سیستم‌های خودکار تعدیل محتوا، ارسال انبوه گزارش‌ها توسط کاربران یا رسیدن به محدودیت‌های نرخ (Rate Limit) بوده است که بار دیگر آسیب‌پذیری فضاهای عمومی در دست شرکت‌های خصوصی را برجسته می‌کند.

۴۰۶ امتیاز ۲۰۸ نظر ۲ دقیقه
blog.davidv.dev ۲۶ مهر

نگاهی گذرا به Kubernetes از دریچه چشم یک مهندس زیرساخت شکاک

این مقاله تجربیات و برداشت‌های یک متخصص زیرساخت را بررسی می‌کند که برای سال‌ها از کار با Kubernetes اجتناب کرده بود. نویسنده با بررسی مفاهیم کلیدی مانند حلقه‌های کنترل، سرویس‌ها و مدیریت بار کاری، به درکی واقع‌بینانه از معماری این ابزار رسیده است.

۱۴۴ امتیاز ۸۳ نظر ۳ دقیقه
softpanorama.org ۲۶ مهر

تاریخچه نورتون کامندر و ریشه‌های مدیریت فایل ارتدوکس

این مقاله نگاهی به تاریخچه توسعه Norton Commander، ابزار افسانه‌ای دوران DOS و بنیان‌گذار مدل مدیریت فایل دوپنلی (OFM) دارد. همچنین به داستان شکل‌گیری شرکت Peter Norton Computing و نحوه تأثیرگذاری این ابزار بر نسل‌های بعدی برنامه‌نویسان می‌پردازد.

۷۷ امتیاز ۲۹ نظر ۳ دقیقه
api-docs.deepseek.com ۲۶ مهر

معرفی APIهای جستجو و دریافت وب دیپ‌سیک؛ ابزاری ارزان برای توسعه‌دهندگان AI

شرکت DeepSeek از APIهای جدید Search و Fetch برای دسترسی به محتوای وب زنده در برنامه‌های RAG و ایجنت‌های هوش مصنوعی رونمایی کرد. این سرویس با قیمت اقتصادی ۰.۷۵ دلار به ازای هر هزار درخواست موفق و ساختار سازگار با OpenAI عرضه می‌شود.

۶۰۱ امتیاز ۲۸۲ نظر ۳ دقیقه
github.com ۲۶ مهر

شبیه‌ساز سخت‌افزاری کامودور ۶۴: بررسی پین‌ها و تراشه‌ها در سطح مدار

پروژه c64-hw-simulator یک شبیه‌ساز سطح پین از مادربرد کامودور ۶۴ است که به توسعه‌دهندگان اجازه می‌دهد خطاهای سخت‌افزاری، قطعی اتصال‌ها و رفتار مدار را به‌صورت شبیه‌سازی‌شده بررسی کنند. این ابزار توسط antirez توسعه یافته و برای یادگیری عمیق معماری سخت‌افزار و عیب‌یابی کاربرد دارد.

۲۳۶ امتیاز ۳۴ نظر ۳ دقیقه
engadget.com ۲۶ مهر

قابلیت جدید مپ‌کست؛ نمایش دوربین‌های پلاک‌خوان و نظارتی در سطح شهر

سرویس نقشه قدیمی MapQuest قابلیت جدیدی برای نمایش دوربین‌های نظارتی و پلاک‌خوان شرکت‌هایی مانند Flock در سطح شهر اضافه کرده است. این داده‌ها از منابعی مثل OpenStreetMap تامین می‌شوند و ابزاری کاربردی برای بررسی میزان فراگیری سیستم‌های نظارتی در مناطق مسکونی به شمار می‌روند.

۳۳۳ امتیاز ۵۰ نظر ۲ دقیقه
sphinx-six-theta.vercel.app ۲۶ مهر

معرفی ابزار Sphinx؛ گیت هوکی که پیش از انتشار کد هوش مصنوعی از شما آزمون می‌گیرد

ابزار Sphinx یک گیت هوک متن‌باز است که در فرآیند توسعه با عوامل هوش مصنوعی ادغام می‌شود. این ابزار پیش از نهایی شدن دستور push، سوالاتی درباره نحوه کارکرد کدهای تولیدشده می‌پرسد تا مطمئن شود توسعه‌دهنده منطق کد را درک کرده است.

۲۵۲ امتیاز ۸۹ نظر ۳ دقیقه