6 place 0 fresh

51 AI, которому запрещено быть правым

Habr
tqec @ Habr · today 04:15 EDT

AI, которому запрещено быть правым

AI, которому запрещено быть правымКогда AI подключают к криптографической системе, обычно задают вопрос: может ли модель найти правильный ответ? Но в криптографии это неправильный вопрос. Правильный вопрос другой: можно ли встроить AI так, чтобы даже при ошибке он не мог принять опасное решение? В этой статье я показываю, как мы реализовали в nonce-observatory отдельный слой governed solver orchestration — архитектуру, в которой AI может:анализировать public-safe feature contract;предлагать solver routes;ст

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

🔮
13.05.2026 ♏︎ Dear Scorpio, today awaits you change and new impressions, although not all of them will... 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

Business Insider
Ben Shimkus @ Business Insider 1 place · today 05:17 EDT

Claude Code's creator says his setup involves thousands of AI sub-agents doing 'deeper work' overnight

Boris Cherny says he has thousands of AI agents running tasks for him, especially at night. He said he tracks them on his phone. Read more

0 newcommer

Business Insider
Henry Chandonnet @ Business Insider 2 place · today 05:15 EDT

Good news, AI coders: You can keep your laptop running while closed

Business Insider readers sounded off about techies walking around with laptops slightly open for their AI agents. Many recommended workarounds. Read more

0 newcommer

Inc42 Media
Shrishti Bisht @ Inc42 Media 1 place · today 05:15 EDT

Zoho Invests ₹70 Cr In ONDC To Back Sovereign Tech Infrastructure

SaaS major Zoho has invested ₹70 Cr (about $7.3 Mn) in the Open Network for Digital Commerce (ONDC) to support… Read more

0 fresh

Habr
submaps (AvitoTech) @ Habr 1 place · today 05:12 EDT

Как я сделал на Flutter игру для разработчиков. Часть 2

Всем привет! Меня зовут Амир Утеуов, я ML-инженер из Авито.В первой части статьи я поделился тем, что пришлось сделать и учесть для создания собственной игры для разработчиков — DevRush. Суть игры заключается в том, что нужно на время находить иконки языков программирования. Я прошёл путь от создания геймплея и векторной анимации до сборки под Android и iOS. Главная неожиданность ждала в App Store — модераторы отклонили игру из-за иконки Android,... Read more

0 newcommer

ReadWrite
Suswati Basu @ ReadWrite 1 place · today 05:11 EDT

New Mexico tribes challenge Kalshi sports contracts over alleged illegal gambling

Four New Mexico tribes are taking prediction market company Kalshi to federal court, arguing that its sports contracts amount to… Continue reading New Mexico tribes challenge Kalshi sports contracts over alleged illegal gambling Read more

0 fresh

Habr
GaiusJulius_media @ Habr 2 place · today 05:11 EDT

Как Яндекс победил Google? Или почему блокировки — худший способ помочь отечественным технологиям

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

0 newcommer

GSMArena.com
GSMArena.com 1 place · today 05:09 EDT

More Lenovo Legion Y70 2026 specs revealed ahead of launch

Lenovo recently confirmed that it is returning to the smartphone market with the launch of an updated Legion Y70 on May 19. Last week, the company teased several key specifications of the 2026 phone, and more details about the device have now surfaced. The Lenovo Legion Y70 (2026) will be powered by the Snapdragon 8 Gen 5 chipset and feature a 5,500mm² vapor chamber. The processor will be paired with... Read more

0 fresh

Habr
PatientZero @ Habr 3 place · today 05:04 EDT

[Перевод] Если if вас замедляют, откажитесь от них

При работе с современными CPU устранение ошибочного предсказания ветвления — ключевой способ повышения скорости программ. Один из самых эффективных способов снижения количества ошибочных предсказаний— полное устранение ветвлений.Возьмём для примера простую задачу: итеративный обход массива и копирование всех чисел меньше 500 в новый массив. Если числа распределены случайно, то результат условия if становится непредсказуемым для блока предсказания ветвления CPU. Из-за этого показатель ошибочного предсказания Read more

0 fresh

Inc42 Media
Anne Florentyna @ Inc42 Media 2 place · today 05:03 EDT

Housing Finance Startup Nivasa Finance Raises ₹25 Cr

