​Эпистемология качества программного обеспечения

Исследования показывают, что на качество нашей работы в наибольшей степени влияет человеческий фактор. Почему же мы делаем такую большую ставку на технические решения? Об этом рассуждает Гиллель Уэйн, консультант по формальной верификации и автор книги Practical TLA+.

​Обзор новой системы контроля версий Sapling

Одними из самых популярных VCS являются Git, Mercurial и Subversion. Все эти системы предназначены помогать разработчикам совместно работать над проектами, отслеживать изменения в своём коде и поддерживать историю работы. В этой статье поговорим о новом игроке в этой области — VCS Sapling.

​«Привет! Я Олег Королёв, директор по аналитике в AGIMA. Когда я прошу начинающих аналитиков провести количественное исследование, у них возникает куча вопросов. Я собрал самые популярные из них и написал эту статью. Подробно рассказываю, как проводить количественные исследования, как строить выборку, сколько вопросов задавать и как обрабатывать результаты. Уверен, аналитики и продакт-менеджеры найдут для себя что-то полезное»

Количественные исследования: виды, методы, анализ результатов

​Декларативное построение диаграмм

Код может быть красивым сам по себе, но графическое представление не помешает. Обратим внимание на такой инструмент, как D2 (Declarative Diagramming) Terrastruct, Inc.

​⚡️ Новости к этому часу

🍏 Apple пообещала более подробно разъяснять причины удаления приложений из App Store

🛰 Техники НАСА открыли люки космического корабля Orion и начали проверку оборудования (ФОТО)

🛒 «Яндекс Маркет» выпустил электроинструменты под собственной торговой маркой Nocord

🛠 VK открыла доступ к программе тестирования VK Testers всем компаниям

🆕 Вышел Paint.NET 5.0

🪱 Белки червя-паразита приспособили для заживления ран

💠 Intel официально представила флагманский процессор Core i9-13900KS

🔭 «Джеймс Уэбб» сфотографировал пылевой диск вокруг близлежащего красного карлика

#новости

​🎙 19 января в виртуальной студии Хабр Про обсудим взаимодействие команд разработки и управления продуктом. Если тема вам интересна и у вас есть вопросы, пишите — мы ответим на них онлайн.

👉 Задать вопрос

​История суперкомпьютера, которого не было

Этот суперкомпьютер был впервые запущен 26 лет назад, 12 января 1997 года, в лаборатории города Урбана, штат Иллинойс. Спектр его функций в целом соответствовал техническим возможностям современных нейросетей и систем машинного интеллекта: синтез и понимание речи, распознавание визуальных образов и человеческих лиц, интерпретация эмоционального поведения, возможность ведения осмысленного диалога с оператором, оценка произведений искусства и даже игра в шахматы. Пожалуй, у этой машины имелись две особенности, благодаря которым она оставила заметный след в человеческой истории. Во-первых, она стала известна ещё задолго до даты своего фактического появления на свет — в конце 60-х годов XX века. А во-вторых, её никогда не существовало в реальности.

​Полупроницаемые мембраны: что, зачем, как изготавливаются

С момента изобретения технология получения чистой воды, носящая название «обратный осмос», получила широкое распространение ввиду своей малой энергозатратности и существенного превосходства над стандартными технологиями вроде выпаривания.

Именно благодаря ей стало возможным осуществлять глубокую очистку воды, которая включает в себя удаление из неё не только механических примесей, но даже растворённых веществ и вирусов!

Тем не менее, если мы обратимся за описанием технологии производства фильтрующего элемента к техническим даташитам компаний-производителей, то в них речь будет идти, по большей части, о физическом устройстве фильтрующего элемента, в то время как технология производства всегда будет прикрыта туманными фразами вроде «ноу-хау», «на основе собственной технологии» и т.д. и т.п.

Что, в общем-то, и понятно, люди борются за сохранность своего бизнеса :-)

Однако мы попробуем в общих чертах изучить, что представляет собой технология производства подобных фильтрующих элементов

​JEP-400, или UTF-8 РєРѕРґРёСЂРѕРІРєР° РїРѕ умолчанию

Не прошло и пяти лет, как в Java 18 докатилось небольшое, но очень ожидаемое и обсуждаемое изменение: теперь во всех стандартных API используется кодировка UTF-8 по умолчанию. Это изменение, которое сделает выражение «Write once, run anywhere» действительно правдой, так как теперь поведение приложения будет ещё меньше зависеть от системы, где оно запущено.

​Многие отличные специалисты, руководители и предприниматели живут с ощущением, что они могли бы быть более эффективными и результативными. Работать больше, добиваться лучших результатов, учиться быстрее. Это постоянное ощущение дефицита рождает чувство вины: «Я мало стараюсь, другие в мои годы достигли большего, надо прилагать ещё больше усилий». Чувство вечной вины и стыда — изматывающее и разрушающее. Можно ли с ним что-то сделать?

