CoreInfra
432 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
pos-cav18.pdf
176.5 KB
Partial order aware concurrency sampling
🎅1🎄1🦄1
Один из вопросов после моего доклада на митапе затрагивал тестирование, условно, многопоточного кода. Времени развернуто ответить не было – и канал тоже плохо подходит для длинного формата – но для тех, кому интересно это направление, скину статью про то, как это делать правильно. Год назад я бы скинул "A randomized scheduler with probabilistic guarantees of finding bugs" 2010 года, но теперь это будет "Partial order aware concurrency sampling" 2018 года.

Простой рандомизированный алгоритм, гарантирующий эффективное исследование огромного пространства состояний многопоточной программы – что может быть лучше?

@pgregory
21🔥1🎅1🦄1
Создавать новые технические штуки довольно сложно. Даже с хорошей центральной идеей часто непонятно как итоговая система должна выглядеть, какие принципы конструирования нужно задать.
Брайан Кантрилл (DTrace, Oxide) делает классификацию таких новых систем со стороны Simple vs Complex и Engineered vs Emergent, рассуждает как системы приходят к тому или иному типу. Спикер классный, есть много хороших мыслей. Прям заряжаешься мотивацией идти и делать "revolutionary system"

https://www.youtube.com/watch?v=Cum5uN2634o

@nik_myxo
41🎅1🎄1🦄1👾1
Раньше довольно много приходилось заниматься устранением и разбором инфраструктурных инцидентов, и с этой точки зрения есть несколько комментариев вчерашнего инцидента Cloudflare, положившего половину интернета.

– Быстрый, честный и детальный постмортем от имени CEO – единственный правильный вариант, за что респект
– Надеюсь, что те, кто любил смеяться над if err != nil { получили пищу для размышления (но особо в это не верю)
– Лже-корневая причина инцидента – нарушение принципа config is code (и вытекающих отсюда принципов раскатки конфигов)
– Настоящая корневая причина – отсутствие, как выражается один мой друг, облеченного властью технического "человека с дубиной", который держит всю систему в голове и говорит "нет" на любые плохие идеи. Ресурса CTO на это обычно не хватает; это должен быть отдельный человек с очень высокими полномочиями
– Все мы задним умом крепки

@pgregory
🔥31💯1🎅1🎄1🦄1👾1
sddf-design-latest.pdf
781.2 KB
Design, Implementation and Evaluation of the
seL4 Device Driver Framework
2🎅1🎄1🦄1
Хороший дизайн – это всегда одновременно и простота, и надежность, и скорость. Необходимость компромиссов почти всегда указывает на то, что хороший дизайн нам просто пока неизвестен. Но с течением времени люди начинают находить все больше хороших дизайнов, и статья выше – последний пример, который мне очень понравился. Простые, безопасные и быстрые (быстрее Linux) драйверы – реальная инновация в древней osdev сфере.

@pgregory
💯2🦄21🎅1