Все потоки

Данная статья — это своего рода продолжение Верификация цифровых схем. Обзор.. В ней хотелось показать некоторые типы тестовых окружений для функциональной верификации и особенности работы с ними.

Хотя у каждой компании/проекта есть свой маршрут функциональной верификации, возникший в определённых обстоятельствах — порождение опыта, ошибок и обстоятельств, — не всегда применяемые там решения являются предметом гордости.

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

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

В последнее время часто всплывает опенсорс-тул для создания приложений - Spec Kit. Его авторы утверждают, что инструмент «помогает сосредоточиться на сценариях использования и предсказуемых результатах, а не на вайб-кодинге с нуля». 50 тысяч звёзд на GitHub звучит убедительно и ложится в концепцию Context Engineering от Андрея Карпаты. Это еще описывается как Spec-Driven Development (SDD) подход (неужели я где-то это уже слышал?) - создание серьезной документации перед тем как начинать оголтело вайбкодить разработку. Мы (ТГ канал для разработчиков использующих AI) решили разобраться, что это за зверь Spec Kit, и сравнить его с нашим текущим подходом.

На закате массового использованияGemini 2.5 Pro хочу поделиться опытом использования этой модели для тестирования продуктовой идеи: от формирования общей продуктовой концепции до работающего прототипа. Уровень проработки прототипа должен был получиться MVP — не меньше. А если исследование получилось бы крайне удачным, то далее его можно было бы уже развить в полноценный тиражируемый и масштабируемый продукт.

Казалось бы, облака давно разобрали по косточкам. Уже даже финдирам понятно, что и как там устроено. Но стоит только кому-то запустить новую платформу или свернуть проект, как начинается: а почему не в паблике? А почему не в приватке? А оно нам вообще надо? И пошло-поехало. Хотя на деле-то выбор часто донельзя очевиден, если знать пару нюансов.

В школе нам рассказывают, как Солнце согревает Землю и делает возможной жизнь. Эта идея остаётся с большинством из нас на всю жизнь. Но когда мы хотим разобраться в том, как и где может существовать жизнь, мы узнаем, что у Земли есть свои собственные источники тепла, которые помогают ей поддерживать пригодные для жизни условия: остаточное тепло и радиоактивный распад. У других каменистых миров тоже могут быть такие источники тепла.

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

Если вы не понимаете почему так дорого, вам сюда. Полный разбор всех начислений, вместе с новым утильсбором, или о том, как наши люди в булочную на такси больше не поедут.

18го ноября, в ГФМЛ №30 на дне наук, я, Саша, CGSG, при поддержки Yandex Cloud провели игровой хакатон для школьников!

Задачей ребят было за 2 часа написать бота для змейки на Lua. Они писали и отправляли стратегии, а в фоне постоянно шли матчи, в которых их стратегии и принимали участие.

И тут я хочу поделиться внутренней кухней. Как все это было приготовлено, с какими проблемами столкнулись, какие ошибки допустили, а что вышло хорошо. Будет много картинок, фоток и даже пару видео.

Oracle основана еще в 1977 году. Компания разрабатывает программное обеспечение в первую очередь для B2B-сектора. Один из их основных продуктов — система управления базами данных Oracle Database, она существует почти с момента основания фирмы. Несмотря на довольно большие масштабы и устойчивость, Oracle долгое время была в тени других IT-гигантов, в том числе в США. 

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

Disclaimer: Эта статья предназначена исключительно для образовательных целей и повышения осведомлённости о киберугрозах. Любое использование описанных техник в злонамеренных целях строго запрещено и преследуется по закону.

Любой человек, который читает научные публикации и сам пишет статьи для научных рецензируемых журналов, на мой взгляд, обязан быть в курсе этого эссе, фактически взорвавшего научный мир двадцать лет назад. Суть статьи заключена в её заголовке: автор на основании выдвинутых им предположений построил статистическую модель, которая предсказала, что большинство опубликованных результатов, вероятно, являются ложноположительными – то есть, говоря простым языком, согласно Иоаннидису большинство опубликованных результатов (якобы найденных взаимосвязей и зависимостей) на самом деле являются ложными.

