Запуск Palomar: реестр верифицированных доказательств на Lean

Итоги недели 34: ИИ в науке, медицина и чипы

CD Projekt RED назвала ориентировочный год выхода «Ведьмака 4» — 2028
CD Projekt RED официально объявила, что «Ведьмак 4» планируется к выходу в 2028 году. Заявление сделал глава студии Михал Новаковски на фоне подготовки к Gamescomi 2026, где компания также покажет новое дополнение для третьего «Ведьмака».
Точная дата релиза пока не названа — речь идёт только о годе выхода, что подтверждают все источники.
Стартап Meteoric предложил разгонять облака дронами ради солнечных электростанций
Стартап Meteorici разрабатывает технологию, при которой дроны будут разгонять облака вблизи солнечных электростанций, чтобы стабилизировать выработку энергии. Идея в том, что беспилотники механически воздействуют на капли воды внутри облаков, снижая их отражающую способность и пропуская больше солнечного света к панелям.
Проблема, которую решает компания, реальна и дорогая: по данным Хайтек+, при облачности выработка солнечных электростанций падает примерно на 80%. По расчётам Meteoric, применение дронов может увеличить годовую выработку уже существующих солнечных ферм на 10–30% без строительства какой-либо новой инфраструктуры.
Почему преждевременное масштабирование губит стартапы
Что делать, если доклад на конференции не соответствует реальности продукта
Исследование поведения пользователей VPN в России
Влияние овощей на кардиометаболические риски: гендерные различия

The Blood of Dawnwalker получит 60 fps на консолях после критики фанатов
Польская студия Rebel Wolvesi, основанная ветеранами CD Projekt Red, показала геймплей вампирской RPG The Blood of Dawnwalker на консолях — оказалось, что режима 60 кадров/с не будет даже на PS5 Proi, только 30 или 40 fps при динамическом 4K. После волны критики от фанатов студия изменила решение и пообещала добавить поддержку 60 fps на консолях.
История показывает типичный конфликт современных ААА-разработчиков: погоня за визуальным качеством (динамическое 4Ki) против плавности игры, которую требуют игроки консолей.
Александр Асмолов о человекоцентричной корпоративной культуре
Три основных формата питчинга для стартапов

Сложности с подключением платежных систем в Узбекистане
Общая выручка платных игр в Steam превысила $130 млрд

Сравнение инструментов для SDR-to-HDR конвертации: Ruby, Hyperion 2.5 и LTX
Runway представил модель Ruby для конвертации SDR в HDR
Анонс Python 4.0 на билбордах

Полоскание рта как тест на рак желудка и кишечника
Учёные обнаружили, что состав бактерий, живущих в полости рта, связан с опухолями желудка и кишечника (рак ЖКТi). На основе этого открытия можно создать простой неинвазивный тест: достаточно взять образец после полоскания рта, чтобы выявить признаки заболевания.
По предварительным данным, такой оральный анализ оказался чувствительнее стандартного анализа кала на скрытую кровь — одного из основных нынешних методов скрининга колоректального рака. Это может дать более удобный и точный способ раннего выявления опасных онкозаболеваний ЖКТ.
ВыводИсследователи установили связь между составом микробного сообщества полости рта и наличием опухолей желудка и кишечника
Xiaomi показала бордовую раскладушку MIX Ultra на новом чипе Xring O3
Xiaomi опубликовала официальный кадр, где глава компании Лэй Цзюнь держит складной смартфон бордового цвета — такого оттенка не было ни у одной вышедшей раскладушки бренда. Устройство также показали на презентации нового чипа Xiaomi, но на этом кадре у аппарата не видно камеры, что намекает на нестандартный дизайн.
С названием пока путаница: в утечках и отчётах устройство фигурирует как Mix Fold 5, Xiaomi 17 Fold, Xiaomi 18 Fold и MIX Ultra — последний вариант считается наиболее вероятным по свежим утечкам. Ожидается выход осенью.