6 place 0 fresh

133 Классификация и анализ методов верификации нейросетей

Habr
still-swamp (СберЗдоровье) @ Habr · today 08:28 EDT

Классификация и анализ методов верификации нейросетей

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

To see detailed statistics for the news please log in »

Read the original

Add your comment
You must be logged in with Facebook to read and write comments.

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.

or register

LIKE us on Facebook so you won't miss the most important news of the day!

News from the same source
Habr Habr
Silicon Valley
George Avalos @ Silicon Valley 1 place · 02/07/2106 01:28 EDT

Newark apartment complex bought for much less than prior value

An East Bay apartment complex has been bought at a price that's well below its prior value. Read more

0

🔮
25.06.2026 ♍︎ Horoscope for Virgo today Dear Virgos, today has several important aspects that require your attention... Read more ›
Silicon Valley
George Avalos @ Silicon Valley 2 place · 02/07/2106 01:28 EDT

PG&E buys San Jose building to bolster South Bay operations

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

Gizmodo
Isaiah Colbert @ Gizmodo 1 place · today 10:30 EDT

‘Absolute Batman’ and ‘Joker’ Animated Series in the Works

DC Sudios greenlit a Joker anime, a Krypto kids cartoon, and an animated 'Absolute Batman' series. Read more

0 newcommer

EU-Startups
David Cendon Garcia @ EU-Startups 1 place · today 10:28 EDT

Bosch and Siemens Energy partner Almetra raises €16 million Series A for manufacturing intelligence platform

Almetra, the Berlin-based manufacturing intelligence company formerly known as Deltia, today announced a €16 million ($19 million) Series A funding round to accelerate product development, international expansion into the US, and the build-out of Almetra’s platform into a comprehensive intelligence and automation layer for the shopfloor. The round was led by transatlantic investor Blisce, based ... Read more

0 newcommer

Tom's Hardware
Tom's Hardware 1 place · today 10:28 EDT

Want an RTX 5070 Ti? Here’s where to get one for $899 —  don't pay retail and save $220 today

Newegg has the Gigabyte GeForce RTX 5070 Ti Eagle OC Ice SFF 16G graphics card up for sale for $899 after direct discounts. Read more

0 newcommer

Wired
Nena Farrell @ Wired 1 place · today 10:24 EDT

Kobo Libra Colour Sale (2026): The E-Reader Deal Worth Jumping on This Prime Day

The color e-reader that’s most worth your money this Prime Day isn't from Amazon. Read more

0 newcommer

Habr
Bizonozubr @ Habr 1 place · today 10:22 EDT

Android-троян Mamont — теперь на Kotlin

24 февраля 2026 года в 16 часов по Хабаровскому времени в мессенджере MAX от аккаунты папы приходит сообщения вида "Посмотри, это ты на фото" и следующим сообщением приложен файл "Фото(3).apk". Я сразу же позвонил отцу - интернет отключили, симку вытащили, а на следующий день он сходил в МФЦ и поменял пароль. Файл с вирусом скачать я не смог - через полчаса после этого аккаунт отца удалили за спам, плюс само... Read more

0 newcommer

Habr
dm_ptmkn @ Habr 2 place · today 10:22 EDT

[Перевод] Барбара Лисков
«Абстракция данных и иерархия»

Наверное, каждый программист, работавший с объектно-ориентированными языками, хотя бы раз слышал о принципе подстановки Лисков. Однако мало кто знает, о чем именно Лисков писала в своей статье и как она сама формулировала этот принцип. Мы перевели ее доклад, прозвучавший на OOPSLA'87, чтобы дать каждому возможность обратиться к первоисточнику. Прочитав этот текст, вы увидите, насколько более сложным и неочевидным было отношение Лисков к теме наследования. Читать далее Read more

0 newcommer

Habr
beeline_cloud (Beeline Cloud) @ Habr 3 place · today 10:20 EDT

«Cлопмагеддон!»: угрожает ли опенсорсу волна сгенерированных пулл-реквестов?

Последнее время в опенсорсе много драмы: продолжаются споры о системах ИИ, позволяющих за минуту переписать проект и изменить его лицензию на разрешительную, и опенвошинге, когда доступный код выдают за открытый. Теперь на первые полосы вышла новая проблема — массовый наплыв пулл-реквестов, сгенерированных системами ИИ [ситуацию уже окрестили «слопмагеддоном»]. Обстановка дошла до того, что мейнтейнеры закрывают возможность участия в развитии открытых проектов. Мы в Beeline Cloud решили обсудить проблему и. Read more

