TGTGInsightтелеграм анализLIVE / telegram public index
← Такты, стеки, два колеса

TGINSIGHT SIMILAR POSTS

Намери подобно съдържание

Изходен канал @clockstackwheels · Post #884 · 5.10

Роскосмос пару дней назад опубликовал отчёт о том, почему упала "Луна-25". Там конечно канцелярит, но можно примерно понять, что двигатель коррекции получил неверные данные от акселерометра: из-за возможного попадания в один массив данных команд с различными приоритетами их исполнения прибором Это очень похоже на программную ошибку, а это моя сфера, и я решил над ситуацией поразмыслить. Хейтеры сразу стали строчить комментарии в стиле "Ололо, наняли каких-то идиотов, которые простейшие тесты не провели". Тут обычно справедливо вспоминают аварию с европейской ракетой Ариан-5 в 1996 году. Там буквально из-за пары строчек кода в результате неправильного приведения числовых типов ракета за 7 млрд баксов развалилась на куски в воздухе. Бывает. Что касается Роскосмоса, при всей его сомнительной репутации, объяснение "Дураки не провели тесты" звучит лично для меня неправдоподобно. На мой личный взгляд возможны два варианта: 1. Если в описании ошибки слово "приоритет" обозначает какой-то признак внутри объекта команды, значит, на входе в приёмный модуль эти команды не были отфильтрованы. Выглядит как грубая ошибка, целый логический блок упущен. Вряд ли этот блок вообще не написан, скорее всего он не выполнился. Такое бывает, если в тестовой среде есть какое-то условие, которого нет в рабочей, и именно это условие отвечает за выполнение участка кода. Сталкивался с таким миллион раз. Самое дикое из последнего: код парсит эксель-таблицу с числами. Разработчик написал, запустил проверил, прогнал тесты, всё ок. Отправляем в прод — все числа будто бы рандомно меняются на другие. Запускаем снова — у всех разработчиков функционирует нормально, а в проде на сервере нет. Таблица одна и та же. Можете подумать, почему так. Ответ: у разработчиков стоит русская локаль и десятичный разделитесь это запятая, а на проде в докере точка. При парсинге на проде запятая уже интерпретируется как разделитель тысячных разрядов. 2. Куда вероятнее, что слово "приоритет" в описании ошибки обозначает время, а, значит, список команд просто не был отсортирован, и в обработчик уже после актуальных значений попали какие-нибудь начальные нулевые данные, сбившие логику. По косвенному описанию проблемы очень похоже именно на это. Значит, на тестах всегда порядок возникновения команд соответствовал порядку их прихода, а в реальности перестал соответствовать. Вообще, работать с железом очень сложно. Какую-нибудь схемку заглючило от холода, она задержала ответ от датчика на миллисекунду, и всё. Никто не знал, что такая проблема возможна, пока она не возникла. Мне рассказывали о таком случае: юзер логинится на сайт и иногда логин проходит, а иногда нет. Логин и пароль те же самые. Просто в случайные моменты времени ему возвращают токен авторизации, а в другие моменты времени ошибку 403. Никакой закономерности нет вообще. Нет зависимости от времени суток и даты. Сервер точно работает стабильно и не падает все 100% времени. Почему так может быть? Ответ: у сервиса авторизации два инстанса, перед которыми балансировщик нагрузки. В одном инстансе данные для авторизации есть, в другом нет. Балансировщик при примерно одинаковой нагрузке включает просто случайный выбор между ними. В общем, программисты иногда допускают такие косяки, что какая-то мелочь может привести к серьёзной аварии. Это я вам говорю как программист, который пишет для атомных станций :) #dev

Hashtags

Резултати

Намерени 4 подобни публикации

Търсене: #o3mini

当前筛选 #o3mini清除筛选
Kun.uz AI

@kunuzai · Post #39 · 02.02.2025 г., 13:45

