Как известно, некоторое время назад в Яндекс.Браузере появился потоковый голосовой переводчик трансляций (вот подробная статья о том, как он вообще устроен), который работает прямо-таки здорово! 

Оказывается, его можно встроить и в другие браузеры - Chrome, Firefox и Safari. Делается это легко и просто в два шага (способ обнаружил вот здесь).

1. Сначала нужно установить расширение Tampermonkey (там на странице расширения в закладке сверху нужно выбрать свой браузер).

2. После этого под данное расширение нужно установить специальный скрипт (в открывшемся окне нажать кнопку "Установить").

И все, после этого на видео YouTube у вас появится кнопка потокового перевода. Работает хорошо, я проверял. Бывает, что нужно подождать, чтобы перевод был готов, но в Яндекс.Браузере - то же самое.

Вот можете оценить качество - это из FireFox.

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

В рамках конференции Computer Vision and Pattern Recognition специалисты из Google Research продемонстрировали работу нейросети RawNeRF, способной удивительным образом улучшать качество ночных снимков. Более того, она позволяет буквально «оживлять» фотографии.

Сотрудники Google уточняют, что RawNeRF не просто устраняет шумы и повышает общее качество снимка, сделанного в условиях плохого освещения. Эта нейросеть способна на куда большее: она умеет из двухмерных изображений, сделанных с разных точек обзора, создавать трёхмерную сцену. Пользователь также может буквально двигать положение камеры, чтобы взглянуть на сцену под разными углами и даже, например, заглянуть за угол здания. Более того, есть возможность менять точку фокусировки, концентрируя внимание на любом объекте в сцене. При этом эффект размытия выглядит крайне реалистично.

На представленных примерах видно, что RawNeRF не только убирает шумы, но также восстанавливает цвета и повышает резкость. Доходит до того, что полностью нечитаемый текст на оригинальном изображении становится вполне различимым.

Пока не понятны перспективы данной разработки и в каких целях Google намерена её использовать. Не исключено, что когда-то такая функция появится в смартфонах Pixel. (Отсюда.)

Команда разработчиков из Центра искусственного интеллекта Samsung представила свою новую разработку  "MegaPortraits: One-shot Megapixel Neural Head Avatars", которая позволяет делать анимированными статичные объекты - например, портреты.

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

Ну и вот ролик, где они рассказывают о своей разработке (англ.).

James Webb - самая продвинутая на данный момент космическая обсерватория для исследования Вселенной. Разрабатывали ее с конца девяностых годов прошлого столетия.

Вот самый первый снимок с этого телескопа, опубликованный NASA. Это не просто один снимок: изображение состоит из нескольких снимков, сделанных в разном спектре на протяжении двенадцати с половиной часов. При этом агентство предварительно потратило несколько недель на настройку телескопа с целью получения наиболее качественного изображения.

Позже были опубликованы новые снимки с этого телескопа.

Туманность Южное кольцо, которая находится на расстоянии около 2500 световых лет от Земли.

Группа галактик Квинтет Стефана в созвездии Пегаса, удалённую на 290 миллионов световых лет. Этот снимок был склеен из примерно тысячи кадров.

Туманность Киля, находящееся на расстоянии 7600 световых лет от Земли.

А вот здесь можно наглядно сравнить снимки, ранее полученные с телескопа Hubble и нынешние, полученные с телескопа James Webb.

Для примера - Южное кольцо, полученное с Hubble.

И оно же, полученное с телескопа Webb.

Завод по производству биотоплива

Ко вчерашнему разговору о том, будет ли мировой голод и о биотопливе - комментарий читателя Павла, сотрудника немецкого испытательного центра АПЛ ГмбХ. Павел мне периодически пишет подробные объяснения в почту по определенным вопросам. Публикуется, конечно, с его разрешения.

В странах ЕС по закону все топливо, как дизельное, так и бензиновое, должно содержать биокомпонент, требования за редкими исключениями установлены на уровне 10%. Для дизельного топлива (ДТ) это эфиры пальмового, рапсового или соевого масла, для бензина - этанол.  Украина, кстати, давно уже крупный производитель сырья для биокомпонентов для ЕС, рапс и соя в странах экс-СССР вообще выращивают в больших количествах. Можно использовать и подсолнечное масло, да и оливковое, просто первое обычно в технических целях идет на лако-красочные изделия и олифу, а второе жалко, вкусное и дорогое)) Цифр у меня нет, хотя могу найти статистику при необходимости, но значительная доля посевных площадей Украины использовалась в таких целях. Большие железнодорожные двигатели вообще могут работать на масле, кажется, "Юг Руси", у которых несколько сотен тысяч гектар под технические культуры и были свои тепловозы, проводил такие эксперименты летом. Их тепловозы вполне себе успешно ездили на растительном масле. Правда, отложения в двигателе при работе на чистом масле будут очень велики, а состав выбросов тоже не самый лучший. Про работу на отработанном масле из фритюрниц, полагаю, Вы тоже слышали.

