Кто упоминает Ряды Фурье

Фиг с ними с руками, во времена наступления сингулярности нужно как-то научиться распараллеливать сознание хотя бы на пару потоков, чтоб успевать за всеми ИИшными агентами следить. Есть ли работы в этом направлении? — спросил @norlin_ru с канала @NorlinGames Короче, хрен вам, а не распараллеливание потоков внимания. Не поддерживается нашей прошивкой. Но всё-таки кое-что можно натренировать! Эта тема у нас уже была, самое узкое место в человеке, которое не распараллеливается — принятие решений. Если вы оттренируете что-то вроде моторного навыка, и он не будет требовать решений, можно сколько угодно запускать его фоном. А вот сознательные решения не делятся, только одно решение в один момент. Самые сложные операции — выбор ответа, извлечение из памяти и часть когнитивных операторов (мысленное вращение, сравнение образов). Ну и там в рабочей области не получается держать несколько наборов правил сразу, их все надо загонять в контекст заново с нуля после переключения. Где именно сидит это ограничение — в задней латеральной префронтальной коре. При двух задачах одновременно левая и правая медиальная фронтальная кора делают так: левая кодирует награду одной задачи, правая — другой, а передняя префронтальная кора их координирует. То есть мозг умеет двухпоточность — ровно на два потока, по числу полушарий, и с ощутимыми потерями. Знали, что мозг умеет ставить вторую задачу на паузу. Но две цели обходятся дорого. Причём чем важнее то, что вы отложили — тем хуже вы делаете то, чем заняты прямо сейчас. В 2005 больше 10% американских водителей на дорогах говорили по телефону — вроде как это 28% всех аварий и смертей. Даже по громкой связи это замедляет реакцию на почти всё, и водители не замечают примерно половину событий. Куча людей упорно заявляет, что лично на них это не действует, и они молодцы, а все вокруг Д'Артаньяны. Тренировка почти убирает потери от многозадачности — за счёт ускорения обработки. Задачи просто идут в быстрой последовательности. То есть можно разогнать систему принятия решений. Мозг не выносит задачу из узкого места, а наводит там порядок. Это тоже оптимизация. И переходим к самому крутому — веротолёту! В 70-х вышел AH-64 Апач. Тепловизор вывели в нашлемный дисплей. Проблема в том, что оптика тяжёлая, а всё, что висит на шлеме, при аварийной посадке ломает пилоту шею и убивает ресурс шейных позвонков. Поэтому сделали только на один глаз. Итог за 25 лет: глюков не особо много, какой глаз у пилота ведущий — не очень важно, но зато работает бинокулярное соперничество. Это когда разная картинка с двух глаз. Один глаз адаптирован к темноте, другой к свету. Часть пилотов просто закрывает глаз с дисплеем, когда он не нужен. На длинных вылетах это ад. И, кстати, там ещё добавляется офигенное ощущение картинки, которую видно через пол вертолёта и приборную панель — потому что тепловизор стоит снаружи ) И вот экспериментальная работа про пилотов Апача: они эффективно обрабатывают информацию одним глазом и хорошо переключают внимание между глазами. Это подтверждение того, что работает переключение, а не два потока одновременно. Так что мораль — нет, лучше делать одно дело и не думать про другое. Старый совет — можно купить блокнот, записать то, что надо не забыть — и спокойно забыть. Ну, пока не сделаете одно и ровно одно дело. Человек глючный: мы живём на скорости 10 бит/с, мы перезаписываем воспоминания при чтении, слепозрение, стрим с глаза идёт пакетами с монтажом, как устроены прерывания у человека, субъективное время, исполнительная и рабочая документация, как напихать новых воспоминаний человеку, имплатнация полезных воспоминаний, энергопотребление мозга, криптомнезия, пропофол стирает память, а не боль, почему ребёнок так долго загружается, кратковременная зрительная память, распознавание слов, дополнительная рука. С глаз идёт не вся картинка, а апдейты изменившихся точек. -- Вступайте в ряды Фурье! | Лучшие посты Современная больница — это место, где назойливые пациенты мешают врачам работать с документацией!

Без текста

