هابی‌تکستHUBBYTEXT اپ کانال اختصاصی بساز
تکنولوژی

ریزآرایی ریاضی که می‌تواند کدنگاری را نجات دهد

دانشمندان دانشگاه استنفورد با استفاده از هوش مصنوعی، یک ابزار توسعه دادند که در کمتر از نیم روز و با هزینه کمتر از ۵۰۰ دلار، یک پروژه مهندسی را تکمیل کرد. این کار قبلاً پنج ماه به سه کارشناس نیاز داشت. این فناوری در زمینه ریاضیات و کدنگاری به نام تأیید رسمی، که برای اثبات بی‌خطای نرم‌افزار استفاده می‌شود، پیشرفت قابل توجهی ایجاد کرده است. شرکت &Truth، که چویو سون، یکی از پژوهشگران، به آن پیوست، این فناوری را برای تأیید بخشی از کد برنامه پیام‌رسانی Signal استفاده کرد. این شرکت ۷۰ میلیون دلار سرمایه‌گذاری دریافت کرده است و هدف دارد هر زبان برنامه‌نویسی را تأیید کند. شرکت‌های دیگر مانند Harmonic نیز در این زمینه فعالیت می‌کنند و با شرکت‌های بزرگ مانند Nvidia همکاری دارند.
منبع: Wired

خبرهای مرتبط RELATED

تکنولوژی
تکنولوژی
تکنولوژی
قطع کار ماهواره‌های GPS پیامدهای جدی برای مسیریابی، حملونقل هوایی و دریایی، خدمات امدادی و شبکه‌های مخابراتی دارد. بدون GPS، دستگاه‌ها ممکن است موقعیت اشتباه نشان دهند یا کارایی خود را از دست بدهند. حملونقل جاده‌ای و خدمات اضطراری نیز به اطلاعات جایگزین نیاز خواهند داشت. سامانه‌های زمان‌بندی در شبکه‌های مخابراتی و مالی به GPS وابسته‌اند و اختلال در آن‌ها می‌تواند هماهنگی را مختل کند. مؤسسه ملی استانداردها و فناوری آمریکا بر ضرورت منابع جایگزین برای زیرساختهای حیاتی تأکید می‌کند.
منبع: زومیت
تکنولوژی
یوتیوب اعلام کرد که به ۱۵۰ میلیون مشترک در سراسر جهان برای یوتیوب پریمیوم و یوتیوب میوزیک رسیده است. این عدد در سه ماه گذشته از ۱۲۵ میلیون به ۱۵۰ میلیون افزایش یافته است. یوتیوب همچنین در سال ۲۰۲۵، ۱۱٫۲ میلیارد دلار درآمد از تبلیغات کسب کرد. کاربران از تبلیغات غیرقابل تحمل در نسخه رایگان یوتیوب شکایت کرده‌اند. یوتیوب پریمیوم امکانات مانند تماشای بدون تبلیغات، گوش دادن به پس‌زمینه و دسترسی به یوتیوب میوزیک را ارائه می‌دهد.
منبع: TechRadar
تکنولوژی
پژوهشگران دانشگاه ملی سنگاپور نوعی فیبر الکترونیکی ساخته‌اند که می‌تواند پارچه لباس را به نمایشگر انعطاف‌پذیر و لمسی تبدیل کند. این فناوری امکان نمایش تصویر و ویدیو، پاسخ به لمس انگشت و اتصال بیسیم به دستگاه‌های دیجیتال را فراهم می‌کند. فیبرهای الکترونیکی شامل ریزتراشه‌های LED و لایه‌های حساس به لمس هستند و می‌توانند پس از ۵۰ بار شستوشو عملکرد خود را حفظ کنند. این نمایشگر می‌تواند عکس و ویدیو پخش کند و با حسگرهای مختلف مانند دما و حرکت ترکیب شود. پژوهشگران با استفاده از لیزر و لحیم مذاب، هزاران قطعه الکترونیکی را در فیبرها متصل کرده‌اند. این فناوری می‌تواند در لباس‌های هوشمند برای نمایش اطلاعات سلامت استفاده شود.
منبع: دیجیاتو
تکنولوژی
صفر وفادار، مدیرعامل پایوند همکاران سیستم، گفت که مانع اصلی هوشمندسازی صنعت، هراس مدیران از فناوری است. او اشاره کرد که تجهیزات پایش انرژی از برندهای معتبر حدود ۱۸ میلیون تومان قیمت دارند. وفادار هوشمندسازی را چالش فرهنگی دانست و به اهمیت اینترنت اشیا برای حضور در بازارهای جهانی اشاره کرد. او توصیه کرد که هوشمندسازی باید از نقاطی آغاز شود که با هزینهای منطقی و سریع به نتیجه برسد.
منبع: دیجیاتو
📲 کانال اختصاصی علایق خودت را رایگان بساز