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
🤩 Круто: NotebookLM умеет делать качественный видеопересказ, инфографику и ментальные карты - полезно для изучения каких-то сложных/интересных тех. материалов.
Link: https://notebooklm.google.com/
Link: https://notebooklm.google.com/
❤2
The Higgs boson (14 years since official publication in July 4, 2015)
With 5154 authors, a physics paper has seemingly broken the record for the largest number of contributors to a research article, Nature News reports.
CERN article: https://home.cern/science/physics/higgs-boson/
Arxiv article: https://arxiv.org/abs/1503.07589
~ больше половины пейпера - это перечисление авторов 😅
You and everything around you are made of particles. But when the universe began, no particles had mass; they all sped around at the speed of light. Stars, planets and life could only emerge because particles gained their mass from a fundamental field associated with the Higgs boson. The existence of this mass-giving field was confirmed in 2012, when the Higgs boson particle was discovered at CERN.
With 5154 authors, a physics paper has seemingly broken the record for the largest number of contributors to a research article, Nature News reports.
CERN article: https://home.cern/science/physics/higgs-boson/
Arxiv article: https://arxiv.org/abs/1503.07589
~ больше половины пейпера - это перечисление авторов 😅
Protect the first two hours of your morning for uninterrupted, deeply focused work on your absolute highest-leverage priority ⚡ (~before being distracted by other things)
#productivity #gemini_flash
#productivity #gemini_flash
⚡1
Forwarded from Data Portal | DS & ML
Продвинутые структуры данных MIT
проф. Эрик Демейн
Конспекты лекций: https://courses.csail.mit.edu/6.897/spring03/scribe_notes/
проф. Эрик Демейн
Конспекты лекций: https://courses.csail.mit.edu/6.897/spring03/scribe_notes/
#1288 | Remove Covered Intervals
~ Задача на интервалы - классические задачи на интервью по распределению задач по процессам, планирование / оптимизация событий и т.д.
Problem Link: https://leetcode.com/problems/remove-covered-intervals/
Ещё на nFactorial подкасте был крутой разбор задачи по schedule-optimization от ex-Google DeepMind SWE - Adilet Zh.: https://youtu.be/gbgiFVFhGkc?si=3z3feGwhfNHOhJbo
#LeetCode #POTD #Intervals
~ Задача на интервалы - классические задачи на интервью по распределению задач по процессам, планирование / оптимизация событий и т.д.
Problem Link: https://leetcode.com/problems/remove-covered-intervals/
Ещё на nFactorial подкасте был крутой разбор задачи по schedule-optimization от ex-Google DeepMind SWE - Adilet Zh.: https://youtu.be/gbgiFVFhGkc?si=3z3feGwhfNHOhJbo
#LeetCode #POTD #Intervals
June 30, 2026 -> Google's new model for zero-shot predictions on tabular data (classification / regression) was released.
~ Tested it today on Kaggle's Predicting Student Health Risk Competition ~ multiclass classification task.
~ For 295,753 test rows -> it took 7 hours inference... (on free GPU T4) ~ inference batch size: 1024.
The Takeaway: TabFM sacrifices raw inference speed to give you high-quality, out-of-the-box predictions in a single forward pass without the headache of building a custom ML pipeline.
+ TabFM is being integrated directly into Google BigQuery (
Article: https://research.google/blog/introducing-tabfm-a-zero-shot-foundation-model-for-tabular-data/
#GoogleTabFM #TabularML
~ Tested it today on Kaggle's Predicting Student Health Risk Competition ~ multiclass classification task.
~ For 295,753 test rows -> it took 7 hours inference... (on free GPU T4) ~ inference batch size: 1024.
The Takeaway: TabFM sacrifices raw inference speed to give you high-quality, out-of-the-box predictions in a single forward pass without the headache of building a custom ML pipeline.
+ TabFM is being integrated directly into Google BigQuery (
AI.PREDICT SQL) ~ it will run on Google's computational power, so we will not feel any inference speed issues while using in BigQuery (I think).Article: https://research.google/blog/introducing-tabfm-a-zero-shot-foundation-model-for-tabular-data/
#GoogleTabFM #TabularML
Problem Solving with Arman (ML+Algo)
June 30, 2026 -> Google's new model for zero-shot predictions on tabular data (classification / regression) was released. ~ Tested it today on Kaggle's Predicting Student Health Risk Competition ~ multiclass classification task. ~ For 295,753 test rows …
+ Есть схожая модель, только для Time Series Forecasting задач (2024):
TimesFM (Time Series Foundation Model) is a pretrained time-series foundation model ~ decoder only model that uses non-overlapping patches of time-series data as input and outputs some output patch length prediction in an autoregressive fashion.
https://huggingface.co/docs/transformers/model_doc/timesfm
TimesFM (Time Series Foundation Model) is a pretrained time-series foundation model ~ decoder only model that uses non-overlapping patches of time-series data as input and outputs some output patch length prediction in an autoregressive fashion.
https://huggingface.co/docs/transformers/model_doc/timesfm
huggingface.co
TimesFM · Hugging Face
We’re on a journey to advance and democratize artificial intelligence through open source and open science.
❤1
Forwarded from CodeCamp
C Fable не здороваемся — реддитор пожаловался, что спалил $20, просто написав «Привет» 😂
Итог ожидаемый, вы системный промт Fable видели?
Итог ожидаемый, вы системный промт Fable видели?
Please open Telegram to view this post
VIEW IN TELEGRAM