Жигани меня паяльником, братан Недавно читал исследования в Рядах Фурье https://t.me/Fourier_series/1010 про то, что, грубо говоря, люди готовы терпеть боль, например, жигануться немножечко паяльничком в 49 градусов, лишь бы не делать когнитивно сложные задачи. Не все, конечно, а 28%. Было у вас такое? Есть задача часа на 2 забуриться, а ты делаешь всё что угодно, даже бытовые дела, которые постоянно откладывал, лишь бы только не её. Потом, конечно, в конце дня ещё себя коришь, что бестолочь, что уже давно бы сделал, что день потерян, что задачи копятся. У меня бывало, да и сейчас пара таких имеется, НО... Что с этим можно сделать? Удивительно, но после того, как я эту статью прочёл и задачи эти признал проблемными, то подступиться к ним стало легче. Не знаю, как это работает. Возможно, просто а) понимаешь, что не ты ужасный, а в среднем у людей такое в норме бывает, и б) осознаешь, что часть дискомфорта ты "придумал" сам, а не на самом деле там жесть какая-то. А ещё помогает рефрейминг. Например, я не просто делаю мутную задачу, от которой сейчас страдаю и которая через полгода будет казаться уже не важной песчинкой, а попробую в ней применить какую-нибудь методику, фреймворк, инструмент, который изучал и давно хотел опробовать. Или не просто разбираюсь в кастомных кишках, которые нигде больше не пригодятся, а повышаю общие компетенции, не даю мозгам ржаветь, применяю новые ментальные модели для разбора всяких подобных мутностей в будущем. Да на худой конец, в данном конкретном месте повышаю свою ценность не на одну задачу, а на целый класс подобных задач. Или в статье говорилось, что помогает вызвать интерес и снизить желание скипнуть через паяльник связь с амбициями / соревновательностью, мол, смотрите, какой я крутой, добился, достиг. Либо через геймификацию. На мне это очень круто работает. Но не внешняя геймификация за псевдоачивки, а внутренняя. Я люблю играть в РПГ и стратегии. Там много завязано на прокачке. Вот так и мне очень интересно всегда что-то "прокачать", улучшить, развить, оптимизировать. Команду, процессы, общие практики и т. д. Не достижения ради, а просто внутренне приятно от постоянного улучшения. Тимлид, будь бдителен! Раз уж мы тут с вами про управление и на себя уже маску надели, то надо теперь и о команде подумать. Присмотритесь, кто что запрокрастинировал и попробуйте сделать рейфрейминг, отталкиваясь от мотивации человека. Не манипуляция — навру, лишь бы сделать, а вместе покрутить до момента, где сотрудник свою мотивацию / выгоду найдет в обычной мутной и сложной задаче. Итог Если вы иногда не любите сильно кипятить голову, особенно в задачах, где нет понятного стимула, то это не значит, что вы плохой или профнепригодный. Многие из нас готовы жигануться) Но способы это обойти есть, не надо отчаиваться. Поделитесь, какие способы помогают вам?