Ты можешь лучше, или Как избавиться от вины, что ты недостаточно хорош

​⚡️ Новости к этому часу

📃 Positive Technologies и АО «ЧЭАЗ» отчитались об успешных испытаниях на совместимость MaxPatrol SIEM и ПТК «КВАНТ-ЧЭАЗ»

🔝 Glassdoor опубликовала ежегодный список 100 лучших компаний для работы в США

👩‍🦰 Разработчик создал себе виртуальную подругу с помощью нейросетей ChatGPT, Stable Diffusion 2 и Text To Speech от Azure

💥 В работе сервисов Nvidia GeForce Experience и GeForce Now произошёл сбой

📱 Билл Гейтс на AMA в Reddit рассказал о своём новом смартфоне и используемом ПО

🌑 Аппарат Korea Pathfinder Lunar Orbiter впервые сделал снимок затенённой области Луны (ФОТО)

📛 Платформа Cookpad удалит из базы все рецепты блюд на русском языке и перестанет работать в России с 31 января

🛠 Microsoft тестирует создание live kernel dump в диспетчере задач Windows 11

🙅🏻‍♂️ Минцифры не будет выделять 22 млрд рублей на развитие мобильной операционной системы «Аврора»

#новости

​Жарим TOAST в PostgreSQL

Как PostgreSQL хранит большие значения столбцов? Какие явные и неявные ограничения есть у существующего механизма хранения? Что за проблемы вызваны этими ограничениями? Как можно решить эти проблемы и расширить возможности PostgreSQL? Об этом и поговорим.

​Настройка LDAP-аутентификации в кластере Kubernetes под управлением Deckhouse

Deckhouse — Kubernetes-платформа с открытым кодом, с помощью которой можно создавать идентичные Kubernetes-кластеры в любой инфраструктуре и автоматически управлять ими. Для проверки подлинности в Deckhouse используется модуль user-authn. Он настраивает единую систему аутентификации, интегрированную с Kubernetes и веб-интерфейсами других модулей — например, с Grafana.

user-authn поддерживает несколько внешних провайдеров и протоколов аутентификации: GitHub, GitLab, Bitbucket Cloud, Crowd, LDAP и OIDC. Поговорим о том, как развернуть сервер LDAP и настроить через него доступ к приложению.

​«Не верьте знакомым, которые говорят, что хорошо воспринимают речь носителей на слух. Даже носители друг друга часто переспрашивают. И если ты не носитель языка, выросший в Англии, у тебя ВСЕГДА будут проблемы с восприятием речи британца»

Про аудирование, или Из чего состоит знание иностранного языка

​«Я видел не во сне, а наяву атакующие корабли, пылающие под четырьмя вложенными if-else, и лучи CI с кучей сканирований у ворот Тангейзера, вызывающие лютую боль разработчиков. Меня зовут Максим Морев, и я техлид в Газпромбанке.

То, что вы сейчас увидите, выросло из внутреннего стайлгайда, к которому мы пришли через тернии многочисленных код-ревью и разработанных сервисов. Я постарался собрать здесь все основные и просто интересные грабли, которые нам попадались, и показать решения с примерами и обзором возможных трудностей в процессе внедрения»

CI, кодстайл и TDD: обзор практик для повышения качества кода

​«Как мне кажется, ChatGPT может стать хорошим инструментом в помощь разработчику, он может брать на себя какие-то тривиальные и рутинные операции на своём уровне абстракции»

Как ChatGPT тестовое задание для собеседования писал

​Ты уважаемый CISO крупной нефтяной компании, но твой ребёнок — блогер и зарабатывает больше тебя?

Ты нашёл уязвимость по программе Bug Bounty у мясомолочного завода, а у них нет денег, и они выплачивают тебе молочкой и мясом?

Регулятор выдал новую порцию требований, а у тебя бюджет — три рубля и жвачка «Турбо»?

Эти и многие другие злободневные ситуации ребята из «Инфосистем Джет» объединили в игре Jet Security Memes

​«Я наблюдаю за развитием IT в течение приблизительно четверти века, и с каждым днём меня всё сильнее удручает происходящее»

Микросервисы — отчуждение от результатов труда

​«Этот пост будет про недокументированные функции микроволновой печи. Я покажу, сколько полезных вещей можно сделать, если использовать слегка доработанную микроволновку нестандартным образом»

В микроволновой печи скрывается мощное и опасное СВЧ-оружие

#хабраархив

​Перспективы китайских производителей чипов: компании объединяются для развития электронной промышленности в КНР

Один из центров такой «кристаллизации» — корпорация Huawei, которая пострадала от торговой войны Китая и США сильнее прочих.