Это конец, Света. Проблема изменения климата с позиции закона сохранения энергии

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

Также развеивается миф о влиянии парниковых газов на температуру планеты и приводятся доказательства, что не температура планеты зависит от содержания СО2 в воздухе, а содержание СО2 в воздухе зависит от температуры на планете.

Общепринятая точка зрения относительно причин глобального потепления объясняется производством парниковых газов. С другой стороны, например, при сгорании углеводородов или выработке электроэнергии выделяется тепловая энергия. Так как наша планета окружена вакуумом, который является идеальным теплоизолятором, то производимое тепло не может покинуть пределы нашей атмосферы и копится, приводя к прямому нагреву планеты. Сейчас эта энергия уходит в таяние льдов на полюсах, поэтому создается впечатление, что нагрев планеты незначителен. На самом деле изменения климата настолько колоссальны, что у нас осталось от 20 до 40 лет до наступления самого настоящего апокалипсиса!

С 1979 по 2020г.г. величина ледяного покрова в Арктике сократилась на ~50% и продолжает сокращаться примерно на 13% за десятилетие. Если темпы производства тепловой энергии в мире останутся хотя бы на прежнем уровне, то оставшиеся 50% льда мы растопим еще максимум за 40 лет. Далее мы столкнемся с ростом температуры планеты.

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

Подробности под катом.

Вперед! В будущее…
Это конец, Света. Проблема изменения климата с позиции закона сохранения энергии
Source: geektimes

Как потерять спутник за 125 млн$: инструкция от NASA

NASA, 23 сентября 1999 года. К тому моменту аппарат Mars Climate Orbiter уже девять месяцев летел к Марсу. Вот-вот он должен был выйти на орбиту планеты. Но что-то пошло не так: связь со спутником пропала. А вместе с ней — несколько лет кропотливой работы и около 125 миллионов долларов. Что же там произошло и кто оказался виноват в ошибке?  

Читать далее
Как потерять спутник за 125 млн$: инструкция от NASA
Source: geektimes

4.6-битные сети: от теории к практике. Причём здесь HardTanh?

Уже прошло два года с тех пор, как мы предложили схему 4.6-битного квантования и рассказали про нее, в том числе и на Хабре: раз и два. Вспомним, что при 4.6-битном квантовании веса и входы слоя принимают такие целые значения, что их попарные произведения помещаются в знаковый 8-битный тип данных. Такая схема позволила нам вычислять нейронные сети на процессорах мобильных устройств быстрее, чем в 8-битном формате, и точнее, чем в 4-битном, потому что уровней квантования больше.

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

Читать далее
4.6-битные сети: от теории к практике. Причём здесь HardTanh?
Source: geektimes

Сикофантия? Или ускорение динамического пересчета определителя от O(n³) до O(n)?

Всем привет. Хотел бы поделиться своими результатами и обратиться за ответным мнением.

Представлюсь: Шевченко Максим Юрьевич. Работал мануальным тестировщиком (в том числе); считаю себя исследователем, в основном, в области математики.

Лет 10 тому назад мне удалось вывести обобщение тождества Деснано‑Якоби, связанное с методом конденсации Чарльза Доджсона (более известного как Льюис Кэрролл). Тогда это обобщение показалось мне интересным лишь с теоретической точки зрения, и никакого практического применения его я не предполагал. Некоторое время эта работа «пылилась в сундуке», пока я ее, наконец, не опубликовал на GitVerse (там же Python код, о котором позже).

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

И потому в качестве рецензента я решил наконец обратиться к искусственному интеллекту (далее «AI»). LLM‑модели не интересуются регалиями, не затягивают ответ на полгода и готовы отвечать на вопросы до бесконечности.

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

Читать далее
Сикофантия? Или ускорение динамического пересчета определителя от O(n³) до O(n)?
Source: geektimes

[Перевод] Проект Lean: Можно ли формализовать всю математику на компьютере – и нужно ли?

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