— Почему когда спешишь в туалет, в лифте приходится пританцовывать? Просмотр котиков или мемасов не помогает отвлечься, нужны именно движения — спросил, переминаясь с ноги на ногу, @JeSuisUzbeque Коротко: — Мочевой пузырь монополизирует тормозные ресурсы мозга, и контролировать себя становится легче. — Конфликт "хочу, но я в лифте" выплёскивается в ритмичные движения. — Сами движения механически запускают рефлекс, глушащий мышцу-детрузор. Теперь поехали по работам! Есть гипотеза, что если вы хотите в туалет, легче проходить детектор лжи. Есть такой эффект побочного торможения — разные виды самоконтроля (например, контроль над эмоциями, мыслями или физиологией) используют одни и те же нейронные сети в мозге. А если заставить человека сильно хотеть в туалет, поможет ли это ему меньше нервничать во время вранья? Взяли 22 студентки, половину напоили водой, подождали 45 минут и провели интервью на холиварные темы. На втором этапе группа из 118 студентов смотрела эти видео и пыталась угадать: врет человек на экране или говорит правду. — Лжецы с полным мочевым пузырем вели себя гораздо естественнее и использовали более длинные предложения. Обычно при вранье речь становится примитивнее из-за перегрузки мозга, но, по ходу, мочевой пузырь дал ресурс для построения красивых историй. — Точность распознавания лжи такого персонажа падала с обычных 47% до 28%. — На тех, кто говорил правду, полный мочевой пузырь почти никак не повлиял. Они просто выглядели чуть более тревожными, но им верили. Слабое место работы как обычно у психологов — выборка говно. Не было сильного стресса (за убеждения не сажали после высказывания убеждения), поэтому врать было тепло и приятно. Ну и если дать людям чуть больше воды, когнитивные функции сходят лесом — пациент начнёт пробиваться к туалету хоть ползком. Точно скалибровать правильную дозу не получилось. Тут решали деликатную, но важную проблему у больных рассеянным склерозом. Он разрушает нервные пути. До 90% таких пациентов страдают от проблем с мочеиспусканием. Самая частая беда — это гиперактивность детрузора, мышцы, которая сжимает мочевой пузырь, чтобы его вылить. Если здоровый человек или человек с обычным (не связанным со склерозом) гиперактивным мочевым пузырем сильно сожмет мышцы тазового дна (которыми мы останавливаем струю мочи), спазм мочевого пузыря прекратится. Решили проверить на женщинах с рассеянным склерозом. Взяли 33 женщины, провели КУДИ и электромиографию. Из 33 участниц у 30 действительно случился спазм мочевого пузыря прямо во время теста. Но: — У 7 пациенток сжатие мышц таза полностью подавило спазм мочевого пузыря. — У 20 пациенток сжатие значительно уменьшило силу спазма. — 3 описались. Это даёт сигнал по половому нерву в спинной мозг, а оттуда приходит команда на паузу до выяснения, что же происходит, и почему с добрым утром. И да, "Разрушители легенд" проверяли танец с зажатыми ногами экспериментально — движение помогло дотерпеть некоторым участникам, но не всем. И ещё одна работа. Люди, которым хочется в туалет, лучше справляются с тестами, где нужно себя контролировать и не поддаваться на автоматические реакции. Потому что уже заняты сдерживанием. Теперь классика про смещённую активность — этологическое объяснение туалетного танца. Когда организм зажат между двумя несовместимыми императивами (надо УЖЕ, а нельзя), конфликт выливается в ритмичные бессмысленные движения. Проявляется при напряжении и коррелирует с тревогой. И выдаёт эмоциональное состояние человека точнее, чем слова и мимика. То есть ваш танец перед туалетом — это телесный сигнал стресса. -- Вступайте в ряды Фурье! | Лучшие посты — Доктор, как мне это вылечить? — Сейчас загуглю. — А может, я сам? — Вот давайте не будем самолечением заниматься!