0 newcommer

Skift
Rafat Ali @ Skift 1 place · today 10:20 EDT

What Albania’s Flamingo Revolution Tells Us About Sovereign Capital’s Coastline Problem

The largest tourism-real-estate deals increasingly arrive with a demand for exceptional treatment: special investor status, rewritten protections, consent bypassed. Albania is just the loudest case; the governance failure is the same everywhere. Read more

0 fresh

TechRadar
TechRadar 3 place · today 10:17 EDT

Apple just made Macs and iPads more expensive — Prime Day might be your last chance to buy before prices catch up

Apple's new pricing is already in effect, but Prime Day is keeping MacBooks, iPads, and other Apple devices at some of their lowest prices of the year. Read more

0 fresh

Digital Trends
Vikhyaat Vivek @ Digital Trends 1 place · today 10:14 EDT

Xiaomi 17T Pro review: Not quite Ultra, but I didn’t want to put it down

Xiaomi’s latest T-series Pro phone delivers Leica-tuned cameras, excellent battery life, strong gaming performance, and a polished design, though its size and software quirks may not be for everyone. Read more

0 fresh

Inc42 Media
Lokesh Choudhary @ Inc42 Media 1 place · today 10:13 EDT

IRDAI’s Reform Push That Can Upend Insurance Startups

When someone buys car insurance in India, it’s generally assumed that most of the premium goes towards insurance coverage. However,… Read more

0 fresh

Inc42 Media
Anne Florentyna @ Inc42 Media 2 place · today 10:10 EDT

Smartworks Strengthens Singapore Presence With New Acquisition

Adding to its bid to double down on the Singapore market, listed coworking major Smartworks’ board has now approved a… Read more

0 fresh

Tech.eu
Tamara Djurickovic @ Tech.eu 1 place · today 10:10 EDT

Serpier raises €1.4M to help online retailers improve digital visibility

Danishmartech startup Serpier has raised €1.4 million in funding from True Collectiveand the Export and Investment Fund of Denmark (EIFO) to expand its AI-poweredmarketing platform for e-commerce busi... Read more

0 fresh

The most popular news from the same source for the last week
Habr Habr
Habr
rrgaleev (Райффайзен Банк) @ Habr · 06/18/2026 10:08 EDT

Границы применимости LLM в мобильном UI-дизайне

LLM уже умеют быстро собирать мобильные макеты, и на первый взгляд результат часто выглядит убедительно. Кнопки похожи на кнопки, bottom sheet на bottom sheet, экран не разваливается, и его можно показать на обсуждении. Но на практике это всего лишь аккуратный черновик, который ещё нужно как следует доработать: посмотреть компоненты, состояния, навигацию, safe area, длинные тексты и поведение на маленьком экране.Поэтому предлагаю разобраться, где LLM-инструменты действительно снижают стоимость первой итерац Read more

0

Habr
codesrc @ Habr · 06/18/2026 10:20 EDT

Дедупликация пользователей в базе данных: сохраняем связанные записи

Знакомая боль: пользователи опечатываются при регистрации, а база данных медленно, но верно превращается в хаос. На одном из проектов в поддержку артистов мы столкнулись с этим лицом к лицу.Раньше карточки артистов создавались автоматически прямо из заявок на выступления. В итоге мы получали гору дубликатов с одинаковыми почтами и телефонами. Администрировать такую базу и координировать выступления стало безумно сложно.Конечно, правильнее всего - пресекать появление дублей еще на входе, но нам нужно... Read more

0

Habr
khmelkoff @ Habr · 06/18/2026 10:23 EDT

Как мы с Claude Code учились оценивать качество RAG системы

Уверен, на Хабре найдётся немало статей, посвященных оценке качества RAG систем. Тема по-прежнему остаётся актуальной, потому что даже готовые библиотеки вроде RAGAS не очень-то работают из коробки и требуют навыков программирования и некоторой квалификации. При этом сам процесс оценки - повторение достаточно простых операций и мне всегда хотелось переложить его на AI-ассистента.Повод попробовать появился неожиданно: свободное время и курс по Claude Code на Stepik. Для финала как раз нужен был... Read more

0

Habr
Maslennikovig @ Habr · 06/18/2026 10:54 EDT

LazyWeb: бесплатный MCP на 257 тысяч экранов, который чинит говнодизайн агентов и их хозяев