Housing finance platform Nivasa Finance has secured ₹25 Cr (about $2.6 Mn) in its seed funding round from Prime Venture… Read more

0 fresh

TechRadar
TechRadar 2 place · today 05:02 EDT

AI security is broken at runtime: Most enterprises don’t realize it yet

Most organizations are still applying traditional security models to a fundamentally different kind of workload, and it’s leaving a critical gap. Read more

0 fresh

Habr
ph_piter (Издательский дом «Питер») @ Habr · today 05:01 EDT

[Перевод] Идемпотентность в System Design: полный пример

Идемпотентность в System Design: полный примерИдемпотентность часто упоминается при проектировании систем (system design). Ниже будет простыми словами объяснено, что это такое, далее мы разберём основные детали идемпотентности, часто понимаемые неверно и, наконец, проиллюстрируем её на полном примере.  Что такое идемпотентность?Операция является идемпотентной, если при однократном или многократном выполнении она всякий раз даёт один и тот же результат. Читать далее Read more

0 fresh

Habr
ru_vds (RUVDS.com) @ Habr · today 05:01 EDT

Установка OpenClaw на VPS

OpenClaw позиционируется как «личный ИИ-ассистент», который помогает обычным людям. Если рассуждать, для кого он полезен больше всего, то в первую очередь — для разработчиков. Во вторую — для владельцев малого бизнеса и предпринимателей, которые могут автоматизировать и решить много реальных практических задач, на которые раньше не хватало времени и ресурсов. А также для пользователей, которые работают с большим количеством контента (сортировка почты, проведение исследований, составление контент-планов и пр Read more

0 fresh

Habr
emeritus (Angara Security) @ Habr · today 05:01 EDT

LNK — это гораздо больше, чем просто ярлык к файлу

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

0 fresh

Business Insider
Charles Rollet @ Business Insider · today 05:00 EDT

Mira Murati's AI dream team got their stock options. Now many are out.

Thinking Machines Lab, led by former OpenAI CTO Mira Murati, faces talent loss to rivals like Meta amid Silicon Valley's competitive AI sector. Read more

0 fresh

The most popular news from the same source for the last week
Habr Habr
Habr
Panarik @ Habr · 05/06/2026 05:23 EDT

Как собрать пайплайн с LLM агентом использующим эмуляторы Android девайсов

LLM пока не может хорошо обращаться с Е2Е автотестами потому что для этого нужно провести целый комплекс мероприятий. Сложность возникает уже на этапе запуска такого автотеста. В отличии от юнит автотестов, Е2Е автотесты почти всегда PageObject и целый проект со своей архитектурой на базе Selenium Appium Espresso и тд. Читать далее Read more

0

Habr
EvgeneKopylov @ Habr · 05/06/2026 05:22 EDT

FSRS для Obsidian: помнить всё

Обсидиан называют «вторым мозгом». Чтобы он им стал, одних связей недостаточно — нужна память.Я сделал плагин интервального повторения на современном алгоритме FSRS. Он запоминает что и когда вы учили, предсказывает что вы вот-вот забудете, и показывает какая тема даётся тяжелее всего. Все данные хранятся локально в ваших .md файлах — ничего не уходит на сервера. Читать далее Read more

0

Habr
breakmirrors (Бастион) @ Habr · 05/06/2026 05:29 EDT

Троянский форк: от шалости до крита

Форк репозитория — операция настолько привычная, что на нее редко смотрят с подозрением. Но что, если через обычный форк можно запустить произвольный код на CI/CD-воркере чужой приватной компании? Именно такую цепочку мы обнаружили в GitFlic — отечественной платформе для совместной разработки ПО и хранения исходного кода от компании «РеСолют». GitFlic во многом похож на GitLab — что логично, ведь создавался как его альтернатива. И получилось у разработчиков сносно: если вы... Read more

0

Habr
ozket @ Habr · 05/06/2026 05:32 EDT

Удобный вместо сильного: как компании незаметно меняют компетентность на лояльность

Такой вопрос поступил от одного из подписчиков моего канала в телеграме. Встреча, на которой дал ответ уже прошла, а здесь размешаю ответ в виде статьи, в которой рассмотрим один конкретный путь, по которому системы приходят к тому, что лояльность начинает вытеснять компетентность, постепенно и почти незаметно. Читать далее Read more

0

Habr
runity (Рунити) @ Habr · 05/06/2026 05:47 EDT

От кликов в ЛК до terraform apply: что меняется в работе с инфраструктурой

Привет, Хабр! На связи Алексей Тюняев, директор по облачным продуктам Рег.облака.Когда инфраструктура небольшая, личного кабинета обычно хватает: зашел, создал сервер, настроил — готово. Но как только серверов становится больше, появляются повторяющиеся операции, командная работа и необходимость воспроизводить окружения, ЛК начинает ограничивать. Именно здесь в игру входит Terraform. В этой статье разберу, что такое Terraform, как он работает и когда его действительно стоит использовать. Читать далее Read more

0

Habr
evertimes (Т-Банк) @ Habr · 05/06/2026 05:55 EDT

Java Digest #35

Всем привет! 👋👋👋👋👋Мы — Java-разработчики Т-Банка: Андрей, Арсений, Роман, Константин и Константин. Собираем интересные новости, статьи, туториалы и другие материалы из мира Java-разработки и делимся этим со всем сообществом.В этом выпуске рассказываем, когда ждать релиз Java 27 и как Oracle планирует регулировать использование генеративного ИИ при написании кода. Посмотрим детальное интервью о Spring Framework 7 и Spring Boot 4 с самой командой создателей Spring. Почитаем, как безопасно работать с нативной. Read more

0

Habr
mbureau @ Habr · 05/06/2026 05:52 EDT

Линеаризованная расходная характеристика паровой турбины

Моделирование паровых турбин — повседневная задача сотен людей в нашей стране. Вместо слова модель принято говорить расходная характеристика. Расходные характеристики паровых турбин используют при решении таких задач, как вычисление удельного расхода условного топлива на электроэнергию и тепло, производимые ТЭЦ; оптимизация работы ТЭЦ; планирование и ведение режимов ТЭЦ. Мною разработана новая расходная характеристика паровой турбины — линеаризованная расходная характеристика паровой турбины. Разработанная Read more

0

Habr
E-Chayka (Directum) @ Habr · 05/06/2026 06:00 EDT

Как объединить заказ услуг и корпоративный мессенджер в одном приложении

Во многих компаниях привыкли: запрос на справки в бухгалтерию отправляют по электронной почте, заявки на ремонт оборудования — во внутреннем чате. Это работает, когда команда небольшая, но стоит ей вырасти до 200-300 человек, как всё рушится. Трудностей не будет, если вместо разрозненных чатов и реестра обращений в Excel внедрить комплексную систему управления услугами (ESM). Читать далее Read more

0

Habr
kmoseenk (OTUS) @ Habr · 05/06/2026 06:10 EDT

[Перевод] Ваш Kafka lag врёт: как настроить алерты по реальной задержке, а не по числу сообщений

Алерт по Kafka lag выглядит убедительно, пока не приходится объяснять, что именно значат «50 000 сообщений отставания» для пользователей и SLA. В статье разбираем, почему offset lag часто создает ложное ощущение контроля, где ломаются популярные подходы к расчету задержки и как перейти к мониторингу по реальному time lag. На примере klag-exporter покажем, как считать задержку через таймстемпы сообщений, настроить метрики для Prometheus и Grafana и сделать алерты, которые помогают дежурному... Read more

0

Habr
webformula @ Habr · 05/06/2026 06:17 EDT

Слои верификации поставщика в агрохолдинге: как работает автоматический скоринг и где он ломается

Олег Линьков, Webformula-AgroКомпания с оборотом 300 млн рублей, хорошим продуктом и конкурентной ценой не попадает в шорт-лист крупного агрохолдинга. Причина — несоответствие адреса в ЕГРЮЛ и на сайте. Для алгоритма скоринга это «красный флаг». Для закупщика — достаточный повод не продолжать. Читать далее Read more

0

Most popular sources

  • You see 918 news out of 918.
  • Sources 61 out of 61.
Tech Wire Asia 0%
Silicon Canals 0%
Mobile ID World 0%
AlleyWatch 0%
Eurogamer.net 0%
View sources »

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

13.05.2026 05:39
Last update: 05:30 EDT.
News rating updated: 12:35.

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