Биодизельное топливо со, скажем, 5% биокомпонента называется В5, а бензин с, например, 10% биотэтанола - Е10. Бывает и Е85, но материалы сальников и других полимеров в двигателях предыдущих поколений не очень хорошо переносят этанол (в составе резин всегда почти есть масла-мягчители или другие нестойкие к спиртам компоненты и вот их-то спирт и вымывает). Уверен, Вы всегда видите эти индексы на заправках, когда заправляете свой автомобиль в Испании или любой стране ЕС.

Сам процесс, кстати, довольно прост, нужна лишь серная кислота и подходящие емкости со слабым подогревом. Эфиры образуются (несколько упрощая) из масла при его контакте с кислотой и вполне себе хорошо горят в цилиндрах. Со спиртом ситуация аналогичная, процесс получения этанола из растительного сырья весьма прост.

Этиловый спирт, как известно, можно получать из чего угодно, хоть из опилок и древесной пыли дерево-обрабатывающих производств (да, это один из видов сырья, хоть и малый!). Вообще можно использовать любые сахаросодержащие растения (кукурузу, сахарный тростник, сахарную свеклу и даже экзотическое сорго), крахамалосодержащие растения (кукурузу, картофель, пшеницу и, не поверите, даже кактусы!) или несъедобные совсем для нас растения с большим количеством целлюлозы и лигнина (отходы сельского хозяйства, древесины). К сожалению, как видите, в дело идет и пшеница, хотя в мировых объемах сырья для биоэтанола она составляет весьма малую долю. Вообще производства биоэтанола из пищевого сырья давало т.н. биотэтанол первого поколения, от которого всемерно стараются отказаться, т.к.это уже привело к резкому росту стоимости продуктов. FYIЖ: начало производства биодизельного компонента в Азии привело к росту стоимости пальмового масла, на котором там все готовят, в два раза и к кризису цен для бедных жителей Азии, для которых расходы на масло это существенная статья расходов. К тому же колебания цен на масла привязались к колебаниям цен на нефтепродукты, которые обычно значительно больше таковых для продуктов питания.

Из чисто химического сырья (простых углеводородов) этанол тоже получают, но в сравнительно небольших количествах.

(прим.- Биодизелем называет и готовое дизельное топливо B10, и биокомпонет для него (эфиры масел), это обычно зависит от контекста).

Биоэтанол т.н. второго поколения производится из непищевого сырья (в принципе хоть из травы!) и на цены продовольствия прямо не воздействует, но вот посевные занимает. Надежды в этом плане есть на бамбук или слоновую траву, которые растут на 30 и 40 см в день. Потенциально это позволит в небогатых южных странах получать большой объем сырья для производства топлива. Конечно, не стоит забывать, что основная масса растений, как и нас с Вами, это вода.

Цель всего этого, как водится, экологическая, заменить невозобновляемое ископаемое топливо возобновляемым. Т.к. двуокись углерода поглощается растениями и идет на рост новых растений, из которых получается снова спирт или эфиры масел, то предполагается, что это снизит выбросы...

Хорошее ли это топливо? Нет, не очень. Этанол отлично набирает влагу из воздуха, что приводит к коррозии в двигателе и топливной системе. У биоэтанола октановое число выше, чем у лучшего бензина, но его нужно больше по объему и весу, чем бензина - ведь в составе спирта есть кислород. Он нужен для горения, только тут мы часть его везем с собой в баке, когда его полно вокруг.

(прим. -Напомню элементарную химию – для сжигания (т.е. окисления) любого соединения или их смеси в реакции, при которой высвобождается энергия, все химические связи в молекулах надо вначале разорвать, потратив на это вначале сколько-то энергии, а потом уже процесс окисления даст нам свою энергию в большем количестве. В бензиновом двигателе для этого есть искра из свечи, а в дизельном – сильное сжатие смеси воздуха и топлива, которая при это нагревается.)

С биодизельным топливом тоже все не очень хорошо. Оно нестабильно и я бы не стал оставлять автомобиль с биодизелем в баке на пару месяцев на стоянке. Биодизельное топливо по нормам требует перемешивание каждые две недели, т.к. расслаивается при хранении - эфиры хуже растворимы в углеводородах. Из-за великого множества видов сырья и изоморфизма растений (даже растущие на одном поле растения могут иметь заметную разницу в соотношении и наборе химических соединений) сам биодизельный компонент также весьма разнообразен по составу и, следовательно, свойствам. Нефти тоже очень различны, но процессы нефтепереработки рассчитаны на усреднение состава и свойств. Биодизельные технологии весьма просты и усреднять тут можно разве что смешиванием.

Биокомпоненты дороже чистых нефтепродуктов, поэтому введение их в топливо закреплено законодательно, просто так производство биотоплива было бы убыточно. Помогает ли это в итоге природе? Кадый решит сам, но, например, вырубание лесов в Азии под пальмовые плантации достигло опасных масштабов...

Кстати, в Бразилии машины уже много десятилетий ездят на этиловом спирте из сахарного тростника, но Бразилия в этом, да и во многом другом, по сути одна такая.

Ну и вот еще достаточно подробная статья в "РБК" - "Как устроено производство биотоплива, и какие проблемы оно решает".

