AG
а под болтовню занимаюсь всякой херней, типа апдейчу идрис, апдейчу кок, апдейчу культт
Size: a a a
2020 June 17
ZM
ну вообще работать надо но я третий день слушаю бормотню с плди
работаешь над повышением профессиональных компетенций
AG
ну вообще смотрю народ прямо соревнуется кто более низкоуровневую поебень запрувит
AG
- мы запрувили компилятор си
- а мы запрувили промежуточное представление для компиляторов си
- а мы запрувили модель памяти ассемблера
- а мы запрувили ISA процессора
- а мы запрувили сигнал включения лампочки
- а мы запрувили промежуточное представление для компиляторов си
- а мы запрувили модель памяти ассемблера
- а мы запрувили ISA процессора
- а мы запрувили сигнал включения лампочки
AG
это всё реальные доклады
YE
сень кароче в ветеренарку этого пидора таскал
Как все прошло?
ᛒ
Как все прошло?
та быстро
Α
- мы запрувили компилятор си
- а мы запрувили промежуточное представление для компиляторов си
- а мы запрувили модель памяти ассемблера
- а мы запрувили ISA процессора
- а мы запрувили сигнал включения лампочки
- а мы запрувили промежуточное представление для компиляторов си
- а мы запрувили модель памяти ассемблера
- а мы запрувили ISA процессора
- а мы запрувили сигнал включения лампочки
ща бы фотоны аппрувить
AG
ща бы фотоны аппрувить
ну кстати там чото проскакивало про формализацию квантмеха
ᛒ
- мы запрувили компилятор си
- а мы запрувили промежуточное представление для компиляторов си
- а мы запрувили модель памяти ассемблера
- а мы запрувили ISA процессора
- а мы запрувили сигнал включения лампочки
- а мы запрувили промежуточное представление для компиляторов си
- а мы запрувили модель памяти ассемблера
- а мы запрувили ISA процессора
- а мы запрувили сигнал включения лампочки
AG
но думаю без гомотопических типов не прокатит
AD
- мы запрувили компилятор си
- а мы запрувили промежуточное представление для компиляторов си
- а мы запрувили модель памяти ассемблера
- а мы запрувили ISA процессора
- а мы запрувили сигнал включения лампочки
- а мы запрувили промежуточное представление для компиляторов си
- а мы запрувили модель памяти ассемблера
- а мы запрувили ISA процессора
- а мы запрувили сигнал включения лампочки
Чел прувал кардиостимулятор
AG
я вот думаю где и как в индустрии это все может взлететь
AG
видимо без гос поддержки вряд ли
AD
Да где, как тулинг к конпеляторах и прошаренный статик чекер
AG
тулинг то да
AD
Типа а ты знаешь что вот тут ты просрал память?
AG
тетя из гугла выступала
AD
Или вот тут то у тебя дедлок
AG
я говорит буду рассказывать про чекеры но без верификации