TGViewer
Channel Public Channel
dd if=/dev/stuff of=/dev/tg

dd if=/dev/stuff of=/dev/tg

@randomstuffilike

Музыка: @randommusicilike

18+. По всем вопросам, кроме рекламы: @rsil_feedback_bot

По вопросам рекламы (внимательно читайте приветственное сообщение): @rsil_ads_bot
Open in Telegram
Subscribers
2.48K
Photos
348
Videos
5
Links
564
Recent Posts 20 shown
Post #983 1.62K
Задолбался, что приходится быть chief software sloperator на работе, поэтому в терапевтических целях завел канал на русском языке, посвященный настольным играм и околоигровому крафту. Пока что вышло два видео: об эмерджентности истории в Five Parsecs From Home и о бумажных миниатюрах. Посмотрим, как все будет развиваться: может, будут батл-репорты, может, больше крафта, может, всего понемногу.
Подписывайтесь, что ли: http://www.youtube.com/@YuriyRolls
Post #979 15.2K
Design Guidelines for Domain-Specific Languages
Очень хороший пейпер, предлагающий 26 гайдлайнов, которыми следует руководствоваться при проектировании DSL.
Post #978 14.4K
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
Post #977 12.2K
https://twitter.com/zack_overflow/status/1715042340514017559 — Flappy Bird на тайплевеле тайпскрипта.
Это стало возможным благодаря кастомному рантайм, написанному на 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…
Post #973 5.22K
https://nostarch.com/learn-physics-functional-programming — изучение ньютоновской физики при помощи Haskell. Признаться честно, я чуть удивлен, что используется не какой-нибудь язык с завтипами вроде Agda, Lean, или Idris.
Nostarch Learn Physics with Functional Programming Deepen your understanding of physics by learning to use the Haskell functional programming language.
Post #969 4.21K
Typed Design Patterns for the Functional Era

This paper explores how design patterns could be revisited in the era of mainstream functional programming languages.

https://arxiv.org/abs/2307.07069
Post #966 6.89K
Начало новой серии статей о Effect:
https://ybogomolov.me/01-effect-intro 🔥
Рассказываю, что такое Effect<R, E, A>, как создавать, комбинировать, и интерпретировать эффект-выражения. Плюс небольшой бонус — функция effectify для конвертации Node-style callbacks в эффект-выражения.
ybogomolov.me Intro To Effect, Part 1: What Is Effect?
Post #965 3.2K
TLA+, но с человеческим синтаксисом:

https://github.com/informalsystems/quint

Quint is inspired by TLA+ but provides an alternative surface syntax for specifying systems in TLA. The most important feature of our syntax is that it is minimal and regular, making Quint an easy target for advanced developer tooling and static analysis.
GitHub GitHub - quint-co/quint: An executable specification language with delightful tooling based on the temporal logic of actions (TLA) An executable specification language with delightful tooling based on the temporal logic of actions (TLA) - quint-co/quint
Post #963 2.56K
Шахматы на тайп-левеле, причем с реализацией не только на TypeScript, но и на Rust:
https://github.com/Dragon-Hatcher/type-system-chess
Программа на Rust более чем в пять раз длиннее, чем на TS. Любопытные выводы автора:
• TS — писать на тайп-левеле почти приятно, но не хватает математики и let-байндингов (о да!).
• Rust — больше никогда!!1, очень медленно и многословно.
GitHub GitHub - Dragon-Hatcher/type-system-chess: Chess implemented entirely in the Rust and TS type systems. Chess implemented entirely in the Rust and TS type systems. - Dragon-Hatcher/type-system-chess
Older posts →

About this channel

How can I read @randomstuffilike without a Telegram account?
TGViewer shows the public web preview Telegram publishes for dd if=/dev/stuff of=/dev/tg: recent posts, photos, videos and the subscriber count, with no app, login or account.
How many subscribers does dd if=/dev/stuff of=/dev/tg have?
dd if=/dev/stuff of=/dev/tg (@randomstuffilike) has 2.48K subscribers on Telegram, refreshed roughly every 30 minutes.
Does dd if=/dev/stuff of=/dev/tg know I viewed it here?
No. Public channel previews carry no viewer identity, and TGViewer has no accounts or tracking of what you look up.
Threads Profile ViewerView any public Threads profile without an account.Open ThreadLook →Writing with AI? Make it sound human.Metric37 rewrites AI drafts so they read naturally. Free AI detector, 1,500 words free.Try Metric37 →