🧬O3-mini yordamida o‘zingiz haqingizda ko‘proq bilib oling! Ko‘pchilik ChatGPT faqat bitta suhbat doirasida ma’lumotni eslab qoladi deb o‘ylaydi. Aslida esa unday emas! ChatGPT barcha suhbatlaringizni tahlil qilib, siz haqingizda umumiy xulosa chiqarishi mumkin. Hatto o‘zingiz haqingizda ko‘z ochuvchi fikrlar berishi ham ehtimoldan holi emas. Bunga qanday erishish mumkin? To‘g‘ri yo‘naltirilgan so‘rovlar (promptlar) bilan! 1️⃣ Hayot tarzingiz asosida vizual tasvir 🎨 So‘rov (prompt): «Sen – psixolog-illustrator :: Barcha suhbatlarimni tahlil qilib, mening qiziqishlarim, hayot tarzim va xarakterim aks etgan tasvir chiz :: Rasm detalizatsiyalangan, hissiyotlarga boy va yorqin bo‘lsin» Natija: ChatGPT sizning qiziqishlaringiz, turmush tarzlaringiz va xarakteringizni aks ettiruvchi tasvir yaratadi. Bundan tashqari, har bir detalning nima uchun aynan shu yerda joylashganini so‘rashingiz mumkin – bu o‘zingiz haqingizda ko‘proq ma’lumot olishning o‘ziga xos usuli! 2️⃣ Shaxsiy psixologik tahlil 🧠 So‘rov (prompt): «Sen – shaxsiy rivojlanish bo‘yicha mutaxassis :: Barcha suhbatlarimni tahlil qilib, mening psixologik portretimni yarat :: Halol, aniq va tanqidiy bo‘l :: Har bir xulosani misollar bilan asosla» Natija: Sizning ichki olamingizni aks ettiruvchi chuqur tahlil. Ushbu xulosa yangi imkoniyatlarni ochib berishi va o‘zingizga tashqaridan qarashga yordam berishi mumkin. 3️⃣ Chin do‘stona maslahatlar 🤝 So‘rov (prompt): «Sen – mening eng yaqin do‘stim :: Mening barcha suhbatlarimni tahlil qilib, menga uchta halol va shaxsiy maslahat ber :: Har birining ahamiyatini tushuntir» Natija: ✅Energiyangni asosiy loyihalarga qarat. Sen juda ko‘p yo‘nalishlarga bo‘linib ketayotganing sababli, asosiy maqsadlaringga erishish sekinlashmoqda. Muhim narsalarga ko‘proq e’tibor qarat. ✅O‘zingga nisbatan yumshoqroq bo‘l. Sen o‘zingdan juda ko‘p narsa talab qilasan va ba’zan ortiqcha bosim o‘tkazasan. O‘zingga xatolar va tabiiy xatti-harakatlar uchun ruxsat ber – hayoting ancha yengil va yoqimli bo‘ladi. ✅Ichki sezgingga ishoning. Ko‘pincha mantiq va tahlilga tayangan holda qaror qabul qilasan. Lekin ichki sezgi ham katta kuchga ega. Ba’zan raqamlar tushunarsiz bo‘lsa ham, yuraging aytgan narsani eshit. 💭Xuddi yuragingga qaragan kabi! Bu promptlar sizga o‘zingiz haqingizda ko‘proq bilib olish va yangi fikrlarni kashf etishda yordam beradi. Saqlab qo‘ying va sinab ko‘ring!🚀 💎@kunuzai #AI#SuniyIntellekt#ChatGPT#O3mini

Kun.uz AI

@kunuzai · Post #38 · 02.02.2025 г., 10:35

🌟O3-mini bilan ishlash bo‘yicha 4 ta maslahat OpenAI yangi O3-mini modelini taqdim etdi. Bu model oddiy til modellaridan farqli o‘laroq, mantiqiy fikrlash jarayonlarini o‘z ichida avtomatik ravishda amalga oshiradi. Ya’ni, sizdan qo‘shimcha harakat talab etilmaydi. Maksimal natijaga erishish uchun quyidagi maslahatlarga amal qiling: 1️⃣So‘rovlaringizni aniq va oddiy qiling O3-mini ichki mantiqiy tahlil qobiliyatiga ega. Shuning uchun ortiqcha yo‘riqnomalar kiritmang. ✅«Ushbu Python funksiyasidagi xatoni toping va uni tuzating.» ❌«Asta-sekin o‘ylang va funksiyani batafsil tahlil qilib chiqqach, xatolarni aniqlang va tuzating.» 2️⃣Mantiqiy tahlil zanjirlarini ishlatmang Model allaqachon o‘z ichida mantiqiy fikrlash ketma-ketligini yaratadi. «Bosqichma-bosqich fikrlash» yoki «o‘z mulohazalaringizni tushuntirish» kabi so‘rovlar samaradorlikni pasaytirishi mumkin. ✅ «Ushbu fizika masalasini yeching va yakuniy javobni bering.» ❌ «Bosqichma-bosqich o‘ylab, barcha hisob-kitoblaringizni yozing va har bir taxminni tushuntiring.» 3️⃣Aniq yo‘riqlar bering, ochiq so‘rovlarni emas Kerakli natijani olish uchun cheklovlar yoki talablarni aniq belgilang. ✅ «Quicksort algoritmi yordamida massivni saralash uchun 50 qatorli kod yozing.» ❌ «Saralash algoritmi yozing.» 4️⃣Ortiqcha kontekstni cheklang Tashqi manbalardan olingan ma’lumotlarni faqat eng muhim qismlari bilan cheklang. ✅ «Ushbu ilmiy maqolaning asosiy xulosalarini qisqacha yozing: …» ❌ «Mana 20 sahifalik ilmiy maqola. Asosiy xulosalarni umumlashtirib bering.» 🔖Saqlab qo‘ying va O3-mini bilan samarali ishlang!❤️@kunuzai #AI#O3mini#SuniyIntellekt#OpenAI

Venture Village Wall 🦄

@venturevillagewall · Post #3606 · 20.12.2024 г., 18:41

O3 and O3-Mini Benchmark Breakthroughs The O3 and O3-Mini models showcase state-of-the-art (SOTA) performance with significant leaps in various benchmarks. Results on Frontier Math have jumped from 2% to 25%. The SWE-Bench model achieved a score of 71.7%, while a startup has raised $200 million following results of 13.86%. ELO on Codeforces reached 2727, surpassing most peers globally. Notably, the ARC-AGI model scored 87.5%, breaking a five-year benchmark. Access for security researchers to O3-Mini starts today, with general access available in late January. #O3#O3Mini#SOTA#Benchmarks#AI#ML#Funding#Codeforces#ARC-AGI #FrontierMath#SWE-Bench #ELO#GPQA#AIME#SecurityResearch#TechUpdates#Innovations#Startups#Performance#AIModels