Feed aggregator

Верификация цифровых схем. Маршрут функциональной верификации

Habr.com - 2 hours 19 min ago

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

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

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

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

Читать далее

[Перевод] Синтетические леса для выращивания мозга

Habr.com - 4 hours 33 min ago

Есть разные способы понять, что именно происходит в нашем мозге. Можно наблюдать за мозгом через сканы МРТ или посредством вскрытия. Можно выращивать органоиды – небольшие пласты нейронов, которые коммуницируют друг с другом. И даже использовать эти органоиды как процессор на биореакторе. Можно еще имитировать процессы мозга, используя вычислительные мощности и создавая 3D модели… Но можно ли вырастить мозг в лаборатории? Да, можно. Если использовать адекватные строительные леса.

Читать далее

За AR очками будущее

Habr.com - 4 hours 48 min ago

Мы медленно вступаем в 4-ю промышленную революцию, где интернет-пространство существует не отдельно, а влияет на реальность, и наоборот. Вследствие объединения технологий и принципов телефонной связи и компьютерных систем появился тот интернет, какой мы знаем сейчас.

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

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

Я вижу двух кандидатов: очки AR и складные смартфоны. И если о «раскладушках» можно дискутировать и спорить, что это не нечто новое, а улучшение смартфона (но про это мы поговорим в другой раз), то очки — принципиально новое устройство для взаимодействия с интернетом и реальностью.

Читать далее

152-ФЗ для детсада. Как не упасть в обморок, если вы — заведующий

Habr.com - Mon, 11/24/2025 - 22:51

В последние годы вопросы защиты персональных данных в образовании вышли на первый план из-за участившихся инцидентов. Регулятор требует, чтобы детские сады оформляли все документы по новым правилам и не допускали утечек данных воспитанников. К тому же родители стали более осведомлены о своих правах: жалобы в случае разглашения информации о ребенке могут привести к проверке и санкциям. Одной публикации на сайте списка детей или фотографий без согласия достаточно, чтобы создать проблемную ситуацию. Таким образом, владеть базовыми знаниями о 152-ФЗ сегодня необходимо каждому руководителю ДОУ. Поэтому, а еще потому что у большинства детских садов нет собственного специалиста по защите персональных данных, а приглашать внешнего эксперта часто не позволяет бюджет я решил написать эту статью. Надеюсь она поможет разобраться ответственным лицам (заведующим, директорам, юристам дошкольных образовательных учреждений (ДОУ)).

Большинство общих обзоров закона о персональных данных, к сожалению, мало пригодны для решения практических задач в детском саду. Моя цель – изложить требования максимально прикладным языком, с акцентом на реальных ситуациях ДОУ. Предположу, что читателю уже знакомы базовые понятия: кто такой оператор и лицо, действующее по поручению оператора, какие принципы обработки данных установлены законом, что включает в себя политика оператора по ПДн, а также общие меры защиты информации. Не вдаваясь глубоко в теорию, сконцентрируюсь на специфике дошкольных учреждений и дам пошаговые рекомендации. Статья структурирована так, чтобы ее можно было легко прочитать и использовать как справочник – вы сможете цитировать отдельные разделы или пересылать коллегам.

Читать далее

Spec Kit против чистого Claude Code — вайбкодим с документацией

Habr.com - Mon, 11/24/2025 - 22:37

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

Читать далее

Мольба к администрации Хабра

Habr.com - Mon, 11/24/2025 - 22:20

Уважаемые администрация ресурса Хабр!

Сделайте пожалуйста возможность банить индивидуальных пользователей в комментариях по тому же принципу, как вы это сделали для публикаций на сайте!

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

А если вы добавите в профилях всех пользователей, кроме значений Кармы и Рейтинга, еще и подсчет количества Банов (у скольких пользователей текущий человек находится в четном списке), то это будет супер полезная информация в самом начале дискуссии.

Заранее спасибо за обратную связь и надеюсь на скорую реализацию подобного функционала!

Читать далее

Маск хочет 200 миллиардов чипов: подборка свежих IT-новостей №1

