tropical saint petersburg

Электронная версия книги "Математики Санкт-Петербурга и их открытия", в свободном доступе. Что главное должен воспитывать в себе ученый? Нужно избавиться от излишнего честолюбия. Не следует думать, что счастливым может быть только гений. Нужно приучиться ценить даже маленькое достижение, радоваться ему и никогда не переоценивать себя. Нужно выработать в себе трудолюбие. Нужно понять и воспитать в себе радость познания, которая почти то же, что и радость жизни. Счастье в том, чтобы дело твоей жиз...

с чатомЖПТ доказали формулу товарища Суня!! Я горд (мечтал об этом). Заняло примерно два часа. В принципе, идейно задача по модулю известного состояла в том, чтобы проверить, является ли данный вектор линейной комбинацией других данных векторов. Но, блин, сам я бы такой код в жизни не написал. Хотя ничего сложного в нём нет, прочитать и верифицировать-то.

кто совсем не знает Lean и готов потратить два часа на развлечение (в самом низу там ссылка на онлайн версию Lean) с ним: знать ничего не нужно, просто наводите курсор на текст или двигаете текстовый курсор и смотрите, как меняются переменные справа (я то же самое пытался в Visual Studio делать, но иногда ерунда какая-то выходила — видимо, другая версия Lean. С другой стороны, Copilot нехило так подсказывает, что вообще ничего делать не надо (когда работает). А иногда не компилится и хрен знает ...

Любовь. Смерть. Роботы. Космология, Гауссовы процессы. Устойчивые гомологии.

люблю придумывать суперсравнения для Гауссовых чисел.

Susan Faludi в своей книге 1999 года Stiffed: The Betrayal of the American Man пишет: «Не раз замечали: экономический сдвиг от индустрии к сфере услуг — от производства к потреблению — символически выглядит как движение от традиционно “мужского” к традиционно “женскому”. Но в гендерном смысле это далеко не просто “смена пола”; для мужчин переход оказывается куда более травматичным, чем мы обычно предполагаем. Общество полезности (society of utility) — при всех несомненных формах эксплуатации муж...

Последние времена наступают: формализовали в Lean результаты филдсовской медали Вязовской про упаковку сфер, AI им конечно помогал. Может, наступила инженерная эра математики? Раньше каждый математик это по сути такой Леонардо да Винчи, сидит, сам мастерит крылья и минисамолёты, чтобы взлетать, ну может с друганами за гаражами. А с Lean это как будто неизбежно 1000 человек будут строить звездолёты, чтобы в космос летать, каждый отвечает за свою деталь, конвейр, контроль качества, и тд (так сейча...

Прочитал “Letter to a PhD student” (David Bessis). Там обсуждается вопрос: стоит ли вообще заканчивать PhD, если существенную часть интеллектуальной работы скоро будут делать роботы. Ответ примерно такой: если есть возможность заниматься тем, от чего по-настоящему прёт, то стоит делать именно это; а за какие конкретно виды работы будут платить в будущем, всё равно никто не знает. Понравилась мысль, что AI — не главная проблема академии; демография, возможно, куда серьёзнее. Academia разрослась в...

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

10 (исследовательских, уже решённых) задач, решений которых точно нет в интернете, авторы призывают любителей AI попробовать с ними справиться и потом отчитаться о результатах