Техножрица 👩‍💻👩‍🏫👩‍🔧

А я давно ещё покупала набор Лего с ней... 😢 До сих пор где-то лежит дома 😢

Умерла информатик Маргарет Гамильтон. Ей было 90 лет. С 1959 года исследовательница работала в нескольких лабораториях при Массачусетском технологическом институте, где участвовала в создании программного обеспечения для прогнозирования погоды и сети противовоздушной обороны SAGE. В 1965 году она перешла в лабораторию, которая разрабатывала бортовой компьютер для программы космических полетов к Луне «Аполлон». Гамильтон стала первой женщиной-программистом в команде. Вскоре она возглавила отдел разработки бортового программного обеспечения для пилотируемых миссий. С 1969 по 1976 год Гамильтон участвовала в подготовке шести миссий по высадке на Луну. В 2016 году ее заслуги отмечены Президентской медалью свободы #Космонавтика | #IT | *1.4 🙄 Подпишитесь на N + 1

Резюме новой политики Антропик в четырех словах (дальше его ответ все равно не читала). Не благодарите. 😌 https://www.anthropic.com/legal/aup

Мы? 🫶

10 лет назад Ян ЛеКун писал о 500 поданных статьях на ICLR, одной из top-tier ML-конференций. Это было в два раза больше, чем годом ранее. В этом году сабмитов уже больше 60 тысяч. Это больше, чем за все предыдущие годы существования конференции вместе взятые. Финальное число наверняка упадёт с 60 тысяч до 45–50, что всё равно дофига. Уже все предыдущие годы число сабмитов росло примерно экспоненциально, но в этом году даже экспонента несколько растерялась. Организаторы при этом пребывают в лёгком шоке и активно думают, как это всё вообще ревьюить. Мне кажется, другого пути, кроме AI-assisted review, уже просто нет. Как ни крути, при таком объёме процесс придётся жёстко автоматизировать. Вопрос скорее в том, какую форму это примет и как сделать это правильно. Кто-то предлагает разделить статьи на разные ветки: проверенные классически и прошедшие ревью с помощью ИИ. Может быть, стоит вводить систему кредитов: как-то поощрять тех, кто готов на AI-review, и штрафовать тех, кто отправил к людям откровенный шлак и просто сжёг время рецензентов. Но что бы в итоге ни придумали, руками это всё уже не проверить. Качество автоматического ревью ещё предстоит обсуждать - качество отсутствующего ревью обсуждать немного сложнее. Такой вот слопакалипсис.

ЗАПЛАТИЛА 20$ АЛЬТМАНУ ЗА ПОДПИСКУ НА GPT-5.6-SOL, ПОТОМУ ЧТО КОЛЛЕГИ ГОВОРЯТ ЧТО ОН ПИШЕТ НАУЧНЫЕ ТЕКСТЫ ЛУЧШЕ ЧЕМ КЛОД @ СКИНУЛА ЕМУ ЛАТЕХ СВОЕГО АППЕНДИКСА И ПОПРОСИЛА СДЕЛАТЬ МИНИМАЛЬНО ВОЗМОЖНЫЕ ПРАВКИ, ЧТОБЫ УЛУЧШИТЬ ГРАММАТИЧЕСКУЮ КОРРЕКТНОСТЬ И МАТЕМАТИЧЕСКУЮ СТРОГОСТЬ, А ТАКЖЕ УКАЗАТЬ НА ВОЗМОЖНЫЕ НЕТОЧНОСТИ @ ГПТ ПЕРЕПИСАЛ ВЕСЬ АППЕНДИКС В ДРУГОМ СТИЛЕ @ СКАЗАЛА ЕЩЁ РАЗ ЧТО ПРАВКИ ДОЛЖНЫ БЫТЬ МИНИМАЛЬНЫМИ @ GPT СОГЛАСИЛСЯ И ОПЯТЬ ВСЕ ПЕРЕПИСАЛ, ПОЧЕМУ-ТО ВДОБАВОК ЗАМЕНИВ ЗНАКИ ДОЛЛАРА НА СКОБОЧКИ, А ТАКЖЕ ПРОПУСТИЛ ОТКРЫВАЮЩУЮ СКОБОЧКУ, ИЗ-ЗА ЧЕГО ЛАТЕХ ПЕРЕСТАЛ КОМПИЛИРОВАТЬСЯ @ ДОБАВИЛА ПОДРОБНЕЙШИЕ ИНСТРУКЦИИ ПРО МИНИМАЛЬНЫЕ ПРАВКИ В ПРОМПТ ОБЩИЙ ДЛЯ ВСЕХ ЧАТОВ И В ПОСЛЕДНИЙ РАЗ СКАЗАЛА ЧТОБЫ ПРЕКРАТИЛ ПЕРЕДЕЛЫВАТЬ ТЕ ЧАСТИ ТЕКСТА, С КОТОРЫМИ И ТАК ВСЕ В ПОРЯДКЕ, А ТАКЖЕ ВЫДАВАЛ РАБОЧИЙ ЛАТЕХ КОТОРЫЙ МОЖНО ВСТАВИТЬ В ОВЕРЛИФ @ ГПТ ВЫДАЛ НОВЫЙ ТЕКСТ, НА ЭТОТ РАЗ, ДЕЙСТВИТЕЛЬНО НА ПЕРВЫЙ ВЗГЛЯД ОЧЕНЬ БЛИЗКИЙ К СТАРОМУ И СОДЕРЖАЩИЙ ДЕЙСТВИТЕЛЬНО СПРАВЕДЛИВЫЕ ПРАВКИ ПО ДЕЛУ @ СКОПИРОВАЛА ТЕКСТ В ОВЕРЛИФ @ ВСЕ ССЫЛКИ НА КАРТИНКИ И ДРУГИЕ АППЕНДИКСЫ ПРЕВРАТИЛИСЬ В ТЫКВУ ПОТОМУ ЧТО ВСЕ ССЫЛКИ ВИДА \ref{app:appendix_name} БЫЛИ ЗАМЕНЕНЫ НА \ref{app}, А \ref{fig:figure_name} - НА \ref{fig}

