Feed aggregator

Немного про счетные и несчетные множества

Habr.com - Mon, 10/20/2025 - 12:07

Приведу два случая сравнения счетного и несчетного множеств (на примере рациональных и иррациональных чисел).

Множество считается счетным, если все его элементы можно пронумеровать натуральными числами. Мощность такого множества обозначается как «алеф-нуль». Множество рациональных чисел является счетным.

Если множество невозможно взаимно-однозначно соотнести с множеством натуральных чисел, то такое множество называется несчетным. Множество иррациональных чисел является несчетным.

Данные примеры наглядно демонстрируют некоторую «ограниченность» множества рациональных чисел в сравнении с множеством иррациональных.

----

Построим числовую прямую и начнем отмечать на ней все рациональные числа по очереди. Причем первому элементу присвоим длину 1/2 (в любых единицах, сколь угодно малых) на числовой прямой, второму элементу – 1/4 длины, третьему – 1/8, четвертому 1/16, и так далее. Тогда сумма длин, присвоенных каждому рациональному числу, будет равна 1 (сумма геометрической прогрессии). И это несмотря на то, что в каждом бесконечно малом промежутке числовой прямой будет бесконечное количество таких длин. Другими словами, на бесконечной числовой прямой все рациональные числа займут всего одну единицу длины. Всё остальное – иррациональные числа. Можно взять сколь угодно маленькую величину первого члена прогрессии. Тогда ее сумма и, соответственно, общая длина всех рациональных чисел на прямой, будет стремиться к нулю!

----

Заполним бесконечную плоскость бесконечным количеством не совпадающих по своему положению точек однородно таким образом, чтобы у каждой точки координаты были рациональными. Например, (1; 2), (1/3; 3/8) и т.д. Плоскость будет заполнена точками с бесконечной плотностью. Покажем, что через любую точку, свободную от заданных, можно провести прямую, которая не коснется ни одну из заданных.

Читать далее

Баг в восприятии: как любовь к сериалам и фильмам может стать причиной рабочих конфликтов

Habr.com - Mon, 10/20/2025 - 12:05

В этой статье мы разберём, почему просмотр сериалов негативно влияет на командную работу, и что можно сделать, чтобы не пришлось отказываться от серийки перед сном.

Читать далее

Недельный геймдев: #248 — 19 октября, 2025

Habr.com - Mon, 10/20/2025 - 12:04

Из новостей: продажи No, I’m not a Human превысили 500к копий, BALL x PIT про шары продался тиражом 100к копий за сутки, умер дизайнер Томонобу Итагаки, Heroes of Might & Magic: Olden Era добавили в вишлист более миллиона человек.

Из интересностей: Furnish Master EA 100к продаж, про важность обсуждений, Александр Тужик — хочу и буду: пишу движок для игры.

Читать далее

ИИ для технической и пользовательской документации. Какие нейросети помогут

Habr.com - Mon, 10/20/2025 - 12:03

Любая человеческая деятельность, любой проект порождает информацию. Ей нужно делиться, но не всей. Желательно обработать поток данных, прежде чем предоставить его кому-то. На этом принципе построено любое обучение, вербальное и даже невербальное взаимодействие — тот, кто отправляет информацию, учитывает возможности и особенности того, кто её принимает.

Читать далее

Сокращаем расходы на Kubernetes: практические подходы для pet-проектов и продакшена

Habr.com - Mon, 10/20/2025 - 12:02

Привет! Я — Дима, менеджер продукта Managed Kubernetes в Selectel. Каждый день я вижу, как компании разных масштабов — от небольших стартапов до крупных enterprise — переносят свои сервисы в Kubernetes. Это логично: Kubernetes стал стандартом де-факто для оркестрации контейнеров, и с ним проще масштабировать и управлять приложениями.

Но как только кластер растет, почти всегда возникает вопрос: как оптимизировать расходы? Ведь большая часть стоимости — это воркер-ноды, на которых крутятся поды. Значит, первое, на что стоит обратить внимание, — выбор подходящих типов виртуальных машин или серверов. Под катом разберем варианты для разных сценариев: от pet-проектов до продакшен-сервисов.

Под кат →

Почему разработчики выступают за и против визуального и low-code программирования: причины и ответы на возражения

Habr.com - Mon, 10/20/2025 - 12:01

Привет, Хабр!

«Давайте все будем на ассемблере писать. Зачем мы пользуемся фреймворками?» — эта фраза из недавней дискуссии о low-code платформах прозвучала как манифест. И она заставила задуматься: где граница между разумным использованием абстракций и откровенным vendor lock-in?

Коллеги устроили жёсткий разбор low-code платформ — без маркетингового глянца и дипломатии. Спойлер: никакой «серебряной пули» мы не нашли. Зато выяснилось, что low-code платформы прошлого и нового поколения — это принципиально разные вещи. И что конфликт между разработчиками и визуальным программированием — это на самом деле спор о том, как писать код в 2025 году, когда есть и мощные LLM, и микросервисная архитектура из сотен сервисов.