Сейчас для защиты от ботов используются всякие CAPTCHA - там требуется ввести изображённый на экране специально искажённый текст, решить простейшее арифметическое действие, выбрать из набора картинок те, которые отвечают определённому требованию (например, все картинки, на которых изображены лодки или автомобили).

Часто эти капчи бывают страшно бесящими - сложными, громоздкими, и далеко не всегда их можно правильно ввести с первого раза. Я помню, одно время в "Яндексе" использовали совершенно дикий вариант капчи, которую правильно ввести удавалось раза с десятого. Я им писал по этому поводу и, как ни странно, они её заменили на более пристойную (уж и не знаю, моё ли письмо подействовало или что-то ещё).

Но вообще капчи - это, конечно, прошлый век. Гугл разработал "невидимую" капчу - код, который анализирует поведение пользователя и делает вывод о том, человек это или бот (там, насколько я понимаю, анализируется активность, движение мыши и прочие параметры). Мы такую невидимую капчу даже пытались внедрить на Exler.ru для регистраций новых пользователей, но оказалось, что эта штука пока нормально не работает, так что пришлось вернуться к обычной капче.

А тут попалась статья о новом протоколе, позволяющем безо всякой капчи отличать людей от роботов - "Капчи — всё? Новый стандарт защиты от ботов не требует действий человека".

Apple внедряет новый протокол Privacy Pass, который создан совместно с Google, Cloudflare и другими интернет-компаниями. Протокол использует токены (Privacy Access Token, PAT), помогающие отличать реальных людей от ботов.

Скажем, посетитель открывает браузер Safari на iPhone и посещает некий сайт. Сайт запрашивает у браузера токен. Тот вызывает интерфейс Apple Attester, который проверяет различные детали: разблокировался ли недавно смартфон, были ли какие-либо подозрительные действия, надёжно ли защищён профиль Apple ID. Если всё в порядке, Attester отдаёт команду эмитенту (посреднику, выпускающему токен). Эмитент отдаёт токен браузеру, а тот подтверждает сайту, что капчу показывать не нужно.

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

Где и когда это появится?

Для полноценного запуска Privacy Pass необходима поддержка со стороны сайтов и производителей гаджетов. Веб-ресурсы, которые распространяются через сети Cloudflare и Fastly, уже могут использовать перспективный протокол.

О поддержке фишки заявила Apple: функция под названием Automatic Verification появится в iOS 16 и macOS Ventura. Вероятно, ОС Android тоже получит такую возможность — не зря же Google приложила руку к созданию протокола

Интересная новость. Неужели и правда решат проблему укачивания?

Apple зарегистрировала в Ведомстве США по патентам и товарным знакам патент на автомобильную развлекательную систему в формате виртуальной реальности. Предполагается, что это обеспечит совершенно новый опыт поездок и решит проблему укачивания в автомобиле.

Согласно описанию патента, пассажиры автомобиля от Apple смогут использовать гарнитуру виртуальной реальности, которая будет синхронизироваться с наружными камерами транспортного средства. Дополнительно будут учитываться движение и ускорение машины. В документе указывается, что это поможет людям, которых укачивает в дороге.

Кроме того, технология также подойдёт для просмотра видео и чтения книг в стабилизированной среде, а также для участия в виртуальных встречах прямо в дороге. Другие подробности пока не раскрываются. Хотя нет никакой гарантии, что Apple всё же реализует данную идею.

По имеющейся информации, Apple выпустит свой дебютный автомобиль примерно в 2025 году. Предполагается, что его разработка ведётся с 2014-го. (Отсюда.)

Ура, ура, это новое слово в науке и технике, изобретена целая лаборатория на коже!

Исследователи из Центра носимых датчиков Калифорнийского университета в Сан-Диего разработали устройство, которое непрерывно и в режиме реального времени может неинвазивным способом отслеживать уровень глюкозы, алкоголя и лактата в организме человека.

Устройство крепится к коже с помощью микроскопических игл, похожих на липучку, каждая из которых составляет всего 20% от толщины человеческого волоса. Микроиглы обнаруживают в поверхностных слоях кожи биомолекулы в интерстициальной жидкости, после чего данные передаются по беспроводной сети в пользовательское приложение на смартфон. Помимо мониторинга глюкозы, необходимого для пациентов с диабетом, оно также может оценивать уровень алкоголя — его повышение влияет на значение глюкозы в крови, — а отслеживание количества лактата укажет на мышечную усталость (физическая активность тоже влияет на этот показатель).

«Это похоже на целую лабораторию, размещённую на коже. Устройство способно непрерывно измерять несколько биомаркеров одновременно, позволяя пользователям следить за своим здоровьем и самочувствием во время повседневной деятельности», — рассказал директор центра Джозеф Ван, профессор наноинженерии в Калифорнийском университете в Сан-Диего.

Следующие шаги в коммерциализации устройства включают тестирование и улучшение того, как долго пластырь с микроиглами может прослужить до замены. Компания также воодушевлена возможностью добавления дополнительных датчиков для контроля уровня лекарств у пациентов и других показателей организма.

