dd if=/dev/stuff of=/dev/tg
رفتن به کانال در Telegram
Музыка: @randommusicilike 18+. По всем вопросам, кроме рекламы: @rsil_feedback_bot По вопросам рекламы (внимательно читайте приветственное сообщение): @rsil_ads_bot
نمایش بیشتر2 932
مشترکین
اطلاعاتی وجود ندارد24 ساعت
اطلاعاتی وجود ندارد7 روز
اطلاعاتی وجود ندارد30 روز
در حال بارگذاری داده‌ها
کانال‌های مشابه
هیچ داده‌ای
مشکلی وجود دارد؟ لطفاً صفحه را تازه کنید یا با مدیر پشتیبانی ما تماس بگیرید.
ابر برچسب‌ها
هیچ داده‌ای
مشکلی وجود دارد؟ لطفاً صفحه را تازه کنید یا با مدیر پشتیبانی ما تماس بگیرید.
اشارات ورودی و خروجی
---
---
---
---
---
---
جذب مشترکین
اکتبر '26اکتبر '26
اکتبر '260
در 0 کانال‌ها
سپتامبر '260
در 0 کانال‌ها
Get PRO
اوت '260
در 0 کانال‌ها
Get PRO
ژوئیه '260
در 0 کانال‌ها
Get PRO
ژوئن '260
در 0 کانال‌ها
Get PRO
مه '260
در 0 کانال‌ها
Get PRO
آوریل '260
در 0 کانال‌ها
Get PRO
مارس '260
در 0 کانال‌ها
Get PRO
فوریه '260
در 0 کانال‌ها
Get PRO
ژانویه '260
در 0 کانال‌ها
Get PRO
دسامبر '250
در 0 کانال‌ها
Get PRO
نوامبر '250
در 0 کانال‌ها
Get PRO
اکتبر '250
در 0 کانال‌ها
Get PRO
سپتامبر '250
در 0 کانال‌ها
Get PRO
اوت '250
در 0 کانال‌ها
Get PRO
ژوئیه '250
در 0 کانال‌ها
Get PRO
ژوئن '250
در 0 کانال‌ها
Get PRO
مه '250
در 0 کانال‌ها
Get PRO
آوریل '250
در 0 کانال‌ها
Get PRO
مارس '250
در 0 کانال‌ها
Get PRO
فوریه '250
در 0 کانال‌ها
Get PRO
ژانویه '250
در 0 کانال‌ها
Get PRO
دسامبر '240
در 0 کانال‌ها
Get PRO
نوامبر '240
در 0 کانال‌ها
Get PRO
اکتبر '240
در 0 کانال‌ها
Get PRO
سپتامبر '240
در 0 کانال‌ها
Get PRO
اوت '240
در 0 کانال‌ها
Get PRO
ژوئیه '240
در 0 کانال‌ها
Get PRO
ژوئن '240
در 0 کانال‌ها
Get PRO
مه '24
+3
در 0 کانال‌ها
Get PRO
آوریل '24
+24
در 1 کانال‌ها
Get PRO
مارس '24
+7
در 0 کانال‌ها
Get PRO
فوریه '24
+9
در 1 کانال‌ها
Get PRO
ژانویه '24
+12
در 0 کانال‌ها
Get PRO
دسامبر '23
+10
در 0 کانال‌ها
Get PRO
نوامبر '23
+13
در 0 کانال‌ها
Get PRO
اکتبر '23
+28
در 3 کانال‌ها
Get PRO
سپتامبر '23
+17
در 0 کانال‌ها
Get PRO
اوت '23
+7
در 0 کانال‌ها
Get PRO
ژوئیه '23
+9
در 0 کانال‌ها
Get PRO
ژوئن '23
+5
در 0 کانال‌ها
Get PRO
مه '23
+6
در 0 کانال‌ها
Get PRO
آوریل '23
+13
در 0 کانال‌ها
Get PRO
مارس '23
+4
در 0 کانال‌ها
Get PRO
فوریه '23
+6
در 0 کانال‌ها
Get PRO
ژانویه '23
+11
در 0 کانال‌ها
Get PRO
دسامبر '22
+10
در 0 کانال‌ها
Get PRO
نوامبر '22
+15
در 0 کانال‌ها
Get PRO
اکتبر '22
+21
در 0 کانال‌ها
Get PRO
سپتامبر '22
+12
در 0 کانال‌ها
Get PRO
اوت '22
+16
در 0 کانال‌ها
Get PRO
ژوئیه '22
+12
در 0 کانال‌ها
Get PRO
ژوئن '22
+30
در 0 کانال‌ها
Get PRO
مه '22
+17
در 0 کانال‌ها
Get PRO
آوریل '22
+10
در 0 کانال‌ها
Get PRO
مارس '22
+17
در 0 کانال‌ها
Get PRO
فوریه '22
+16
در 0 کانال‌ها
Get PRO
ژانویه '22
+15
در 0 کانال‌ها
Get PRO
دسامبر '21
+29
در 0 کانال‌ها
Get PRO
نوامبر '21
+25
در 0 کانال‌ها
Get PRO
اکتبر '21
+42
در 0 کانال‌ها
Get PRO
سپتامبر '21
+25
در 0 کانال‌ها
Get PRO
اوت '21
+26
در 0 کانال‌ها
Get PRO
ژوئیه '21
+24
در 0 کانال‌ها
Get PRO
ژوئن '21
+18
در 0 کانال‌ها
Get PRO
مه '21
+21
در 0 کانال‌ها
Get PRO
آوریل '21
+93
در 0 کانال‌ها
Get PRO
مارس '21
+73
در 0 کانال‌ها
Get PRO
فوریه '21
+34
در 0 کانال‌ها
Get PRO
ژانویه '21
+29
در 0 کانال‌ها
Get PRO
دسامبر '20
+3 848
در 0 کانال‌ها
| تاریخ | رشد مشترکین | اشارات | کانال‌ها | |
| 24 اکتبر | 0 | |||
| 23 اکتبر | 0 | |||
| 22 اکتبر | 0 | |||
| 21 اکتبر | 0 | |||
| 20 اکتبر | 0 | |||
| 19 اکتبر | 0 | |||
| 18 اکتبر | 0 | |||
| 17 اکتبر | 0 | |||
| 16 اکتبر | 0 | |||
| 15 اکتبر | 0 | |||
| 14 اکتبر | 0 | |||
| 13 اکتبر | 0 | |||
| 12 اکتبر | 0 | |||
| 11 اکتبر | 0 |
پست‌های کانال
Моделирование доменных типов на расте: https://mmapped.blog/posts/25-domain-types.html
| 2 | Слайды доклада Томаса Микулы «Monads Are Not About Sequencing»: https://continuously.dev/presentations/Monads-not-about-sequencing_20231201.pdf
Видео доклада пока не выложили, но слайды стоят того, чтобы их прочесть, особенно если вы думаете, что понимаете монады 🙃 | 1 289 |
| 3 | Design Guidelines for Domain-Specific Languages
Очень хороший пейпер, предлагающий 26 гайдлайнов, которыми следует руководствоваться при проектировании DSL. | 1 102 |
| 4 | И чуть более развернутый пост от автора: https://zackoverflow.dev/writing/flappy-bird-in-type-level-typescript | 1 780 |
| 5 | https://twitter.com/zack_overflow/status/1715042340514017559 — Flappy Bird на тайплевеле тайпскрипта.
Это стало возможным благодаря кастомному рантайм, написанному на Zig.
A work of pure art 🖼️ | 1 766 |
| 6 | https://morph.so/blog/the-personal-ai-proof-engineer/ — первый релиз LLM-проекта Morph, нацеленного на помощь в написании доказательств с помощью Lean. | 2 113 |
| 7 | Замечательное эссе «TypeScripting The Technical Interview» — оммаж не менее прекрасному циклу эссе Aphyr’а. Очень рекомендую. | 1 132 |
| 8 | Большое событие — вышел официальный стабильный релиз Lean 4! 🥳 | 1 310 |
| 9 | https://nostarch.com/learn-physics-functional-programming — изучение ньютоновской физики при помощи Haskell. Признаться честно, я чуть удивлен, что используется не какой-нибудь язык с завтипами вроде Agda, Lean, или Idris. | 1 538 |
| 10 | Пятая статья из цикла “Intro to Effect”:
https://ybogomolov.me/05-effect-stm ✨
Разбираю тему software transactional memory (STM). | 937 |
| 11 | Четвертая статья из серии "Intro to Effect": https://ybogomolov.me/04-effect-concurrency ✨
Продолжаю цикл статей про Effect рассказом о конкурентном выполнении задач и fiber-based runtime. | 1 373 |
| 12 | Третья статья из серии "Intro to Effect": https://ybogomolov.me/03-effect-managing-dependencies 🔥
Сегодня рассказываю про сервисы, слои (layers), и способ сделать DI без IoC-контейнеров. | 1 389 |
| 13 | 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 | 905 |
| 14 | Вторая статья из серии “Intro to Effect”: https://ybogomolov.me/02-effect-handling-errors ✨
Рассказываю о способах обработки ошибок в Effect и механизмах организации повторяемых вычислений (retry policies). | 986 |
| 15 |  В твиттере показали красивое: https://github.com/gvergnaud/hotscript | 1 544 |
| 16 | Начало новой серии статей of Effect:
https://ybogomolov.me/01-effect-intro 🔥
Рассказываю, что такое Effect<R, E, A>, как создавать, комбинировать, и интерпретировать эффект-выражения. Плюс небольшой бонус — функция effectify для конвертации Node-style callbacks в эффект-выражения. | 1 298 |
| 17 | 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. | 1 394 |
| 18 | Old, but gold: при определенных условиях компилятор раста генерировал имя типа размером 350 мегабайт. Хорошо все-таки, когда система типов Тьюринг-полна 🤤 | 1 575 |
| 19 | Шахматы на тайп-левеле, причем с реализацией не только на TypeScript, но и на Rust:
https://github.com/Dragon-Hatcher/type-system-chess
Программа на Rust более чем в пять раз длиннее, чем на TS. Любопытные выводы автора:
• TS — писать на тайп-левеле почти приятно, но не хватает математики и let-байндингов (о да!).
• Rust — больше никогда!!1, очень медленно и многословно. | 1 406 |
| 20 | Реализация STLC на хаскеле с использованием индексов/уровней де Брёйна: https://hirrolot.github.io/posts/how-to-keep-lambda-calculus-simple.html 🔥 | 1 210 |