Начиная с 1960-х годов исследователи разрабатывают компьютерные программы, называемые системами интерактивного доказательства. Используя такую систему, математик записывает каждую строку доказательства (включая каждое определение) на языке, понятном компьютеру, а затем система проверяет логику. Если хотя бы один шаг не вытекает из предыдущего — если не доказана каждая мелочь вплоть до того, что 1 + 1 = 2, — программа не примет доказательство.

Сейчас учёные надеются формализовать всю математику с помощью системы интерактивного доказательства под названием Lean. Уже создана библиотека, содержащая более 120 000 определений, и проверено четверть миллиона теорем. Несколько математиков поддерживают эту базу данных, обновляя её и проверяя новые данные. (Некоторые из них занимаются этой работой полный рабочий день.) Они уже получили более 10 миллионов долларов финансирования, в основном от миллиардера-финансиста Алекса Герко.

Читать далее
[Перевод] Проект Lean: Можно ли формализовать всю математику на компьютере – и нужно ли?
Source: geektimes

Удобрения с программируемым высвобождением: как они работают

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

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

Читать про удобрения
Удобрения с программируемым высвобождением: как они работают
Source: geektimes

[Перевод] Найденные личные документы Алана Тьюринга рассказали об удивительном секретном проекте, опередившем время

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

В начале XXI века много говорилось о мучительной личной жизни Алана Тьюринга — от его символического помилования британским правительством в 2009 году (после того как в начале 1950-х годов он был привлечён к ответственности и подвергнут химической кастрации за гомосексуальные отношения, которые тогда считались незаконными) до оскароносной биографической картины 2014 года «Игра в имитацию», в которой было показано его величайшее достижение военного времени — расшифровка сообщений, закодированных нацистской машиной «Энигма».

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

Читать далее
[Перевод] Найденные личные документы Алана Тьюринга рассказали об удивительном секретном проекте, опередившем время
Source: geektimes

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

Живые организмы живут на планете Земле уже очень долго. За все это время практически все из них претерпели изменения в той или иной степени выраженности, которые направлены на повышение шансов на выживание вида. В ходе эволюции кто-то покорил небеса, кто-то стал обладателем самой мощной челюсти, а кто-то обзавелся самым сильным и самым разрушительным инструментом — интеллектом. Человек считается самым умным существом на Земле, но это не значит, что у других ее обитателей в голове одни опилки. Смекалка осьминогов известна многим, но лишь недавно ученые из Дартмутского колледжа (Гановер, Нью-Гэмпшир, США) обнаружили, что осьминоги способны использовать зеркала в качестве инструментов. Какие опыты были проведены, и насколько умело осьминоги обращались с зеркалами? Ответы на эти вопросы мы найдем в докладе ученых.

Читать далее
Осьминог и зеркало: оценка интеллектуальных способностей головоногих
Source: geektimes

Чтение на выходные: «Теория всего. От сингулярности до бесконечности: происхождение и судьба Вселенной» Стивена Хокинга

В 1963 году 21-летний аспирант из Кембриджа начал замечать странную неуклюжесть в движениях и вскоре услышал от врачей страшный диагноз — боковой амиотрофический склероз. Ему прогнозировали всего несколько лет жизни. Болезнь постепенно лишала его подвижности и речи, но его разум продолжал работать с поразительной силой. Его звали Стивен Хокинг. Спустя десятилетия он станет одним из самых известных физиков современности, напишет бестселлер «Краткая история времени», а его идея о квантовом излучении чёрных дыр серьёзно изменит представления о космосе.

«Теория всего» — это не учебник, а сборник из семи лекций. В них Хокинг почти не использует сложные формулы и последовательно проводит читателя через историю научных представлений о Вселенной: от античной философии до современных теорий.

Читать далее
Чтение на выходные: «Теория всего. От сингулярности до бесконечности: происхождение и судьба Вселенной» Стивена Хокинга
Source: geektimes

Самые странные нательные технологии в истории, часть 2

Продолжаем исторический обзор странных, но порой гениальный нательных технологий! Во второй части мы поговорим о более новых наработках, исторически близких к нам по времени.

Читать далее
Самые странные нательные технологии в истории, часть 2
Source: geektimes