تازهترین مطالب
۱۰۰۹ مطلب
ورود ویمو به کانادا؛ برنامهریزی برای راهاندازی تاکسیهای خودران در تورنتو
شرکت ویمو (Waymo) برنامههای خود را برای راهاندازی سرویس تاکسی خودران در تورنتو اعلام کرد. این پروژه با همکاری شرکتهای محلی آغاز شده و هدف آن پذیرش مسافران تا سال ۲۰۲۸ است که چالشهای فنی رانندگی در شرایط آبوهوایی مختلف را به همراه دارد.
عرضه ابزار Lean همراه با هستههای اثباتگر تأییدشده برای مقابله با خطاهای امنیتی
زبان Lean با انتشار نسخه v4.35.0 و دستور lake check، هستههای اثباتگر جدید و تأییدشدهای را برای مقابله با آسیبپذیریهای کشفشده توسط عاملهای هوش مصنوعی ارائه کرده است. این بهروزرسانی با استفاده از رویکردهای صوری و هستههای جایگزین، امنیت بررسی اثباتها را به شکل چشمگیری افزایش میدهد.
معرفی ابزار Pele؛ رندر نمودارهای Mermaid به SVG قابلشخصیسازی با CSS
ابزار Pele یک کتابخانه متنباز و سبک برای تبدیل کدهای Mermaid به فایلهای SVG است. این ابزار به توسعهدهندگان اجازه میدهد ظاهر نمودارها را مستقیماً با متغیرهای CSS و بدون نیاز به رندر مجدد تغییر دهند.
برنامه مشترک مایکروسافت و دانشگاه کارنگی ملون برای آموزش مهندسان نرمافزار مبتنی بر هوش مصنوعی
مایکروسافت و دانشگاه Carnegie Mellon برنامهای آموزشی به نام PRAISE را برای توسعه مهارتهای مهندسان نرمافزار تازهکار در عصر هوش مصنوعی راهاندازی کردهاند. این برنامه ترکیبی از دورههای آنلاین آکادمیک و راهنماییهای عملی در محیط کار است تا چالشهای استفاده از ابزارهای هوش مصنوعی را برطرف کند.
دور زدن بوت امن RP2350 با تزریق خطای لیزری ارزانقیمت
این مقاله نشان میدهد چگونه یک پژوهشگر با ساخت یک پلتفرم تزریق خطای لیزری سفارشی و ارزانقیمت توانسته است مکانیزمهای امنیتی و بوت امن میکروکنترلر RP2350 را دور بزند. این پژوهش رویکردی عملی برای هک سختافزاری تراشهها ارائه میدهد که پیشتر بسیار پرهزینه محسوب میشد.
مسدودسازی صفحه اینستاگرامی No Kings در روز اعتصاب؛ خطاهای سیستمهای خودکار Meta و چالشهای پلتفرمهای متمرکز
شرکت Meta در روز برگزاری یک اعتصاب بزرگ، صفحه اینستاگرامی مرتبط با کارزار No Kings را مسدود کرد. بررسیهای فنی و نظرات کاربران در Hacker News نشان میدهد که این اتفاق احتمالاً ناشی از فعالسازی سیستمهای خودکار تعدیل محتوا، ارسال انبوه گزارشها توسط کاربران یا رسیدن به محدودیتهای نرخ (Rate Limit) بوده است که بار دیگر آسیبپذیری فضاهای عمومی در دست شرکتهای خصوصی را برجسته میکند.
نگاهی گذرا به Kubernetes از دریچه چشم یک مهندس زیرساخت شکاک
این مقاله تجربیات و برداشتهای یک متخصص زیرساخت را بررسی میکند که برای سالها از کار با Kubernetes اجتناب کرده بود. نویسنده با بررسی مفاهیم کلیدی مانند حلقههای کنترل، سرویسها و مدیریت بار کاری، به درکی واقعبینانه از معماری این ابزار رسیده است.
تاریخچه نورتون کامندر و ریشههای مدیریت فایل ارتدوکس
این مقاله نگاهی به تاریخچه توسعه Norton Commander، ابزار افسانهای دوران DOS و بنیانگذار مدل مدیریت فایل دوپنلی (OFM) دارد. همچنین به داستان شکلگیری شرکت Peter Norton Computing و نحوه تأثیرگذاری این ابزار بر نسلهای بعدی برنامهنویسان میپردازد.
معرفی APIهای جستجو و دریافت وب دیپسیک؛ ابزاری ارزان برای توسعهدهندگان AI
شرکت DeepSeek از APIهای جدید Search و Fetch برای دسترسی به محتوای وب زنده در برنامههای RAG و ایجنتهای هوش مصنوعی رونمایی کرد. این سرویس با قیمت اقتصادی ۰.۷۵ دلار به ازای هر هزار درخواست موفق و ساختار سازگار با OpenAI عرضه میشود.
شبیهساز سختافزاری کامودور ۶۴: بررسی پینها و تراشهها در سطح مدار
پروژه c64-hw-simulator یک شبیهساز سطح پین از مادربرد کامودور ۶۴ است که به توسعهدهندگان اجازه میدهد خطاهای سختافزاری، قطعی اتصالها و رفتار مدار را بهصورت شبیهسازیشده بررسی کنند. این ابزار توسط antirez توسعه یافته و برای یادگیری عمیق معماری سختافزار و عیبیابی کاربرد دارد.
قابلیت جدید مپکست؛ نمایش دوربینهای پلاکخوان و نظارتی در سطح شهر
سرویس نقشه قدیمی MapQuest قابلیت جدیدی برای نمایش دوربینهای نظارتی و پلاکخوان شرکتهایی مانند Flock در سطح شهر اضافه کرده است. این دادهها از منابعی مثل OpenStreetMap تامین میشوند و ابزاری کاربردی برای بررسی میزان فراگیری سیستمهای نظارتی در مناطق مسکونی به شمار میروند.
معرفی ابزار Sphinx؛ گیت هوکی که پیش از انتشار کد هوش مصنوعی از شما آزمون میگیرد
ابزار Sphinx یک گیت هوک متنباز است که در فرآیند توسعه با عوامل هوش مصنوعی ادغام میشود. این ابزار پیش از نهایی شدن دستور push، سوالاتی درباره نحوه کارکرد کدهای تولیدشده میپرسد تا مطمئن شود توسعهدهنده منطق کد را درک کرده است.