Habr.com - Mon, 11/24/2025 - 22:12

Илон Маск замахнулся на 200 миллиардов чипов в год. Ян Лекун, главный учёный по искусственному интеллекту Meta, покидает компанию после 12 лет работы. В ChatGPT интегрировали TripAdvisor. Google запустила Gemini 3 с режимом Deep Think. Microsoft призналась в том, что у винды проблемы, а WhatsApp* допустил утечку 3,5 млрд номеров пользователей.

Читать далее

Как выбрать между облаком, арендой GPU и своим железом для LLM-систем

Habr.com - Mon, 11/24/2025 - 22:04

В этой статье разберём, во сколько обходится LLM-сервис при нагрузке в 100 000 диалогов в день и где проходит граница окупаемости разных вариантов. Посмотрим на стоимость облачных API, аренды GPU и собственного железа, а заодно прикинем, какая инфраструктура нужна, чтобы всё это выдержало боевой трафик.

Читать далее

Java. Многопоточность для самых маленьких. Часть 1

Habr.com - Mon, 11/24/2025 - 21:55

Всем привет!

Многопоточность в Java не стоит на месте, а многие до сих пор используют только synchronized и создают потоки через new Thread(). С этого дня я запускаю серию уроков по современной многопоточности: как её правильно строить, в чём преимущества новых подходов по сравнению со старыми и что из классики всё ещё стоит использовать. Постараюсь объяснять максимально просто и наглядно, чтобы уроки были полезны и стажёрам, которые только начинают разбираться в теме, и опытным разработчикам, которым интересно узнать современный стиль работы с потоками.

Поехали!

Читать далее

Анализ ЦА для бизнес-канала в телеграм: подробная инструкция

Habr.com - Mon, 11/24/2025 - 21:42

От сегментирования до детального портрета ЦА — в этой статье. Разбираю все нюансы анализа целевой аудитории и даю развёрнутые примеры.

Читать далее

Workspad как отказоустойчивое решение для коммуникации

Habr.com - Mon, 11/24/2025 - 21:40

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

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

В этой статье я расскажу, как этот проект вписывается в программу импортозамещения, почему для нас критически важен был принцип High Availability (высокая доступность), какие Open Source технологии мы выбрали для обеспечения независимости и как нам удалось заставить все компоненты работать как единый, бесперебойный механизм.

По официальной документации архитектура представлена в таком варианте...

Читать далее

Практическое исследование: вайбкодим HFT движок с Gemini 2.5 Pro

Habr.com - Mon, 11/24/2025 - 21:16

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

Читать далее

Эти чипCы (именно снеки!) защищают серверные, спутники и банкоматы в Тайване

Habr.com - Mon, 11/24/2025 - 21:05

Зайдите в сервернуюна Тайване и вас довольно часто будет ждать сюрприз: между рядами серверов, на них, да и просто на любом критически важном оборудовании будет лежать зеленая пачка чипсов Kuai Kuai со вкусом кокоса. Причем это не чья‑то забывчивость после обеда — тайваньские IT‑шники верят, что для стабильной работы серверов важны не только чипы, но и чипсы.

Звучит как странная шутка, но это довольно распространенное явление. Такие же пачки лежат в лабораториях главного научного института страны Academia Sinica, их клеят на аппараты ИВЛ в больницах, раскладывают у макетов ракет перед запуском спутников. Экс-премьер, доктор наук в области инженерии одного из университетов Лиги плюща, объявлял о президентской кампании со словами «Kuai Kuai хочет, чтобы я баллотировался». У феномена даже есть статья в Википедии - «Kuai Kuai culture». При этом сама компания-производитель понятия не имеет, как это началось — гендиректору пришлось гуглить, когда журналисты стали его расспрашивать.

Читать далее

Мифы, суеверия и народные мудрости в разработке игр

Habr.com - Mon, 11/24/2025 - 20:55

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

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

Понедельнишное

Дайджест новостей из мира науки за прошедшую неделю

Habr.com - Mon, 11/24/2025 - 20:50

