Кто говорит?

Один из авторов.

В твиттере заанонсил или лично рассказал?

На PLDI сказал.

Круто, и как сама конференция? Было что интересного?

Там прилично интереного и она всё ещё продолжается. Но времена сессий для меня неудобные по большей части.

Да отстойно, я из за диплома в этом году тоже не смог поехать на лямбду

Расскажите мне про абстрактную VM.
есть 3 операции:
set regname, которая попает из стека  в регистр
get regname, которая пушит в стек
kill  regname, которая удаляет регистр

Вот первые 2 понятно, а на кой нужен kill? ну и что что у нас в регистре будет какое-то значение, с учетом фиксированного количества регистров это не имеет же значения особо.
читать невалидный регистр все равно нельзя (те нельзя сделать get после условного kill)

Хотя да, так и написано - для того, чтобы удосужится что нету повреждения при jump.
VM должна проверить что после прыжка регистры пустые, иначе упасть с ошибкой верификации
Значит для меня это не так важно, я не проверяю бранчи, а инлайн это ломает.

Я просто вижу, что не везде есть такой опкод, вернее его больше нет чем есть.
нету в WASM, в JVM тоже нет, CLI тоже

Вы лучше у автора этой абстрактной машины спросите, кроме него вряд ли кто-то знает зачем он это сделал

не особо понимаю Как это? - Удалить регистр 😳

Ну вот как бы тоже. типа перевести в невалидное состояние

Все перечисленные VM — стековые, в них регистров вообще нет. 😉
Лучше тогда с Limbo VM сравнить. Но там тоже наверняка нет инструкции чтобы удалять или стирать регистр.

ну там есть локальные переменные

считай регистры (ну или я неверно выразился)

Там есть перемещение из стека в локальную и обратно.

Локальные переменные тежат на стеке. Это НЕ регистры именно потому что локальные. 😊

как это на стеке

хочешь сказать их 2?

Регистры не нужны, лучше иметь первые N слотов стека неявно регистрами и делать стек-машину

Обычно вот так: https://en.wikipedia.org/wiki/Call_stack#STACK-FRAME