CoreInfra
434 subscribers
86 photos
1 video
6 files
67 links
AI × Verification → Future. https://coreinfra.ru
Download Telegram
Channel created
Hello, World!
🤯3🍌2💋2🌭1
06.11 мы рассказываем про фаззинг на первом петербургском митапе по системному программированию. Ждем всех в ИТМО!
🔥41🌭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), Роман Елизаров и Виталий Аксенов.
🔥31🌭1🎄1
Митап состоялся, было классно – спасибо организаторам, слушателям, и конечно докладчикам :-)
🔥61🌭1🎄1
Друзья, после проведения нескольких стратсессий по медиастратегии нашей компании мы выработали долгосрочный план развития ключевого актива, телеграм-канала @coreinfra – будем просто закидывать сюда интересные нам самим штуки
🌭3🤣31🎄1
И, пока мы ждем видео с митапа, хочу подсветить одну из лучших научных групп в мире фаззинга – ребят из RUB, Рурского университета в Бохуме.

IJON (Марио!), REDQUEEN, GRIMOIRE, Nyx, kAFL и не только: https://nyx-fuzz.com/papers/

@pgregory
11👍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.
1🎅1🎄1🦄1
lecun-20240328-harvard.pdf
46.4 MB
Ну и чтобы не оставлять такие крутые слайды без дополнительной отсылки – подкрепим Лекуна, другим ресерчем от Toby Ord посвященному вознаграждению за RL для фронтирных моделек:

https://www.tobyord.com/writing/inefficiency-of-reinforcement-learning
🎄21🎅1🦄1
Разбавим (ненадолго) статьи про верификацию более легким жанром: длинным интервью Сатьи Наделлы паре известных-в-AI-кругах молодых американских индийцев. Сатья – топ (всегда), интервью очень содержательное, хороший вечер обеспечен.

https://www.youtube.com/watch?v=8-boBsWcr5A

@pgregory
2🎅1🎄1