Узнал, что кубические уравнения кроме формулы Кардано решаются тригонометрически

Отчёт Кевина Баззарда о формализации конденсированной математики
https://xenaproject.wordpress.com/2022/09/12/beyond-the-liquid-tensor-experiment/
Впечатляет, все учить Lean!

А вот и конкуренты моим скриптам подъехали:) надо ему скормить какой-нибудь примерчик. Подозреваю, что в латехе оно не отдает.

https://blog.google/products/search/more-help-with-math-and-science-problems-in-search/

#полезное

Использование ИИ для преподавания математики и исследований

Cool book I'd like to read:
Geometrization of the local Langlands correspondence by
Laurent Fargues and Peter Scholze

Интересно, какие спектралки несут мультипликативную структуру?

Удивительно, нашёлся тезис Николая Дурова https://arxiv.org/pdf/0704.2030

Это тот самый мегазолотой межнарник, главный программист в VK и Telegram. Оказалось, у него есть два математических PhD, один в Питере, другой -- в Бонне под руководством Фалтингса (да, который теорема). Очень мощный тезис, очень интересно, очень понятно пишет

Вспомнил про Penney's game нетранзитивную игру в монетки

Ричард Шварц доказал элементарным способом, что чтобы свернуть ленту Мёбиуса, нужен прямоугольник с соотношением сторон хотя бы 1: 2*sqrt(3)

Он доказал бы и раньше, но поначалу думал, что если разрезать лист Мёбиуса, получится параллелограмм. На самом же деле, выходит трапеция. Рич назвал это "collaboration of a mathematician and an idiot which also were one person". Это я.

Оказывается Chief Scientist в OpenAI -- это не просто название для галочки, Илюха реально хорош

Donryul Kim решил все упражнения из Хартсхорна и выложил онлайн в свой блог💀

Говорят, лучший обзор продвинутой теории модулярных форм с нуля содержится в первой главе книжки Daniel Bump "Automorphic forms and representations"

Про сайд проекты как контакт с реальностью. В важном посте про отказы я упоминал, что для объективной оценки собственной состоятельности полезно на своем опыте ощутить рынок, на котором приходится работать. Есть много профессий, где такого контакта может не быть годами - инженеры, дизайнеры и почти все, у кого нет customer-facing, а лучше - sales процессов. То есть продакт, который делает интервью с пользователями, скорее всего находится в таком же пузыре неадекватных оценок - реалий вокруг и своей состоятельности.

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

Сайд-проект - самый простой способ пощупать реальный мир за разные места!

2️⃣ Дизайнер? Сделай UI kit, шаблон для фигмы или шрифт - пусть это кто-то купит. Разработчик? Закодь скрипт, плагин, расширение, чтобы кто-то пользовался. Продакт? Заверни GPT API в бизнес-процесс, чтобы была кому-то польза. Можно в конце концов запилить сайт с тематикой, релевантной своей деятельности.

Это безусловно лучшее, что можно сделать почти в любой диджитал-профессии!

3️⃣ Если кто-то считает, что у него нет времени на такое, то скажу: навыки приобретенные работой над сайд-проектом и его дистрибьюцией (!!!) несравнимо важнее, чем любые другие, которые можно назвать профессиональными.

Строчка в резюме о своем успешном крошечном проектике переводит соискателя в 1% адекватных. Упоминание сайд-проекта в питч деке нередко делает фаундера second-time.

4️⃣ Сайд-проект не обязательно должен быть софтом или каким-то приложением! Главный критерий - "это кому-то нужно!"

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

Главный и единственный критерий - значимое количество людей пользуются и/или заплатили деньги. Если этого нет, то и сайд проекта нет. Но остается опыт "как делать не надо!" 🙂

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

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

6️⃣ Надеюсь убедил, что сайд-проекты полезно делать почти всем! Но какими они могут быть, чтобы не занимали больше нескольких часов в неделю и приносили описанную пользу? Что угодно:

- Подкаст, блог, рассылка, дайждест, канал и др. (должен быть рост аудитории, иначе это проект для друзей из фейсбука).
- Аналитика в виде отчетов, табличек, выжимок и др.
- Миникурс/минигайд по своей специализации, кураторство/менторство, проведение митапов.
- Крошечный опенсорс проект, расширение для хрома, скрипт.
- Сет иконок, шаблон, UI кит, шрифт, design critique.

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

7️⃣ Придумывать легко, но получится ли сделать сайд проект, да еще, чтобы он был кому-то нужен? В автономном режиме, из корпоративного пузыря, сделать полезное не так-то просто. Но это не значит, что невозможно! Получается у всех, кто прилагает немного регулярных усилий. Осталось поделать сайд-проект руками, бесплатно. И закончить его! 🥲

@kyrillic

Intersection theory on algebraic stacks and on their moduli spaces (1989)
Angelo Vistoli

В аппендиксе премилое введение в стэки

Tate's thesis blogpost by Dongryul Kim : 1, 2
Очень понятное изложение

Канал Пети Пушкаря

Введение в ассистенты для компьютерных математических доказательств - какие они бывают и с чем их едят. С отзывами от работающих математиков!

Думаю посмотреть в эту сторону. Тао уже вовсю развлекается, например!

How to give a talk

Полезно периодически освежать