3 place 0

341 Когда неизвестное — не число, а функция: разбор функциональных уравнений с олимпиады IMC

Habr
master_program @ Habr · 06/13/2026 23:02 EDT

Когда неизвестное — не число, а функция: разбор функциональных уравнений с олимпиады IMC

Как создавался этот документ.Это учебное пособие по функциональным уравнениям я не писал руками. Я провёл со студентами ВШЭ онлайн-занятие факультатива по олимпиадной высшей математике — разобрал пять задач международной студенческой олимпиаде IMC. А дальше ИИ собрал из видеозаписи занятия вот этот разбор: восстановил выкладки по тому, что осталось на доске, сверил каждое условие со сборником задач IMC, написал решения «по шагам» и нарисовал к ним иллюстрации. Ему хватило на это всего почти ровно 100 минут.

To see detailed statistics for the news please log in »

Read the original

Add your comment
You must be logged in with Facebook to read and write comments.

A newsletter a day!

You may get 10 most important news around midday in daily newsletter. Press the button and we will send you the most important news only, no spam attached.

or register

LIKE us on Facebook so you won't miss the most important news of the day!

News from the same source
Habr Habr
Silicon Valley
George Avalos @ Silicon Valley 1 place · 02/07/2106 01:28 EDT

Newark apartment complex bought for much less than prior value

An East Bay apartment complex has been bought at a price that's well below its prior value. Read more

0

🔮
24.07.2026 ♎︎ Dear Libras, today awaits you a varied and multifaceted day that will open new opportunities... Read more ›
Silicon Valley
George Avalos @ Silicon Valley 2 place · 02/07/2106 01:28 EDT

PG&E buys San Jose building to bolster South Bay operations

A PG&E Corp. unit has bought a San Jose building in a move to bolster the utility's South Bay operations. Read more

0

CNET
Bridget Carey @ CNET 1 place · today 08:00 EDT

Commentary: Hype around an expensive folding iPhone is giving me some déjà vu. Read more

0 fresh

CoinDesk
Will Canny @ CoinDesk 1 place · today 07:49 EDT

Crypto market maker B2C2 held sale talks with multiple potential buyers

The SBI-owned crypto trading firm is said to have attracted takeover interest from a number of suitors over the past 18 months, but valuation has been a sticking point. Read more

0 newcommer

SlashGear
SlashGear 1 place · today 07:45 EDT

For Under $30K, Is The 2020 Cadillac CT6 A Luxury Car Steal?

Cadillac's 2020 CT6 landed at a weird time in history, but that doesn't mean it was a bad car by any means, and now you can find them pretty cheap. Read more

0 newcommer

Engadget
Engadget 1 place · today 07:43 EDT

Meta launches new Facebook Verified badge for actual, real humans

Meta is trying to tackle scammers that are using generative AI by introducing a new kind of verification using user selfies. Read more

0 newcommer

Tom's Hardware
Tom's Hardware 1 place · today 07:42 EDT

President Trump expands AI data center ‘ratepayer protection pledge’ to include state governors and utility companies — White House claims this will make electricity more affordable

U.S. President Donald Trump expands the 'ratepayer protection pledge' to include states, utility companies, and data center developers. He claims that the pledge will help electricity costs go down, even as PJM Interconnect, the largest grid operator in the U.S., increased power costs by 75.5% and slapped Maryland with a $2-billion bill for infrastructure upgrades. Read more

0 fresh

Habr
spreadingmind (Сбер) @ Habr 1 place · today 07:42 EDT

RUMBA: русскоязычный бенчмарк для оценки долгосрочной памяти

Память стала одной из самых востребованных функций диалоговых и агентных систем. Если пользователь регулярно обращается к ассистенту — для работы, консультаций, планирования, обучения или бытовых задач, — то от системы уже ожидают не просто хорошего общего ответа. От неё ждут, что она будет учитывать прошлые взаимодействия: помнить неизменные факты о пользователе, не терять важный контекст, обновлять устаревшую информацию и понимать, когда именно произошло то или иное событие.При этом такая память... Read more

0 newcommer

Habr
d_bulashev @ Habr 2 place · today 07:41 EDT

Dasha — дашборд PostgreSQL