У математиков случилось то, что скоро случится почти в любой профессии. Матокалипсис! За драмой можно наблюдать прям сейчас, там очень весело и интересно. Началось с того, что в августе OpenAI собрала 40 математиков на встречу с интригующим названием «Конец математики». Если коротко — в одном из вариантов человеческая помощь моделям нафиг уже не нужна, спасибо, мясные, отойдите, пожалуйста. Ещё математики там попросили публиковать всё статьями, но OpenAI всё выбросила постами, типа, сношайтесь там сами. Пока они сношались, то заметили, что идеи машинных доказательств бывают подозрительно похожи на их неопубликованные наработки, которые они обсуждали с OpenAI. 8 сентября OpenAI сказала, что её закрытая модель решила проблему Навье-Стокса. Это, если что, штука, которую люди решить не могли. За пару часов до этого ещё один товарищ со спецом из Антропика шли тем же путём и были близко, но OpenAI узнала про это и рванула наперегонки. Ещё ему предложили сделку (с его слов): писать статью вместе с OpenAI, но без коллеги Альпёге, потому что тот работает у конкурента. OpenAI сказали, что это всё ужасная ошибка, и они взяли 10 тысяч агентов на 88 часов. Дальше офигенная цепочка событий: — 25 топовых математиков подписали декларацию: цели ИИ-компаний и математики резко расходятся, результаты объявляются в спешке, без нормального изложения и ссылок на предшественников, что пахнет плагиатом. — OpenAI сняла спонсорство с одного из мероприятий, где было дофига участников декларации. — OpenAI завела консультативную группу математиков. Группа сразу попросила не гонять сложные задачи на закрытых моделях. — 6 октября выложила 722 рукописи закрытой модели и сказала, что сношайтесь всё же, потому что тут многие результаты не понимают даже встроенные в компанию математики. Вроде, за день до этого учёные в панике публиковали свои неоконченные работы, чтобы их не обогнали. — Объяснили такой скотский подход (с точки зрения математиков) тем, что OpenAI и Anthropic готовятся к IPO. — Крупная ассоциация математиков предложила объявить бойкот OpenAI. В них в ответ покидали деньгами. Дальше жопа сгорела у всего сообщества, потому что несмотря на скотский подход, доказательства-то реальные, и наука двигается. Можно истерить, но наука двигается. Но там море проблем: — У многих опустились руки — нет смысла думать над такими задачами, потому что робот всё решит. — Есть такой Йорг Нойнхойзерер, который всю жизнь решал три задачи и не решил, а ChatGPT походя их закрыл. Ну сорян, чо. — Профессор Лосано-Робледо опубликовал письмо студента, который мечтал об академической карьере, а теперь не понимает, останется ли в математике место для кого-то, кроме гениев. Таких писем вроде бы много. Процесс тоже поменялся: аспирантам теперь спускают машинные доказательства на переписывание. В итоге ответов стало слишком много, и срочно нужны люди, которые встроят их в понятное знание. Но это ровно та работа, ради которой в математику никто не шёл. Шли вообще-то искать сами, а тут предлагают помогать роботу. Тут работа про то, как проверять доказательства, потому что моделям верить на слово нельзя. Предлагают точно так же, как в разработке — писать скрипт и исполнять. Конкретно выгружать доказательство на языке Lean, который исполняется компилятором. Собственно, основная проблема теперь — оно стало всё проверяемо, но НИХРЕНА НЕПОНЯТНО, как работает. За последнюю неделю выяснилось, что Lean-формализация Навье-Стокса не совпадает с доказательством в самой статье, так что третья черепаха врёт. Ну и предложили математику 2.0 — решать не надо, надо объяснять. Добро пожаловать в матокалипсис! -- Вступайте в ряды Фурье! | Лучшие посты 350 лет без рекламаций! Без документации! Без инструкций! Без поддержки! Теорема Ферма!

У математиков случилось то, что скоро случится почти в любой профессии. Матокалипсис! За драмой можно наблюдать прям сейчас, там очень весело и интересно. Началось с того, что в августе OpenAI собрала 40 математиков на встречу с интригующим названием «Конец математики». Если коротко — в одном из вариантов человеческая помощь моделям нафиг уже не нужна, спасибо, мясные, отойдите, пожалуйста. Ещё математики там попросили публиковать всё статьями, но OpenAI всё выбросила постами, типа, сношайтесь там сами. Пока они сношались, то заметили, что идеи машинных доказательств бывают подозрительно похожи на их неопубликованные наработки, которые они обсуждали с OpenAI. 8 сентября OpenAI сказала, что её закрытая модель решила проблему Навье-Стокса. Это, если что, штука, которую люди решить не могли. За пару часов до этого ещё один товарищ со спецом из Антропика шли тем же путём и были близко, но OpenAI узнала про это и рванула наперегонки. Ещё ему предложили сделку (с его слов): писать статью вместе с OpenAI, но без коллеги Альпёге, потому что тот работает у конкурента. OpenAI сказали, что это всё ужасная ошибка, и они взяли 10 тысяч агентов на 88 часов. Дальше офигенная цепочка событий: — 25 топовых математиков подписали декларацию: цели ИИ-компаний и математики резко расходятся, результаты объявляются в спешке, без нормального изложения и ссылок на предшественников, что пахнет плагиатом. — OpenAI сняла спонсорство с одного из мероприятий, где было дофига участников декларации. — OpenAI завела консультативную группу математиков. Группа сразу попросила не гонять сложные задачи на закрытых моделях. — 6 октября выложила 722 рукописи закрытой модели и сказала, что сношайтесь всё же, потому что тут многие результаты не понимают даже встроенные в компанию математики. Вроде, за день до этого учёные в панике публиковали свои неоконченные работы, чтобы их не обогнали. — Объяснили такой скотский подход (с точки зрения математиков) тем, что OpenAI и Anthropic готовятся к IPO. — Крупная ассоциация математиков предложила объявить бойкот OpenAI. В них в ответ покидали деньгами. Дальше жопа сгорела у всего сообщества, потому что несмотря на скотский подход, доказательства-то реальные, и наука двигается. Можно истерить, но наука двигается. Но там море проблем: — У многих опустились руки — нет смысла думать над такими задачами, потому что робот всё решит. — Есть такой Йорг Нойнхойзерер, который всю жизнь решал три задачи и не решил, а ChatGPT походя их закрыл. Ну сорян, чо. — Профессор Лосано-Робледо опубликовал письмо студента, который мечтал об академической карьере, а теперь не понимает, останется ли в математике место для кого-то, кроме гениев. Таких писем вроде бы много. Процесс тоже поменялся: аспирантам теперь спускают машинные доказательства на переписывание. В итоге ответов стало слишком много, и срочно нужны люди, которые встроят их в понятное знание. Но это ровно та работа, ради которой в математику никто не шёл. Шли вообще-то искать сами, а тут предлагают помогать роботу. Тут работа про то, как проверять доказательства, потому что моделям верить на слово нельзя. Предлагают точно так же, как в разработке — писать скрипт и исполнять. Конкретно выгружать доказательство на языке Lean, который исполняется компилятором. Собственно, основная проблема теперь — оно стало всё проверяемо, но НИХРЕНА НЕПОНЯТНО, как работает. За последнюю неделю выяснилось, что Lean-формализация Навье-Стокса не совпадает с доказательством в самой статье, так что третья черепаха врёт. Ну и предложили математику 2.0 — решать не надо, надо объяснять. Добро пожаловать в матокалипсис! -- Вступайте в ряды Фурье! | Лучшие посты 350 лет без рекламаций! Без документации! Без инструкций! Без поддержки! Теорема Ферма!

