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

TGINSIGHT SIMILAR POSTS

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

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

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

Hashtags

Резултати

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

Общо глобално търсене

Ben Edgington | 𝕏🧵 RT @abcoathup: FAQ ⌛️@ethdevnews limited run Weeks not months. Unless I find sponsors/grants. @optimism's RetroPGF 2 grant for @weekinethnews pays my rent and feeds my family. But after living off that for years (thanks @evan_van_ness🙏) it is finally coming to the end. I want to work for Ethereum forever but also need to eat. 🤖 Can't AI do ethdevnews Not yet, but eventually. Currently news gathering is manual (twice a day, 7 days a week), with manual curation. I use AI for quick fact checking, but my wife is the best proof reader. If your AI news just points to where I have curated updates on @EthMagicians or assigned EIP/ERC numbers, then it is still me doing manual work (though happy for AI to takeover these unpaid tasks). 🧑‍💻@abcoathup job hunting Tech writing/community likely suits me best. I'm more of an AI prompter than a software engineer these days but would consider testing. I want remote async & family friendly. I’m in Melbourne Australia. Travelling (family commitments) and public speaking (autistic) are both hard for me. Resume and writing samples available. --- Thanks friends for all the support. 🙏 ~ ₿izFeed#⃣:#dev#ETH

Hashtags

vitalik.eth | 𝕏🧵 RT @liron: Doom Debate with @VitalikButerin has dropped: Will “d/acc” Protect Humanity from Superintelligent AI? Vitalik is both a hardcore techno-optimist and builder, and someone willing to seriously consider AI regulation and coordination mechanisms. He coined the term "d/acc'" – defensive, decentralized acceleration – as a middle path between uncritical AI acceleration and total pause scenarios. We debate the tractability of AI alignment, whether approaches like d/acc would actually work when superintelligence arrives, and why he thinks a pluralistic world of competing AIs might be safer than a single aligned superintelligence. The crux of our disagreement is that I think we're heading for a "plants vs. animals" scenario where AI will simply operate on timescales we can't match, while Vitalik believes we can maintain agency through the right combination of defensive technologies and institutional design. Finally, we tackle the discourse... View original post ~ ₿izFeed#⃣:#dev#ETH

Hashtags

‌Ben Edgington | 𝕏🧵 RT @ethresearchbot: New post on EthResear.ch! Integrating 3SF with ePBS, FOCIL, and PeerDAS By: - Luca Zanolini - Roberto Saltini 🔗ethresear.ch/t/22909 Highlights: - The integration of 3SF with ePBS, FOCIL, and PeerDAS aims to enhance blockchain efficiency and security by addressing transaction inclusion and proposer-builder separation. - The proposed system operates in slots, allowing all validators to vote on blocks every slot, which simplifies the process and removes the need for epochs or committees. - FOCIL ensures that important transactions are included in blocks by requiring proposers to follow inclusion lists created by a committee of validators, preventing censorship. - ePBS formalizes the separation of roles between block builders and proposers, allowing for a more competitive and transparent block construction process. - The research highlights the importance of maintaining core properties of 3SF, such as reorg resilience and transaction inclusion, even when integrating new mechanisms. ELI5: This research explores how to combine a new protocol called 3SF with other proposals to improve blockchain performance and security. It looks at how these systems can work together without causing problems, ensuring that transactions are included fairly and efficiently. ~ ₿izFeed#⃣:#dev#ETH

Hashtags

Ben Edgington | 𝕏🧵 RT @0xzak: I've been in crypto for over 10 years and I’ve Never been hacked. Perfect OpSec record. Yesterday, my wallet was drained by a malicious @cursor_ai extension for the first time. If it can happen to me, it can happen to you. Here’s a full breakdown. 🧵👇 ~ ₿izFeed#⃣:#dev#ETH

Hashtags

vitalik.eth | 𝕏🧵 A good book, worth reading to understand the basic case for why many people, even those who are generally very enthusiastic about speeding up technological progress, consider superintelligent AI uniquely risky https://twitter.com/ESYudkowsky/status/1922710969785917691 ~ ₿izFeed#⃣:#dev#ETH

Hashtags

12•••5•••89101112•••15•••20•••25•••30•••35•••40•••45•••50•••55•••60•••65•••70•••7273