Ксюша Родионова
-
Железо
Одноплатный компьютер Orange Pi 3B на базе Rockchip RK3566 оснащён 8 Гбайт ОЗУ и слотом M.2 NVMe/SATA
[unable to retrieve full-text content]
Читать далее » -
Хабрахабр
Что такое формальная верификация
Это обзорная статья, в которой очень поверхностно и не подробно рассказывается о том, что такое формальная верификация программного кода, зачем она нужна и чем она отличается от аудита и тестирования. Формальная верификация — это доказательство с использованием математических методов корректности программного обеспечения. Формальная верификация молода. На сегодняшний день, на сайте хабр, например, нет (пока) специализации «Формальная верификация», нет специальности «Proof…
Читать далее » -
Хабрахабр
Мы провели PyCon Russia 2023
В конце июля питонисты со всей страны съехались в Москву, чтобы побывать на самой масштабной, но душевной конференции для python-разработчиков: PyCon Russia. Держите отчет о том, как это было. В дождливую московскую пятницу утром в Старт Хаб яблоку некуда было упасть — в этом году в конференции участвовали больше шестисот человек. Такого еще не помнит новейшая пиконовская история. У нас…
Читать далее » -
Hi-Tech
Упражнение: как перестать бояться неудачи, потери контроля и справиться с другими универсальными страхами
Упражнение: как перестать бояться неудачи, потери контроля и справиться с другими универсальными страхами — Офлайн на vc.ru Отрывок из книги «Пересобрать себя. Как восстановиться после психологической травмы и стать сильнее» психолога Скотта Барри Кауфмана и врач-резидент в отделении психиатрии Джордин Файнгольд. Её выпустит издательство «Альпина Паблишер» в августе 2023 года. 387 просмотров Примите свои страхи Страх — невероятно мощный двигатель…
Читать далее » -
Hi-Tech
Смог, потребность в айтишниках и драки «район на район»: коротко о жизни в Папуа-Новой Гвинее
Смог, потребность в айтишниках и драки «район на район»: коротко о жизни в Папуа-Новой Гвинее — Личный опыт на vc.ru (function(bannerClassName) ); } else { console.log('GA send: ' + value); } }; const oneBeforePageChange = (callback) => { if (typeof Air === 'object') { const ajaxify = Air.import('module.ajaxify'); ajaxify.one('Before page changed', () => { try { if (callback) { callback();…
Читать далее » -
Хабрахабр
Наблюдаемость сетевой инфраструктуры Kubernetes. Часть вторая
Кратко о второй части Данная часть является продолжением статьи "Наблюдаемость сетевой инфраструктуры Kubernetes". В этой части будут разобраны сами инструменты, базирующиеся на ранее озвученных подходах (Service Mesh, eBPF monitoring и Distributed Tracing). Для сравнения решений будет выбран единый сценарий, при развёртывании которого собираются метрики приложения и кластера k8s. C первой частью можно ознакомиться здесь. Содержание Среда развертывания Kubernetes кластера ОС:…
Читать далее » -
Hi-Tech
День 528: отдых на Чёрном море подорожал на 30% год к году
День 528: отдых на Чёрном море подорожал на 30% год к году — Деньги на vc.ru Собираем новости, события и мнения о рынках, банках и реакциях компаний. 1178 просмотров Материал дополняется Курсы, биржи и банки Курсы ЦБ на 5-8 августа: доллар — 94,8 рубля (на рубль больше, чем 4 августа), евро — 103,83 рубля (на 1,3 рубля больше). Курсы на…
Читать далее » -
Железо
Игроки Baldur’s Gate 3 из-за бага не могут сохраняться — Larian в курсе проблемы, а пока предлагает возможные решения
[unable to retrieve full-text content]
Читать далее » -
Hi-Tech
Владимир Путин подписал закон о разовом налоге на «сверхприбыль» крупных компаний
Владимир Путин подписал закон о разовом налоге на «сверхприбыль» крупных компаний — Право на vc.ru Его ставка составит 10%, но если заплатить досрочно в 2023 году — снизится до 5%. Закон опубликован на официальном портале правовой информации. Он вступит в силу с 1 января 2024 года, заплатить налог нужно не позднее 28 января 2024-го. Налог будет взиматься с компаний, у…
Читать далее » -
Хабрахабр
Анализирую прошивки контроллеров Schneider Electric
Введение Schneider Electric - один из крупнейших производителей ПЛК, в ассортименте которого есть множество серий устройств, отличающихся ценой и возможностями: поддержкой протоколов, наличием специфических портов и т.д.. Рассмотрю две серии устройств - Quantum и Modicon. Немножко юмора) Для анализа нам понадобятся: IDA Pro (именно Pro, потому что Free поддерживает только x86 архитектуру), любой HEX редактор (в целом хватит и встроенного…
Читать далее »