Да, это тред об еще одном языке программирования. Это Oort.
Основная фича этого языка вынесена в заголовок. Да, это язык, в котором конструкция goto считается чем-то хорошим. Здесь нужно внести уточнение: метки в Oort являются first-class объектами, то есть они могут быть сохранены в переменных и имеют лексическую область видимости. Таким образом, они представляют структуру чем-то схожую с «продолжениями» в функциональных языках.
По ссылке есть несколько интересных примеров: преждевременный выход из цикла, реализация call/cc, реализация простенькой кооперативной системы тредов.
Язык пилится автором джастфорфан и не претендует ни на что серьезное.