Интересно, а этим прекрасным людям кто-нибудь расскажет, что термин неинвазивный означает именно то, что в организм не происходит никаких проникновений? Которое здесь, что совершенно очевидно, происходит - микроскопические иглы прокалывают кожу. И что даже если "они совсем на полшишечки" и "вы ничего не почувствуете" - это все равно ИНВАЗИВНЫЙ способ получения результатов.

Кроме того, пока не очень понятно, чего тут такого революционного. Подобные датчики постоянного мониторинга глюкозы существуют уже как минимум пять-семь лет. Самый известный из них - FreeStyle Libre, причем он работает именно по такому принципу: на руку крепится небольшой кругляшок, который погружает под кожу нитевидный сенсор, после чего ведется постоянный мониторинг, результаты которого поступают в соответствующее приложение на смартфоне. 

Также существуют и другие аналогичные системы мониторинга, действующие по похожему принципу. 

Поэтому как-то не очень понятно, что они там такого изобрели. Ну, разве что заодно еще и уровень алкоголя измеряют, но вряд ли его вообще нужно мониторить в постоянном режиме.

На только что прошедшей конференции Google I/O компания представила новый режим для карт Google. Это называется "иммерсивный вид" (immersive view), и данный режим по сути представляет собой совершенно новый уровень панорам улиц. Если раньше это просто была нарезка снимков улиц, сделанных гугл-мобилями, то теперь для формирования иммерсивных панорам также используются аэрофотоснимки, обработанные искусственным интеллектом.

Также объявлено, что в эти панорамы будет интегрироваться информация об автомобильном трафике, то есть мы сможем визуально отслеживать загруженность улиц и исходя из этого планировать свои маршруты. Выглядеть это будет как-то так.

Вот в этой статье приводят всякие подробности - "Visiting a new city? Check the 'vibe' first! Google Maps challenges Apple's 3D mode with new 'immersive view' that lets you virtually explore neighbourhoods".

Пишут, что в сравнении с аналогичным режимом, который есть в Apple Maps, здесь все выглядит заметно более реалистично, потому что Google использует намного больше данных от спутников.

Также обещается, что для многих строений будет доступен и просмотр внутренних помещений, которые моделируются на основе имеющихся фотографий.

Появление данного режима обещают к концу года. Первоначально он будет доступен в Лос-Анджелесе, Лондоне, Нью-Йорке, Сан-Франциско и Токио, после чего "в ближайшее время" будут появляться и другие города.

В нынешней ситуации, когда происходящее просто не укладывается в голове, многие люди находятся в постоянном затяжном стрессе. Однако нужно хорошо понимать, что если вы будете в буквальном смысле слова "сжигать" себе нервы с утра до вечера, то ничему и никому это не поможет, а вам и вашим близким от этого будет только хуже.

Нужно как-то уметь продолжать жить в подобных стрессовых ситуациях, нужно учиться как-то себя контролировать, нужно учиться как-то пытаться отрешиться от ужаса происходящего и сосредоточиться на решении всевозможных чисто практических вещей.

Поэтому ради бога - не сидите с утра до вечера в куче новостных лент, где рассказывается о войне. Уверяю вас, самые плохие новости вы совершенно точно не пропустите. А сидеть и непрестанно ловить новости - худшее, что можно придумать. Нужно как-то отвлекаться и заниматься чем-то другим.

В издании Daily Reminder - полезная статья на эту тему, цитирую:

Экстремальный затяжной стресс — тяжелое испытание для психики. В случае одномоментного травматического события мы можем переработать его последствия задним числом. А при длительном кризисе непосредственное переживание и переработка травмы происходят одновременно. В такой ситуации особенно важна психологическая устойчивость. Вот несколько простых способов ее укрепить.

•  Соблюдайте рутину. Исследования показывают, что элементарное поддержание распорядка дня (подъем в одно и то же время, утренние ритуалы и т.д.) помогает сохранить психологическую устойчивость. Во-первых, это дает возможность структурировать день и таким образом ослабить ощущение неопределенности, которое вызывает приступы тревоги или депрессии. Во-вторых — снижает усталость от принятия мелких решений.

•  Верните самоконтроль. Если вы испытываете беспомощность — сделайте что-нибудь. Этот метод помог психологу Бруно Беттельгейму выжить в концлагере. Из-за постоянного внешнего прессинга и запретов заключенные быстро ломались. Беттельгейм нашел выход: делать все, что не запрещено, когда хочешь. Если есть возможность лечь спать — ложись. Можешь почистить зубы — чисти. Главное — психологически вернуть себе власть над происходящим. «Когда появляется личное пространство, вам становится легче на всех уровнях, потому что вы больше не чувствуете себя заложником ситуации», — говорит Пола Дэвис-Лаак, основательница Института стресса и жизнестойкости.

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

•  Найдите того, кому хуже, и помогите ему. Есть такое понятие — «эйфория помощника»: когда вы помогаете ближним, мозг вырабатывает эндорфины, вознаграждая вас за хороший поступок эмоциональным подъемом.

•  Замечайте хорошее. Да, это трудно. «Но быть пессимистом проще всего», — замечает герой романа Йена Макьюэна «Ореховая скорлупа». Негативный опыт фиксируется в сознании глубже, чем позитивный, объясняет психолог Элисон Леджервуд. Чтобы видеть положительные стороны жизни, нужно в буквальном смысле прилагать больше усилий. Возьмите за правило делиться с друзьями и близкими не худшими, а лучшими впечатлениями дня. Это не значит зарывать голову в песок. Так вы психологически поддержите их и себя.

