Публикация #383 — C++ and other lectures (@cpp_lects_rus)

Введите текст для поиска

Расширенный поиск каналов

Russian

Язык сайта

Russian English Uzbek
Вход на сайт

Каталог

Каталог каналов и чатов Региональные подборки Тематические подборки Платные каналы Поиск каналов
Добавить канал/чат
Рейтинги

Рейтинг каналов Рейтинг чатов Рейтинг публикаций
Рейтинги брендов и персон
Аналитика
Поиск по публикациям
Мониторинг Telegram
Продвижение

Реклама через Яндекс Бизнес Реклама в каналах через TGStat Agency Реклама на сайте TGStat.ru

C++ and other lectures

20 Jun, 11:00

Открыть в Telegram Поделиться Пожаловаться

Выложил лекцию по llvm-snippy. Настало время рассказать о моём лучшем проекте на моём канале.

Английская версия: https://youtu.be/gomtQMGOFF8
Русская версия и качество не хуже: https://rutube.ru/video/18e1a8bfca1d9e2979d8b8a631e68207

Документация: https://llvm-snippy.github.io/llvm-snippy

#snippy

LLVM-snippy: An Instruction Sequence Generator. Part 1: Overview

In this lecture, I introduce llvm-snippy -- an LLVM-based instruction sequence generator for low-level verification. We start with the basic problem: how to verify processor models against an ISA specification. Then we look at why ad hoc random instruction generators do not scale, especially for ext...

10.9k 0 32 4 77

Каталог

Каталог каналов и чатов Подборки каналов Поиск каналов Добавить канал/чат

Рейтинги

Рейтинг каналов Telegram Рейтинг чатов Telegram Рейтинг публикаций Рейтинги брендов и персон

API

API статистики API поиска публикаций API Callback

Наши каналы

@TGStat @TGStat_Chat @telepulse @TGStatAPI

Почитать

Академия TGStat Исследование Telegram 2019 Исследование Telegram 2021 Исследование Telegram 2023

Контакты

Справочный центр Поддержка Почта Вакансии

Всякая всячина

Пользовательское соглашение Политика конфиденциальности Публичная оферта

Наши боты

@TGStat_Bot @SearcheeBot @TGAlertsBot @tg_analytics_bot @TGStatChatBot