4 place 0 fresh
В прошлых статьях я разбирал линейное и целочисленное программирование: PuLP, OR-Tools, pyomo, задачи о назначениях, коммивояжёра, раскрой, генерацию столбцов. Здесь рассмотрим немного иной подход: выполнимость булевой формулы, она же SAT. С одной стороны, это фундамент теории NP-полноты. С другой, вполне рабочий инструмент, который на чисто комбинаторных задачах нередко обходит классические MIP-солверы.Дальше по плану: что такое SAT, как устроены алгоритмы, позволяющие солверам тянуть сотни тысяч переменны
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
The Clicks Communicator was unveiled in January, but this is our first look at a working prototype. Read more ›
0 newcommer
On October 24, 1946, a captured V-2 rocket fired from White Sands carried a 35mm camera to 65 miles up and brought back the first photographs of Earth from space — the film survived because engineers had wrapped it in steel and trusted the desert sand to catch it. Read more ›
0 newcommer
Ну что же…, на дворе 2026 год, первый DogPlanner живёт своей жизнью, доступен на многих площадках мобильных приложений, мы о нём много писали в соцсетях и различных блогах. С тех пор как мы сделали его, а опубликовали мы его аж в июне 2020 года, вы прислали нам много различных идей по его доработке, написали множество отзывов, а также мы узнали о приличном количестве проблемных мест по его функциональности и содержанию,... Read more ›
0 newcommer
Человеческий мозг настроен на порядок: макароны к макаронам, телевизоры к телевизорам. Это кажется логичным, эффективным и «правильным». Именно так устроены склады без WMS — или, точнее, без продуманного алгоритма размещения. Но крупнейшие в мире фулфилмент-центры работают ровно наоборот. Amazon хранит зубную пасту рядом с книгами и запчастями. Для человека — хаос. Для алгоритма — математически совершенная архитектура.Этот материал — разбор концепции хаотичного (динамического) адресного хранения (chaotic st Read more ›
0 newcommer
Занимаясь сайтами и SEO уже 20 лет научился отличать "всё готово" от "всё поломано" по первому скриншоту. О каких проблемах я говорю?1. Иллюзия доступностиВайб‑кодинг продаёт простую идею: тебе не нужно знать код. Тебе не нужно понимать архитектуру. Тебе не нужно проектирование. Ты просто описываешь — и получаешь работающий продукт.Это правда. Наполовину. Да, ты получишь работающий прототип. Да, он откроется в браузере. Да, кнопки будут нажиматься. Но открывается в браузере —... Read more ›
0 newcommer
The mugs in daily rotation aren't kept out of sentimentality but as a small daily record that some objects have quietly earned their place. The psychology of habit, attachment, and the difference between objects we cling to and objects that have proven they fit. Read more ›
0 fresh
Привет всем любителям физики и физических экспериментов! Меня зовут Татьяна Трубицына, я генеральный директор некоммерческого образовательного проекта GetAClass. Мы снимаем видеоролики по школьной физике -- и самые популярные из них переводим в текстовый формат для любителей лонгридов. Первая статья на тему нашего старенького ролика «Парадокс изогнутой трубы». Далее -- слово Андрею Ивановичу Щетникову, ведущему фильмов GetAClass, педагогу, методисту и члену жюри Турниров Юных Физиков. Читать далее Read more ›
0 newcommer
Discover how the new DOT and NHTSA autonomous vehicle proposal eliminates the brake pedal mandate, paving the way for the Tesla Cybercab robotaxi. Read more ›
0 fresh
Когда говорят про нейросети в разработке игр, разговор почти всегда уходит в одну из двух крайностей.Первая: «это всё ерунда, игрушка для ленивых».Вторая: «теперь один человек может нажать пару кнопок и сделать новый Fallout».Обе версии удобные. И обе, по моему опыту, довольно далеки от реальности.Я уже довольно давно (третий год) в одиночку делаю Sunarius — большую постапокалиптическую RPG (представьте игру как Fallout 2, вот это оно). Это проект с глобальной картой,... Read more ›
0 fresh
Привет, Хаброжители! Сегодня мы поделимся с вами отрывком из книги: "Современная бизнес-аналитика. Увеличьте ценность данных с помощью Python и R". Статья посвящена ModelOps — набору практик для эффективного развертывания и эксплуатации моделей машинного обучения. Вы узнаете, как организовать полный жизненный цикл модели: от оценки и мониторинга до переобучения. В материале приведены практические примеры создания приложений для пакетной и онлайн-оценки с помощью R Shiny и Python Streamlit, а также дашборда. Read more ›
0 fresh
Пару дней назад я собрал сводку новостей по lakehouse и закончил её обещанием: разберу каждый громкий анонс по отдельности. Выполняю - и начинаю с самого шумного.На своём июньском саммите Databricks вышел на сцену с заявлением масштаба смены эпохи: отдельные быстрые базы под витрины больше не нужны, перекачка данных между системами умерла, а всё хозяйство теперь живёт в едином озере, готовом под ИИ-агентов. Звучит так, что хочется встать и поверить.Я вместо... Read more ›
0 fresh
D2C kitchenware startup The Indus Valley has raised $17 Mn (around ₹161 Cr) in its Series B funding round led… Read more ›
0 newcommer
Представьте, что ваш зашифрованный трафик злоумышленники записывают прямо сейчас. На первый взгляд, это бессмысленно: расшифровать его классическими методами невозможно. Однако существует стратегия «собери сейчас, расшифруй потом» (Harvest Now, Decrypt Later). Суть такого подхода заключается в накоплении зашифрованных данных сегодня, чтобы взломать их завтра, когда появится достаточно мощный квантовый компьютер, называемый в литературе криптографически-значимым квантовым компьютером (Cryptographically Relev Read more ›
0 fresh
Dbrand, a company known for making phone cases and vinyl wraps for electronic devices, will not be shipping the Companion Cube wrap it announced for the Steam Machine. Concept art for the project was initially shared on social media shortly after the Steam Machine unveiling in November last year, but pre-orders didn't actually go live until 22nd June. Read more Read more ›
0 fresh
Older Americans are divorcing late in life. It's forcing them to make tough decisions about retirement savings and their kids' inheritance. Read more ›
0 fresh
Vilnius-based climate finance company InSoil has secured a €120 million senior secured credit facility to expand their capacity to provide mid-term debt capital to agricultural SMEs adopting sustainable farming practices, including no-till cultivation, cover cropping, diversified crop rotation and reduced use of synthetic fertilisers. The credit facility has come from Pollen Street Capital, marking one ... Read more ›
0 fresh
Обзор лучших ИИ для создания песен и фоновых треков. Разбираем, какая нейросеть для генерации музыки выдает студийный звук, как написать песню нейросетью с вокалом и избежать проблем с копирайтом. Читать далее Read more ›
0 fresh
Habr
В июне 2026 года в репозитории OpenAI Codex появился баг-репорт, который быстро стал одним из самых обсуждаемых. Пользователь обнаружил, что Codex непрерывно пишет огромный объем диагностических логов в локальную SQLite-базу и потенциально способен записывать до 640 ТБ данных в год на SSD. Через неделю проблема была признана и исправлена двумя PR. Читать далее Read more ›
0
В C++ часть ошибок выглядит слишком безобидно, чтобы сразу насторожиться: std::move в return, emplace_back «для скорости», перемещение из const, move‑конструктор без noexcept. Код компилируется, тесты могут проходить, а потом внезапно появляются лишние копирования, просадки производительности и странное поведение объектов. Разберём пять типичных ловушек move‑семантики на небольших задачах и посмотрим, где именно ожидания разработчика расходятся с тем, что реально делает язык. Разобраться в move Read more ›
0
![[Перевод] Уловки, подсмотренные у медоносных пчёл, помогают дронам возвращаться домой без GPS](https://times42.com/media/9/7/0/12622970_640x200.jpg "[Перевод] Уловки, подсмотренные у медоносных пчёл, помогают дронам возвращаться домой без GPS")
Медоносные пчёлы регулярно улетают на расстояние до 3 км от своего улья в поисках пищи, а затем возвращаются домой с поразительной точностью. Если соотнести это с размером их тела, то это сравнимо с тем, как если бы человек пролетел сотни километров и нашёл дорогу обратно без карты, компаса, GPS или смартфона. Несмотря на то, что мозг пчёл меньше кунжутного семечка, они совершают этот подвиг с поразительной эффективностью. Теперь исследователи адаптировали... Read more ›
0
Статья про то, как я связал Obsidian с Claude и Codex через домашний сервер, CouchDB и MCP, а по дороге поймал баг, который тихо съедал куски заметок.🔧 Это не про «как всё стало умным», а про нормальную историю с self-hosted, авторизацией, странностями LiveSync, мобильными клиентами, CORS, OAuth 2.1.👀 Внутри выводы о том, как давать AI доступ к базе знаний и не потерять эти самые данные.Заходите, читайте и делитесь своим опытом... Read more ›
0
Схема входящего траффика в кластер Kubernetes простая: web → Envoy Gateway → Ingress Nginx → backend. За Ingress Nginx, помимо обычного HTTP, живут долгоживущие WebSocket-соединения. Штатная нагрузка - около 100 RPS. Ничего экзотического.В один прекрасный день всё в кластере легло. Клиенты получают 503/500. В логах Envoy - флаг UF и upstream_reset_before_response_started{connection_timeout}. То есть ingress-nginx просто перестал отвечать.Дальше - два часа разбора и довольно красивая цепочка причин, которая. Read more ›
0
Целью этой статьи не является полный пересказ спецификации USB или книгу по USB. Я хочу приоткрыть магию работы USB и представить информацию таким образом, чтобы вы получили быстрый старт для понимания всего стека USB: от интерфейсов и конечных точек до электрических сигналов. Читать далее Read more ›
0
GenAI-ассистент может довольно быстро начать отвечать "по теме": находить релевантные фрагменты, собирать уверенный текст и создавать ощущение, что система уже работает.Если подключить LLM к корпоративным документам через RAG, подобрать параметры поиска, немного почистить контекст и добавить хороший prompt, первые результаты часто выглядят обнадеживающе. Пользователи начинают пробовать систему, появляются первые метрики использования, а сама идея быстро кажется готовой к расширению.Но для продуктового конту Read more ›
0
Классический unit-тест — это «вход X → ожидаю Y». Вы придумали кейс, зафиксировали ожидание, поехали. Проблема в том, что баги обычно живут не в кейсах, которые вы придумали, а ровно в тех, до которых не дотянулась фантазия: пустая строка, эмодзи, дубликаты, отрицательный ноль, перевод строки внутри значения, целочисленное переполнение.Property-based testing (PBT) переворачивает подход: вы описываете свойство — утверждение, которое должно быть истинно для любого корректного входа, — а фреймворк сам... Read more ›
0
Представьте гиперноду облака. Гипернода — это физический сервер с запущенным гипервизором, на котором работают виртуальные машины клиентов. Под дисками этих машин лежит программно определяемое хранилище Ceph: распределенная система, где данные размазаны по многим серверам с копиями, без отдельного дискового массива. Меняем на ноде одну переменную — операционную систему. Виртуальные машины не пересобираем, кластер хранения не трогаем, диски и сеть те же. Ни одной новой железки, ни строчки нового кода в... Read more ›
0
Классический сценарий: весь учёт ИТ-активов вёл один человек – желательно в Excel, ещё желательнее в голове. Человек уходит, и выясняется, что никто толком не знает, сколько серверов в серверной, когда заканчиваются гарантии и где документы на закупку. Поговорим о том, почему это происходит почти в каждой второй компании и почему с 2025 года он ещё и создаёт регуляторные риски. И главное как выстроить учёт так, чтобы уход конкретного человека снова... Read more ›
0
Most popular sources
Financial Times
|
0% |
ArcticStartup
|
0% |
ReadWrite
|
0% |
Ubergizmo
|
0% |
AlleyWatch
|
0% |
| View sources » | |
LIKE us on Facebook so you won't miss the most important news of the day!
30.06.2026 04:51
Last update: 04:45 EDT.
News rating updated: 11:43.
What is Times42?
Times42 brings you the most popular news from tech news portals in real-time chart.
Read about us in FAQ section.