• Загадочная галактика посреди войда продолжает производить звёзды без топлива, удивляя учёных

• Носимое устройство на кончике пальца позволяет ощущать виртуальные текстуры на сенсорных экранах

• Учёные впервые заглянули в самую внутреннюю область системы белого карлика

• Споры мха выжили после 9 месяцев снаружи Международной космической станции

• Прорыв в лечении диабета: инсулин можно будет вводить с помощью крема для кожи

Читать далее

Интеграция BotHub с Kaas: пошаговая настройка эндпойнтов и API‑ключей

Habr.com - Mon, 11/24/2025 - 20:47

Мой путь с Kaas начался с сообщения Max tokens must be >= 16. Я уставился на поле ввода и не сразу понял — это шутка или крик о помощи.

Kaas уже в релизе, но по стабильности напоминает бета‑версию, выложенную в пятницу вечером перед долгими выходными. За минималистичным фасадом скрывается лабиринт настроек и поведение, которое больше похоже на игру в русскую рулетку с токенами.

Дальше — обзор Kaas, список настоящих багов и пошаговая инструкция, как прокачать терпение (и заставить программу наконец отвечать).

Читать далее

Аудит Роскомнадзора без паники: как подготовиться к проверке и пройти ее без штрафа

Habr.com - Mon, 11/24/2025 - 20:43

Я — Оксана Пастернак, старший юрисконсульт компании Cloud.ru. Мы предоставляем облачные сервисы и взаимодействуем с Роскомнадзором (РКН) по вопросам защиты персональных данных и соответствия требованиям законодательства. Изнутри вижу, как важно выстроить процессы так, чтобы облако оставалось безопасным и проверку можно было пройти спокойно.

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

Читать дальше

SyncHub: как я восстановил синхронизацию после перехода с iPhone на Android

Habr.com - Mon, 11/24/2025 - 20:37

Полтора года назад я сделал решение, которое казалось мне невозможным — перешёл с iPhone на Android. Годы, проведённые в экосистеме Apple, приучили меня к определённому удобству: уведомления везде, синхронизация работает как по волшебству, а Mac и смартфон работают так, будто это одно целое устройство. Но когда я впервые включил Android-смартфон и сел за Mac, меня ждал шок. Звонок на Android, а я сижу за компьютером и ничего не вижу. SMS приходит на телефон, а на Mac — тишина. Уведомления из мессенджеров я получаю только если беру смартфон в руки. Файлы между устройствами передаются через облако или, в худшем случае, через почту. Данные о здоровье и активности — полностью разобщены. То, что казалось таким естественным в экосистеме Apple, в мире Android превратилось в набор несвязанных приложений и утомительных переходов. Я начал искать решение и нашёл SyncHub — приложение для синхронизации Android с Mac. И оказалось, что экосистему можно восстановить, причём на своих условиях

Не верю! (с)

Security Week 2548: ботнет Tsundere со вкусом блокчейна

Habr.com - Mon, 11/24/2025 - 20:12

Специалисты «Лаборатории Касперского» опубликовали на прошлой неделе свежую статью, в которой подробно описывается работа ботнета Tsundere. Имплант данного ботнета использует для коммуникации протокол WebSocket, а для первоначального соединения с командным сервером задействует необычный механизм с применением смарт-контрактов в криптовалютной сети Ethereum.

Исследователям не удалось достоверно определить первоначальный вектор заражения данным вредоносным кодом. В одном задокументированном случае имплант был установлен с помощью файла pdf.msi, который, в свою очередь, был загружен со скомпрометированного веб-сайта. По имеющимся названиям других образцов можно также предположить, что организаторы атаки используют в качестве приманки популярные игры для Windows, в частности Valorant, Counter-Strike 2 и Tom Clancy’s Rainbow Six Siege X. Распространяется имплант как в виде инсталлятора MSI, так и в формате скрипта PowerShell.

Читать далее

Публичное или частное облако: чем они отличаются и что лучше

Habr.com - Mon, 11/24/2025 - 20:05

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

Читать далее

Who's online

There are currently 0 users and 1 guest online.
Syndicate content