Читать далее

Программисты получают 2,8 млн. в год и разработка всё равно дорожает. Как это остановить

Habr.com - Mon, 10/20/2025 - 12:00

Привет, Хабр!

«Разработчики исчезнут, но не все» — когда я услышал эту фразу в дискуссии на канале Dev Q&A, она засела в голове надолго. Вот факт: за 10 лет средняя зарплата разработчика в России выросла с миллиона до 2,8 миллиона рублей в год. Стоимость часа работы — с $30-50 до $80-100, у крупных агентств доходит до $300-400. И это происходит как раз тогда, когда появились ИИ-ассистенты, low-code платформы и масса других инструментов, которые вроде бы должны всё удешевлять.

Читать далее

Программирование на Go: чему можно научиться за 2 часа и как понять, стоит ли идти дальше

Habr.com - Mon, 10/20/2025 - 12:00

Многие не понимают, зачем проходить бесплатные части курсов. Кажется: ну что там можно узнать за пару часов? У нас в Практикуме бесплатная часть — это не просто демо, а полноценный мини-курс. Вы не просто посмотрите на код со стороны, а напишете первые программы сами, поймёте логику языка и оцените, подходит ли вам профессия. 

Сегодня покажем, что ждёт вас в бесплатной части курса «Go-разработчик с нуля». Спойлер: за несколько часов вы напишете свой первый код, разберётесь с переменными и типами данных, а главное — создадите первую версию голосового помощника, Алисы. И всё это без опыта в программировании.

Читать далее

URLPattern — pattern matching, который мы ждали

Habr.com - Mon, 10/20/2025 - 12:00

Привет, Хабр! На связи снова Сергей, ведущий фронтенд-разработчик из Центрального университета. В последнее время я преисполнился URL и опять хочу про него рассказать. 

В прошлой статье я рассказал о том, почему неправильно использовать URL API для валидации ссылок. В этот раз буду использовать инструменты по назначению. Речь пойдет про новый URLPattern API для сопоставления URL с шаблонами, который позволит валидировать ссылки без головной боли.

Читать далее

Лучший веб UI для 1С-разработчиков

Habr.com - Mon, 10/20/2025 - 11:59

На Global Tech Forum в октябре 2025, я услышал историю от ИТ-директора компании Gulliver, производителя одежды. Он рассказывал, как инхаус команда 1С разработки автоматизировала процессы жизненного цикла продукта в группе компаний - от планирования коллекций, до размещения заказов в производства и учет реализации в сбытовую сеть. 

Формально проект был завершен удачно: система запущена, процессы автоматизированы, отчётность формировалась корректно. Плановые проектные показатели были достигнуты. Однако, при опросе удовлетворённости пользователей команда разработки услышала неожиданный отзыв от главного дизайнера компании о том, что компания столкнулась со сложностью в найме новых специалистов из-за жалобы на «некрасивый» UI. 

Читать далее

Как я пришел к SLO: От хаоса алертов к осознанности

Habr.com - Mon, 10/20/2025 - 11:34

Меня зовут Дима Синявский, я SRE-инженер в Ви.Tech — это IT-дочка ВсеИнструменты.ру.

Много лет назад я сидел под компьютером во время дождя. В субботу. И меня ударила молния.

Не буквально — хотя, если бы было буквально, мне бы сейчас не пришлось писать эту статью. Но энергетически — да. С тех пор я заряжен.

20+ лет в IT: сисадмин, бэкенд-разработчик, руководитель разработки, теперь — SRE.

Ты разработчик или инженер эксплуатации, и тебя дергают на каждую 500-ку. Бизнес требует: «Разберитесь!». А ты не знаешь — это много или мало? И главное — почему именно сейчас?

Если тебя уже задергала куча алертов от сервисов и не знаешь, что делать — ты здесь правильно.

Я раскажу про SLO не в общем, а от себя лично. Не через одну книжку. А через боль и бессонные ночи.

Но предупреждаю, если ты из компании, где SLO уже как офисная кофеварка — тебе тут нечего делать. Эта статья — для тех, кто только начинает. Для тех, кто хочет спать. Для тех, кто не ждёт идеального решения — и готов начать прямо сейчас.

Читать далее

Как добавить AI-ревью и ответы ассистента в Pull Request всего за 30 минут

Habr.com - Mon, 10/20/2025 - 11:27

В этом материале я покажу, как всего за 30 минут встроить в ваш CI/CD пайплайн полноценное AI-кодревью и ассистента на базе открытого инструмента AI Review — без платных API и лишней инфраструктуры.

Читать далее

Как научить ИИ говорить по делу: короткие рабочие приёмы

Habr.com - Mon, 10/20/2025 - 11:07

Общение с ChatGPT или другими нейросетями часто превращается в охоту за смыслом. Вместо прямого ответа вы получаете длинное полотно — с комплиментами, философией и случайным рецептом оладий. А нужная информация где-то посередине. Узнаёте? В этой статье разберём, как сделать так, чтобы ИИ писал коротко и по делу.

Читать далее