•  Стройте планы на будущее. Прогнозы программируют поведение. На короткой дистанции для сохранения жизнейстойкости нам нужны сомнения и готовность к неудачам. В долгосрочной перспективе — ясная цель впереди и твердая уверенность в позитивном результате. Планы не обязательно должны быть детальными и конкретными. Достаточно просто знать, что вас ожидает какое-то важное дело впереди. Как говорил известный американский психиатр Персиваль Бейли: «Чтобы выжить, надо все время ставить перед собой новые задачи».

Со всех сторон приходят новости о том, что, мол, Google создал нейросеть, способную заменить программистов. Вот одна из заметок подобного рода.

Холдинг Alphabet, созданный основателями Google, разработал особую нейросеть, способную самостоятельно писать программный код и превращать его в работающие программы. Как пишет The Verge, над нейросетью, получившей название AlphaCode, работали специалисты компании DeepMind, входящей в холдинг.

Разработчики уверены, что в перспективе AlphaCode сможет заменить собой далеко не только начинающих программистов, чьи навыки в кодинге пока далеки от совершенства. Эта нейросеть может лишить работы и программистов более высокого уровня – со слов авторов AlphaCode, она уже «ничем не хуже среднего программиста».

Другими словами, на текущий момент работу в случае широкого распространения AlphaCode сохранят лишь самые опытные и талантливые программисты. Однако нейросети имеют свойство обучаться, и нет гарантии, что со временем она не заменит и их. Вероятность такого исхода подтверждает и тот факт, что в настоящее время AlphaCode находится на ранней стадии разработки, о чем The Verge сообщил Ориол Виньялс (Oriol Vinyals), главный научный сотрудник DeepMind.

А вот очень интересный комментарий Сергея Аксенова по этому поводу - цитирую из его Facebook.

Во-первых, Google заменил не программиста, а участника олимпиады по программированию. Разница в точности как между драг-рейсером и водителем такси или тракером-дальнобойщиком) Во-вторых не среднего, а медианного, это тоже разные вещи, хоть и не настолько.

Теперь почему все программисты завтра или через 10 лет не останутся без работы. Олимпиадное программирование - это максимально быстрое достижение очень жёстко поставленной цели. Победителя определяет скорость работы программы, но это не главное, главное - что для того, чтобы все участники были в равных условиях - олимпиадные задачи снабжаются широким набором тестов: программ, проверяющих, что конкурсные программы действительно делают то, что написано в задаче.

И вот эти тесты "стоят" в человеко-часах намного больше, чем само решение. Применить такой подход в коммерческой разработки ПО - всё равно что, возвращаясь к аналогии с гонщиками, расставить через каждую 1/4 мили ампайров с клетчатыми флагами, оборудование для фотофиниша, стартовые светофоры, а также перекрыть всё движение на время проведения заезда по всему городу (для таксистов) или по всей трассе (для дальнобойщиков). Уверен, что при таких вводных автономные такси и фуры уже давно бороздили бы всё, что подобным образом оборудовано.

Тем не менее у этой истории есть несколько векторов развития.

Первое. В разработке ПО есть такая дисциплина, как формальная верификация. Это способ математически доказать, что вот эта вот программа действительно делает ровно то, что она должна делать. Это очень дорогой процесс, он стоит в разы больше, чем разработка самого ПО, и поэтому применяется в системах типа  космических аппаратов, атомных станций и т.п., где цена ошибки пропорционально высока. Одним из применений AlphaCode может быть как раз переписывание уже формально верифицированного ПО, с целью его оптимизации. Критерии оптимизации могут быть разными - размер программы (если надо её уместить в более дешёвый процессор), скорость выполнения (если нужна более оперативная реакция) и т.д. Но даже до этого нам скорее всего не один год.

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

Есть, однако, такая штука, как fuzzy testing, когда на вход автотесту подаются всегда разные случайные значения, а тест на основе этих значений может понять, правильный ли ответ дала программа. На базе таких тестов AlphaGo возможно сможет сотворить что-то представляющее интерес. Давайте понаблюдаем, как оно там будет развиваться.

Интересная и познавательная статья в Deep-Review - "Биоимпедансный анализ для «чайников». Как смарт-часы и весы научились определять состав тела?". 

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

Ну и заключение из статьи, кому не хочется со всем этим разбираться (а оно интересно).

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

Практически невозможен такой вариант, чтобы денситометрия (золотой стандарт) показала 29% жира, а смарт-часы или умные весы — 19%. Биоимпеданс достаточно точен для удовлетворения любопытства. И тот факт, что даже смарт-часы с такой высокой корреляцией показывают состав тела, не может не радовать.

Эти устройства прекрасно подходят для того, чтобы следить за своим состоянием в динамике. Главное — правильно проводить измерение. Делать это утром в одно и то же время, после утреннего туалета, до того, как вы выпьете стакан воды.

