[Из песочницы] Формальная верификация на примере задачи о волке, козе и капусте
https://habr.com/ru/post/449002/
Tags: Информационная безопасность, формальная верификация, формальные методы, решатель, логика Хоара, символьное выполнение, формальная верификация для чайников, SMT, Z3, NP, вычислительная сложность, проблема остановки, верификация программ, защита программ, информационная безопасность, для чайников, 8 ферзей, поиск уязвимостей, Coq, Isabelle, WhyML
Author smart77 on #habrahabr
https://habr.com/ru/post/449002/
Tags: Информационная безопасность, формальная верификация, формальные методы, решатель, логика Хоара, символьное выполнение, формальная верификация для чайников, SMT, Z3, NP, вычислительная сложность, проблема остановки, верификация программ, защита программ, информационная безопасность, для чайников, 8 ферзей, поиск уязвимостей, Coq, Isabelle, WhyML
Author smart77 on #habrahabr
Хабр
Формальная верификация на примере задачи о волке, козе и капусте
На мой взгляд, в русскоязычном секторе интернета тематика формальной верификации освещена недостаточно, и особенно не хватает простых и наглядных примеров. Я пр...
[Перевод] Скрытая сложность видеоигр слотов
https://habr.com/ru/post/449006/
Tags: Дизайн игр, Монетизация игр, Продвижение игр, Разработка игр, Разработка мобильных приложений, gamedev, slots, gamedevelopment, gamedesign, gamedevelop, mobile development, mobile games
Author HattoriHandzo on #habrahabr
https://habr.com/ru/post/449006/
Tags: Дизайн игр, Монетизация игр, Продвижение игр, Разработка игр, Разработка мобильных приложений, gamedev, slots, gamedevelopment, gamedesign, gamedevelop, mobile development, mobile games
Author HattoriHandzo on #habrahabr
Хабр
Скрытая сложность видеоигр слотов
Игроки в слоты не безрассудны Игроки в слоты азартны. Нажатие на кнопку SPIN хоть и выглядит простым действием, умственные процессы при этом таковыми не являются. Азартные игроки основывают свои...
[Перевод] Создание политики паролей в Linux
https://habr.com/ru/post/448996/
Tags: Блог компании OTUS. Онлайн-образование, Настройка Linux, linux, пароли
Author MaxRokatansky on #habrahabr
https://habr.com/ru/post/448996/
Tags: Блог компании OTUS. Онлайн-образование, Настройка Linux, linux, пароли
Author MaxRokatansky on #habrahabr
Habr
Создание политики паролей в Linux
И снова здравствуйте! Уже завтра начинаются занятия в новой группе курса «Администратор Linux», в связи с этим публикуем полезную статью по теме. В прошлом ту...
Логирование HTTP запросов в Spring Boot с использованием Бобины
https://habr.com/ru/post/449008/
Tags: Java, slf4j, logging, spring boot, spring, bobbin
Author antonpryamostanov on #habrahabr
https://habr.com/ru/post/449008/
Tags: Java, slf4j, logging, spring boot, spring, bobbin
Author antonpryamostanov on #habrahabr
Хабр
Логирование HTTP запросов в Spring Boot с использованием Бобины
Приветствую, дорогие друзья! Сегодня я хочу продемонстрировать потрясающий пример того, как Бобина может помочь в очень распространённой ситуации — логирование H...
Поиск задач в JIRA (простым языком). Часть 1: Быстрый и базовый поиск
https://habr.com/ru/post/448034/
Tags: Блог компании Райффайзенбанк, Atlassian, Управление проектами, jira, atlassian, jql, raiffeisenbank, raiffeisenit, РайффайзенБанк, РайффайзенIT
Author aayatsenko on #habrahabr
https://habr.com/ru/post/448034/
Tags: Блог компании Райффайзенбанк, Atlassian, Управление проектами, jira, atlassian, jql, raiffeisenbank, raiffeisenit, РайффайзенБанк, РайффайзенIT
Author aayatsenko on #habrahabr
Habr
Поиск задач в JIRA (простым языком). Часть 1: Быстрый и базовый поиск
В последнее время JIRA активно используют организации, не имеющие прямой связи с IT. Специалистам, не знакомым ранее с JIRA, бывает сложно понять структуру JQL-з...
Стеганография в файловой системе оптических дисков
https://habr.com/ru/post/449016/
Tags: Python, Информационная безопасность, Программирование, информационная безопасность, стеганография, файловые системы, iso9660, оптические диски
Author 0xUL on #habrahabr
https://habr.com/ru/post/449016/
Tags: Python, Информационная безопасность, Программирование, информационная безопасность, стеганография, файловые системы, iso9660, оптические диски
Author 0xUL on #habrahabr
Хабр
Стеганография в файловой системе оптических дисков
Будучи в поисках интересной информации о стеганографии, я наткнулся на занимательную статью о стеганографии в файловой системе, и, спустя какое -то время, та навела меня на мысль о создании...
Продвигаем Ethereum DAPP
https://habr.com/ru/post/449014/
Tags: Solidity, Интернет-маркетинг, Криптовалюты, solidity, blockchain, ethereum, smart contracts, dapp
Author zhek on #habrahabr
https://habr.com/ru/post/449014/
Tags: Solidity, Интернет-маркетинг, Криптовалюты, solidity, blockchain, ethereum, smart contracts, dapp
Author zhek on #habrahabr
Хабр
Продвигаем Ethereum DAPP
Сегодня в интернете достаточно информации, как создавать DAPP приложения. Вот вы создали крутое DAPP и теперь появляется вопрос ещё сложнее, как рассказать о нём...
Какать на севере очень полезно для климата («Мох и мамонты», часть 2)
https://habr.com/ru/post/448674/
Tags: Биотехнологии, Будущее здесь, Научно-популярное, Экология, экология, мамонты
Author MagisterLudi on #habrahabr
https://habr.com/ru/post/448674/
Tags: Биотехнологии, Будущее здесь, Научно-популярное, Экология, экология, мамонты
Author MagisterLudi on #habrahabr
Хабр
Мох и мамонты (часть 2)
Про то как мерзлота может стать если не «белым пушным зверьком», то уж точно «чёрным лебедем», притаившим полтора триллиона тонн углерода — читаем первую часть «Мох и мамонты». Про то, как...
«Тайна третьей планеты» с улучшенной нейросетями графикой
https://habr.com/ru/post/449024/
Tags: Искусственный интеллект, машинное обучение, нейросети
Author slimper on #habrahabr
https://habr.com/ru/post/449024/
Tags: Искусственный интеллект, машинное обучение, нейросети
Author slimper on #habrahabr
Хабр
«Тайна третьей планеты» с улучшенной нейросетями графикой
Заметил, что у Хабра есть интерес к теме улучшения графики в старых играх. Я как раз сделал мод графики для первой готики. А недавно, решил схожим методом улучшить графику в любимом с...
Весенние мероприятия по геймдеву в ВШБИ
https://habr.com/ru/post/448976/
Tags: Я пиарюсь, ВШБИ, Геймдев, настольные игры
Author viacheslavnu on #habrahabr
https://habr.com/ru/post/448976/
Tags: Я пиарюсь, ВШБИ, Геймдев, настольные игры
Author viacheslavnu on #habrahabr
Хабр
Весенние мероприятия по геймдеву в ВШБИ
Приглашаем на весенние открытые мероприятия по игровой индустрии в Высшей школе бизнес-информатики НИУ ВШЭ: 24 апреля, в среду, пройдет день открытых дверей по образовательной программе...
Анализ кода CUBA Platform с помощью PVS-Studio
https://habr.com/ru/post/449022/
Tags: Блог компании PVS-Studio, Java, Open source, Программирование, pvs-studio, java, cuba platform, open source
Author SvyatoslavMC on #habrahabr
https://habr.com/ru/post/449022/
Tags: Блог компании PVS-Studio, Java, Open source, Программирование, pvs-studio, java, cuba platform, open source
Author SvyatoslavMC on #habrahabr
Habr
Анализ кода CUBA Platform с помощью PVS-Studio
Для Java программистов существуют полезные инструменты, помогающие писать качественный код, например, мощная среда разработки IntelliJ IDEA, бесплатные анализат...
[Из песочницы] Гнев, торг и депрессия при работе с InfluxDB
https://habr.com/ru/post/449028/
Tags: SQL, Администрирование баз данных, Разработка веб-сайтов, Хранилища данных, influxdb, базы данных временных рядов, timeseries
Author jekatigr on #habrahabr
https://habr.com/ru/post/449028/
Tags: SQL, Администрирование баз данных, Разработка веб-сайтов, Хранилища данных, influxdb, базы данных временных рядов, timeseries
Author jekatigr on #habrahabr
Хабр
Гнев, торг и депрессия при работе с InfluxDB
Если использовать БД временных рядов (timeseries db, wiki) как основное хранилище для сайта со статистикой, то вместо решения задачи можно получить много голов...
Прилипчивая радиация: наведенная радиоактивность, радиоактивное заражение, дезактивация…
https://habr.com/ru/post/448432/
Tags: Научно-популярное, Физика, Химия, Экология, радиация, наведенная радиоактивность, радионуклиды, дезактивация, мифы и реальность, радиационная безопасность
Author jar_ohty on #habrahabr
https://habr.com/ru/post/448432/
Tags: Научно-популярное, Физика, Химия, Экология, радиация, наведенная радиоактивность, радионуклиды, дезактивация, мифы и реальность, радиационная безопасность
Author jar_ohty on #habrahabr
Хабр
Прилипчивая радиация: наведенная радиоактивность, радиоактивное заражение, дезактивация…
Многими людьми радиация представляется, как нечто «заразное»: считается, что если что-то подверглось воздействию радиации, оно само становится ее источником. Данные представления имеют свое...
И снова волк в овечьей шкуре
https://habr.com/ru/post/449036/
Tags: Информационная безопасность, фишинг, фишинговый сайт, банк, мошенничество в интернете, мошенничество с кредитными картами
Author Vit1218 on #habrahabr
https://habr.com/ru/post/449036/
Tags: Информационная безопасность, фишинг, фишинговый сайт, банк, мошенничество в интернете, мошенничество с кредитными картами
Author Vit1218 on #habrahabr
Хабр
И снова волк в овечьей шкуре
Фишинговый сайт должен выглядеть достаточно правдоподобно и соответствовать какой-либо легенде злоумышленников. Нередко в качестве легенды выбирают что-нибудь связанное с безопасностью, такие...
Наш первый обед вместе: почему и как мы проводим тестовый день
https://habr.com/ru/post/448980/
Tags: Блог компании Dodo Pizza Engineering, Карьера в IT-индустрии, Управление персоналом, hr, dodopizzaengineering, dodopizza, тестовый день, собеседование, тестовое задание, dodopizzaio
Author BoresExpress on #habrahabr
https://habr.com/ru/post/448980/
Tags: Блог компании Dodo Pizza Engineering, Карьера в IT-индустрии, Управление персоналом, hr, dodopizzaengineering, dodopizza, тестовый день, собеседование, тестовое задание, dodopizzaio
Author BoresExpress on #habrahabr
Хабр
Наш первый обед вместе: почему и как мы проводим тестовый день
Привет, Хабр! Пару месяцев назад мои коллеги рассказывали про расширение команды в 5 раз: от 50 тогда до 250 разработчиков к концу 2020 года. Как вы могли догада...
Управление Docker контейнерами в Go
https://habr.com/ru/post/449038/
Tags: DevOps, Go, docker, golang, devops
Author pocoZ on #habrahabr
https://habr.com/ru/post/449038/
Tags: DevOps, Go, docker, golang, devops
Author pocoZ on #habrahabr
Хабр
Управление Docker контейнерами в Go
Документация! Когда вы решите написать, свой велосипед по ловле хуков из docker hub или из registry для автоматического обновления/запуска контейнеров на сервере...
Operating Systems: Three Easy Pieces. Part 4: Введение в планировщик (перевод)
https://habr.com/ru/post/449026/
Tags: *nix, C, Инженерные системы, Системное администрирование, Системное программирование, перевод с английского, операционные системы, linux
Author bykvaadm on #habrahabr
https://habr.com/ru/post/449026/
Tags: *nix, C, Инженерные системы, Системное администрирование, Системное программирование, перевод с английского, операционные системы, linux
Author bykvaadm on #habrahabr
Хабр
Operating Systems: Three Easy Pieces. Part 4: Введение в планировщик (перевод)
Введение в операционные системы
Привет, Хабр! Хочу представить вашему вниманию серию статей-переводов одной интересной на мой взгляд литературы — OSTEP. В этом материале рассматривается достаточно...
Привет, Хабр! Хочу представить вашему вниманию серию статей-переводов одной интересной на мой взгляд литературы — OSTEP. В этом материале рассматривается достаточно...
Security Week 17: атаки по цепи поставок
https://habr.com/ru/post/449040/
Tags: Блог компании «Лаборатория Касперского», Информационная безопасность, wipro, outlook, hotmail, supply chain
Author Kaspersky_Lab on #habrahabr
https://habr.com/ru/post/449040/
Tags: Блог компании «Лаборатория Касперского», Информационная безопасность, wipro, outlook, hotmail, supply chain
Author Kaspersky_Lab on #habrahabr
Хабр
Security Week 17: атаки по цепи поставок
В начале апреля мы обсуждали атаку ShadowHammer на ноутбуки Asus как пример вредоносной кампании с использованием цепочки поставщиков. Атаки на supply chain представляют особый интерес для...
Принято решение не выпускать Scientific Linux 8
http://www.opennet.ru/opennews/art.shtml?num=50554
Лаборатория Fermilab, занимающаяся разработкой дистрибутива Scientific Linux, объявила о сворачивании разработки дистрибутива и намерении в дальнейшем перейти на использование CentOS 8 вместо разработки новой ветки Scientific Linux 8, основанной на пакетной базе Red Hat Enterprise Linux 8. #opennet
http://www.opennet.ru/opennews/art.shtml?num=50554
Лаборатория Fermilab, занимающаяся разработкой дистрибутива Scientific Linux, объявила о сворачивании разработки дистрибутива и намерении в дальнейшем перейти на использование CentOS 8 вместо разработки новой ветки Scientific Linux 8, основанной на пакетной базе Red Hat Enterprise Linux 8. #opennet
www.opennet.ru
Разработка Scientific Linux 8 свёрнута в пользу CentOS
Лаборатория Fermilab, занимающаяся разработкой дистрибутива Scientific Linux, объявила о прекращении разработки новой ветки дистрибутива. В дальнейшем компьютерные системы Fermilab и других вовлечённых в проект лабораторий будут переведены на использование…
[Из песочницы] Подготовка к промышленному производству ДО-РА
https://habr.com/ru/post/449046/
Tags: Гаджеты, Интернет вещей, Медгаджеты, Носимая электроника, Развитие стартапа, gadget do-ra, гаджет до-ра, dozimetr-radiometr for smartphone, дозиметр-радиометр для смартофна, радиация, radiation
Author Yelin on #habrahabr
https://habr.com/ru/post/449046/
Tags: Гаджеты, Интернет вещей, Медгаджеты, Носимая электроника, Развитие стартапа, gadget do-ra, гаджет до-ра, dozimetr-radiometr for smartphone, дозиметр-радиометр для смартофна, радиация, radiation
Author Yelin on #habrahabr
Хабр
Подготовка к промышленному производству ДО-РА
1. Транспортировка образцов Проект DO-RA был рождён в марте 2011 г. после ядерной катастрофы на АЭС Фукусима в Японии и задумывался в виде гаджета – персонального дозиметра-радиометра работающего...
Город принял: три мегатонны хакатона в Нижнем Новгороде
https://habr.com/ru/post/449050/
Tags: Карьера в IT-индустрии, Конференции, Хакатоны, хакатон, global city hackathon, нижний новгород, на стрелке далёкой
Author Verovir on #habrahabr
https://habr.com/ru/post/449050/
Tags: Карьера в IT-индустрии, Конференции, Хакатоны, хакатон, global city hackathon, нижний новгород, на стрелке далёкой
Author Verovir on #habrahabr
Хабр
Город принял: три мегатонны хакатона в Нижнем Новгороде
Субъективное мнение одного простого наблюдателя Обычно статьи про хакатоны на Хабре не особо-то интересны: небольшие встречи для решения узких проблем, профессиональные дискуссии в рамках какой-то...