cookie

We use cookies to improve your browsing experience. By clicking «Accept all», you agree to the use of cookies.

avatar

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

@randomstuffilike

Музыка: @randommusicilike 18+. По всем вопросам, кроме рекламы: @rsil_feedback_bot По вопросам рекламы (внимательно читайте приветственное сообщение): @rsil_ads_bot

Show more
Russia121 749Russian133 888Technologies & Applications19 451
Advertising posts
2 932
Subscribers
No data24 hours
-57 days
-1830 days

Data loading in progress...

Subscriber growth rate

Data loading in progress...

dd if=/dev/stuff of=/dev/tg
Моделирование доменных типов на расте: https://mmapped.blog/posts/25-domain-types.html
Show all...
Universal domain types

A guide to domain-specific types that make sense.

dd if=/dev/stuff of=/dev/tg
Слайды доклада Томаса Микулы «Monads Are Not About Sequencing»: https://continuously.dev/presentations/Monads-not-about-sequencing_20231201.pdf Видео доклада пока не выложили, но слайды стоят того, чтобы их прочесть, особенно если вы думаете, что понимаете монады 🙃
Show all...

dd if=/dev/stuff of=/dev/tg
Design Guidelines for Domain-Specific Languages Очень хороший пейпер, предлагающий 26 гайдлайнов, которыми следует руководствоваться при проектировании DSL.
Show all...
dd if=/dev/stuff of=/dev/tg
И чуть более развернутый пост от автора: https://zackoverflow.dev/writing/flappy-bird-in-type-level-typescript
Show all...
Flappy Bird Implemented in Typescript types

The ultimate type-level trickery

dd if=/dev/stuff of=/dev/tg
https://twitter.com/zack_overflow/status/1715042340514017559 — Flappy Bird на тайплевеле тайпскрипта. Это стало возможным благодаря кастомному рантайм, написанному на Zig. A work of pure art 🖼️
Show all...
zack (in Toronto) 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 walk you through it:

dd if=/dev/stuff of=/dev/tg
https://morph.so/blog/the-personal-ai-proof-engineer/ — первый релиз LLM-проекта Morph, нацеленного на помощь в написании доказательств с помощью Lean.
Show all...
dd if=/dev/stuff of=/dev/tg
Замечательное эссе «TypeScripting The Technical Interview» — оммаж не менее прекрасному циклу эссе Aphyr’а. Очень рекомендую.
Show all...
Richard Towers | Typescripting the technical interview

An homage to Aphyr's Typing the technical interview

dd if=/dev/stuff of=/dev/tg
Show all...
Release v4.0.0 · leanprover/lean4

This is the first official release of Lean 4. We intend to begin regular releases of Lean 4, providing a new "minor" version approximately monthly. We do not yet make promises about backw...

dd if=/dev/stuff of=/dev/tg
https://nostarch.com/learn-physics-functional-programming — изучение ньютоновской физики при помощи Haskell. Признаться честно, я чуть удивлен, что используется не какой-нибудь язык с завтипами вроде Agda, Lean, или Idris.
Show all...
Learn Physics with Functional Programming

Deepen your understanding of physics by learning to use the Haskell functional programming language.

dd if=/dev/stuff of=/dev/tg
Пятая статья из цикла “Intro to Effect”: https://ybogomolov.me/05-effect-stm ✨ Разбираю тему software transactional memory (STM).
Show all...
Intro To Effect, Part 5: Software Transactional Memory in Effect

Choose a Different Plan

Your current plan allows analytics for only 5 channels. To get more, please choose a different plan.