Если речь идет о смарт-часах, нужно обязательно приподнимать руки во время измерения (лучше держать их перед собой), чтобы они не соприкасались с туловищем, особенно в области подмышек.

Также необходимо исключить любые металлические предметы на руках, включая металлический браслет, если вы используете часы именно с браслетом. Ну и, конечно же, пальцы правой руки должны касаться только кнопок-электродов. А сам контакт с кнопками должен быть уверенным и плотным.

Еще лучше избегать движений мышц во время измерения, чтобы возникающий в мышцах ток не вносил искажений.

Все мы помним волны народного возмущения, которые охватили США в знак протеста против кончины величайшего гуманиста Джорджа Флойда. Возмущенные граждане разбивали витрины магазинов и вовсю их грабили, чтобы таким образом потушить в себе пламя негодования: ворованные шмотки и гаджеты помогали им успокоиться. Разумеется, все эти граждане были уверены, что грабежи им сойдут с рук, ведь это же был благородный протест, а не какой-то там гоп-стоп, правильно?

Однако над некоторыми такими гражданами, громившими магазины Amazon Go в Сиэтле, пролетела птичка Обломинго, цитирую:

Reddit-пользователь опубликовал новость, в которой сообщил, что грабители магазинов Amazon Go в Сиэтле столкнулись с неожиданной ситуацией, в которой совсем не собирались оказаться. В их адрес пришли счета за украденные ими товары из магазинов Amazon Go. В частности, «письма счастья» получили грабители в Сиэтле.

Reddit-пользователь u/krui24 сообщает, что такая ситуация возникла вокруг как минимум одного магазина Amazon Go в Сиэтле. Эта торговая точка подверглась нападению со стороны демонстрантов, участвовавших в протестах «Black Lives Matter» из-за убийства полицией Джорджа Флойда. В сообщении Reddit утверждается, что протестующие подвергли магазин Amazon Go разграблению и забрали из него несколько предметов. Но оказалось, что установленная в магазине система автоматического сканирования оказалась умней, чем предполагали грабители.

Напомним, что компания Amazon, крупнейший в США онлайн- и розничный ритейлер, открыла свои первые магазины, работающие в формате «без кассы», еще в декабре 2016 года. Концепция магазина достаточно проста: при входе в магазин покупателям требуется отсканировать штрих-код в приложении на своем смартфоне. После прохождения аутентификации, можно свободно перемещаться по магазину и выбирать любой понравившийся товар на полках. Его можно забрать с собой, не платя на выходе. На выходе просто нет кассы, как нет и продавцов в торговом зале.

«Секрет» технологии состоит в том, что внутренняя система контроля отслеживает покупателя в торговом зале магазина Amazon Go. Она контролирует его перемещения и выставляет счет за снятые с полки товары. В результате нет необходимости в получении кассового чека или оплаты через кассу - счет автоматически выставляется прямо через банк. В настоящее время Amazon Go имеет 21 магазин в четырех городах США: Нью-Йорке, Чикаго, Сан-Франциско и Сиэтле.

В чем состоял прокол грабителей? Они посчитали себя неуязвимыми, не просканировав штрих-код со своего телефона на входе в магазин. Они просто ворвались в торговый зал и ограбили магазин. Но они были идентифицированы автоматически по включенному телефону. В результате грабителям, как сообщает Reddit-пользователь, был выставлен счет за предметы, которые они украли.

Новость уже распространилась по США. Многие уже высказывают мнение, что этого не может быть, потому что прямых доказательств нет. Они могут возникнуть, если грабители обратятся в суд за ошибочно выставленные им счета. Но пока грабители не воспользовались такой возможностью, которую предоставляет им закон.

Сообщается, что ранее Amazon не анонсировала, что ее система контроля в магазинах Amazon Go позволяет автоматически идентифицировать входящих в магазин, даже если им удалось обойти процедуру сканирования штрих-кода на входе. Но с точки зрения технической возможности такая реализация не вызывает сомнений.

Я считаю, что этим людям нужно обращаться в суд, чтобы защитить свое право на грабежи из благородных побуждений. Пепел Джорджа Флойда стучал в их сердце, ну и как можно при этом бездушно выставлять счета за украденные товары, как? Ведь это бесчеловечно!

Пост по поводу интересной технологии снижения частоты развертки у дисплея, которую Xiaomi применила в модели Xiaomi 12 Pro, я убрал: оказывается, подобная технология уже применялась в iPhone 13 (Pro), цитирую:

Как известно, старшие модели линейки iPhone 13 поддерживают переменную кадровую частоту дисплея. В зависимости от условий частота может изменяться в пределах от 10 до 120 Гц.
iPhone 13 Pro и 13 Pro Max получили уникальную функцию изменения кадровой частоты экрана в зависимости от активности пользователя

Однако сейчас обнаружилась ещё одна любопытная деталь. Оказывается, частота может меняться не только в зависимости от приложения или нагрузки на смартфон. В iPhone 13 Pro и 13 Pro Max есть функция, меняющая кадровую частоту дисплея в зависимости от того, насколько быстро палец пользователя скользит по экрану.  