Dasha - opensource дашборд производительности PostgreSQL. Читает состояние кластеров из системных представлений, без агентов на хостах; поддерживает версии 14–18 и работу с несколькими кластерами в одном интерфейсе. Анализ запросов и снимки pg_stat_statements со сравнением и авто-снимками по триггерам, анализ индексов и таблиц с учётом всех хостов кластера, обслуживание и блокировки, диагностика конфигурации, композитная оценка Health Score, поиск по логам managed-кластеров Yandex Cloud. В комплекте - read- Read more

0 newcommer

Business Insider
Kelsey Baker @ Business Insider 2 place · today 07:41 EDT

Modern war demands more of special operations medics. AI is helping the Army cram in more of what they need most in training.

Army instructors are using AI to refine special operations medic training for future wars shaped by drones and prolonged casualty care. Read more

0 fresh

The Verge
Jess Weatherbed @ The Verge 1 place · today 07:40 EDT

TikTok’s protection of minors should not be opt-in, warns EU

TikTok has attracted the ire of the European Union over its protection of children who use the video sharing platform. The European Commission announced preliminary findings today under the Digital Services Act (DSA) that offer specific issues to address. The Commission suggests that TikTok should adjust the default settings of minors' "public" accounts so the […] Read more

0 fresh

Wired
Matthew Korfhage, Lisa Wood Shapiro @ Wired 1 place · today 07:37 EDT

Best Window Air Conditioners of 2026: Midea, Zafro, GE

These are the AC units we’ve trusted to cool our homes for months, if not years. Read more

0 fresh

Habr
Drakulyonok @ Habr 3 place · today 07:36 EDT

Я сделал ASGI-фреймворк, где дерево папок — и есть API

Рассказываю, как я сам сделал ASGI-фреймворк, в котором дерево папок заменяет таблицу маршрутов, — и почему это решает проблему расхождения роутов с кодом. Разбираю встроенную безопасную ORM, показываю на примерах, как версионирование превращается в копирование папки, и честно привожу гоночные тесты на реальной конкурентности. Узнать больше про EndoCore Read more

0 fresh

CoinDesk
Omkar Godbole @ CoinDesk 3 place · today 07:34 EDT

A $5 billion cluster has formed in bitcoin options. It tells a bullish story

Bitcoin's $70,000 and $72,000 call strikes on Deribit have accumulated nearly $5 billion in open interest, with calls outnumbering puts by a significant margin. Read more

0 fresh

Business Insider
Sinéad Baker @ Business Insider 3 place · today 07:33 EDT

Ukraine has gone from accepting just about any old weapon to showing Western militaries how modern war is fought

Ukraine started Russia's full-scale invasion accepting any help it could get, and now it's helping allies prepare for new ways of war. Read more

0 fresh

Business Insider
Jane Ridley @ Business Insider · today 07:30 EDT

My dad is in senior living. As a single, working mom, I couldn't "do it all" and care for him and my mom.

PR professional Shifali Erasmus hoped to be full-time carer to both her kids and parents. But something had to give. Her dad is now in senior living. Read more

0 fresh

The most popular news from the same source for the last week
Habr Habr
Habr
whoisking @ Habr · 07/17/2026 07:18 EDT

А нам точно нужны code agents?

Размышления на тему, почему LLM в роли основного генератора кода ломает ревью, когнитивную нагрузку и кто ответственен за код? Читать далее Read more

0

Habr
Parfois @ Habr · 07/17/2026 07:27 EDT

Почему следующий этап ИИ-бума будет совсем не про GPU

Первые два года ИИ-бума инвесторы покупали «железо». Теперь рынок начинает искать следующий источник роста. Главной становится не максимальная производительность моделей, а стоимость одного запроса, эффективность вычислений и способность масштабировать ИИ дешевле конкурентов. Именно вокруг этого будет разворачиваться следующая стадия развития отрасли. В июньском обзоре Citrini Research пишет, что рынок ИИ вступает во вторую фазу. Если последние два года инвесторы были готовы платить почти любую цену за выч Read more

0

Habr
aabzel @ Habr · 07/17/2026 07:30 EDT

Программирование плат Nucleo отладчиком J-Link

Как известно существуют учебно-тренировочные электронные платы серии Nucleo. Там всегда есть вмонтированный программатор ST-link. Эти платы дешевы и очень удобны для отладки большой прошивки по частям. Однако родной программатор ST-Link долго прогружается и пошаговая отладка часто срывается прямо из-под IDE. Потом нет способа перезагруpить прошивку из-под отладчика ST-link. В связи с этим возникла потребность отлаживать прошивки на плате другим программатором: отладчиком Segger J-link. Читать далее Read more

0