У математиков случилось то, что скоро случится почти в любой профессии. Матокалипсис! За драмой можно наблюдать прям сейчас, там очень весело и интересно. Началось с того, что в августе OpenAI собрала 40 математиков на встречу с интригующим названием «Конец математики». Если коротко — в одном из вариантов человеческая помощь моделям нафиг уже не нужна, спасибо, мясные, отойдите, пожалуйста. Ещё математики там попросили публиковать всё статьями, но OpenAI всё выбросила постами, типа, сношайтесь там сами. Пока они сношались, то заметили, что идеи машинных доказательств бывают подозрительно похожи на их неопубликованные наработки, которые они обсуждали с OpenAI. 8 сентября OpenAI сказала, что её закрытая модель решила проблему Навье-Стокса. Это, если что, штука, которую люди решить не могли. За пару часов до этого ещё один товарищ со спецом из Антропика шли тем же путём и были близко, но OpenAI узнала про это и рванула наперегонки. Ещё ему предложили сделку (с его слов): писать статью вместе с OpenAI, но без коллеги Альпёге, потому что тот работает у конкурента. OpenAI сказали, что это всё ужасная ошибка, и они взяли 10 тысяч агентов на 88 часов. Дальше офигенная цепочка событий: — 25 топовых математиков подписали декларацию: цели ИИ-компаний и математики резко расходятся, результаты объявляются в спешке, без нормального изложения и ссылок на предшественников, что пахнет плагиатом. — OpenAI сняла спонсорство с одного из мероприятий, где было дофига участников декларации. — OpenAI завела консультативную группу математиков. Группа сразу попросила не гонять сложные задачи на закрытых моделях. — 6 октября выложила 722 рукописи закрытой модели и сказала, что сношайтесь всё же, потому что тут многие результаты не понимают даже встроенные в компанию математики. Вроде, за день до этого учёные в панике публиковали свои неоконченные работы, чтобы их не обогнали. — Объяснили такой скотский подход (с точки зрения математиков) тем, что OpenAI и Anthropic готовятся к IPO. — Крупная ассоциация математиков предложила объявить бойкот OpenAI. В них в ответ покидали деньгами. Дальше жопа сгорела у всего сообщества, потому что несмотря на скотский подход, доказательства-то реальные, и наука двигается. Можно истерить, но наука двигается. Но там море проблем: — У многих опустились руки — нет смысла думать над такими задачами, потому что робот всё решит. — Есть такой Йорг Нойнхойзерер, который всю жизнь решал три задачи и не решил, а ChatGPT походя их закрыл. Ну сорян, чо. — Профессор Лосано-Робледо опубликовал письмо студента, который мечтал об академической карьере, а теперь не понимает, останется ли в математике место для кого-то, кроме гениев. Таких писем вроде бы много. Процесс тоже поменялся: аспирантам теперь спускают машинные доказательства на переписывание. В итоге ответов стало слишком много, и срочно нужны люди, которые встроят их в понятное знание. Но это ровно та работа, ради которой в математику никто не шёл. Шли вообще-то искать сами, а тут предлагают помогать роботу. Тут работа про то, как проверять доказательства, потому что моделям верить на слово нельзя. Предлагают точно так же, как в разработке — писать скрипт и исполнять. Конкретно выгружать доказательство на языке Lean, который исполняется компилятором. Собственно, основная проблема теперь — оно стало всё проверяемо, но НИХРЕНА НЕПОНЯТНО, как работает. За последнюю неделю выяснилось, что Lean-формализация Навье-Стокса не совпадает с доказательством в самой статье, так что третья черепаха врёт. Ну и предложили математику 2.0 — решать не надо, надо объяснять. Добро пожаловать в матокалипсис! -- Вступайте в ряды Фурье! | Лучшие посты 350 лет без рекламаций! Без документации! Без инструкций! Без поддержки! Теорема Ферма!

