4 place 0
Как убедиться, что в аппаратном дизайне нет багов? Результаты обычных тестов иногда сигнализируют только о том, что ошибки не нашлись, а не о том, что их нет вовсе. На помощь приходит формальная верификация — метод, который проверяет все состояния системы в поисках ошибки. Для промышленной верификации есть три решения: VC Formal от Synopsys, Cadence от JasperGold и коммерческая часть Yosys. Проприетарные инструменты проверены «в бою», но доступны далеко не всем. Меня зовут Борис Новосёлов, я младший инженер
A newsletter a day!
You may get 10 most important news around midday in daily newsletter. Press the button and we will send you the most important news only, no spam attached.
LIKE us on Facebook so you won't miss the most important news of the day!
Habr
An East Bay apartment complex has been bought at a price that's well below its prior value. Read more ›
0
A PG&E Corp. unit has bought a San Jose building in a move to bolster the utility's South Bay operations. Read more ›
0
OpenAI launches 'Guaranteed Capacity' for enterprises to lock in long-term, uninterrupted compute to reduce the impacts of downtime. Read more ›
0 newcommer
Researchers formulated a mathematical equation that unifies 12,000 years of human population growth and points to an alarming worst-case scenario. Read more ›
0 newcommer
The Marvel Studios show co-starring Ben Kingsley is coming back for season two, and its star has some ideas. Read more ›
0 fresh
wiredmikey shares a report from SecurityWeek: Anthropic says its Claude Mythos model discovered thousands of severe vulnerabilities across more than 1,000 open source software (OSS) projects. According to the AI giant, Mythos Preview has identified more than 23,000 potential vulnerabilities. Of these, 1,900 have been reviewed by external security firms, and 1,726 have been confirmed, including over 1,000 rated "high" or "critical" severity. The findings are still being reviewed, and... Read more ›
0 fresh
Drake's three new albums, "Iceman," "Habibti," and "Maid of Honour," topped the Billboard 200, showcasing his strategy to court streams over critical acclaim. Read more ›
0 fresh
ServiceNow Chief Marketing Officer Colin Fleming said Tuesday that he is leaving the IT services software giant for OpenAI, where he will assume the role of CMO for its business segment. The executive worked for ServiceNow for two years and was previously a marketing executive at Salesforce for ... Read more ›
0 newcommer
Tesla VP Lars Moravy left the door open for a Model S and Model X revival after the company retired the EVs from its lineup. Read more ›
0 fresh
В прошлой статье я разбирал паттерны и необходимость компромиссов в реальной разработке, и там была одна мысль которую я намеренно оставил в стороне. Паттерны редко живут в одиночку, и любая реальная система это не один паттерн, а несколько, склеенных, скрученые, слепленных, и местами прибитых сбоку гвоздями, и каждый из них закрывает только часть проблемы. Менеджер ресурсов это, наверное, самый показательный пример такой склейки, потому что снаружи он обычно выглядит как... Read more ›
0 fresh
Dropbox founder and CEO Drew Houston said Tuesday that he plans to step down as CEO, ending one of the longest running tenures at the helm of a tech company. Houston said Ashraf Alkarmi would become co-CEO with him during a transition period, after which Houston would become executive chairman ... Read more ›
0 newcommer
Pope Leo’s first encyclical marks an unprecedented alliance between the Church and Silicon Valley. Read more ›
0 fresh
Chernobyl's nuclear plant still stands frozen in time 40 years later, preserving the scars of disaster while shaping the future of nuclear safety. Read more ›
0 fresh
Яндекс 360 давно перестал быть просто «ещё одной подпиской на облако». Для одних это удобный способ хранить фото, видео и документы в Диске, для других — почта без хаоса в рассылках, для третьих — рабочая среда с Телемостом, календарём, документами и корпоративными инструментами. Поэтому вопрос экономии здесь тоже стал практичным: если сервис используется каждый день, даже небольшая скидка на Яндекс 360 промокодом может заметно снизить расходы за месяц или год.В... Read more ›
0 fresh
DeWalt is constantly putting out new enticing power tools, and with springtime in full swing, these ones might be particularly compelling for your new project. Read more ›
0 fresh
Bugonia, Good Boy, and Send Help are among the films deserving of your eyeballs this month. Read more ›
0 fresh
Reynold Xin and Mike Murchison say there is space for students to reframe their relationship to AI. Read more ›
0 fresh
Я не знал что делать с неиспользованными вовремя лимитами Claude. Поэтому создал и опубликовал репозиторий, который автоматически переводит книги.Протестировал на учебнике по химии - OpenStax «Chemistry: Atoms First 2e», состоящем из 1200+ страниц, 21 глава, ~200 разделов с формулами и 1000+ иллюстрациями.Перевод можно посмотреть здесь: github-pages Читать далее Read more ›
0 fresh
In Magnifica Humanitas, the Pope decries the concentration of technological power in a few global players. Read more ›
0 fresh
Habr
Группа компаний "Орион" (более известная под маркой "Орион Телеком") - крупный провайдер услуг интернета, телевидения и телефонии в Сибири. Компании группы используют единую сетевую и серверную инфраструктуру.30.07.2025 г. на сайте Орион Телекома появилось объявление о возможной утечке персональных данных в результате кибератаки 12.06.2025. За пару месяцев до этого как раз вступили в силу новые "дорогие" штрафы за масштабные утечки (так называемые "оборотные штрафы за утечки", хотя они не оборотные на... Read more ›
0
К весне 2026 года картинка стала почти ритуальной. XBOW занял первое место на HackerOne, обогнав тысячи живых багхантеров, и в марте закрыл Series C на сто двадцать миллионов долларов с интеграцией в Microsoft Security Copilot. Anthropic Mythos Preview в системной карте отчитывается о тысячах найденных zero-day в основных операционках и браузерах. Все мерят возможности в атаках: ASR на CVE-Bench, скорость, место в лидерборде, выручка за квартал и то как он... Read more ›
0
![[Перевод] Изнурительно подробное руководство по SSH (лишь те аспекты, которые я нахожу полезными)](https://times42.com/media/9/0/5/12452905_640x200.jpg "[Перевод] Изнурительно подробное руководство по SSH (лишь те аспекты, которые я нахожу полезными)")
О, вам нравится SSH? А перечислите-ка все флаги!ПриветствуюВсе мы видели эти красивые схемы, демонстрирующие, как в SSH устроен проброс портов. Но, если мы с вами мыслим хотя бы немного схоже, то эти схемы оставляют у вас больше вопросов, чем дают ответов. Если вы за «красных» в области компьютерной безопасности, то, чтобы обрести в сети суперсилу и в дальнейшем бесчинствовать, вы должны понимать сеть лучше, чем те, кто её проектировал. Один... Read more ›
0
Итак, в предыдущей части мы остановились на поиске решения задачи линейной регрессии. Сформулировали в общем виде задачу машинного обучения, поняли суть параметров, рассмотрели функции ошибок и начали копать в сторону линейной регрессии. Ещё раз повторю, что этот цикл статей является лишь взглядом на ML с моей колокольни, так что он не обязательно является истиной во всех редакциях в последней инстанции. Так что буду рад всякому, кто исправит меня, коли сверну... Read more ›
0
Деплоите LLM? Значит, обвешиваете её гардами. Сначала safety, потом PII, потом prompt injection, потом toxic BERT - и в один прекрасный день обнаруживаете, что у вас 5 классификаторов на каждой ноде и 20 forward-ов на один пользовательский запрос.GLiNER Guard (GLiGuard) - возможность схлопнуть этот стек в единый schema-driven энкодер. И да, его можно тоже промптить: через zero-shot + description. Читать далее Read more ›
0
Kufar.by - это примерно как avito.ru, только в Беларуси. После очередного “улучшения” там стало невозможно выбирать авто и недвижимость: цены показываются только в белорусских рублях, хотя рынок всегда будет в долларах (боже, храни Америку). Поэтому я сделал небольшой Chrome Extension, который добавляет рядом ориентировочную цену в долларах. Пока только для авто и недвиги. И да, по ощущениям, ЛПРы, которые это выкатывали, никогда не покупали ни то ни другое на своём... Read more ›
0
В статье «Извлечение и обработка требований из документов с помощью NLP-инструментов» я уже показывал, как переход от LLM к NLP-библиотекам помогает ускорить обработку текста. Это, конечно, не значит, что нужно совсем отказываться от LLM — они незаменимы для генерации текста и сложных рассуждений. Но чтобы определить, что «кошками» — это творительный падеж множественного числа существительного «кошка», действительно не нужен миллиард параметров нейросети. Для задач лемматизации, POS-тегирования и определени Read more ›
0
Тема импортозамещения и цифрового суверенитета в российском IT давно стала обыденностью: мы переходим на отечественные ОС, внедряем локальные ERP‑системы и развиваем свои платформы. Но в сфере геймдева дискуссии обычно сводятся к нехватке кадров и инвестиций. Однако на днях в инфополе прозвучало куда более радикальное предложение.Видеоблогер Deep_DEP Game выпустил масштабный манифест (охвативший YouTube, формат Reels и лонгрид на Дзене), в котором открыто поддержал действия РКН и призвал пойти дальше — забл Read more ›
0
25 апреля 2026, пятница вечером. Jer Crane, основатель PocketOS, смотрит, как AI-агент Cursor удаляет его production-базу. Со всеми бэкапами. За 9 секунд.Потом Jer спрашивает у агента — почему? И получает дословное признание: «I guessed instead of verifying. I violated every principle I was given».Модель помнит правила. Цитирует их. И всё равно нарушает.Это разбор трёх таких случаев — и трёх защит, которые я внедрил у себя после. Разбираю три случая Read more ›
0
BBR принято считать современным стандартом TCP congestion control. Google разработал его в 2016 году, он работает в production крупнейших CDN, его хвалят в каждой второй статье о сетевой оптимизации. И всё это заслуженно — но с существенной оговоркой, о которой обычно не пишут. Вперёд в прошлое… Read more ›
0
Most popular sources
ScienceDaily
|
0% |
Tech Wire Asia
|
0% |
Sifted
|
0% |
The Fintech Times
|
0% |
ArcticStartup
|
0% |
| View sources » | |
LIKE us on Facebook so you won't miss the most important news of the day!
26.05.2026 17:24
Last update: 17:15 EDT.
News rating updated: 00:12.
What is Times42?
Times42 brings you the most popular news from tech news portals in real-time chart.
Read about us in FAQ section.