Я перед любым дедлайном

Популярные представления о том, что настоящий ученый должен целыми днями думать только о науке, забывая про еду и про сон - такая залупа, если честно. Вспоминается на эту тему, как встречалась я в незапамятные времена с одним к@злом. Когда мы с ним вместе ботали лекции или задачки, я зачастую уставала быстрее него и предлагала пойти на перерыв - поесть или прогуляться. В такие моменты он закатывал глаза: "Неужели ЕДА интереснее МАТЕМАТИКИ? 🙄". А если я в хорошем настроении готовилась лечь спать пораньше, напевая песенку в предвкушении отборного восьмичасового сна, он мог спросить: "Неужели СОН интереснее ПРОГРАММИРОВАНИЯ? 🙄". И после этого мне всегда становилось как-то неловко и начинало казаться, что к@зел - возвышенный человек, живущий утонченными интеллектуальными потребностями, а я - низменная рабыня слабой плоти, управляемая примитивными позывами. Позже до меня, правда, дошло, что дело тут не в возвышенности, а в физиологии: у к@зла был, во-первых, хороший метаболизм, который позволял ему чувствовать себя энергичным даже если весь день не ел, а во-вторых, большой запас прочности нервной системы - такое бывает в молодости и часто проходит само собой примерно годам к 30ти. 🤵‍♂️ Впрочем, в достижении научных успехов это не помогло - с момента нашего расставания чел больше не написал ни одной научной статьи и так и остался с микрохиршем. ☔️ #о_себе

