06.11 мы рассказываем про фаззинг на первом петербургском митапе по системному программированию. Ждем всех в ИТМО!
🔥4☃1🌭1🎄1
Forwarded from GPGPU Russia (Michael Lukin)
Мы доделали программу митапа и сделали ссылку на регистрацию:
https://itmo.events/events/114900
Напомню дату и место: 6.11 в главном здании ИТМО (Санкт-Петербург, Кронверский пр., 49).
Количество мест ограничено аудиторией (100 человек), поэтому приглашение в порядке регистрации. (Как именно мы будем сообщаться есть ли место - разберёмся по ходу).
Зарегистрироваться надо до 1.11 (включительно).
Также мы сделали группу в телеге: https://t.me/+nn08LEZfAG85NWFi
Программа:
1. <Название скоро будет>. Константин Владимиров (Syntacore)
О докладчике:
Работаю над компиляторами с 2010 года. Сейчас — над компилятором для RISC-V в Syntacore.
2. Современный фаззинг как инструмент прикладной верификации. Григорий Петросян (CoreInfra)
О докладе:
Современный фаззер — один из наиболее мощных и полезных инструментов для разработки сложных программ. Тем не менее, большинство программистов не знают про фаззеры практически ничего — а даже если что-то и знают, не знают как их применять при разработке с пользой для себя. Расскажу о внутреннем устройстве современных фаззеров и о fuzz-driven development.
О докладчике:
Со-основатель и технический директор CoreInfra. До этого — руководитель группы Core Infrastructure ВКонтакте. 20 лет программирую инфраструктурные системы и люблю это занятие.
3. Особенности совместного использования P- и E- ядер в OpenMP приложениях. Алексей Матвеев (НГУ)
О докладе:
В настоящее время многоядерные процессоры с гетерогенными архитектурами, в которых сочетаются ядра с различной производительностью, становятся всё более и более распространенными. Если ещё пару лет назад такие архитектуры были в основном распространены в мобильном сегменте, то с анонсом в 2022 году компанией Intel процессоров 12-го поколения линейки Intel Core, такие процессоры стали распространяться в сегменте десктопов и рабочих станций. Однако, до сих пор остается открытым вопрос: необходимо ли каким-то специальным образом учитывать особенности данных архитектур для достижения максимальной многопоточной производительности?
О докладчике:
Программист-исследователь. Занимаюсь разработкой и реализацией алгоритмов обработки геофизических данных в Институте нефтегазовой геологии и геофизики СО РАН. Преподаю в Новосибирском Государственном Университете на Кафедре параллельных вычислений.
Митап проходит при поддержке «Городских сервисов Яндекса» (https://dev.go.yandex).
Организаторы: Михаил Лукин (канал GPGPU_RU), Роман Елизаров и Виталий Аксенов.
https://itmo.events/events/114900
Напомню дату и место: 6.11 в главном здании ИТМО (Санкт-Петербург, Кронверский пр., 49).
Количество мест ограничено аудиторией (100 человек), поэтому приглашение в порядке регистрации. (Как именно мы будем сообщаться есть ли место - разберёмся по ходу).
Зарегистрироваться надо до 1.11 (включительно).
Также мы сделали группу в телеге: https://t.me/+nn08LEZfAG85NWFi
Программа:
1. <Название скоро будет>. Константин Владимиров (Syntacore)
О докладчике:
Работаю над компиляторами с 2010 года. Сейчас — над компилятором для RISC-V в Syntacore.
2. Современный фаззинг как инструмент прикладной верификации. Григорий Петросян (CoreInfra)
О докладе:
Современный фаззер — один из наиболее мощных и полезных инструментов для разработки сложных программ. Тем не менее, большинство программистов не знают про фаззеры практически ничего — а даже если что-то и знают, не знают как их применять при разработке с пользой для себя. Расскажу о внутреннем устройстве современных фаззеров и о fuzz-driven development.
О докладчике:
Со-основатель и технический директор CoreInfra. До этого — руководитель группы Core Infrastructure ВКонтакте. 20 лет программирую инфраструктурные системы и люблю это занятие.
3. Особенности совместного использования P- и E- ядер в OpenMP приложениях. Алексей Матвеев (НГУ)
О докладе:
В настоящее время многоядерные процессоры с гетерогенными архитектурами, в которых сочетаются ядра с различной производительностью, становятся всё более и более распространенными. Если ещё пару лет назад такие архитектуры были в основном распространены в мобильном сегменте, то с анонсом в 2022 году компанией Intel процессоров 12-го поколения линейки Intel Core, такие процессоры стали распространяться в сегменте десктопов и рабочих станций. Однако, до сих пор остается открытым вопрос: необходимо ли каким-то специальным образом учитывать особенности данных архитектур для достижения максимальной многопоточной производительности?
О докладчике:
Программист-исследователь. Занимаюсь разработкой и реализацией алгоритмов обработки геофизических данных в Институте нефтегазовой геологии и геофизики СО РАН. Преподаю в Новосибирском Государственном Университете на Кафедре параллельных вычислений.
Митап проходит при поддержке «Городских сервисов Яндекса» (https://dev.go.yandex).
Организаторы: Михаил Лукин (канал GPGPU_RU), Роман Елизаров и Виталий Аксенов.
🔥3☃1🌭1🎄1
Современный_фаззинг_как_инструмент_прикладной_верификации.pdf
4.1 MB
Слайды, видео пока ждем.
👍4☃1🌭1🎄1
Друзья, после проведения нескольких стратсессий по медиастратегии нашей компании мы выработали долгосрочный план развития ключевого актива, телеграм-канала @coreinfra – будем просто закидывать сюда интересные нам самим штуки
🌭3🤣3☃1🎄1
И, пока мы ждем видео с митапа, хочу подсветить одну из лучших научных групп в мире фаззинга – ребят из RUB, Рурского университета в Бохуме.
IJON (Марио!), REDQUEEN, GRIMOIRE, Nyx, kAFL и не только: https://nyx-fuzz.com/papers/
– @pgregory
IJON (Марио!), REDQUEEN, GRIMOIRE, Nyx, kAFL и не только: https://nyx-fuzz.com/papers/
– @pgregory
☃1❤1👍1🎅1🎄1
TechCrunch пишет, что Ян Лекун покидает Meta и будет строить свой стартап.
https://techcrunch.com/2025/11/11/metas-chief-ai-scientist-yann-lecun-reportedly-plans-to-leave-to-build-his-own-startup/
Будем с удовольствием следить!
Ян много рассказывает про то, что все неправильно (наш слоняра) учат модели. Путь джедая – обучение (и не только) через доменную модель. Т.е. не через обучение на всем, что попадет под руку, а через построение world model, которое бы предсказывало представление состояния от внешнего события, а не следующий токен или пиксел.
Начать среду предлагаю с видео, самого господина Яна: https://www.youtube.com/watch?v=MiqLoAZFRSE
Слайды в следующем сообщении для тех, у кого не сразу загрузился YouTube.
https://techcrunch.com/2025/11/11/metas-chief-ai-scientist-yann-lecun-reportedly-plans-to-leave-to-build-his-own-startup/
Будем с удовольствием следить!
Ян много рассказывает про то, что все неправильно (наш слоняра) учат модели. Путь джедая – обучение (и не только) через доменную модель. Т.е. не через обучение на всем, что попадет под руку, а через построение world model, которое бы предсказывало представление состояния от внешнего события, а не следующий токен или пиксел.
Начать среду предлагаю с видео, самого господина Яна: https://www.youtube.com/watch?v=MiqLoAZFRSE
Слайды в следующем сообщении для тех, у кого не сразу загрузился YouTube.
☃1🎅1🎄1🦄1
lecun-20240328-harvard.pdf
46.4 MB
Ну и чтобы не оставлять такие крутые слайды без дополнительной отсылки – подкрепим Лекуна, другим ресерчем от Toby Ord посвященному вознаграждению за RL для фронтирных моделек:
https://www.tobyord.com/writing/inefficiency-of-reinforcement-learning
https://www.tobyord.com/writing/inefficiency-of-reinforcement-learning
🎄2☃1🎅1🦄1
Разбавим (ненадолго) статьи про верификацию более легким жанром: длинным интервью Сатьи Наделлы паре известных-в-AI-кругах молодых американских индийцев. Сатья – топ (всегда), интервью очень содержательное, хороший вечер обеспечен.
https://www.youtube.com/watch?v=8-boBsWcr5A
– @pgregory
https://www.youtube.com/watch?v=8-boBsWcr5A
– @pgregory
YouTube
Satya Nadella – How Microsoft thinks about AGI
As part of this interview, Satya Nadella gave me and Dylan Patel (founder of SemiAnalysis) an exclusive first-look at their brand-new Fairwater 2 datacenter.
Microsoft is building multiple Fairwaters, each of which has hundreds of thousands of GB200s & GB300s.…
Microsoft is building multiple Fairwaters, each of which has hundreds of thousands of GB200s & GB300s.…
☃2🎅1🎄1