К примеру, если пользователь открыл приложение Twitter и читает какое-то сообщение, кадровая частота снизится до 10 Гц. Если пользователь начнёт медленно пролистывать информацию, частота увеличится до определённого предела. К примеру, до 60 Гц. Если же начать листать активнее, частота поднимется до 90 или 120 Гц.  

Благодаря такой функции смартфоны Apple могут эффективнее экономить энергию. И мы уже видели, что многочисленные тесты демонстрируют отличную автономность новинок. Правда, не будем забывать и о существенно увеличенных аккумуляторах.  

Интересная, подробная, очень толковая и полезная для понимания сути механизмов измерения статья "Где мои смарт-часы с глюкометром!? Или почему трекеры до сих пор не измеряют уровень сахара в крови".

Речь в ней, конечно, идет далеко не только о трекерах или умных часах. Речь идет о неинвазивном способе измерения уровня глюкозы как таковом. И там очень подробно рассказывают, какие в настоящий момент способы существуют, в чем их проблемы, какова демонстрируемая точность и так далее. А то уже несколько лет подряд со всех сторон только и слышишь о том, что, мол, "скоро в часах Apple появится механизм измерения сахара", "Huawei выпустит часы с измерением уровня сахара" и так далее, причем для людей, которые за данной историей следят, все это выглядит очень нереалистичными обещаниями.

В статье, кстати, упоминаются CGM-системы или Continuous Glucose Monitoring (непрерывный мониторинг глюкозы), которые многие почему-то считают неинвазивными глюкометрами. Но они, во-первых, инвазивные, во-вторых, дорогие, в-третьих, быстро теряют точность и требуют замены каждую неделю - в общем, с ними проблем также хватает. 

Ну и в конце статьи делается следующий важный вывод, цитирую:

Объем статьи не позволяет рассмотреть все методы неинвазивного измерения сахара, включая фотоакустический эффект (возникновение звука при облучении глюкозы светом), биоимпедансный анализ (метод, используемый также для определения состава тела в умных весах) и др.

Но, надеюсь, я смог донести основные мысли, которые еще раз повторю тезисно:

•     Каждому человеку нужно знать уровень сахара в крови хотя бы для того, чтобы убедиться в отсутствии сахарного диабета, особенно 2-го типа, умеющего неплохо скрываться;
•     Измерение глюкозы при помощи смарт-часов — не совсем безумная идея. В теории есть масса способов сделать это без крови и прокалывания кожи;
•     На текущий момент нет ни единого доступного в продаже сертифицированного неинвазивного глюкометра в виде часов или браслета.

Появятся ли в этом году смарт-часы с глюкометром? Не знаю. Но могу с уверенностью сказать, что они не заменят «классический» глюкометр с тест-полосками еще лет 10 точно.

В статье мы затронули основные проблемы, которые нужно преодолеть, чтобы выпустить на рынок не очередную игрушку, а полезный инструмент. И пока этого сделать никто не смог, несмотря на миллионы долларов, которые готовы отдавать инвесторы любому желающему попробовать свои силы.

Сегодня многие пользователи жалуются на то, что их фитнес-трекеры неправильно определяют пульс или уровень кислорода в крови. Так если даже с такими примитивными задачами (а это именно примитивная задача по сравнению с измерением глюкозы) не всегда справляются трекеры, то о каком измерении сахара может вообще идти речь?

Многие неинвазивные технологии уже показывают неплохую (и даже очень хорошую) точность работы, если глюкозы в крови много (скажем, от 10-15 ммоль/л и выше). Но как только её уровень снижается, всё буквально разваливается. И это та стена, об которую бьются десятилетиями лучшие умы человечества.

В любом случае, надеюсь, теперь, когда вы хорошо представляете проблему, вам будет интереснее наблюдать за рынком. И когда первая компания выпустит свои смарт-часы с глюкометром, вы уже будете понимать принцип его работы и те трудности, которые пришлось преодолеть.

Ну и замечу, что автор совершенно прав еще и в том, что он говорит о необходимости мониторинга уровня сахара в крови, даже если вы считаете, что у вас никакого диабета нет - и в особенности, если вы боитесь, что у вас этот диабет уже есть.

Диабет - штука такая: чем раньше его обнаружить и начать этим серьезно заниматься, тем большего количества проблем и ограничений можно будет избежать впоследствии. Я сам с диабетом второго типа проходил года полтора, имея уже налицо все признаки (сухость во рту, постоянная жажда, потом еще и началась быстрая потеря веса на фоне ожирения) и обнаружили у меня его случайно, когда меня отправили на общий анализ крови по совершенно другому поводу (повод, впрочем, как раз начавшимся диабетом и был вызван, только я этого тогда не знал). 

И у меня есть несколько знакомых с большим лишним весом (прямо-таки скажем - с ожирением), которые сознательно не измеряли у себя сахар, боясь обнаружить диабет (подход очевидно очень глупый и реально опасный). Один из них доходился до гипергликемической комы, от которой его, к счастью, откачали, но посадили на всю жизнь на инсулин, двое других доходились до осложнений, после чего им пришлось всем этим заниматься, но осложнения когда наступают, там фарш уже крайне сложно провернуть назад, можно только затормозить развитие. 