"AI решил выберите-проблему-математиков" Безумно обожаю, когда решаются какие-то сложные задачи, и на места встают паттерны в чиселках и абстракциях. И за последний год много куда нейрон приолжил AI. И хотя, кажется, нас волновало в основном уравнение Навье-Стокса из-за скандала, красивого было много: 1. Циклы Кнута Дональд Кнут — автор «Искусства программирования», ему 87. Он решал задачу поиска маршрутов на кубе m×m×m из точек, где из каждой точки три стрелки, и надо разложить все стрелки на также три маршрута, каждый из которых обходит все точки ровно раз. Случай 3×3×3 был решен, общего решения не было. Его (вернее, подход к обобщению) принес Клод, и Дональд Кнут написал доказательство. Статью назвал «Циклы Клода», открыл её словами «Шок! Шок!» и закончил тем, что попросил не писать ему с обсуждением =) Там, если что, ещё не доведены четные m 2. Aletheia на Gemini Deep Think. Пример успешного натравления агента (двух на разных моделях) на решение актуальных задач. Решено 6 из 10. Из забавного у каждого агента по отдельности был хотя бы один ложноположительный результат и все шесть задач были решены именно парой только парой: отчёт First Proof, блог DeepMind 3. Точки на плоскости Расставь n точек на плоскости. Сколько пар может оказаться на расстоянии ровно 1? Эрдёш в 1946 году предположил верхнюю границу. Модель OpenAI построила расстановку, которая её превышает и опровергла гипотезу. Пост в x. 4. Августовские шары (жаль, не перекати-поля) и несофические группы. OpenAI выкатила пакет: 249-страничный манускрипт, и доказательства на GitHub. Там итого было 10 задач, с затратой в 2000$ Из важного выделяют несофические группы (существование таких не могла ни доказать, ни опровернусть с 1999), а остальные девять — про упаковку шаров в многомерном пространстве (верхняя оценка улучшена впервые с 1978 года), про числа Рамсея, про сложность вычисления перманента, про решётки в постквантовой криптографии. Анонс OpenAI. 5. Августовская Дзета-функция Про это я писала отдельно. Коротко: доля нулей, про которые доказано, что они на критической прямой, выросла с 41.6% до 67.25%. Рекорд стоял с 2020 года, а до него его поднимали с 1914-го. Anthropic 6. Сентябрьский Ферма Формализация теоремы. Это не новый результат, но пример формализации, бывшей с точки зрения описания сложной. 7. Сентябрьский Навье–Стокс Уравнения описывают течение жидкости. Вопрос на миллион долларов (правда дают денег!): может ли из гладкого начального состояния за конечное время возникнуть точка, где скорость бесконечна? С историей много связано моментов: за 12 часов до этого о близких результатах объявила другая команда, сейчас идёт спор о приоритете, а ещё часть математиков считает, что решён не тот вариант задачи. Если вы видели — была прям драмма. OpenAI. В каждую новость и в их совокупность, помимо красивого, можно вложить много смыслов. Первый момент, как мне кажется, может показаться, что человеческий мозг в целом отмирает, и становится рудиментом. И зачем учиться, зачем углубляться, есть AI. У этого есть ряд контр-аргументов: — Независимые замеры: FrontierMath Erdős, 68 задач, отобранных человеком, и моделями решено 2 из 68, тут таблица. — Весь агентский рисерч (Sakana, Autoresearch Андрея Карпатого, AiScientist, OpenResearch (и далее — их чет прям много)) — суть просто культурный pipeline исследования, описанный агенту инструкцией. Отсюда мозг-то надо, просто теперь как-то иначе приходится думать Второй момент — это авторство. "Что написано в интернете осталось в интернете" — это теперь "что написано в "GPT" осталось в трейне". Это стремно и тревожно, так как сейчас стали жестче даже submissions, ибо ревьюеры пользуются AI, в том числе чтобы съесть твою жопу (простите). И у меня есть ощущение, что исследователи и так in the hurry. По позиции с этим я никуда не приземлилась, так что просто работаю.

