Карта расположения полезных ископаемых на территории Украины
К России отошли территории с крупными месторождениями полезных ископаемых, включая свыше 60% угольных запасов, 20% природного газа, а также 33% редкоземельных и других стратегически важных металлов, включая литий.
К России отошли территории с крупными месторождениями полезных ископаемых, включая свыше 60% угольных запасов, 20% природного газа, а также 33% редкоземельных и других стратегически важных металлов, включая литий.
Познавательный тред о том, что вся эта шумиха вокруг редкоземельных минералов Украины — информационный пузырь.
Forwarded from Baza
Юрист из Москвы подал в суд на микрофинансовую организацию за навязчивые звонки. Также он написал заявления в полицию, прокуратуру и Центробанк. Он требует с организации деньги и извинения за звонки по вопросу кредита его знакомого.
Первый звонок поступил Денису в сентябре 2023 года. Звонивший представился сотрудником микрофинансовой организации «еКапуста» и спросил, знает ли он Андрея Н. Когда Денис ответил, что знает, звонивший попросил передать ему, чтобы тот оплатил долг. Денис положил трубку, но спустя время звонки повторились. Тогда Денис сам перезвонил в организацию, сообщил им, что он не давал согласия на обработку персональных данных и не соглашался каким-либо образом участвовать при выдаче займов.
Когда звонок повторился опять, Денис пошёл в полицию. Вскоре оттуда пришёл отказ в возбуждении дела, и тогда Денис написал заявление в суд. Он потребовал 30000 рублей и удалить его персональные данные.
Во время суда судья поинтересовался у ответчиков, откуда у тех номер телефона Дениса. Представитель микрофинансовой организации сообщил, что Денис ранее брал у них заём. И даже показали соответствующую бумагу. Денис утверждал, что никаких займов он не брал. Поверив словам ростовщиков, суд отказал Денису в иске.
Однако Денис не стал с этим мириться и написал заявление в ЦБ. Тогда и выяснилось, что компания микрозаймов обманула суд: после запроса ЦБ они ответили, что «случайно на суде все перепутали» и никаких займов на самом деле Денис не брал.
С этим ответом Денис пошёл на апелляцию, а также обратился в прокуратуру, а заодно и к депутатам. В микрофинансовой же организации просят Дениса прекратить их кошмарить, а заодно утверждают, что уже забыли его номер, и обещают больше не тревожить. Но Денис хочет довести эту «войну» до окончательной победы, чтобы подобные компании не могли больше названивать сторонним людям.
Иногда все мы немного Денис.
❗ Подписывайтесь, это Baza
Первый звонок поступил Денису в сентябре 2023 года. Звонивший представился сотрудником микрофинансовой организации «еКапуста» и спросил, знает ли он Андрея Н. Когда Денис ответил, что знает, звонивший попросил передать ему, чтобы тот оплатил долг. Денис положил трубку, но спустя время звонки повторились. Тогда Денис сам перезвонил в организацию, сообщил им, что он не давал согласия на обработку персональных данных и не соглашался каким-либо образом участвовать при выдаче займов.
Когда звонок повторился опять, Денис пошёл в полицию. Вскоре оттуда пришёл отказ в возбуждении дела, и тогда Денис написал заявление в суд. Он потребовал 30000 рублей и удалить его персональные данные.
Во время суда судья поинтересовался у ответчиков, откуда у тех номер телефона Дениса. Представитель микрофинансовой организации сообщил, что Денис ранее брал у них заём. И даже показали соответствующую бумагу. Денис утверждал, что никаких займов он не брал. Поверив словам ростовщиков, суд отказал Денису в иске.
Однако Денис не стал с этим мириться и написал заявление в ЦБ. Тогда и выяснилось, что компания микрозаймов обманула суд: после запроса ЦБ они ответили, что «случайно на суде все перепутали» и никаких займов на самом деле Денис не брал.
С этим ответом Денис пошёл на апелляцию, а также обратился в прокуратуру, а заодно и к депутатам. В микрофинансовой же организации просят Дениса прекратить их кошмарить, а заодно утверждают, что уже забыли его номер, и обещают больше не тревожить. Но Денис хочет довести эту «войну» до окончательной победы, чтобы подобные компании не могли больше названивать сторонним людям.
Иногда все мы немного Денис.
Please open Telegram to view this post
VIEW IN TELEGRAM
Марио Драги опубликовал в Financial Times резонансную статью, в которой возложил ответственность за проблемы Европы на евробюрократов, проводивших политику хронических торговых профицитов и жесткой бюджетной экономии:
Экономика еврозоны стагнирует, а введение тарифов США на импорт из ЕС усиливает неопределенность. Однако главными причинами слабости европейской экономики являются не внешние угрозы, а внутренние проблемы: высокие внутренние барьеры и хронически слабый спрос.
1. Внутренние барьеры мешают росту больше, чем внешние тарифы
Высокие регуляторные ограничения делают внутренний рынок ЕС менее интегрированным, чем рынок США: внутренняя торговля между странами ЕС составляет менее половины объема торговли между штатами США.
По оценкам МВФ, внутренние барьеры в ЕС эквивалентны тарифу в 45% для промышленности и 110% для сферы услуг.
Рост цифрового сектора сдерживается жестким регулированием, например GDPR, который, по оценкам, снизил прибыль небольших IT-компаний на 12%.
Внутренние барьеры привели к избыточной открытости европейской торговли, вынуждая компании искать рынки сбыта за пределами ЕС. В 1999-2024 гг. доля торговли в ВВП еврозоны выросла с 31% до 55%, тогда как в Китае – с 34% до 37%, а в США – с 23% до 25%.
2. Европа страдает от слабого спроса, что усугубляет структурные проблемы
После финансового кризиса 2008 года внутренний спрос в еврозоне упал и остается на минимальном уровне среди развитых экономик. Из-за слабого спроса еврозона накопила постоянный профицит торгового баланса, тогда как до 2008 года он был сбалансированным. Низкий спрос ухудшает рост совокупной факторной производительности, так как влияет на инвестиции в НИОКР.
Разница в фискальной политике: с 2009 по 2024 год США потратили через бюджетный дефицит €14 трлн, а еврозона – всего €2.5 трлн, что ослабило инвестиции и инновации в Европе.
3. Как Европа может изменить ситуацию
▫️Снять внутренние барьеры – это поможет инновационным секторам расти и снизит торговую зависимость от внешнего мира без введения внешних барьеров.
▫️Активнее использовать фискальную политику – увеличить продуктивные инвестиции, сократить профициты торгового баланса и стимулировать частные инвестиции в НИОКР.
▫️Изменить образ мышления: Бюджетная экономия не ведет к устойчивому росту. Чрезмерное регулирование мешает развитию технологий. Национальные интересы не должны противоречить общеевропейскому благосостоянию.
Остается надеяться, что евробюрократы прислушаются к рекомендациям Драги.
Экономика еврозоны стагнирует, а введение тарифов США на импорт из ЕС усиливает неопределенность. Однако главными причинами слабости европейской экономики являются не внешние угрозы, а внутренние проблемы: высокие внутренние барьеры и хронически слабый спрос.
1. Внутренние барьеры мешают росту больше, чем внешние тарифы
Высокие регуляторные ограничения делают внутренний рынок ЕС менее интегрированным, чем рынок США: внутренняя торговля между странами ЕС составляет менее половины объема торговли между штатами США.
По оценкам МВФ, внутренние барьеры в ЕС эквивалентны тарифу в 45% для промышленности и 110% для сферы услуг.
Рост цифрового сектора сдерживается жестким регулированием, например GDPR, который, по оценкам, снизил прибыль небольших IT-компаний на 12%.
Внутренние барьеры привели к избыточной открытости европейской торговли, вынуждая компании искать рынки сбыта за пределами ЕС. В 1999-2024 гг. доля торговли в ВВП еврозоны выросла с 31% до 55%, тогда как в Китае – с 34% до 37%, а в США – с 23% до 25%.
2. Европа страдает от слабого спроса, что усугубляет структурные проблемы
После финансового кризиса 2008 года внутренний спрос в еврозоне упал и остается на минимальном уровне среди развитых экономик. Из-за слабого спроса еврозона накопила постоянный профицит торгового баланса, тогда как до 2008 года он был сбалансированным. Низкий спрос ухудшает рост совокупной факторной производительности, так как влияет на инвестиции в НИОКР.
Разница в фискальной политике: с 2009 по 2024 год США потратили через бюджетный дефицит €14 трлн, а еврозона – всего €2.5 трлн, что ослабило инвестиции и инновации в Европе.
3. Как Европа может изменить ситуацию
▫️Снять внутренние барьеры – это поможет инновационным секторам расти и снизит торговую зависимость от внешнего мира без введения внешних барьеров.
▫️Активнее использовать фискальную политику – увеличить продуктивные инвестиции, сократить профициты торгового баланса и стимулировать частные инвестиции в НИОКР.
▫️Изменить образ мышления: Бюджетная экономия не ведет к устойчивому росту. Чрезмерное регулирование мешает развитию технологий. Национальные интересы не должны противоречить общеевропейскому благосостоянию.
Остается надеяться, что евробюрократы прислушаются к рекомендациям Драги.
Госдума на пленарном заседании одобрила в первом чтении законопроект, разрешающий российским промышленным предприятиям выпуск неоригинальных запчастей для самолетов Boeing и Airbus. /ТАСС/
Аргентинский президент Хавьер Милей анонсировал запуск мем-токена LIBRA в твиттере, заявив, что это «маленький шаг для крипторынка, но большой шаг для Аргентины». Он утверждал, что проект привлечет инвестиции в аргентинскую экономику.
На старте токен собрал $4,95 млрд, но вскоре его стоимость рухнула на 95%. После этого Милей удалил свой первоначальный твит и опубликовал новый, в котором заявил, что не знал деталей проекта и, разобравшись, решил не распространять информацию дальше.
В итоге аргентинцы получили не экономическое чудо, а очередной урок о том, что вера в политиков, раздающих обещания в твиттере, обычно заканчивается так же, как мем-токены — резким падением.
На старте токен собрал $4,95 млрд, но вскоре его стоимость рухнула на 95%. После этого Милей удалил свой первоначальный твит и опубликовал новый, в котором заявил, что не знал деталей проекта и, разобравшись, решил не распространять информацию дальше.
В итоге аргентинцы получили не экономическое чудо, а очередной урок о том, что вера в политиков, раздающих обещания в твиттере, обычно заканчивается так же, как мем-токены — резким падением.
Эстонский системный оператор Elering сообщил, что в субботу, 8 февраля, когда Эстония вышла из российского энергокольца БРЭЛЛ, средняя стоимость электричества на бирже NordPool составляла 62 eвро за мегаватт-час. В понедельник она достигла 146, во вторник – 190, а в среду — до 230 евро за мегаватт-час.
Как отмечается, в Латвии и Литве цена на электроэнергию будет такой же, как и в Эстонии
Как отмечается, в Латвии и Литве цена на электроэнергию будет такой же, как и в Эстонии
Politeconomics
Аргентинский президент Хавьер Милей анонсировал запуск мем-токена LIBRA в твиттере, заявив, что это «маленький шаг для крипторынка, но большой шаг для Аргентины». Он утверждал, что проект привлечет инвестиции в аргентинскую экономику. На старте токен собрал…
Аргентинские юристы подали в уголовный суд обвинения в мошенничестве против президента Хавьера Милея за продвижение криптовалютного скама.
Маск опубликовал данные по возрастным группам получателей соцстрахования в США, и цифры оказались пугающими.
Если сложить всех, кто получает выплаты, получается 394+ млн человек — при том, что население страны всего 334+ млн. Иными словами, в системе завелись порядка 60 миллионов мёртвых душ.
Особенно выделяются табуны даосских мудрецов и два Дункана Маклауда: один бодро шагает к своему 250-летию, другому уже за 360.
Если сложить всех, кто получает выплаты, получается 394+ млн человек — при том, что население страны всего 334+ млн. Иными словами, в системе завелись порядка 60 миллионов мёртвых душ.
Особенно выделяются табуны даосских мудрецов и два Дункана Маклауда: один бодро шагает к своему 250-летию, другому уже за 360.
Forwarded from Простые числа: политэкономия онлайн
Deglobalisation.pdf
1.4 MB
Друзья! В издательстве Инфра-М вышло в свет новое издание монографии коллектива «Простых чисел» под названием «Деглобализация: кризис неолиберализма и движение к новому миропорядку».
Наши старые подписчики помнят, как в 2021 году состоялась презентация этого исследования для широкой общественности. Опираясь на метод марксистской политэкономии и обширный эмпирический анализ мы выявили фундаментальные причины перехода мирового капитализма от принципов свободной торговли к агрессивному протекционизму после мирового кризиса 2008-2009 гг. Политика государств становится важным инструментом конкуренции транснациональных корпораций за контроль над рынками периферийных экономик. Это важнейшее условие для переустройства производства на основе шестого технологического уклада позволит стране-лидеру возможность извлекать империалистическую ренту из мировой экономики.
В 2021 году следи читателей нашлись скептики, отрицавшиеся сам факт деглобализации как самостоятельного этапа в развитии современного капитализма. Многим казалось, что конфликты между государствами носят случайный, краткосрочный характер, вызванный локальными противоречиями, а то и вовсе личностными качествами отдельных политиков. Однако с тех пор указанные нами тенденции лишь усилились, а экономические войны переросли в военные конфликты крупных государств.
Книга с обновлённой эмпирикой и дополнительным разделом, посвящённым российско-украинскому конфликту, продаётся на сайте издательства по цене от 700 до 1700 рублей. Как последовательные противники интеллектуальной собственности, мы предлагаем вам ознакомиться с полным текстом монографии бесплатно.
Наши старые подписчики помнят, как в 2021 году состоялась презентация этого исследования для широкой общественности. Опираясь на метод марксистской политэкономии и обширный эмпирический анализ мы выявили фундаментальные причины перехода мирового капитализма от принципов свободной торговли к агрессивному протекционизму после мирового кризиса 2008-2009 гг. Политика государств становится важным инструментом конкуренции транснациональных корпораций за контроль над рынками периферийных экономик. Это важнейшее условие для переустройства производства на основе шестого технологического уклада позволит стране-лидеру возможность извлекать империалистическую ренту из мировой экономики.
В 2021 году следи читателей нашлись скептики, отрицавшиеся сам факт деглобализации как самостоятельного этапа в развитии современного капитализма. Многим казалось, что конфликты между государствами носят случайный, краткосрочный характер, вызванный локальными противоречиями, а то и вовсе личностными качествами отдельных политиков. Однако с тех пор указанные нами тенденции лишь усилились, а экономические войны переросли в военные конфликты крупных государств.
Книга с обновлённой эмпирикой и дополнительным разделом, посвящённым российско-украинскому конфликту, продаётся на сайте издательства по цене от 700 до 1700 рублей. Как последовательные противники интеллектуальной собственности, мы предлагаем вам ознакомиться с полным текстом монографии бесплатно.
Forwarded from ECONS
Разрыв устоявшихся цепочек российского импорта из-за санкций, введенных в 2022 г., оказал существенное воздействие на внутреннее производство и экспорт промышленных товаров России. Масштаб этого воздействия анализируют в своей колонке эксперты центра исследований международной торговли РАНХиГС Александр Кнобель и Александр Фиранчук.
Сокращение промежуточного импорта оказывает более чем пропорциональное влияние на выпуск обрабатывающих отраслей. На горизонте года снижение импорта на каждый 1% от себестоимости продукции отрасли приводило к снижению ее выпуска на 2–3,1%.
Влияние ограничений импорта на экспорт промышленных товаров оказалось еще более значительным, т.к. экспортеры более интенсивно используют импортные комплектующие. За первые два квартала сокращения поставок экспорт продукции среднего уровня переработки сократился на 8,4%, высокотехнологичный экспорт – на 16%.
Наибольшее влияние шока импорта прослеживается в начале санкционного периода. К концу первого – началу второго года негативный эффект шока импорта начинает ослабевать по мере адаптации производств и переключения на компоненты из альтернативных источников или налаживания альтернативных каналов поставок. Однако даже в случае возможного сохранения поставок нарушения в логистике и усложнение трансграничных расчетов повысили стоимость закупок, а следовательно, и производства.
🔴 Подробнее читайте в статье на сайте «Эконс».
Сокращение промежуточного импорта оказывает более чем пропорциональное влияние на выпуск обрабатывающих отраслей. На горизонте года снижение импорта на каждый 1% от себестоимости продукции отрасли приводило к снижению ее выпуска на 2–3,1%.
Влияние ограничений импорта на экспорт промышленных товаров оказалось еще более значительным, т.к. экспортеры более интенсивно используют импортные комплектующие. За первые два квартала сокращения поставок экспорт продукции среднего уровня переработки сократился на 8,4%, высокотехнологичный экспорт – на 16%.
Наибольшее влияние шока импорта прослеживается в начале санкционного периода. К концу первого – началу второго года негативный эффект шока импорта начинает ослабевать по мере адаптации производств и переключения на компоненты из альтернативных источников или налаживания альтернативных каналов поставок. Однако даже в случае возможного сохранения поставок нарушения в логистике и усложнение трансграничных расчетов повысили стоимость закупок, а следовательно, и производства.
Please open Telegram to view this post
VIEW IN TELEGRAM
Please open Telegram to view this post
VIEW IN TELEGRAM
Forwarded from Truevalue
Ключевая ставка оставлена на 21%, но среднесрочный прогноз выглядит нереалистичным.
Если взять прогнозы Банка России от февраля каждого года и сравнить с фактическими данными за этот год, то после 2022 регулятор сильно не попадает в свои ожидания по динамике кредита и денежной массы.
ЦБ дает прогноз в диапазоне - на графике показано среднее значение из него. По факту ЦБ не попал в свой диапазон ни разу в перспективе на ближайший год после 2022.
Прогноз на 2025 год по росту кредита снижен до 8,5% (6-11%). От уровня 145 трлн требований банков к экономике, включая валюту, прирост будет ~13 трлн. Прогноз по денежной массе М2 оставлен на уровне 7,5% (5-10%) – прирост ~9 трлн от 117 трлн руб. Разница ~4 трлн может появиться либо в валюте в составе М2Х (что вряд ли, девалютизация продолжается), либо поступить из бюджета. На эту сумму банки должны купить ОФЗ – 4 трлн слишком много. Здесь модели ЦБ не согласованы по потокам и запасам.
В 2024 прогноз ЦБ был мимо факта почти в 2 раза: 16,3% против 8,5% по кредиту и 19,2% против 11,5% по М2. Примерно также может получиться в 2025.
Мой прогноз – рост кредита и М2 на 14-15% в 2025 при снижении ставки до 13-16% к концу 2025. При этом М2 должна расти быстрее. Прогноз ЦБ по КС 19-22% предполагает, что ставка может как снизиться, так и вырасти в течение года, но к концу 2025 будет 15-19%.
💡Что это значит? Нас ждет новый шок от монетарной политики. Вероятнее как в декабре 2024 положительный шок, когда ЦБ изменил своей риторике и не повысил ставку, несмотря на рост инфляции и денежной массы – показателей, на которые ЦБ прежде всего смотрит. Теоретически шок может быть и отрицательным – если как раньше ЦБ будет безуспешно пытаться задушить кредит и М2 с помощью повышения ключевой ставки (маловероятно).
Сценарий с такой низкой динамикой кредита и М2 возможен при значимом снижении КС вплоть до 10-12%, но в ответ не на замедление инфляции, а реализацию рисков финансовой стабильности. Необходимость начисления процентов по депозитам и неплатежи по кредитам, включая проценты по ним, из-за недостатка прироста кредита, быстро приведут к убыткам и потере капитала банков.
🗝 Рост М2 не может быть существенно ниже средней ставки начисления процентов по депозитам. При ставке 21% физлица будут копить в рублях ещё больше. В 2024 при средней КС 17,5% денежная масса выросла на 19 трлн. В том числе средства населения, включая наличные, выросли до 74 трлн или +13,6 трлн руб. (+22%), рублевые средства организаций – до 43 трлн или +5,3 трлн (+14%). Процентные доходы могли составить больше половины прироста средств на депозитах.
Банку России хорошо бы иметь SFC-модель с разными агентами в экономике (согласлванную по потокам и запасам). Тогда можно ответить на вопрос – куда пойдут сверхвысокие доходы по депозитам в 2025 году? При росте М2 только на 5-10% (а не 15-20% в реалистичном сценарии при ставке выше 20%) могут пойти разве что в потребление или инвалюту. Тогда эффект на инфляцию от сокращения динамики кредита будет нулевым.
PS. Из интересного в прогнозе впервые отсутствует приобретение резервных активов в будущем. Правда, здесь все похоже технически – низкая цена на нефть Urals $60-65/bbl приводит к отсутствию покупок валюты по бюджетному правилу. Но сам по себе факт примечательный.
Кстати, в январе Банк России сократил резервы на 3 млрд USD. Что это за операции, нам опять не рассказали. Продажи валюты по бюджетному правилу могли составить ~$1 млрд. Но хорошо, что ЦБ отдает больше валюты (если, конечно, продает, а не дает взаймы).
@truevalue
Если взять прогнозы Банка России от февраля каждого года и сравнить с фактическими данными за этот год, то после 2022 регулятор сильно не попадает в свои ожидания по динамике кредита и денежной массы.
ЦБ дает прогноз в диапазоне - на графике показано среднее значение из него. По факту ЦБ не попал в свой диапазон ни разу в перспективе на ближайший год после 2022.
Прогноз на 2025 год по росту кредита снижен до 8,5% (6-11%). От уровня 145 трлн требований банков к экономике, включая валюту, прирост будет ~13 трлн. Прогноз по денежной массе М2 оставлен на уровне 7,5% (5-10%) – прирост ~9 трлн от 117 трлн руб. Разница ~4 трлн может появиться либо в валюте в составе М2Х (что вряд ли, девалютизация продолжается), либо поступить из бюджета. На эту сумму банки должны купить ОФЗ – 4 трлн слишком много. Здесь модели ЦБ не согласованы по потокам и запасам.
В 2024 прогноз ЦБ был мимо факта почти в 2 раза: 16,3% против 8,5% по кредиту и 19,2% против 11,5% по М2. Примерно также может получиться в 2025.
Мой прогноз – рост кредита и М2 на 14-15% в 2025 при снижении ставки до 13-16% к концу 2025. При этом М2 должна расти быстрее. Прогноз ЦБ по КС 19-22% предполагает, что ставка может как снизиться, так и вырасти в течение года, но к концу 2025 будет 15-19%.
💡Что это значит? Нас ждет новый шок от монетарной политики. Вероятнее как в декабре 2024 положительный шок, когда ЦБ изменил своей риторике и не повысил ставку, несмотря на рост инфляции и денежной массы – показателей, на которые ЦБ прежде всего смотрит. Теоретически шок может быть и отрицательным – если как раньше ЦБ будет безуспешно пытаться задушить кредит и М2 с помощью повышения ключевой ставки (маловероятно).
Сценарий с такой низкой динамикой кредита и М2 возможен при значимом снижении КС вплоть до 10-12%, но в ответ не на замедление инфляции, а реализацию рисков финансовой стабильности. Необходимость начисления процентов по депозитам и неплатежи по кредитам, включая проценты по ним, из-за недостатка прироста кредита, быстро приведут к убыткам и потере капитала банков.
🗝 Рост М2 не может быть существенно ниже средней ставки начисления процентов по депозитам. При ставке 21% физлица будут копить в рублях ещё больше. В 2024 при средней КС 17,5% денежная масса выросла на 19 трлн. В том числе средства населения, включая наличные, выросли до 74 трлн или +13,6 трлн руб. (+22%), рублевые средства организаций – до 43 трлн или +5,3 трлн (+14%). Процентные доходы могли составить больше половины прироста средств на депозитах.
Банку России хорошо бы иметь SFC-модель с разными агентами в экономике (согласлванную по потокам и запасам). Тогда можно ответить на вопрос – куда пойдут сверхвысокие доходы по депозитам в 2025 году? При росте М2 только на 5-10% (а не 15-20% в реалистичном сценарии при ставке выше 20%) могут пойти разве что в потребление или инвалюту. Тогда эффект на инфляцию от сокращения динамики кредита будет нулевым.
PS. Из интересного в прогнозе впервые отсутствует приобретение резервных активов в будущем. Правда, здесь все похоже технически – низкая цена на нефть Urals $60-65/bbl приводит к отсутствию покупок валюты по бюджетному правилу. Но сам по себе факт примечательный.
Кстати, в январе Банк России сократил резервы на 3 млрд USD. Что это за операции, нам опять не рассказали. Продажи валюты по бюджетному правилу могли составить ~$1 млрд. Но хорошо, что ЦБ отдает больше валюты (если, конечно, продает, а не дает взаймы).
@truevalue
Заходившие на стримы олды могут помнить, что среди прочего мы иногда обсуждали формальную верификацию и новый подход к математическим доказательствам в обучении.
С радостью в сердечке можем заявить, что наши коллеги подготовили полноценный (и открытый для участия со стороны) курс по языку Lean, который научит вас этому и многому другому.
Удачи всем записавшимся!
С радостью в сердечке можем заявить, что наши коллеги подготовили полноценный (и открытый для участия со стороны) курс по языку Lean, который научит вас этому и многому другому.
Удачи всем записавшимся!
Forwarded from 🦒∵ girafe.ai
Открытый курс по Lean
Girafe-ai совместно с кафедрой машинного обучения МФТИ проводит курс по одному из самых популярных инструментов формализации и верификации доказательств.
Важность подобных систем сложно переоценить в современном мире, где всё больше процессов управляются программными системами.
Совсем недавно Google представила новую нейросеть AlphaProof, которая используя Lean добралась до уровня серебрянной медали Международной Математической Олипиады.
На кафедре машинного обучения мы хотим создать команду по исследованию применения ИИ к решению математических задач, данный курс является введением в сферу для дальнейшей работы.
Lean 4 — один из инструментов написания формальных доказательств, который становится популярен среди работающих математиков. Значительный пласт теорем из курсов undergraduate математики уже можно сформулировать и доказать формально.
В курсе мы на практических примерах научимся писать формальные доказательства в Lean: познакомимся с тактиками, изучим основы теории типов и элементы функционального программирования.
Значительную часть курса составит освоение математической библиотеки mathlib. Мы посмотрим на формализации теории множеств, теории групп, линейной алгебры, топологии. Если останется время, также взглянем на что-то из более продвинутых разделов математики и на формальную верификацию программ в Lean.
Занятия будут проходить онлайн по четвергам с 14.00.
Первое занятие пройдёт 20 февраля. Записи занятий также будут доступны.
Больше информации в чате курса: https://www.tgoop.com/+OsBrtqOXo5oxMDRi
Girafe-ai совместно с кафедрой машинного обучения МФТИ проводит курс по одному из самых популярных инструментов формализации и верификации доказательств.
Важность подобных систем сложно переоценить в современном мире, где всё больше процессов управляются программными системами.
Совсем недавно Google представила новую нейросеть AlphaProof, которая используя Lean добралась до уровня серебрянной медали Международной Математической Олипиады.
На кафедре машинного обучения мы хотим создать команду по исследованию применения ИИ к решению математических задач, данный курс является введением в сферу для дальнейшей работы.
Lean 4 — один из инструментов написания формальных доказательств, который становится популярен среди работающих математиков. Значительный пласт теорем из курсов undergraduate математики уже можно сформулировать и доказать формально.
В курсе мы на практических примерах научимся писать формальные доказательства в Lean: познакомимся с тактиками, изучим основы теории типов и элементы функционального программирования.
Значительную часть курса составит освоение математической библиотеки mathlib. Мы посмотрим на формализации теории множеств, теории групп, линейной алгебры, топологии. Если останется время, также взглянем на что-то из более продвинутых разделов математики и на формальную верификацию программ в Lean.
Занятия будут проходить онлайн по четвергам с 14.00.
Первое занятие пройдёт 20 февраля. Записи занятий также будут доступны.
Больше информации в чате курса: https://www.tgoop.com/+OsBrtqOXo5oxMDRi
Google DeepMind
AI achieves silver-medal standard solving International Mathematical Olympiad problems
Breakthrough models AlphaProof and AlphaGeometry 2 solve advanced reasoning problems in mathematics
Если ваша зарплата меньше 2.000.000₽ в год — можете смело «сесть на шею» государству
Тяжело говорить вслух, но согласно опросам: 97% жителей России готовы послушно платить налоги, мириться с безумными процентами и ждать лучших времен
Поверьте, использовать льготные программы — не стыдно, стыдно о них не знать. Например, сегодня каждый может:
• Получить 4.300.000₽ на покупку жилья (даже если оно у вас есть).
• Вернуть налоговые расходы и проценты по ипотеке за последние 5 лет (спасибо налоговой).
• Вернуть 157.000₽, потраченные на инвестиции, хотя даже не обязательно инвестировать.
О таких фишках не расскажут по телевизору и не напишут в СМИ, но ими открыто делятся на канале Профит Будет
Загляните, вы будете в шоке от того, как вас всю жизнь дурачили.
Держите в подписках, чтобы не отстать от прогресса: https://www.tgoop.com/+bDE_klMI9hczZjli
#промо
Тяжело говорить вслух, но согласно опросам: 97% жителей России готовы послушно платить налоги, мириться с безумными процентами и ждать лучших времен
Поверьте, использовать льготные программы — не стыдно, стыдно о них не знать. Например, сегодня каждый может:
• Получить 4.300.000₽ на покупку жилья (даже если оно у вас есть).
• Вернуть налоговые расходы и проценты по ипотеке за последние 5 лет (спасибо налоговой).
• Вернуть 157.000₽, потраченные на инвестиции, хотя даже не обязательно инвестировать.
О таких фишках не расскажут по телевизору и не напишут в СМИ, но ими открыто делятся на канале Профит Будет
Загляните, вы будете в шоке от того, как вас всю жизнь дурачили.
Держите в подписках, чтобы не отстать от прогресса: https://www.tgoop.com/+bDE_klMI9hczZjli
#промо
Forwarded from Будунов letters
Бранко Миланович написал заметку «Трамп, государство и революция». Краткий пересказ:
В своей новой политической инкарнации Дональд Трамп существенно отличается от себя образца 2017 года. Тогда он не ожидал победы, не был подготовлен к управлению и не имел опыта работы в госаппарате. За прошедшие восемь лет под давлением расследований, судебных процессов и атак СМИ он изменился, приобрел опыт и теперь стремится оставить долговечное наследие.
Ключевым фактором нового Трампа является его союз с Илоном Маском и группой радикальных реформаторов, цель которых — разрушение существующего государственного аппарата. Они рассматривают американское государство как автономную бюрократическую машину, мало зависящую от смены власти. Большие сферы управления (финансовая, экономическая, регуляторная) контролируются технократическими элитами, а кадровый состав госструктур сформирован преимущественно либеральными профессионалами, что делает аппарат враждебным к трампизму.
Идеологи движения убеждены, что для реальных перемен необходимо не просто сменить руководство, а провести масштабную чистку кадров на всех уровнях, вплоть до технических должностей. Их цель — не просто политическое доминирование, а полный захват государственной системы, что делает этот процесс схожим с историческими революциями. Противники обвиняют их в борьбе против «глубинного государства», но суть их стратегии заключается не в конспирологии, а в осознании борьбы за власть.
Текущая ситуация — это столкновение двух мировоззрений: одной стороны, которая верит в нейтральную технократию, и другой, которая стремится взять под контроль саму структуру государства, считая, что без этого любые политические победы останутся поверхностными.
В своей новой политической инкарнации Дональд Трамп существенно отличается от себя образца 2017 года. Тогда он не ожидал победы, не был подготовлен к управлению и не имел опыта работы в госаппарате. За прошедшие восемь лет под давлением расследований, судебных процессов и атак СМИ он изменился, приобрел опыт и теперь стремится оставить долговечное наследие.
Ключевым фактором нового Трампа является его союз с Илоном Маском и группой радикальных реформаторов, цель которых — разрушение существующего государственного аппарата. Они рассматривают американское государство как автономную бюрократическую машину, мало зависящую от смены власти. Большие сферы управления (финансовая, экономическая, регуляторная) контролируются технократическими элитами, а кадровый состав госструктур сформирован преимущественно либеральными профессионалами, что делает аппарат враждебным к трампизму.
Идеологи движения убеждены, что для реальных перемен необходимо не просто сменить руководство, а провести масштабную чистку кадров на всех уровнях, вплоть до технических должностей. Их цель — не просто политическое доминирование, а полный захват государственной системы, что делает этот процесс схожим с историческими революциями. Противники обвиняют их в борьбе против «глубинного государства», но суть их стратегии заключается не в конспирологии, а в осознании борьбы за власть.
Текущая ситуация — это столкновение двух мировоззрений: одной стороны, которая верит в нейтральную технократию, и другой, которая стремится взять под контроль саму структуру государства, считая, что без этого любые политические победы останутся поверхностными.