Поэтому проверять, проверять, проверять и проверять! Купить глюкометр домой, чтобы время от времени измерять сахар у членов всей семьи (там в комплекте идет несколько иголок для прокалывания, можно каждому члену семьи выделить свою) - это стоит копейки (обычный глюкометр стоит менее 2 тысяч рублей; вот тест-полоски к нему недешевые, но если не нужно измерять по несколько раз в день, как это делают диабетики в определенных ситуациях, тогда это никак не проблема). 

Обидно, да? 20 лет успешно скрывался в чужой стране, 10 лет не звонил на родину в Сицилию, и из-за какого-то Google Street View...

Джоаккино Гаммино, приговоренный к пожизненному заключению за убийство и внесенный в список самых разыскиваемых гангстеров Италии, был арестован в Галапагаре, городке недалеко от Мадрида, где он десятки лет жил под именем Мануэль, работал шеф-поваром и владел магазином фруктов и овощей. Его нашли только потому, что камеры сервиса Google Street View сделали снимок двух мужчин, болтающих у магазина под названием "El Huerto de Manu" ("Сад Ману") в Галапагаре.

Полиция посчитала, что один из мужчин очень похож на Гаммино, а позже его личность была подтверждена, когда следователи наткнулись на его фотографию на странице ресторана под названием" La Cocina de Manu" ("Кухня Ману") в "Фейсбуке".

На снимке Гаммино одет как шеф-повар, узнать его помог шрам на левой стороне подбородка. В меню ресторана входило блюдо под названием "Cena Siciliana", что переводится как "Сицилийский ужин".

Гаммино принадлежал к мафиозному клану в сицилийском городе Агридженто, который в 1990-х годах был вовлечен в кровавую вражду с "Коза Ностра", главной мафиозной сетью Сицилии. Впервые он был арестован в 1984 году, а второй раз его арестовали в Барселоне в 1998-м. Гаммино обвинили в убийстве и других преступлениях, связанных с мафиозной деятельностью, и приговорили к пожизненному заключению, которое он отбывал в римской тюрьме Ребиббия. (читать дальше)

Boston Dynamics не устает поражать.

Короткометражный (07:43) фильм с демонстрацией возможностей технологии Unity’s High Definition Rendering Pipeline. Впечатлило, да. Выглядит поразительно реалистично.

Вчера в комментариях к записи "Испания осталась без газа" обсуждали использование солнечной энергии. И мне на почту прислали статью руководителя компании "Битрикс" Сергея Рыжикова (я с ним лично знаком) "Солнечная электростанция на западе России", в которой он рассказывает о своем опыте установки электростанции в частном доме в городе Калининграде.

Вступление в статье такое.

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

Ну и далее в статье Сергей расписывает все этапы создания солнечной энергоустановки в его дома. Почитать было очень интересно.

Также, конечно, очень интересовали прикидки Сергея по поводу рентабельности подобной установки. Там выводы следующие.

Меня неоднократно спрашивали, окупится ли когда-то мой проект или нет. Я думаю, что именно мой проект полностью не окупится никогда. Он сделан не для экономии. Ну и я местами сильно перезаложился от нехватки опыта. Хотя, по старому курсу покупки и в условиях подключения к городу, у него есть шанс окупиться за 10 лет.

Солнечные батареи рассчитаны на десятилетия. Потеря эффективности с возрастом незначительная. Надо только не забывать их протират, я делаю это раз в год. На все оборудование гарантия так же лет десять. Аккумуляторы я научился экономно использовать благодаря подключению к городу.

Я уверен, что можно сделать экономически рентабельное подключение, особенно если скидывать энергию в город. Панели и инвертор, вот и все что нужно. 5-7 лет будет вполне достижимый цикл окупаемости.

Возможно в будущем появятся более эффективные солнечные пластины или более надежные аккумуляторы. Я так же уверен, что появятся готовые наборы для перевода дома на солнечную энергетику и можно будет осуществить такой проект и значительно дешевле и значительно быстрее.

Источник (англ.)

Исследователи из Калифорнийского технологического института создали двуногого робота, который сочетает ходьбу с полетом, что делает его исключительно проворным и способным к сложным движениям.

Назвали его LEONARDO (сокращенно от «LEgs ONboARD drOne» или сокращенно LEO) может ходить по натянутой веревке, прыгать и даже кататься на скейтборде. Разработанный командой Центра автономных систем и технологий (CAST) Калифорнийского технологического института, LEO является первым роботом, который использует многосуставные опоры и двигатели на основе пропеллера для достижения точной степени контроля над балансом.

«Мы черпали вдохновение в природе. Подумайте о том, как птицы могут хлопать крыльями и прыгать, чтобы перемещаться по телефонным линиям», - говорит Сун-Джо Чанг, автор-корреспондент и профессор Брена по аэрокосмическим и динамическим системам. «Птицы умеют совмещать ходьбу с полетом, этим мы и вдохновлялись при создании нашего робота».

Ну и, в общем, создатели намерены и дальше совершенствовать этого робота, потому что на данный момент энергия у него используется не слишком эффективно.

Но он уже производит впечатление, посмотрите ролик.