Естественно, после резкой отмены нейролептика сразу же вернулись все прелести смешанного эпизода: я постоянно чувствовала какую-то неизбывную мучительную душевную тоску, страшную безнадегу, глубокую, как черная дыра, а при попытках уснуть меня часто пронзала резкая тревога, от которой я открывала глаза и видела глюки, от которых меня бросало в пот и колотило от ужаса. Поэтому спать мне удавалось мало и плохо, в основном днем. Таким образом, хоть за счет отмены отупляющего препарата я и восстановила способность хоть немного делать что-то по работе, до полноценного восстановления интеллекта в таких условиях дойти было невозможно, да и в принципе жизнью это беспрерывное страдание назвать было нельзя. Чисто физическая боль от убитого ЖКТ также добавляла в это страдание красок. Единственное, пожалуй, что отвлекло меня от планирования суицида - это то, что мне надо было ехать на конференцию EMNLP 2021-го года в Доминиканской Республике. Ради этого пришлось приводить себя в порядок - репетировать доклад, собирать вещи, садиться на самолет. Заполнить авансовый отчет, впрочем, я была не в состоянии, так что аванс не выдали, и на оплату отеля мне пришлось брать кредит в приложении Сбербанк Онлайн (не является инвестиционной рекомендацией). Первые дни на конфе мне, конечно же, было невероятно дерьмово. Безмятежная обстановка с пальмами и морем внушала не расслабление, а ужас. Что-то было определенно не так. В каждом темном уголке мне мерещелись странные тени. Время от времени у меня перед глазами появлялась какая-то серая муть или что-то типо темного облака, от чего я махала рукой перед глазами и коллеги спрашивали, почему. Мне было стыдно за свое состояние, и я говорила, что мне показалось, что мимо пролетела муха. Из плюсов было то, что я, с одной стороны, больше не чувствовала жуткого кветиапинового голода, и в то же время уже физически восстановилась настолько, чтобы спокойно есть без угрозы кровавой рвоты - правда, в основном мягкие проукты. Благодаря этому у меня получалось спокойно завтракать, обедать и даже ужинать вместе со всеми участниками конференции так, как будто бы я почти нормальный человек. К счастью, после того, как я прочитала свой доклад и увидела, что все мне хлопают, хвалят и интересуются моей научной работой, мне стало намного легче. Я погуляла и пообщалась с интересными людьми и под конец поездки даже смогла немного расслабиться. Так началось мое выздоровление и восстановление после, возможно, самого тяжелого смешанного эпизода в моей жизни. И как бы мне ни было тяжело после этого, такого дербма со мной, к счастью, больше не происходило уже никогда. — Сейчас, задним числом, я понимаю, что решение бросить препарат в той ситуации было крайне рискованным, так как я реально могла этого не пережить. То, что надо было сделать на самом деле, так это обратиться к другому психиатру за альтернативным мнением и подобрать препарат, который бы больше мне подошел и не причинял бы столько вреда. Ведь позже, через несколько лет, я узнала, что оказывается, были другие препараты, которые могли бы подойти в той ситуации. Но в тот момент я этого не знала и верила плохому врачу, которая говорила, что якобы кветиапин это единственный возможный для меня вариант. Так что посоветую подписчикам следующее: не принимайте тяжелые психиатрические препараты без крайней необходимости. Ну а если вам их назначает врач, обязательно внимательно следите за побочками. Если побочки стали невыносимы, а врач игнорирует ваши сообщения об этом и считает, что их надо просто "терпеть" - посылайте его нахуй и идите к другому врачу. Ну а я пойду спатеньки. 😌 Усну, конечно, еще не скоро, но буду радоваться, что в последние годы при бессоннице я лежу в кровати хоть и в плохом настроении, но хотя бы без глюков и паничек. 🛏 #о_себе

