2 239
المشتركون
لا توجد بيانات24 ساعات
-27 أيام
-430 أيام
جارٍ تحميل البيانات
القنوات المماثلة
سحابة العلامات
لا توجد بيانات
هل تواجه مشاكل؟ يرجى تحديث الصفحة أو الاتصال بمدير الدعم الخاص بنا.
الإشارات الواردة والصادرة
---
---
---
---
---
---
جذب المشتركين
أكتوبر '26أكتوبر '26
أكتوبر '260
في 0 قنوات
سبتمبر '260
في 0 قنوات
Get PRO
أغسطس '260
في 0 قنوات
Get PRO
يوليو '260
في 0 قنوات
Get PRO
يونيو '260
في 1 قنوات
Get PRO
مايو '260
في 0 قنوات
Get PRO
أبريل '260
في 0 قنوات
Get PRO
مارس '260
في 0 قنوات
Get PRO
فبراير '260
في 0 قنوات
Get PRO
يناير '26
+9
في 0 قنوات
Get PRO
ديسمبر '25
+17
في 0 قنوات
Get PRO
نوفمبر '25
+14
في 0 قنوات
Get PRO
أكتوبر '25
+25
في 0 قنوات
Get PRO
سبتمبر '25
+36
في 0 قنوات
Get PRO
أغسطس '25
+24
في 1 قنوات
Get PRO
يوليو '25
+16
في 0 قنوات
Get PRO
يونيو '25
+43
في 1 قنوات
Get PRO
مايو '25
+12
في 0 قنوات
Get PRO
أبريل '25
+10
في 0 قنوات
Get PRO
مارس '25
+11
في 0 قنوات
Get PRO
فبراير '25
+18
في 0 قنوات
Get PRO
يناير '25
+10
في 0 قنوات
Get PRO
ديسمبر '24
+26
في 1 قنوات
Get PRO
نوفمبر '24
+17
في 0 قنوات
Get PRO
أكتوبر '24
+15
في 1 قنوات
Get PRO
سبتمبر '24
+7
في 0 قنوات
Get PRO
أغسطس '24
+14
في 0 قنوات
Get PRO
يوليو '24
+6
في 1 قنوات
Get PRO
يونيو '240
في 1 قنوات
Get PRO
مايو '240
في 0 قنوات
Get PRO
أبريل '240
في 0 قنوات
Get PRO
مارس '24
+3
في 0 قنوات
Get PRO
فبراير '24
+10
في 1 قنوات
Get PRO
يناير '240
في 0 قنوات
Get PRO
ديسمبر '230
في 0 قنوات
Get PRO
نوفمبر '230
في 0 قنوات
Get PRO
أكتوبر '230
في 0 قنوات
Get PRO
سبتمبر '23
+17
في 0 قنوات
Get PRO
أغسطس '23
+9
في 0 قنوات
Get PRO
يوليو '23
+18
في 0 قنوات
Get PRO
يونيو '23
+20
في 0 قنوات
Get PRO
مايو '23
+79
في 0 قنوات
Get PRO
أبريل '23
+49
في 0 قنوات
Get PRO
مارس '23
+19
في 0 قنوات
Get PRO
فبراير '23
+14
في 0 قنوات
Get PRO
يناير '23
+38
في 0 قنوات
Get PRO
ديسمبر '22
+24
في 0 قنوات
Get PRO
نوفمبر '22
+16
في 0 قنوات
Get PRO
أكتوبر '22
+40
في 0 قنوات
Get PRO
سبتمبر '22
+53
في 0 قنوات
Get PRO
أغسطس '22
+69
في 0 قنوات
Get PRO
يوليو '22
+37
في 0 قنوات
Get PRO
يونيو '22
+88
في 0 قنوات
Get PRO
مايو '22
+32
في 0 قنوات
Get PRO
أبريل '22
+176
في 0 قنوات
Get PRO
مارس '22
+46
في 0 قنوات
Get PRO
فبراير '22
+115
في 0 قنوات
Get PRO
يناير '22
+535
في 0 قنوات
Get PRO
ديسمبر '21
+6
في 0 قنوات
Get PRO
نوفمبر '21
+16
في 0 قنوات
Get PRO
أكتوبر '21
+8
في 0 قنوات
Get PRO
سبتمبر '21
+119
في 0 قنوات
Get PRO
أغسطس '21
+62
في 0 قنوات
Get PRO
يوليو '21
+45
في 0 قنوات
Get PRO
يونيو '21
+10
في 0 قنوات
Get PRO
مايو '21
+140
في 0 قنوات
Get PRO
أبريل '21
+8
في 0 قنوات
Get PRO
مارس '21
+21
في 0 قنوات
Get PRO
فبراير '21
+9
في 0 قنوات
Get PRO
يناير '21
+10
في 0 قنوات
Get PRO
ديسمبر '20
+911
في 0 قنوات
| التاريخ | نمو المشتركين | الإشارات | القنوات | |
| 26 أكتوبر | 0 | |||
| 25 أكتوبر | 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 |
منشورات القناة
| 2 |  Когда я стал соведущим Подлодки, то задумался, что ранее упускал целый пласт возможных крутых гостей в моём подкасте – и очевидной первой ласточкой стал Виталий Брагилевский. Он почти 20 лет преподавал и писал книги по Haskell, а затем сменил сферу, но не суть своей работы.
Мы обсудили, почему академическая карьера может истощить, как устроен рабочий день девелопер-адвоката и сколько минимум языков программирования стоит знать для кругозора. Отдельно поговорили о том, нравится ли Виталию на Кипре и почему иногда хочется вернуться к продуктовой ответственности.
А ещё – каково быть «одним из старших» на конференциях по Rust, не теряя лёгкости и самоиронии – получился вдумчивый выпуск подкаста #weekendtalk №212 о жизни между Haskell и Rust, тяготах преподавания и карьерной усталости.
Аудиоверсия
YouTube
VK Видео
P.S. Новый рубеж покорён, видео выходит одновременно с аудио, ура! | 2 425 |
| 3 | У меня была возможность поговорить с очень умным человеком и я поговорил! До сих пор не верится, что удалось его уговорить... https://youtu.be/nOSxuaDgl3s?si=ZVyp9fxXwY4GCezr | 3 057 |
| 4 | За последние годы JetBrains Research из нескольких разрозненных лаб превратился в большой департамент. Мы продолжаем расти и трансформироваться, и ищем проджект-менеджера.
https://www.jetbrains.com/careers/jobs/project-manager-software-engineering-research-1898/
Команда проджектов у нас помогает исследователям налаживать процессы, структуризировать информацию, взаимодействовать с коллегами в разных частях компании, и заодно отвечает за мемы. Руководит командой Зоя — одна из самых чутких и внимательных людей, кого я когда-либо встречал.
У нас прекрасные люди, феерически интересные проекты, здоровый work-life balance, и много замечательных локаций по всей Европе. Приходите к нам работать, ну или хотя бы расскажите друзьям. | 3 278 |
| 5 | Завтра на стриме поговорим с Александром Нозиком из МФТИ о программистах. Мне всегда были интересны эти ребята! Подключайтесь!
https://www.youtube.com/live/4Hhogj6NjbE | 1 679 |
| 6 | Давно не писал про книги! Пора! https://vitaly-reads.beehiiv.com/p/vitaly-reads-3-august-2025 | 2 200 |
| 7 | Замечательные новости! В издательстве ДМК-Пресс вышла в продажу моя книга:
"Проектирование на уровне типов. Системный взгляд на дизайн и архитектуру"
https://dmkpress.com/catalog/computer/software_development/978-5-93700-379-9/?srsltid=AfmBOoqqVMDRj-Dabl2Y54XPjY5mZYiDYmzuZC0y-KbOn3DFCWxc1eUi
Книга о разных подходах на уровне типов, в том числе о расширяемости, о паттернах проектирования, о создании eDSL, о моделировании предметных областей, о следовании принциу make invalid states unrepresentable, о способах обеспечения и проверки корректности, об интерфейсах на уровне типов, и о том, как это всё объединить в архитектуре приложения.
Для трёх языков сразу: Haskell, Rust и Scala 3.
Книга доступна для заказа и, возможно, поступит в какие-нибудь магазины.
В английском варианте она же "Pragmatic Type-Level Design", выпущена самиздатом на LeanPub.
https://leanpub.com/pragmatic-type-level-design
Меня не устраивают почти все существующие материалы по программированию на уровне типов в языках Scala 3 и Rust; особенно - в Haskell. Эти материалы, пусть сколько угодно популярные (например, труды С. Магвайра, - широко распиаренная и везде упоминаемая самиздатная книга "Thinking With Types"), не имеют ряда важных свойств, которыми обладает моя книга:
- практичность и прагматичность
- системность
- методологичность
- неакадемичность
- отсутствие математической зауми
- глубина и цельность подходов
- честная оценка искусственной сложности
- развенчание мифов о корректности и типо-безопасности
- описание паттернов проектирования
- описание архитектур приложений
- практические примеры и реальные демонстрационные программы, которые можно покрутить
Причем отсутствие математики я считаю огромным плюсом. Я здесь чуть ли не в одиночестве, но не готов идти на поводу у сообществ, которые почти поголовно считают иначе, хоть и теряю из-за этого очки популярности. Аналогично, меня совершенно не устраивает академичность некоторых других книг, и здесь я в меньшинстве. У этой академичности три причины: авторы показывают, какие они умные; писать по-простому они не умеют; писать сложно и заумно - статусно в их околоакадемической среде. Убогость подобного подхода сослужила Хаскелю плохую службу. Ужасность документации и чрезмерная академичность теперь его вечные ярлыки, а прагматичные материалы уступают в популярности академически-математическим.
Англоязычный вариант книги был написал и опубликован полгода назад, в декабре 2024 года. Почи в тот же момент издатели ДМК-Пресс вышли на меня и предложили её опубликовать. Переводил не я, но я сильно книгу отредактировал. Переводчик, в целом, молодец, но пришлось чистить за ним канцелярит и исправлять множество ошибок. И еще повоевать с переводчиком за правки.
Книга вышла. Ожидаю новых читателей. | 1 308 |
| 8 | Я вообще очень уважаю талантливых людей. Когда они свои таланты вдруг демонстрируют в совершенно неожиданных вещах, становится невероятно тепло на душе. Ну а уж если речь о самом светлом человеке в моей твиттерской ленте (что, вообще-то, само по себе уже немного оксюморон), то от эмоций просто некуда деваться. Кто-то наверняка догадался, что речь здесь о Тагире Валееве, крупнейшем специалисте в прикладном статическом анализе языка Java, но Java тут совершенно ни при чём! Тагир написал книгу. Повторяю: Java ни при чём! Сам он утверждает, что это книга детская, но по-моему это просто очень хорошая книга про детей для читателей всех возрастов. Мне так точно подошла. Книга местами невероятно грустная. Ну честно, у меня несколько раз слёзы начинали течь! Временами хотелось настучать автору по голове, ну нельзя же так жестоко с читателями обходиться, там даже Янагихара отдыхает! Хорошо хоть конец хороший, а то бы я точно ушёл в депрессию до понедельника. Герои в книге – дети, каждый со своей историей, своими трудностями и радостями. Это дети из эмигрантских семей, живущие в Мюнхене, находящие друг друга, попадающие в загадочную историю и распутывающие её. История держит до последнего момента и бесконечно радует своим окончательным разрешением. Короче, автор, пиши ещё. А то получится как Льюисом Кэрроллом, все книги которого после чтения Алисы в Стране Чудес запросила королева Виктория, а получила труды по математике. Ну или там по Java, не помню уже.
Тагир Валеев, Мюнхенские музыканты.
https://leanpub.com/DieMuenchnerStadtmusikanten | 5 376 |
| 9 |  رسالة فيديو | 2 297 |
| 10 | Вы как хотите, а я слежу за Сергеем в его очередной велогонке и вам советую. В программе на этот раз прекрасные греческие виды и уже традиционные испытания погодой и едой! Надеюсь, впрочем, что в Греции ему голодать не придётся, это всё-таки не Финляндия! | 2 183 |
| 11 |  +2Поработал тут на прошлой неделе! | 3 194 |
| 12 | Новое видео про приключения Архитектора уже доступно на канале. Надеемся это то, чего вам так не зватало в этот воскресный вечер. https://youtu.be/rUeevBSHhXM | 2 941 |
| 13 | Продвигаю Табию тридцать два на международную аудиторию! https://vitaly-reads.beehiiv.com/p/vitaly-reads-2-february-2025 | 1 434 |
| 14 | Чертовски интересно читать книги, изданные только что, буквально с пылу с жару: автор живёт какой-то своей, но параллельной твоей жизнью, слушает те же новости, может, даже читает те же обсуждения в Твиттере, а потом пишет замечательный роман. А ты его читаешь — и прочитываешь, и считываешь, и зачитываешься.
Я это к тому, что русская литература живее всех живых, а современные русскоязычные авторы жгут напалмом — и про будущее России, и про её прошлое, и про самое что ни на есть настоящее. А ещё — про литературу, например, и про то, что она является первопричиной имперского мышления (то есть, опять же, про Россию), и про отмену литературы (или её замену на, сюрприз, шахматы). Пишут про вечно холодный питерский ветер с Финского залива, про эпидемии с зомби-апокалипсисом прямо в центре Москвы, про ковровые бомбардировки силами мирового сообщества там же, про мёртвых — вокруг нас, да и внутри (чего уж скрывать), и про то, как под Ростовом едят раков.
В общем, если всё ещё относите себя к русской культуре, то обязательно прочтите «Табию тридцать два» Алексея Конакова, «Мышь» Ивана Филиппова и «Кадавры» Алексея Поляринова. Потом спасибо скажете. | 2 711 |
| 15 | Начал писать короткие обзоры на технические книги, которые я и так читаю: https://vitaly-reads.beehiiv.com/p/1. Подписывайтесь! | 2 467 |
| 16 |  Из предисловия к книге "Алгебраическая алгоритмика", Ноден, П. / Китте, К.. (книга конца 80х, предлагаемый язык программирования — Ада).
Идея — что алгебру (кольца, идеалы...) можно преподавать (хотя бы прикладным математикам) сразу как набор алгоритмов (и сразу программировать), а не как набор теорем.
Я помню, как в универе вручную решали системы уравнений (4 на 4? или 5 на 5?) — единственным смыслом чего, видимо, было то, что уж совсем всех можно этому научить, а потом проверить на контрольной. И аккуратности учило.
Никакой травмы у меня это не оставило, можно было бы заменить это какую-то такую вычислительную работу с алгоритмами и компьютером, можно не заменять, но как опция — так преподавать абстрактную алгебру точно можно. И, возможно, интереснее (но и времязатратнее для всех участвующих). | 1 369 |
| 17 | Если вашим детям пора поступать в университет, то рекомендую присмотреться к курируемой сотрудниками JetBrains образовательной программе на Кипре. Там учат, как у нас водится, программистов, но с массой прикольных фишечек типа проектного обучения, интерншипов, приглашённых лекторов со всего мира (реально, скоро один сингапурский профессор будет лекции читать!) и всё такое. Сегодня на стриме Саша Куликов будет подробно рассказывать про эту программу, заходите: https://www.youtube.com/watch?v=6okNS-ODavI | 4 973 |
| 18 | Грамматическая структура греческого языка сложна и многослойна, сочетая элементы, которые развивались на протяжении тысячелетий. Эта структура предоставляет говорящим большие возможности для выражения сложных идей и чувств. | 1 384 |
| 19 | ChatGPT прекрасно помогает учить иностранные языки. Гораздо лучше преподавателей и справочной информации. Вот где вы ещё получите такую краткую, но ёмкую справку по греческому языку? Преподаватели любят говорить о том, что знания должны находиться в системе, а система должна быть в голове у студента. Учат же они обычно отдельным фрагментам знаний, без которых, понятное дело, тоже никак, но каркас, который ими нужно насыщать, тоже кто-то должен сформировать. Впрочем, отдельные фрагменты ChatGPT объясняет тоже лучше абсолютного большинства преподавателей. И не надо мне рассказывать про галлюцинации. У преподавателей этого добра тоже хватает, по себе знаю.
===
Греческий язык, как один из самых древних индоевропейских языков, имеет богатую и сложную грамматическую структуру. Общая грамматическая структура греческого языка включает в себя несколько ключевых элементов:
1. Словоизменение (Морфология)
Греческий язык — флективный, что означает, что слова изменяются по падежам, числам, родам, лицам и временам. В языке используется словоизменение для обозначения грамматических отношений.
1.1 Существительные:
• Род: Существительные имеют три рода — мужской, женский и средний.
• Число: Существительные изменяются по числам — единственное и множественное.
• Падежи: В греческом языке используются четыре основных падежа — именительный, родительный, дательный (сохранился в архаичных формах и текстах) и винительный.
1.2 Прилагательные:
• Прилагательные согласуются с существительными в роде, числе и падеже.
1.3 Глаголы:
• Глаголы изменяются по лицам (1-е, 2-е, 3-е), числам (единственное, множественное), временам (настоящее, прошедшее, будущее), наклонениям (изъявительное, сослагательное, повелительное) и залогам (действительный, средний, страдательный).
2. Синтаксис
Синтаксис греческого языка относительно свободен, благодаря падежной системе. Однако базовый порядок слов обычно следующий:
• SVO (подлежащее-глагол-дополнение): Например, «Ο άντρας τρώει το μήλο» («Мужчина ест яблоко»).
Но порядок слов может изменяться для акцентирования или стилистических целей.
3. Предлоги
Предлоги в греческом языке требуют определенных падежей и обычно указывают на направление, место или время. Наиболее распространенные предлоги: σε (в, на), με (с), από (из, от), προς (к, по направлению к).
4. Частицы и союзы
Частицы и союзы играют важную роль в греческом языке, связывая предложения и изменяя их смысл. Например, частица «να» используется для выражения сослагательного наклонения.
5. Артикли
Греческий язык имеет определенный и неопределенный артикли, которые согласуются с существительным в роде, числе и падеже:
• Определенные артикли: ο, η, το (мужской, женский и средний род в единственном числе), οι, οι, τα (множественное число).
• Неопределенные артикли: ένας, μία, ένα.
6. Интонация и ударение
Греческий язык использует ударение для различения слов. В современном греческом языке ударение отмечается графически на гласной (например, «γάτα» — кошка). Правильное ударение важно для понимания, поскольку изменение ударения может менять значение слова.
7. Глагольные времена и аспекты
Глагольная система греческого языка богата временами и аспектами. Важно различать не только время (прошедшее, настоящее, будущее), но и аспект действия (совершенный, несовершенный, длительный).
8. Сослагательное и повелительное наклонение
Греческий язык широко использует сослагательное наклонение (на, να) и повелительное наклонение (форма приказа), что добавляет нюансы в выражение пожеланий, просьб или условий.
9. Сложные предложения
Греческий язык допускает использование сложных предложений с придаточными предложениями, которые могут начинаться с союзов (ότι, γιατί, όταν и др.).
10. Лексика
Греческий язык обладает богатым словарным запасом, который включает как слова древнегреческого происхождения, так и заимствования из других языков, таких как латинский, итальянский, французский и английский.
Заключение | 1 294 |
| 20 | Слушал тут на ютубе одну программу, в которой сказали, что слово "девять" с большой вероятностью когда-то давно было "невять", но со временем превратилось в "девять", потому что перечислять "невять, десять" неудобно. То есть изменение произошло под влиянием следующего по порядку числительного. И это единственное существующее у лингвистов объяснение первой "д" в этом слове. Такого, говорят, нет в других индоевропейских языках. Там, мол, везде "н" — найн, нойн, нёф, нове, нуеве, энеа и пр. Считаю эту гипотезу невообразимо прекрасной, даже если это и неправда. Языки — чудо, конечно. Не только языки программирования.
https://youtu.be/NQCvF4vYL-M | 1 730 |
