Я пробовал лет пять назад с электронной регистрацией. Пропустили после долгого спора и слов о том, что я в час ночи просто за углом асфальт им залью (знаю, крайне некрасиво, я бы не стал так делать, но переубедить тётку было почти нереально).
Запуск на НОО — это каждый второй запуск. МКС висит на ней же.
Я думаю, повторить можно любое из прошлых достижений, только в 60-е годы они требовали без преувеличения ресурсов всей сверхдержавы (любой из), сейчас — в том числе из-за устаревания и потери части документации — их нужно будет повторять по-другому.
Насколько я знаю, применимость такой схемы зависит от теплопотерь. Если меньше 150-170 Вт — тёплые полы справятся, если больше — для поддержания комфортной температуры им нужно быть выше +32, что уже неправильно и некомфортно
*благодаря косякам производительности Atom, модели распространения Sublime и отсутствию доставляемых в обоих редакторах пакетов плагинов для разработки под конкретные среды
Нужно не возвращать «забугорное» или «отечественное», а выбирать решение с наименьшим TCO. Если вариантов несколько — спросить пользователей, какое им будет удобнее.
Хрен с ценой вопроса.
Главное, что при таком подходе никогда не получаются продуманные и оптимальные решения.
Можно заплатить много денег за надёжный и хороший продукт. А за кривые костыли вообще ничего платить не нужно, за такое надо в лицо бить. Либо разработчику, либо тому, кто поставил такие требования при наличии уже работающей системы
Мы же говорим не про российских разработчиков, а про российские программные продукты. Это разные понятия, продукт делают менеджмент, маркетологи, которые говорят разработчикам, что именно делать.
Я, кстати, ничего не понял про техническую часть.
С одной стороны старый добрый Dresser и программатор для DIPов, с другой — модуль, похожий на ESP-8266
A весьма отечественный Kompass, например, без специальных мер молча отказывается работать в виртуальной машине. Разрабочики в переписке ответили, что так и задумано. (при этом в Wine криво, но работает)
Насколько я знаю, верификацию ядра выполняли в 2015 году и есть обсуждение по специальному ревью при принятии коммитов.
Про Gcc ничего не нашёл, только давным-давно делали CompCert с производительностью примерно как у gcc -O2.
Дело в другом, я вижу, как принимаются last moment-патчи в весьма критичное отечественное ПО и верификация даже основной части кода/ПО не гарантирует злого умысла (и точно не гарантирует отсутствия косяков программиста, которому в предпоследнюю ночь выдали изменённое ТЗ) в полученном программном продукте.
А стартер сотню евро стоит, можно и в расходники записать
Я думаю, повторить можно любое из прошлых достижений, только в 60-е годы они требовали без преувеличения ресурсов всей сверхдержавы (любой из), сейчас — в том числе из-за устаревания и потери части документации — их нужно будет повторять по-другому.
По-моему, от трети до половины фантомных глюков из-за питания происходят
Прошли времена, когда enterprise-grade пакет в гигабайт влезал :(
Главное, что при таком подходе никогда не получаются продуманные и оптимальные решения.
Можно заплатить много денег за надёжный и хороший продукт. А за кривые костыли вообще ничего платить не нужно, за такое надо в лицо бить. Либо разработчику, либо тому, кто поставил такие требования при наличии уже работающей системы
С одной стороны старый добрый Dresser и программатор для DIPов, с другой — модуль, похожий на ESP-8266
Про Gcc ничего не нашёл, только давным-давно делали CompCert с производительностью примерно как у gcc -O2.
Дело в другом, я вижу, как принимаются last moment-патчи в весьма критичное отечественное ПО и верификация даже основной части кода/ПО не гарантирует злого умысла (и точно не гарантирует отсутствия косяков программиста, которому в предпоследнюю ночь выдали изменённое ТЗ) в полученном программном продукте.