У математиков случилось то, что скоро случится почти в любой профессии. Матокалипсис! За драмой можно наблюдать прям сейчас, там очень весело и интересно. Началось с того, что в августе OpenAI собрала 40 математиков на встречу с интригующим названием «Конец математики». Если коротко — в одном из вариантов человеческая помощь моделям нафиг уже не нужна, спасибо, мясные, отойдите, пожалуйста. Ещё математики там попросили публиковать всё статьями, но OpenAI всё выбросила постами, типа, сношайтесь там сами. Пока они сношались, то заметили, что идеи машинных доказательств бывают подозрительно похожи на их неопубликованные наработки, которые они обсуждали с OpenAI. 8 сентября OpenAI сказала, что её закрытая модель решила проблему Навье-Стокса. Это, если что, штука, которую люди решить не могли. За пару часов до этого ещё один товарищ со спецом из Антропика шли тем же путём и были близко, но OpenAI узнала про это и рванула наперегонки. Ещё ему предложили сделку (с его слов): писать статью вместе с OpenAI, но без коллеги Альпёге, потому что тот работает у конкурента. OpenAI сказали, что это всё ужасная ошибка, и они взяли 10 тысяч агентов на 88 часов. Дальше офигенная цепочка событий: — 25 топовых математиков подписали декларацию: цели ИИ-компаний и математики резко расходятся, результаты объявляются в спешке, без нормального изложения и ссылок на предшественников, что пахнет плагиатом. — OpenAI сняла спонсорство с одного из мероприятий, где было дофига участников декларации. — OpenAI завела консультативную группу математиков. Группа сразу попросила не гонять сложные задачи на закрытых моделях. — 6 октября выложила 722 рукописи закрытой модели и сказала, что сношайтесь всё же, потому что тут многие результаты не понимают даже встроенные в компанию математики. Вроде, за день до этого учёные в панике публиковали свои неоконченные работы, чтобы их не обогнали. — Объяснили такой скотский подход (с точки зрения математиков) тем, что OpenAI и Anthropic готовятся к IPO. — Крупная ассоциация математиков предложила объявить бойкот OpenAI. В них в ответ покидали деньгами. Дальше жопа сгорела у всего сообщества, потому что несмотря на скотский подход, доказательства-то реальные, и наука двигается. Можно истерить, но наука двигается. Но там море проблем: — У многих опустились руки — нет смысла думать над такими задачами, потому что робот всё решит. — Есть такой Йорг Нойнхойзерер, который всю жизнь решал три задачи и не решил, а ChatGPT походя их закрыл. Ну сорян, чо. — Профессор Лосано-Робледо опубликовал письмо студента, который мечтал об академической карьере, а теперь не понимает, останется ли в математике место для кого-то, кроме гениев. Таких писем вроде бы много. Процесс тоже поменялся: аспирантам теперь спускают машинные доказательства на переписывание. В итоге ответов стало слишком много, и срочно нужны люди, которые встроят их в понятное знание. Но это ровно та работа, ради которой в математику никто не шёл. Шли вообще-то искать сами, а тут предлагают помогать роботу. Тут работа про то, как проверять доказательства, потому что моделям верить на слово нельзя. Предлагают точно так же, как в разработке — писать скрипт и исполнять. Конкретно выгружать доказательство на языке Lean, который исполняется компилятором. Собственно, основная проблема теперь — оно стало всё проверяемо, но НИХРЕНА НЕПОНЯТНО, как работает. За последнюю неделю выяснилось, что Lean-формализация Навье-Стокса не совпадает с доказательством в самой статье, так что третья черепаха врёт. Ну и предложили математику 2.0 — решать не надо, надо объяснять. Добро пожаловать в матокалипсис! -- Вступайте в ряды Фурье! | Лучшие посты 350 лет без рекламаций! Без документации! Без инструкций! Без поддержки! Теорема Ферма!

