Красотища: "Flappy Bird Implemented in Typescript types"
Сплошная type-level магия.

"Yes you heard that right, this game is written entirely in Typescript type annotations, which—if you didn’t know—are Turing complete. So how the hell am I runnning it in the browser and rendering the game in Typescript types?"

Впрочем, не удивлён: Typescript это очередное гениальное творение Хейлсберга, единственный язык мэйнстрима с такой мощной системой типов (а его генерики вообще огонь). Да, у C# и Java система типов тоже тьюринг-полная, но подобное на них написать практически нереально.

Когда-то я хотел такому учить, но зачем? подобный космический уровень просто некому оценить... Я сделал треть курса по F*, и немного начал готовить материалы по гомотопической теории типов как "языку программирования", но... даже если вы x100 программист, вообще не факт, что вам поднимут зарплату хотя бы на 20% исходя их ваших хард-скиллов, а на собеседованиях у вас будут спрашивать "какие веб-фреймворки знаете"...

Я устал я ухожу сражаться с сансарой, и дальше буду делать акцент на прозаическом:
во-первых, как гарантированно войти в ИТ с околонуля,
и во-вторых, как работающим программистам зарабатывать в ИТ как можно больше денег...

С 1 января 2024-го анонсирую мои новые сервисы и услуги на тему пацан к успеху шёл как получать много-много бабла...

Я предлагаю работающую технологию повышения зп и иных форм дохода, и из десятков курсантов, кто ей полноценно следовал, нету ни одного, кто бы не увеличил свой доход (куча отзывов).

Дело не в том, что это что-то секретное или уникальное, а только в том, что это надо делать, что без крепких регулярных пендалей со стороны у 98% не получается.

P.S. Наш лозунг: работайте на своё имя, и пусть они платят вам за это деньги.