Когда агент рисует интерфейс «из головы», он выдаёт усреднённое из обучающих данных: безопасные цвета, layout, который вы видели тысячу раз. Я устал это разгребать и подключил LazyWeb — бесплатный MCP-сервер на 257 тысяч реальных экранов приложений и сайтов. Теперь агент сначала ищет, как это сделали живые продукты, и только потом проектирует. Свежий пример: UX админки для большого облачного проекта он собрал с первого раза — удобно, современно, функционально. Я был... Read more

0

Habr
vasimv @ Habr · 06/18/2026 10:55 EDT

Ubuntu 26.04 на клоне DGX Spark (Asus GX10)

DGX Spark и его клоны поставляются с DGX OS (фактически, Ubuntu 24.04 с кучей дополнительных пакетов от Nvidia). Причем, драйвера используются довольно старые, версии 580, cuda toolkit тоже чуток устарел, 12-ой версии. Кроме того, стоит куча невразумительных пакетов с телеметрией (типа, для работы с Nvidia Sync), обвешано все какими-то левыми скриптами и странными настройками.Не то, чтобы это создавало прямо уж совсем серьезные проблемы, но сам факт наличия какого-то непонятного bloatware... Read more

0

Habr
ramfactory @ Habr · 06/18/2026 11:13 EDT

ROP Level 1 в GD32F4: «А метлой дверь подпёр?» Или как нежно слить защищенную прошивку через программатор

«Граждане новосёлы! Внедряйте культурные навыки!» Пока вы зашиваете коммерческие алгоритмы в кремний и надеетесь на ROP Level 1, где-то в лаборатории уже корабли бороздят просторы народного театра!Автор статьи официально заявляет, что не несёт ответственности за разбитые коммерческие иллюзии и бинарники. Весь материал предоставлен исключительно в научно-исследовательских, образовательных и превентивно-оборонительных целях. Помните: взлом чужого оборудования без согласия владельца преследуется по закону. Есл Read more

0

Habr
KostyaAB (RUTUBE) @ Habr · 06/18/2026 11:38 EDT

Как мы прокачали конверсию в PREMIER: разбор AB‑тестов

Это реальные истории. Из уважения к читателю — все данные настоящие. Из уважения к коммерческой тайне — все цифры агрегированы.Всем привет! Меня зовут Костя, я работаю в онлайн-кинотеатре PREMIER менеджером по продукту. В 2025–2026 годах мы провели серию AB‑тестов, чтобы улучшить пользовательский опыт и повысить ключевые метрики сервиса. В этой статье разберу четыре показательных эксперимента. Без воды только то, что сработало. Поехали! За кулисами A/B‑тестов Premier Read more

0

Habr
grelikt @ Habr · 06/18/2026 11:40 EDT

Apache Camel под .NET, разбор по косточкам: HTTP-коннектор без ASP.NET MVC + паттерн Content-Based Router

Серия: redb ecosystem / redb.Route deep-diveВ redb.Route — нашем ESB в стиле Apache Camel под .NET — маршрут всегда читается одинаково: From(источник) → [процессоры] → To(приёмник). Сегодня берём один простой паттерн интеграции и один коннектор и разбираем оба до самого дна. Читать далее Read more

0

Habr
sslock @ Habr · 06/18/2026 11:49 EDT

Последняя экспонента

Технологическая сингулярность была одной из последних больших форм веры в прогресс, ещё пытавшейся выглядеть как теория. В её основе лежал простой образ: если технологическое развитие ускоряется, если каждая новая ступень делает следующую не просто возможной, а более быстрой, то исторический график рано или поздно перестаёт быть продолжением прежнего тренда и начинает напоминать экспоненту. А экспонента в историческом воображении всегда выглядит как особый тип обещания: долго почти ничего, потом — почти... Read more

0

Habr
Data_Lab @ Habr · 06/18/2026 12:11 EDT

Зарплаты в конвертах возвращаются. И это плохой сигнал

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

0

Most popular sources

  • You see 1,065 news out of 1,065.
  • Sources 61 out of 61.
Droid Life 0%
150sec 0%
VentureBeat 0%
CNET 0%
ScienceDaily 0%
View sources »

LIKE us on Facebook so you won't miss the most important news of the day!

25.06.2026 10:40
Last update: 10:35 EDT.
News rating updated: 17:36.

What is Times42?

Times42 brings you the most popular news from tech news portals in real-time chart.
Read about us in FAQ section.


Times42 © 2026