В комментариях к посту про сон, тем временем, творился сущий кошмар: одни комментаторы давали дельные советы, другие флудили, в то время как третьи погружались в самую настоящую пучину безумия... Одним из таких безумных советов был принимать от бессонницы кветиапин. 🧠 Если кто-то не знает, это мощный нейролептик, который обычно назначается при психотических/смешанных эпизодах при шизофрении или БАР, с очень неприятными побочными эффектами. При чем, как и со многими другими похожими лекарствами, тяжесть этих эффектов и то, пройдут ли они со временем либо только усилятся, предсказать не могут и сами психиатры - слишком уж это сильно варьируется от пациента к пациенту. Для того, чтобы проиллюстрировать то, как может выглядеть самый тяжелый конец этого спектра побочек, а также окончательно закрыть вопрос того, почему упоминание данного лекарства меня так сильно триггерит, раскрою одну из самых тёмных страниц своего лора. Предупрежу сразу: далее будет описание очень противных и неприятных вещей. Если не хочется портить настроение, лучше промотать. Итак, этот препарат мне назначали в 2021-м году при тяжелом смешанном эпизоде БАР (с паническими атаками и галлюцинациями), после того, как не подошли пара других нейролептиков. Доброе вещество практически сразу осчастливило меня такой побочкой, как лютый, бешеный голод, ощущающийся по уровню интенсивности как физическая боль. Поначалу я, как разумный человек, пыталась сопротивляться данному явлению, набивая живот овощами, курогрудкой и прочей низкокалорийной/высокобелковой дребеденью, а также занимаясь физической активностью для траты лишних калорий. Однако, это не помогало: живот буквально болел от того, сколько диетической дребедени я в него набивала, но противоестественное и абсолютно невыносимое чувство голода от этого не ослабевало. Единственным способом ослабить интенсивность голода хотя бы на пару часов было поесть какого-либо жирного хрючева. Со спортом были при этом следующие проблемы: во-первых, на дворе стояли ковидные ограничения, я большую часть времени сидела дома, а дома заниматься спортом было тяжело, особенно при убитой в хламину психике. Во-вторых, вскоре вступила в действие вторая побочка препарата: жуткая лень и апатия, которая окончательно поставила крест на моих потугах делать физические упражнения. Таким образом, я нажирала хрючева примерно на три с половиной тысячи калорий в день и даже больше (я привыкла считать калории и продолжала делать это в первый месяц приема препарата) и при этом лежала батоном, от чего, очевидно, начала стремительно толстеть. Параллельно с этим препарат очень сильно меня отуплял. Настолько, что через пару месяцев приема я пришла к полной невозможности заниматься каким-либо умственным трудом и была вынуждена взять на работе неоплачиваемый отпуск. Однако, моя гениальная психиатрша считала, что раз галлюцинации и панические атаки прошли, значит препарат "помогает" и все зашибись, и принимать его надо и дальше, а что до побочек - ну так это надо "потерпеть", бывает и хуже. К третьему месяцу приема кветиапина в моей жизни не осталось ничего кроме хрючева и тупых видосов на ютубе. Я была в тупике. С одной стороны, я боялась прекратить прием препарата, ведь тогда бы возобновился психоз с глюками и паничками, что было буквально адом на земле. С другой стороны, при продолжении приема у меня не оставалось ничего, за что я могла бы себя уважать и ничего, чем я могла заниматься хоть с каким-то интересом, и при этом над головой у меня висела дамокловым мечом угроза потери работы из-за полной нетрудоспособности (а найти новую работу в таком состоянии я, очевидно, бы не смогла). В результате, для того, чтобы прекратить мучаться от невыносимой скуки и еще более невыносимого осознавания того, в какого никчемного овоща я превратилась, я начала вдобавок к приему кветиапина еще и бухать. И это действительно в каком-то смысле помогало, ведь благодаря сочетанию бухла с кветиапином я буквально теряла сознание. Правда, при этих потерях сознания я падала на пол и разбивала себе башку (а также все остальное), а о том, какой вред это наносило головному мозгу, я и думать боюсь. Кроме того, мой ЖКТ и так уже к тому моменту был давно измучен хроническим эрозивным гастродуоденитом, а от непомерянного потребления водки его вообще порвало, как затролленного лошка в комментариях, и меня начало тошнить кровью каждый день. 🥳 В итоге, когда я в очередной раз валялась на полу своей съемной квартиры и смотрела на то, как мои волосы мокнут в кровавой блевоте, которая растекалась рядом, мой отупевший от психоза и кветиапина межушный нервный узел все же дошел до мысли о том, что если дальше продолжать в том же духе, то все, что меня ждет - это смерть. На фоне этого, психоз стал казаться не таким уж и страшным, так что я просто взяла и перестала принимать кветиапин - примерно через три-четыре месяца приема, набрав к тому моменту +15 килограмм чистейшего жира и оставшись с огромным количеством рубцовой ткани в пищеводе и желудке (это, впрочем, выяснилось уже намного позднее на гастроскопии). #о_себе

Что значит "некоторые"? 🤨

Ночь с пятницы на субботу - идеальное время для следующего релиза моей текстовой нейрослоп-игры про жизнь ресерчера: https://claude.ai/artifact/EC4ukDsSh3iibBNwJBsCZ1 Главные изменения - в балансе: - суицид реже приводит к смерти и чаще - к попаданию в дурку - также я понерфила предметы для улучшения сна, чтобы засыпать было посложнее и в контенте: - мини-игры теперь свои для каждого интеллектуального занятия - от арифметических операций до проверки знания pytorch - в дурке появилось больше разных занятий, например, теперь там можно обменивать сигареты на Ландау-Лифшица и другие книги, чтобы не тупеть Также у игры появился github: https://github.com/SilverSolver/Hehe_haha . С него можно стягивать себе говнокод и предлагать пул реквесты. Ну а на рис. 1-5 можно ознакомиться с отзывами счастливых игроков в предыдущую версию.

А ведь все время пока мы хихикали, он реально думал над этим длинным промптом и че-то сделал: https://claude.ai/artifact/1hLNYUEZZ5taLx1g3A6Cqo

Сделает? 🥺