Forwarded from Денис Чужой про комедию
С раннего утра наблюдаю за тем, как пользователи твиттера советуют человеку книги лучше, чем «Атлант расправил плечи»
👌8😁4❤2👎1🤡1
shitposting 3.0 [+ dragons]
Photo
Ответственно заявляю, что я к воспитанию поколения тиктока не имею отношения
❤6👍4🔥1😁1
Forwarded from dd if=/dev/stuff of=/dev/tg
https://twitter.com/zack_overflow/status/1715042340514017559 — Flappy Bird на тайплевеле тайпскрипта.
Это стало возможным благодаря кастомному рантайм, написанному на Zig.
A work of pure art 🖼️
Это стало возможным благодаря кастомному рантайм, написанному на Zig.
A work of pure art 🖼️
X (formerly Twitter)
zack (@zack_overflow) on X
I wrote a 2D game, entirely in type-level Typescript.
Yes, you read that right. This is flappy bird, written only in Typescript types.
How did I do it? It involves a lot of type magic, and a new type-level Typescript runtime I made in Rust + Zig.
Let me…
Yes, you read that right. This is flappy bird, written only in Typescript types.
How did I do it? It involves a lot of type magic, and a new type-level Typescript runtime I made in Rust + Zig.
Let me…
😱7❤2🔥1😁1
Forwarded from dd if=/dev/stuff of=/dev/tg
dd if=/dev/stuff of=/dev/tg
https://twitter.com/zack_overflow/status/1715042340514017559 — Flappy Bird на тайплевеле тайпскрипта. Это стало возможным благодаря кастомному рантайм, написанному на Zig. A work of pure art 🖼️
И чуть более развернутый пост от автора: https://zackoverflow.dev/writing/flappy-bird-in-type-level-typescript
zackoverflow.dev
Flappy Bird Implemented in Typescript types
The ultimate type-level trickery
Подписчики, а какие вы знаете IDL (interface definition languages) с поддержкой сумм-типов?