Forwarded from Machinelearning
Конференция состоится 29 сентября 2026 года в Форт-Мейсон-центре в Сан-Франциско.
В случае одобрения участия стоимость билета составит 650 долларов и заявитель должен завершить регистрацию в течение 2-х недель, иначе его место будет передано другим желающим.
Участники, не имеющие возможности присутствовать лично, смогут следить за основными выступлениями в онлайне.
Крайний срок подачи заявок - 10 июля.
Помимо основного мероприятия, OpenAI также проведет в конце года серию DevDay Exchange в Бангалоре, Токио, Сеуле, Париже, Берлине, Лондоне, Сан-Паулу и Мехико.
@ai_machinelearning_big_data
#news #ai #ml
Please open Telegram to view this post
VIEW IN TELEGRAM
Kaggle AI Benchmark Sandbox (for random ideas testing): https://www.kaggle.com/
Yandex CodeRun Summer Challenge 2026 — это летнее соревнование для разработчиков, где участники соревнуются в написании наиболее производительного и эффективного кода.
Цель челленджа — решать задачи быстрее остальных по времени выполнения, чтобы занять верхние строчки в лидерборде.
Суть соревнования: участникам предстоит решать задачи на оптимизацию кода. Неоптимальные решения приводят к «перегреву системы».
Даты проведения: с 1 июля по 17 июля (старт в 04:00 по московскому времени).
Ссылка: https://coderun.yandex.ru/seasons/2026-summer
Цель челленджа — решать задачи быстрее остальных по времени выполнения, чтобы занять верхние строчки в лидерборде.
Суть соревнования: участникам предстоит решать задачи на оптимизацию кода. Неоптимальные решения приводят к «перегреву системы».
Даты проведения: с 1 июля по 17 июля (старт в 04:00 по московскому времени).
Ссылка: https://coderun.yandex.ru/seasons/2026-summer
Forwarded from Codeforces Official
Codeforces Round 1106 (Div. 2) starts in ~2 hours. Please, join by this link https://codeforces.com/contests/2238
Codeforces
Codeforces Round 1106 (Div. 2) - Codeforces
Codeforces. Programming competitions and contests, programming community
Forwarded from Data Secrets
Please open Telegram to view this post
VIEW IN TELEGRAM
Data Secrets
Правительство США дропнуло новый бенчмарк для LLM ⚡️
Интересно, что блокировки моделей правительством используют как часть маркетинговой компании и способ завышения своих бенчмарков.
Forwarded from 📢 Возможности 🚀 startup-course.com 💰
🦶🏔👨💻 IT Esentai 18-го июля в 9 утра. Прогулка для всех, кому интересны технологии, стартапы, инвестиции и предпринимательство
Гость: Кирилл Бачваров - заместитель председателя правления Halyk Bank, ответственный за банковское обслуживание клиентов (B2C). Более 20 лет работал в международных финансовых организациях, занимался стратегическим развитием, маркетингом и управлением клиентским опытом.
После прогулки продолжим общение в коворкинге Promenade, где пройдет открытая сессия Q&A. Это возможность задать вопросы о карьере, технологиях, финансах, запуске продуктов и развитии бизнеса
📍 Встречаемся 18 июля в 09:00 у Starbucks возле Esentai Towers и отправляемся на прогулку вдоль реки Есентай.
🔗 Регистрация qazaqitcom.kz/ru/events/it-20?&utm_source=startup.vg
📆 Календарь startup.vg/calendar
@startup_course_com /4023
https://t.me/startup_course_com/5857
Гость: Кирилл Бачваров - заместитель председателя правления Halyk Bank, ответственный за банковское обслуживание клиентов (B2C). Более 20 лет работал в международных финансовых организациях, занимался стратегическим развитием, маркетингом и управлением клиентским опытом.
После прогулки продолжим общение в коворкинге Promenade, где пройдет открытая сессия Q&A. Это возможность задать вопросы о карьере, технологиях, финансах, запуске продуктов и развитии бизнеса
📍 Встречаемся 18 июля в 09:00 у Starbucks возле Esentai Towers и отправляемся на прогулку вдоль реки Есентай.
🔗 Регистрация qazaqitcom.kz/ru/events/it-20?&utm_source=startup.vg
📆 Календарь startup.vg/calendar
@startup_course_com /4023
https://t.me/startup_course_com/5857
Please open Telegram to view this post
VIEW IN TELEGRAM
SAT solvers are programs that solve the Boolean Satisfiability Problem (SAT), which is the first problem proven to be NP-complete.
The SAT problem asks:
For example:
A SAT solver tries to find values such as
that satisfy all clauses, or prove that no such assignment exists.
Why are SAT solvers important?
Although SAT is NP-complete and is believed to require exponential time in the worst case, modern SAT solvers are astonishingly effective on many real-world instances involving millions of variables.
They are used in:
* Hardware verification (Intel, AMD, NVIDIA)
* Software verification and bug finding
* Automated theorem proving / etc.
Interview with Ryan Williams, theoretical computer scientist specializing in computational complexity: https://youtu.be/AaK1SL2i_4Y?si=6y30OuIwy6S9Rv-K
The SAT problem asks:
Given a Boolean formula, is there an assignment of True/False values to the variables that makes the entire formula evaluate to True?
For example:
(A OR B) AND (!A OR C) AND
(!B OR !C)
A SAT solver tries to find values such as
A = False
B = True
C = True
that satisfy all clauses, or prove that no such assignment exists.
Why are SAT solvers important?
Although SAT is NP-complete and is believed to require exponential time in the worst case, modern SAT solvers are astonishingly effective on many real-world instances involving millions of variables.
They are used in:
* Hardware verification (Intel, AMD, NVIDIA)
* Software verification and bug finding
* Automated theorem proving / etc.
Interview with Ryan Williams, theoretical computer scientist specializing in computational complexity: https://youtu.be/AaK1SL2i_4Y?si=6y30OuIwy6S9Rv-K
Forwarded from 📢 Возможности 🚀 startup-course.com 💰
🏆 National Founder Cup 2026 от Black Swan × AI Startify!
Создайте свой стартап, представьте идею инвесторам и менторам и поборитесь за призовой фонд до 3 500 000 ₸ в виде денежных призов, партнёрских бонусов, сертификатов и возможностей для развития стартапов.
📍 Финал пройдет в Алматы.
📅 Ключевые даты:
• Регистрация — до 19 июля
• Отбор — 20–26 июля 2026
• Финал — 1 августа (Алматы)
📲 Вступайте в группу Telegram, получайте промокод и следуйте инструкциям t.me/+_sNAL5vjuCY0NWRi
📆 Календарь startup.vg/calendar
@startup_course_com /4023
https://t.me/startup_course_com/5857
Создайте свой стартап, представьте идею инвесторам и менторам и поборитесь за призовой фонд до 3 500 000 ₸ в виде денежных призов, партнёрских бонусов, сертификатов и возможностей для развития стартапов.
📍 Финал пройдет в Алматы.
📅 Ключевые даты:
• Регистрация — до 19 июля
• Отбор — 20–26 июля 2026
• Финал — 1 августа (Алматы)
📲 Вступайте в группу Telegram, получайте промокод и следуйте инструкциям t.me/+_sNAL5vjuCY0NWRi
📆 Календарь startup.vg/calendar
@startup_course_com /4023
https://t.me/startup_course_com/5857
Теперь вы можете питаться традиционной казахской едой в Майнкрафте! 🎮🌾
Встречайте Nomad's Delight — новый тематический мод, который добавляет в игру наш национальный колорит.
🍲 Настоящий дастархан: в игру добавили более 50 традиционных блюд и ингредиентов.
👉 Ссылка на GitHub: https://github.com/DosyaKitarov/NomadsDelight
Ас болсын! 🇰🇿✨
✍️ Авторы проекта: @ninsent и DosyaKitarov
Встречайте Nomad's Delight — новый тематический мод, который добавляет в игру наш национальный колорит.
🍲 Настоящий дастархан: в игру добавили более 50 традиционных блюд и ингредиентов.
👉 Ссылка на GitHub: https://github.com/DosyaKitarov/NomadsDelight
Ас болсын! 🇰🇿✨
✍️ Авторы проекта: @ninsent и DosyaKitarov
GitHub
GitHub - DosyaKitarov/NomadsDelight: Nomad's delight mod source code
Nomad's delight mod source code. Contribute to DosyaKitarov/NomadsDelight development by creating an account on GitHub.
❤3
Вопрос на интервью по Audio ML Engineering:
Что легче тестировать TTS модель или STT модель? Почему?
Ответ:
STT (Распознавание речи) тестировать принципиально легче, чем TTS (Синтез речи).
Основная причина в том, что для STT критерий успеха объективен и легко автоматизируется (машина либо правильно угадала текст, либо нет). Для TTS же критерий успеха субъективен (насколько голос приятный, естественный, правильная ли интонация), что требует привлечения людей и сложной ручной оценки.
#audioml #interview_prep
Что легче тестировать TTS модель или STT модель? Почему?
Ответ:
Основная причина в том, что для STT критерий успеха объективен и легко автоматизируется (машина либо правильно угадала текст, либо нет). Для TTS же критерий успеха субъективен (насколько голос приятный, естественный, правильная ли интонация), что требует привлечения людей и сложной ручной оценки.
#audioml #interview_prep
Forwarded from Анализ данных (Data analysis)
Anthropic и Cerebral Valley запускают Built with Claude: Life Sciences
Это онлайн-хакатон для тех, кто хочет собрать AI-продукт вокруг биотеха, медицины и научных исследований.
Anthropic всё активнее двигает Claude в сторону life sciences. Недавно компания представила Claude Science, AI-workbench для исследователей с коннекторами, scientific skills, поддержкой Jupyter/R/HPC и проверяемыми артефактами.
https://cerebralvalley.ai/e/built-with-claude-life-sciences
Это онлайн-хакатон для тех, кто хочет собрать AI-продукт вокруг биотеха, медицины и научных исследований.
Anthropic всё активнее двигает Claude в сторону life sciences. Недавно компания представила Claude Science, AI-workbench для исследователей с коннекторами, scientific skills, поддержкой Jupyter/R/HPC и проверяемыми артефактами.
https://cerebralvalley.ai/e/built-with-claude-life-sciences
Разрыв между исчезновением динозавров и появлением первых мамонтов составляет около 60 миллионов лет. Таким образом, гипотеза о хищничестве динозавров в отношении мамонтов является научно несостоятельной, так как кости динозавров к моменту появления мамонтов уже прошли полный процесс окаменелости.
#findings
#findings
🔥2