Как не дать проблемам накопиться: метод частых ретроспектив

Habr.com - Mon, 10/20/2025 - 11:06

Доброго времени суток, дорогой читатель! Эту короткую статью я пишу для менеджеров проектов, работающих на так называемых "галерах" (компаниях, которые в погоне за прибылью игнорируют чаяния своих сотрудников - P.S. это исключительно мое определение, и если кто не согласен, то предложите пожалуйста свое определение в комментариях). Под катом - история работы над одним проектом и выводы, которые я сделал после его завершения.

Читать далее

RED FLAGS В НАЙМЕ ГЛАЗАМИ ЛИДА

Habr.com - Mon, 10/20/2025 - 11:01

Red flags — это не про токсичных сотрудников, а про нас всех, просто кто-то отпустил ситуацию, а кто-то в ней остался. Эта статья — для тех, кто хочет увидеть “проблему кандидатов” глазами руководителя и понять, что на самом деле идёт не так. А ещё — для молодых лидов, которые только учатся управлять командами. Возможно, мои red flags помогут вам избежать ошибок, которые часто обходятся весьма дорого — людям, проектам и самим руководителям. Надеюсь статья понравится)

Читать далее

HTML и CSS ошибки, влияющие на доступность. Мой опыт и моего незрячего знакомого Ильи. Часть 13

Habr.com - Mon, 10/20/2025 - 11:01

Хабр, я снова пришёл к вам с практическими советами про доступность вместе с Ильёй. Мы показываем, как HTML и CSS могут улучшить или ухудшить её. Напоминаю, что Илья мой незрячий знакомый, который помогает мне найти наши косяки в вёрстке.

Сегодня мы рассмотрим следующие аспекты:

- где полезно использовать элемент search;

- существующие проблемы при использовании единиц измерения от размеров вьюпорта для установки размера текста;

- как элемент hr влияет на опыт пользователей скринридера;

- нужны ли заголовки модальным окнам.

Давайте начнём!

Читать далее

О вызовах в разработке современной пререндеренной игры The Goddess's Will: работа с графикой

Habr.com - Mon, 10/20/2025 - 11:00

Доброе утро, Хабр!

Разработка технического демо длиной в пять лет подошла к концу, а работа над полной версией The Goddess's Will обещает быть интенсивной и сложной.
Сегодня я принёс статью о базовых проблемах, с которыми мы столкнулись при производстве графики, разрабатывая современную игру в эстетике пререндера.

В прошлом тексте я общими мазками набросал наш путь, а теперь предлагаю погрузиться чуть глубже, посмотреть на общетехнические детали и вызовы разработки. Перед вами не гайд и не научная статья, текст носит чисто публицистический развлекательный характер. Опишу всё простым языком, так что даже читатель, не знакомый с разработкой игр, всё прекрасно поймёт. Также, бонусом, я добавил ответы на самые обсуждаемые комментарии под прошлым постом.

Добро пожаловать под кат. Там вас ждут кровь, пот, рендеры, а также тематические мемы и движущиеся картинки!

Читать текст, смотреть движущиеся картинки

Мой первый pet-проект: процесс-менеджер synd3

Habr.com - Mon, 10/20/2025 - 10:21

Всем привет!

Пишу этот пост, чтобы поделиться своим опытом и получить критику или советы от людей с большим опытом.

Мне 22 года, я из Латвии. По образованию я судовой механик, но уже около 4 лет увлекаюсь программированием. Долгое время это оставалось хобби: пробовал сайты, простые игры — но они не приносили настоящего удовольствия. Я считал, что в программировании нужно было разбираться ещё со школы, и долго не верил, что могу найти себя в этой сфере.

Переломный момент наступил, когда я заинтересовался системным программированием. Каждый раз, когда узнаю, как работает низкоуровневая часть ОС, у меня будто открывается новый мир. Особенно зацепила тема процессорного планирования: все говорят «железо, CPU, видеокарта», но на практике даже реализация планировщика процессов может заметно влиять на производительность.

Читать далее

Использование Obsidian при проведении пентеста

Habr.com - Mon, 10/20/2025 - 10:20

В последнее время Obsidian стал очень популярным. В своей деятельности (проведение тестирования на проникновение) я его использую уже около 2-х лет и в этой статье я расскажу о том, как можно использовать Obsidian при проведении пентеста. Возможно, мой опыт использования будет кому-то полезным.

Поехали...

Разбираемся с Нобелевкой по экономике, а также миллиардное дело о пиратстве OpenAI

Habr.com - Mon, 10/20/2025 - 10:13

Самые интересные новости финансов и технологий в России и мире за неделю: серебро и золото продолжают ставить рекорды, JPMorgan боится тараканов, принудительное гашение четырех фондов Тинькофф, новый самый молодой миллиардер, США раздумывают над спецоперацией в Венесуэле, ChatGPT снимет ограничения на эротику, а роботов Илона Маск не могут дособирать (потому что у них нет лапок).

Читать далее

Who's online

There are currently 0 users and 2 guests online.
Syndicate content