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

TGINSIGHT SIMILAR POSTS

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

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

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

Hashtags

Резултати

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

Търсене: #hadeeth

当前筛选 #hadeeth清除筛选
We want you

@we_want_youu · Post #4764 · 17.09.2024 г., 09:35

According to Al-Quran, Surah Ar-Rahman (55:19-23), Allah Almighty presents a powerful and miraculous sign of His creation: He released two seas, meeting side by side. Between them is a barrier, so they do not mix. So which of the favors of your Lord will you deny? In these verses, Allah highlights His supreme authority and wisdom. The reference is to two bodies of water — saltwater and freshwater — that meet but do not mix, remaining separate due to a divine barrier. This natural phenomenon, which scientists have now confirmed, is a profound example of Allah’s control over the natural world. Despite their proximity, the two waters retain their distinct properties, showcasing the perfect balance and system designed by the Creator. #Miracle of the #Quran The Quran was revealed over 1400 years ago, long before modern science understood this phenomenon. The concept of two seas meeting without mixing is something that early humans would have had no scientific means to explain. However, this fact has been witnessed in places like the Mediterranean Sea and the Atlantic Ocean, as well as at river mouths where freshwater meets saltwater. These verses from Surah Ar-Rahman serve as a miraculous scientific truth that confirms the divine knowledge in the Quran, as such occurrences were unknown to humans at the time of revelation. This miracle demonstrates that the Quran is not just a religious text, but also a source of knowledge beyond human capacity. It contains signs that have been confirmed by modern scientific discoveries, proving its authenticity for generations. #Hadeeth and the Understanding of Nature The Quran’s miraculous signs are supported by several teachings in the Hadith (the sayings and actions of the Prophet Muhammad, peace be upon him). The Prophet (PBUH) emphasized reflection on the natural world as a way to understand the power and wisdom of Allah. He encouraged believers to observe the universe as a sign of Allah’s existence, greatness, and mercy. For instance, in one hadith, the Prophet (PBUH) said : "Verily, in the creation of the heavens and the earth, and in the alternation of the night and the day, there are indeed signs for men of understanding. (Sahih Muslim) This emphasizes that everything in the natural world — from the vastness of the cosmos to the interaction of rivers and seas — is a sign of #Allah’s greatness. The separation of the seas is not just a scientific reality, but a reflection of Allah’s control over every element of creation. #Challenging Other #Religions #Islam, through the Quran and Hadith, presents a clear and rational understanding of the world that aligns with both spiritual insight and scientific discovery. Other religions, such as Hinduism, Christianity, and Judaism, do not offer such precise and scientifically verifiable details in their scriptures. While they contain teachings about faith and morality, no other religious scripture provides such detailed descriptions of natural phenomena that can be later confirmed by science, as is the case with the Quran. Why Deny the Truth? The repeated question, "So which of the favors of your Lord will you deny?" is a reminder to humanity that all the signs of Allah’s existence and mercy are evident, yet many people continue to deny or ignore them. These verses challenge the deniers of faith by presenting clear, undeniable evidence of Allah’s creation and control over the universe. In conclusion, this verse from Surah Ar-Rahman, alongside many other Quranic miracles, serves as a testament to the truth of Islam and the divine nature of the Quran. It stands as a proof for both believers and skeptics, showing that no other religion can provide such clear and scientifically proven signs of divine wisdom and knowledge. The separation of the seas is just one of many miracles in the Quran that continue to be confirmed by modern discoveries, making it clear that the Quran is the ultimate source of truth. Thanks for your kindly time