Случай, где женщина вылечила себе рак корью и стоматитом подсказал @jitbit c @devfounder. Есть такая доктор Беата Халасси, у неё был агрессивный рак груди. Сначала была операция и тяжелейшая химиотерапия, которая сильно подорвала её иммунитет. Через 2 года рак вернулся, потом случился второй рецидив — опухоль перешла в стадию 3b, проросла в мышцы и кожу. Шансов выжить осталось мало. Беата решила отказаться от повторной химиотерапии, чтобы сохранить ресурсы иммунной системы, и вместо этого пойти на дикий риск: применить свои профессиональные знания и ввести вирусы прямо в опухоль. Раковые клетки не умеют замедлять внутренние процессы, не способны к нормальному самоуничтожению и прячутся от иммунитета за специальным химическим барьером. Поэтому они беззащитны перед вирусами, потому что список выше того, что опухоль не умеет — это по совместительству противовирусные меры. Но даже в такой ткани клетке лучше самоуничтожиться, чем стать заводом по производству новых вирусов. Так что когда вирус проникает в опухоль, он начинает массово уничтожать раковые клетки. Продукты распада клеток и вирусы прорывают маскировку опухоли. Иммунитет начинает распознавать, что там происходит. Беата сначала использовала ослабленный штамм вируса кори из обычной вакцины. После нескольких уколов опухоль сначала воспалилась и набухла (из-за притока иммунных клеток), а затем стала стремительно уменьшаться. Чтобы организм не успел полностью выработать нейтрализующий иммунитет к кори, Беата переключилась на второй вирус — везикулярного стоматита. За два месяца опухоль уменьшилась на 63%, размягчилась и отделилась от мышц. Хирурги удалили ее остатки (половина массы опухоли состояла из атакующих иммунных клеток). Прошло уже более 6 лет, и рак не вернулся. Круто, хэппи-энд, вот это всё. Но: — Она использовала несертифицированные для людей лабораторные методы. — Сейчас методы вроде вирусотерапии дают пациентам только на терминальных стадиях — когда организм и иммунитет уже истощены химиотерапией (а для вирусотерапии нужен сильный иммунитет). — Идее почти сто лет, но в клинику дошёл фактически один препарат. Как раз потому, что вирусы испытывают на тех, кому традиционные методы не подошли. Так что начались дичайшие холивары. Вот научная работа с протоколом эксперимента. Фактически, они говорят, что есть много гипотез, которые надо проверять. Есть интересная деталь от рецензента — с научной точки зрения не произошло ничего нового, вся сенсация в том, что учёный сделал это себе сам вирусом собственного производства. У неё было больше десятка отказов рецензентов. Потом Халасси развернула лабораторию на онколитическую виротерапию для кошек и собак — единственных пациентов, у которых этическая процедура проще, чем у неё самой. Тут разбор, чего вообще направление вирусотерапии добилось за много лет. За все годы — один работающий препарат при одной болезни. Остальное — либо местные одобрения, либо испытания. Чтобы ввести живой вирус пациенту, нужно переделать не только науку, но и работу аптеки, медсестры и больничной эпидемиологии. Есть сложные конфликты интересов, потому что большая часть исследователей этой области параллельно занимается фармой. В целом: — Беата очень чётко показала, что экспериментировать надо активнее. — Выжила. — Лечит собак и кошек вирусами собственного производства. — Она молодец! — Это сигнал исследователям, что надо больше копать в другую сторону, и что протоколы иногда слишом медленные и консервативные. — Надо собрать несколько комитетов это обсудить! -- Вступайте в ряды Фурье! | Лучшие посты Межсезонье у травматологов — мотоциклисты уже закончились, а сноубордисты ещё не начались!