Habr
Niketas @ Habr · 07/17/2026 07:31 EDT

ИИ-гонка США и Китая оформилась в два блока: Пекин раздаёт модели всем желающим, Вашингтон проектирует фейсконтроль

За одну неделю обе стороны выложили свои стратегии почти целиком, как будто в преддверии какого-то грандиозного столкновения. А так походу и будет. Читать далее Read more

0

Habr
rip_m (PVS-Studio) @ Habr · 07/17/2026 08:07 EDT

Ошибка, которую никто никогда не совершал. Ведь так, да?

Уже с первого курса университета — или даже раньше — вы могли догадаться, что писать arr[len(arr)] — плохая затея. И вряд ли так кто-то может ошибиться, правда? Мы тоже так думали, пока не проверили 1000 проектов. Читать далее Read more

0

Habr
vldmrmlkv @ Habr · 07/17/2026 08:09 EDT

[Перевод] Хронология развития Linux

«Привет всем, кто использует Minix! Я разрабатываю (бесплатную) операционную систему (просто как хобби, она не будет такой масштабной и профессиональной, как GNU) для клонов AT на базе процессоров 386 (486). Работа над ней ведётся с апреля, и проект уже начинает обретать очертания. Я был бы рад услышать любые отзывы о том, что вам нравится или не нравится в Minix, так как моя ОС в чём‑то напоминает её (в частности, у... Read more

0

Habr
badcasedaily1 (OTUS) @ Habr · 07/17/2026 08:13 EDT

Testcontainers в CI: почему тесты зелёные локально и красные на пайплайне

Локально Testcontainers запускается за секунды, тесты стабильно зелёные, а в CI тот же набор начинает падать в трёх запусках из ста и каждый раз по новой причине. В статье разберём пять типовых источников такого поведения — от плавающих версий образов и неправильного ожидания готовности до конфликтов портов и нехватки памяти — и покажем, как сделать интеграционные тесты воспроизводимыми на пайплайне. Читать далее Read more

0

Habr
ProBr (AvitoTech) @ Habr · 07/17/2026 08:23 EDT

Агентская разработка: как обеспечить качество

Всем привет! Меня зовут Андрей Бровко, я руководитель тестирования Авито Авто. ИИ-агенты генерируют код за секунды, но скорость генерации кода не означает качество продукта. Если процессы разработки выстроены слабо, агенты просто быстрее доставляют дефекты.В этой статье разберём, чем агентская разработка отличается от вайб-кодинга и как это влияет на качество разработки ПО. Спойлер: всё начинается ещё до появления первой строки кода. Обсудим хорошие практики, разберём, на каких активностях тестирования стои Read more

0

Habr
unkmlenjoyer (RWB) @ Habr · 07/17/2026 08:36 EDT

Векторный поиск в модерации контента. Как поместить 200+ моделей в один ансамбль?

Привет, я Лев Нечаев. Когда-то я работал на заполярной атомной станции, а теперь руковожу командой «Автоматическая модерация методами ИИ» в RWB. В этой статье расскажу, как мы (успешно) применяем детекторы на основе векторного поиска в модерации контента на маркетплейсе. Начнём с предпосылок, первых моделей и сбора данных. Вместе пройдём путь от обучения до оценки качества детекторов в работе на реальных потоках данных. Читать далее Read more

0

Habr
SmartEngines (Smart Engines) @ Habr · 07/17/2026 08:40 EDT

Как математическая модель победила нейросеть: ректификация документов, сложенных втрое

Сегодня практически любую задачу компьютерного зрения пытаются решить нейронной сетью. Геометрическая ректификация документов — не исключение: современные модели умеют распрямлять даже скомканные листы бумаги.Реальность устроена иначе: никто не комкает деловые документы перед распознаванием, гораздо чаще их просто складывают пополам или втрое для удобства хранения или транспортировки. Поэтому большие нейросетевые модели на самом деле представляют скорее лишь научный интерес, а для практических целей куда по Read more

0

Most popular sources

  • You see 791 news out of 791.
  • Sources 61 out of 61.
ReadWrite 0%
Ubergizmo 0%
Tech.co 0%
AlleyWatch 0%
Financial Times 0%
View sources »

LIKE us on Facebook so you won't miss the most important news of the day!

24.07.2026 08:03
Last update: 07:55 EDT.
News rating updated: 14:50.

What is Times42?

Times42 brings you the most popular news from tech news portals in real-time chart.
Read about us in FAQ section.


Times42 © 2026