Жили‑были несколько серверов, в разных локациях. Сколько именно — это непринципиально, поэтому упростим, пусть будет два: A и B.

Каждый занимался своими задачами, а между собой они были соединены виртуальной приватной сетью (ну, то, что теперь нельзя называть).
Причем сеть эта использовалась по своему прямому назначению — просто обеспечить передачу локального трафика через публичные сети, дабы посторонние не совали в него свой любопытный клюв.

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

Как вы понимаете, нормальной работе это отнюдь не способствовало, пришлось искать какое‑то решение. А ведь оно давно известно — динамическая маршрутизация!
Просто до поры она, казалось бы, совсем тут не нужна — не те масштабы, да и работало всё прекрасно...

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

А знаете ли вы, что этот неотъемлемый символ навигации — отнюдь не результат длительных и глубоких исследований по UI/UX? Его история куда интереснее и уходит корнями в аркадные залы конца 70-х.

Он создал логотипы для Fedex, Alitalia, Levi’s и многих других компаний. Многие из них всё ещё активно используются. О жизни, дизайнерских решениях и творческом наследии Вальтера Лэндора — в нашем материале.

Обработка ошибок в JavaScript всегда была немного хаотичной. Получить ошибку легко, но отследить ее первоисточник бывает очень сложно. Именно здесь и приходит на помощь свойство cause.

В этой статье впервые в русскоязычное ИТ-сообщество привносится информация о подлинном Дне системного аналитика.
Также, опровергается распространенный миф, якобы 24 сентября празднуется День СА — мы увидем, что доказательств этому нет.

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

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

Стив Макнил — один из авторов и соведущий культового комедийного шоу о видеоиграх Go 8-Bit. Человек, который брал с собой консоль в путешествия и однажды — даже в медовый месяц. Работая над текстом, он и сам открыл для себя множество ранее неизвестных ему игр.

Волею судеб мне по работе пришлось посмотреть несколько занятий по подготовка к сертификации 1С:Специалист. И от одного лектора вдруг услышал, что использование в условиях виртуальной таблицы массивов, когда можно применить таблицу, — это плохо и медленно. А на сомнения слушателя он ответил: «Я гарантирую это». Думаю, ошибается человек, чего не бывает. И тут в другом занятии другой лектор говорит то же самое. Тут уже волей-неволей задумаешься: а вдруг я чего не помню уже? Но ведь не раз ускорял запросы, меняя таблицы на массивы. И захотелось проверить. Чем не повод для первой статьи на Хабре?

Я много лет работал в продажах. Руководил отделом, закрывал планы. Продавал чужие товары — иногда даже не видел их, только цифры на экране: названия, цены, скидки, бонусы. Зарплату получал хорошую, даже хватало на путешествие по Италии с женой.

Но радости не было. Каждый отпуск мы с женой возвращались к одному вопросу: чем заняться, чтобы делать что-то своё от начала до конца.

Сейчас у нас семейное производство натуральной косметики. Два бренда: MOYABORODA для мужчин и OLFACTORIUS для всей семьи. Оборот — от 500 до 900 тыс. ₽ в месяц. Рентабельность — 24–25%. Команда — 5 человек, плюс мы с женой. Всё делаем сами на площади 100 м² — без инвесторов, без франшизы, без кредитов.

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

С детства нам внушают простую формулу успеха: вырасти → стать руководителем → жить долго и счастливо. Но в ИТ эта схема дает сбой. Одни утопают во встречах и уже не понимают, зачем пошли в менеджмент. Другие переживают из-за горизонтальных переходов, потому что привыкли думать, что рост — это только руководящие позиции. 

Но главное — многие измеряют карьеру чужими мерками и не понимают, чего хотят сами.

Как выглядит современный карьерный путь? Мы собрали за одним столом ИТ-специалистов SENSE разных уровней и направлений и обсудили, что сегодня считается успехом, почему вертикальный рост подходит не всем, как говорить о развитии с руководителем и что делать, если карьерный трек застопорился.

В статье — реальные истории роста, честные наблюдения и рабочие маршруты поиска вектора в профессии. Полезно всем, кто чувствует, что застрял на месте и хочет понять, куда двигаться дальше.