Случай, где женщина вылечила себе рак корью и стоматитом подсказал @jitbit c @devfounder. Есть такая доктор Беата Халасси, у неё был агрессивный рак груди. Сначала была операция и тяжелейшая химиотерапия, которая сильно подорвала её иммунитет. Через 2 года рак вернулся, потом случился второй рецидив — опухоль перешла в стадию 3b, проросла в мышцы и кожу. Шансов выжить осталось мало. Беата решила отказаться от повторной химиотерапии, чтобы сохранить ресурсы иммунной системы, и вместо этого пойти на дикий риск: применить свои профессиональные знания и ввести вирусы прямо в опухоль. Раковые клетки не умеют замедлять внутренние процессы, не способны к нормальному самоуничтожению и прячутся от иммунитета за специальным химическим барьером. Поэтому они беззащитны перед вирусами, потому что список выше того, что опухоль не умеет — это по совместительству противовирусные меры. Но даже в такой ткани клетке лучше самоуничтожиться, чем стать заводом по производству новых вирусов. Так что когда вирус проникает в опухоль, он начинает массово уничтожать раковые клетки. Продукты распада клеток и вирусы прорывают маскировку опухоли. Иммунитет начинает распознавать, что там происходит. Беата сначала использовала ослабленный штамм вируса кори из обычной вакцины. После нескольких уколов опухоль сначала воспалилась и набухла (из-за притока иммунных клеток), а затем стала стремительно уменьшаться. Чтобы организм не успел полностью выработать нейтрализующий иммунитет к кори, Беата переключилась на второй вирус — везикулярного стоматита. За два месяца опухоль уменьшилась на 63%, размягчилась и отделилась от мышц. Хирурги удалили ее остатки (половина массы опухоли состояла из атакующих иммунных клеток). Прошло уже более 6 лет, и рак не вернулся. Круто, хэппи-энд, вот это всё. Но: — Она использовала несертифицированные для людей лабораторные методы. — Сейчас методы вроде вирусотерапии дают пациентам только на терминальных стадиях — когда организм и иммунитет уже истощены химиотерапией (а для вирусотерапии нужен сильный иммунитет). — Идее почти сто лет, но в клинику дошёл фактически один препарат. Как раз потому, что вирусы испытывают на тех, кому традиционные методы не подошли. Так что начались дичайшие холивары. Вот научная работа с протоколом эксперимента. Фактически, они говорят, что есть много гипотез, которые надо проверять. Есть интересная деталь от рецензента — с научной точки зрения не произошло ничего нового, вся сенсация в том, что учёный сделал это себе сам вирусом собственного производства. У неё было больше десятка отказов рецензентов. Потом Халасси развернула лабораторию на онколитическую виротерапию для кошек и собак — единственных пациентов, у которых этическая процедура проще, чем у неё самой. Тут разбор, чего вообще направление вирусотерапии добилось за много лет. За все годы — один работающий препарат при одной болезни. Остальное — либо местные одобрения, либо испытания. Чтобы ввести живой вирус пациенту, нужно переделать не только науку, но и работу аптеки, медсестры и больничной эпидемиологии. Есть сложные конфликты интересов, потому что большая часть исследователей этой области параллельно занимается фармой. В целом: — Беата очень чётко показала, что экспериментировать надо активнее. — Выжила. — Лечит собак и кошек вирусами собственного производства. — Она молодец! — Это сигнал исследователям, что надо больше копать в другую сторону, и что протоколы иногда слишом медленные и консервативные. — Надо собрать несколько комитетов это обсудить! -- Вступайте в ряды Фурье! | Лучшие посты Межсезонье у травматологов — мотоциклисты уже закончились, а сноубордисты ещё не начались!