Alexander Granin - Lambda Calculus MC
الذهاب إلى القناة على Telegram
Канал Александра Гранина Осмысление событий в Haskell, ФП, в АйТи. Анонсы. Мысли. Стихи.
إظهار المزيد202
المشتركون
لا توجد بيانات24 ساعات
لا توجد بيانات7 أيام
لا توجد بيانات30 أيام
جاري تحميل البيانات...
القنوات المماثلة
لا توجد بيانات
هل تواجه مشاكل؟ يرجى تحديث الصفحة أو الاتصال بمدير الدعم الخاص بنا.
سحابة العلامات
لا توجد بيانات
هل تواجه مشاكل؟ يرجى تحديث الصفحة أو الاتصال بمدير الدعم الخاص بنا.
الإشارات الواردة والصادرة
---
---
---
---
---
---
جذب المشتركين
يناير '24
يناير '24
+202
في 0 قنوات
منشورات القناة
В новом видео на моем канале я рассказываю о проекте Zeplrog (zero-player roguelike game), и как прагматичное программирование на типах (Pragmatic Type-Level Design) помогает в реализации этой игры.
https://youtu.be/Y1rc8jFYSAA
| 2 | Я посетил подкаст Подлодка в третий раз!
Domain-Specific Languages, они же DSLs, они же предметно-ориентированные языки. Одна из наиболее важных техник дизайна ПО. Говорим о том, где и как применять, какие бывают, какие есть примеры, и что нам стоит построить собственный DSL.
А еще создавать DSLs - очень интересно и очень фаново.
Равно как и слушать подкаст!
https://podlodka.io/343 | 451 |
| 3 | В пятом выпуске "Прогулок айтишника" я гуляю по парку "Звезда" в Стамбуле, Турция.
Тема выпуска: фантастика, которую я пишу, и произведения, которые на меня повлияли.
https://youtu.be/6VR0yDt46Uw?si=JkHzAFlXeqOCVZgw | 499 |
| 4 | Technical writing is paradoxical:
Write with expertise, revise with ignorance. | 433 |
| 5 | 🏅Nobel Prize 2024🏅: New Diversity and Inclusion Standards
To promote diversity and inclusion across all categories of the Nobel Prize, the Nobel Committee is thrilled to introduce the following new guidelines:
General Criteria
1⃣ Pseudo-Scientist Representation: At least one nominee per category must have authored a research paper in a non-peer-reviewed journal, preferably on websites ending in ".blogspot.com" or ".wordpress.com".
2⃣ Flat Earth Community: Each category must include a nominee who believes the Earth is flat and can provide elaborate YouTube videos as evidence.
3⃣ Intellectual Disability: A nominee in any scientific category should preferably not understand the basics of the scientific method but must excel in passionately arguing on social media platforms.
4⃣ Astrologers: To represent all scientific perspectives, every shortlist for Physics must include at least one astrologer.
📖 Literature Category
➡️ Tweetologists: Writers who have exclusively published their work in 280 characters or less on Twitter are now eligible for the Literature Prize.
🔫 Peace Prize
➡️ Online Trolls: Individuals who have fostered discord and managed to survive multiple bans on social media platforms qualify for the Peace Prize as masters of "reverse psychology."
⚗️ Chemistry
➡️ Alchemists: Individuals attempting to turn base metals into gold must represent at least 15% of nominees.
🔬 Physics
➡️ Mixologists: Bartenders are now considered for their groundbreaking "liquid solutions" and innovative use of umbrellas.
💊 Medicine
➡️ Snake Oil Salesmen: At least one nominee must have attempted to cure a major disease using only essential oils or healing crystals.
📈 Economic Sciences
➡️ Cryptocurrency Speculators: Anyone who has made or lost a fortune trading meme-based cryptocurrencies is eligible for the Economics Prize.
---
The Nobel Committee believes these changes will foster a more inclusive, if not entirely accurate, representation of human achievement.🎆🎆☀️❤️
(c) @graninas & 🤖 | 460 |
| 6 | В четвертом выпуске "Прогулок айтишника" я изучаю парк королевы Сирикит и говорю на следующие темы:
- Второе издание моей книги Functional Design and Architecture
- Как язык Haskell чувствует себя сегодня
- Технические подробности моей методологии Functional Declarative Design
- Почему я не считаю системы эффектов хорошим подходом
Цель этих походов - не дать моей речи деградировать.
https://youtu.be/ab-LHjEcWYw | 323 |
| 7 | Гуляю по парку Чатучак в Бангкоке и рассказываю всякое ("Прогулки айтишника", третий эпизод).
Сегодня говорю о своей книге FDaA и о ситуации в Haskell.
https://youtu.be/rcja7QhcRPk?si=EMw_PElC15IlN2uW | 331 |
| 8 | Гран-отель Гранина: бесконечно лучше, чем Гранд-отель Гильберта!
Наш девиз: “Заселим не всех, но каждого!” 🏩
✅ В нашем отеле вас почти не беспокоят, в отличие от отеля Гильберта, в котором гостей то и дело переселяют в другие номера.
✅ Мы принимаем даже автобусы с несчетным количеством гостей, от которых отказались в отеле Гильберта.
Как работает наш отель
➤ В нашем отеле, как и в отеле Гильберта, ∞ количество номеров: 0й, 1й, 2й, 3й… Когда в отеле заканчиваются номера, мы также принимаем гостей. Но в отличие от отеля Гильберта, у нас другой алгоритм. Каждый новый гость при регистрации выбирает случайное число ℕ от 0 до ∞. Это будет его номер. Наш гость может воспользоваться нашим внутренним мгновенным метро 🚇, чтобы добраться до своего номера. По прибытии, гость предлагает прежнему постояльцу выбрать случайное число 𝕄 от ℕ+1 до ∞ и переселиться туда, повторяя процедуру с прежним постояльцем. Остальные постояльцы могут расчитывать на длительный отдых 🛌, хотя, вероятно, к каждому кто-нибудь постучится, но вряд ли это будет так уж скоро.
➤ Бывают, конечно, и очень капризные гости, чьи имена состоят из бесконечного числа символов.
🧍♂️: ABBABABAABABBB...
🕺: ABAAAABBBABBBB...
👨🦼: BBBABABBBABBBB…
Эти гости непременно хотят, чтобы их комнаты как-то соответстовали их именам, и очень возмущаются, если их заселять по рандомному алгоритму. Но и на этот случай мы знаем что делать. Пусть имена состоят из “0” и “1” (а если нет, – возможно перевести любое имя бинарный вид). Каждому капризному гостю мы выдаем стартовый индекс 𝕂=1. Именно столько первых цифр своего имени гость считает за номер в гостинице. Если имя “1011”, гость с индексом 𝕂=1 отрпавляется в комнату 1 в двоичной и десятеричной системе исчисления. В случае если номер занят обычным посетителем, то тот переселяется в следующий случайный номер по обычному алгоритму. Если прежний постоялец – это капризный гость, он увеличивает свой индекс 𝕂 на 1 и пересчитывает номер. Для гостя “1011” с индексом 𝕂=2 новая комната должна быть 10 в двоичной системе, 2 в десятеричной. Таким образом, мы даже капризным гостям находим уголок в нашем отеле.
👉 Мы, конечно, понимаем, что не способны разместить всех капризных гостей. Но у нас один вход в отель, одна стойка регистрации и один консьерж. Сколько бы гостей ни прибыло, они будут проходить регистрацию по одному, и пусть они сами между собой решают, кто за кем стоит.
Заселим не всех, но каждого!
Добро пожаловать в Гран-отель Гранина! 🏩 | 374 |
| 9 | Примерно раз в год или около того я даю себе зарок перестать делать противоречивые высказывания. Обычно я начинаю вести более позитивную и общественно полезную деятельность, ну по крайней мере, с моей точки зрения. Пытаюсь быть вежливым. Но через некоторое время снова обнаруживаю себя в этом состоянии, когда внутри накапливается ощущение какой-то несправедливости и куча острых мнений обо всем вокруг. В этом состоянии я могу писать очень хлестко, провокационно, местами даже изворотливо, и на добрую половину правдиво. Получается, очевидно, интереснее, чем когда я в более мирном состоянии.
Ну а потом материал без тени сомнений публикуется и, как правило, попадает в нерв той группе людей, кому неявно или явно, заслуженно или нет, был адресован. Начинаются споры, рождаются мемы, люди приходят к разным мнениям: кто-то очень соглашается, кто-то выступает резко против. Отклик всегда очень сильный.
Врагов я себе нажил ого-го сколько, да и репутацию смутьяна тоже (а нередко и похуже репутацию). Есть такое: я и смутьян, и спорщик, и ради красного словца на последствия могу махнуть рукой. Очень уж это естественным образом получается, довольноню незаметно.
Такие смутьяны, конечно, в сообществе не слишком уживаются, и вполне может соломинка надломиться, и из сообщества тебя попросят.
Надо сказать, что здесь желание высказаться, озвучить то, что накопилось, и выпустить пар первично. Некомпенсированный и неизлеченный ресентимент из прошлого. Я ранимый был всегда, вот причина, и мнительный стал со временем. И желание справедливости гипертрофированное.
Причем, это в блогопространствах у меня такая сущность отросла, а в жизни я совсем другой человек. И в игровом Ютуб-канале я белый и пушистый, всех хвалю и всех веселю. Да и обучающий материал я от ерунды вычищаю постоянно, там негативу и смутьянству не место.
Примерно года полтора назад я давал себе зарок стараться нести позитив. Только фальшивый он получался, позитив этот, пресный, как бумага жеваная. И мало полезный, на самом деле.
И вот у меня новый цикл борьбы со своим внутренним смутьяном. Который, смутьян этот, в том числе, является защитной реакцией моей психики от тяжести бытия. Палка о двух концах: если смутьяна подавить, внешне это будет позитив, а работа над материалами начнет страдать, потому что начнут появляться нескомпенсированные мысли "кому это надо, все уже рассказано до нас, все равно не оценят, и еще побороться придется, а работы вал, может, я лучше в игрушки поиграю" (ложность или правдивость мыслей обычно аргументации не поддается). А не подавлять, - так начинаешь писать, что думаешь, получается честнее, ярче, меметичнее, но деструктивнее в сумме.
Ну и что говорить, я в состоянии смутьяна лучшие свои афоризмы придумываю. Он, зараза, где-то в моем творческом начале живет и хорошо там себя чувствует.
Положительные моменты в моей психике тоже есть. Я депрессии не чувствую, и предпосылок к ней не вижу. Выгорание - да, случалось, но не депрессия.
Ситуация сложная. Рационально я понимаю стратегические риски смутьянства. Я в целом за позитив и рационализм. Но иррациональное для творчества необходимо, а негативное дает жизненный опыт, так необходимый художнику. Но стоит этого джинна из бутылки выпустить, как обратно уже не хочет.
Вот так я и живу.
P.S. Давайте посмотрим, смогу ли я за полгода-год измениться к лучшему. Критерием успеха будет, если я смогу восстановить утерянные связи и смогу исправить свою подмоченную репутацию. | 396 |
| 10 | Начал публиковать обновления книги Pragmatic Type-Level Design.
Что сделано:
- переписана глава 1;
- предыдущий материал будет переработан, чтобы попасть в следующие главы;
- репозиторий с кодом переработан, теперь он понятный и удобный;
- код и примеры улучшены.
Работаю я над книгой интенсивно, каждый день по несколько часов, но все равно на написание одной главы уходит более двух месяцев. А иначе такие книги и не пишутся.
https://leanpub.com/pragmatic-type-level-design
Chapter 1: Emergent type-level design
1.1 Approaching the type-level design
1.1.1 Types and values
1.1.2 Pragmatic Type-Level Design
1.2 The foreshadowing of type-level design
1.2.1 Basics of generics
1.2.2 Basics of type classes
1.2.3 Design principles
1.2.4 Basics of type-level literals
1.3 Summary | 389 |
| 11 | По случаю моего 37-го дня рождения, случившегося вчера, 30 июля, я проведу большой стрим сегодня. Обсудим много чего:
- Путешествия (Таиланд, Вьетнам, Малайзия, ОАЭ)
- Творчество
- Книги и программирование
Покажу разные фотографии из путешествий, поговорим о том, что происходит, и как мир изменился за последние полгода.
21:00 по тайскому и новосибирскому времени, GMT+7
В YouTube: https://youtube.com/live/MU2q_AcgVYc?feature=share
В TikTok: по расписанию
Буду рад встрече! | 430 |
| 12 | Раньше были гарики.
Ныне будут граники.
(А спонсор внезапного креатива - атмосфера в чате Полины Парс: https://t.me/parslivreschat) | 510 |
| 13 | Прекрасен город Пит-ер-бур-
Г! ерой-рассадник диктатур
Депрессий и литератур
И расчлененных калам-бур. | 533 |
| 14 | Как только Твиттер ты открыл,
Тебе какой-нибудь дебил
С апломбом мегазнатока
Кричит, что видит дурака. | 631 |
| 15 | Страшно сказать, но очередной научно-фэнтезийный рассказ из эфирного цикла потребовал те же три года на написание, что и предыдущий.
Вам-то этого не видно, вы мой пост от 19 октября 2020 года и не вспомните даже, а для меня он как вчера написан. В нем я рассуждаю, что предыдущий рассказ, EE-11-AQ, писался долго и тяжело, что хорошо бы из этого цикла сделать роман, переписав имеющиеся истории в новом ключе, и что моей русскоязычной аудитории не существует в виду упадка нравственности.
Сегодня я поставил точку в новой истории про Грампуса Грисеуса, математика, который, как истинный ученый, стремится познать физику эфирного мира. Я очень хотел добраться до этого сюжетного момента, потому что здесь, наконец, начинают подвязываться различные ниточки из предыдущих рассказов, и повествование постепенно переходит к развитию.
Сейчас у меня есть еще несколько ключевых моментов, до которых я очень хочу добраться, но кажется, это опять займет годы. Я все еще не готов полностью уйти в писательство, а совмещать технические и художественные книги довольно тяжело. Меня удовлетворяет и то и другое, но ни для того ни для другого у меня нет достаточной самоотдачи и упорства, чтобы писать быстрее и больше. Время, конечно, уходит, задумки остаются нереализованными. Три года на небольшой рассказ - это как три года на большую техническую книгу. Я правда не знаю, почему так получается. Но хоть получается, и то ладно.
Абелевы конюшни
https://docs.google.com/document/d/192_xspG4AyQwvP_oFw0qQL8ZqtuWOd4-m5bdOq4_6wQ/edit?usp=drivesdk | 585 |
| 16 | Снова в топе!
FDaA попала на 4ю позицию топ-листа прошлого месяца.
На самом деле, это получилось благодаря Виталию Брагилевскому и Дмитрию Кованикову. Виталий написал твиттер-тред, который широко разлетелся по сети и набрал сотни лайков, а Дмитрий поддержал:
https://twitter.com/VBragilevsky/status/1659839921815707648
https://twitter.com/ChShersh/status/1660252687743549441
И вот результат: около 100 копий было продано в ту пару дней. Как оказалось, этого достаточно, чтобы попасть в топ. По секрету, продано уже в сумме более 2000 копий.
Я очень вам благодарен, друзья! | 423 |
| 17 | Я возвращаюсь к своей книге Pragmatic Type-Level Design.
Она должна быть написана, хоть это и займет, скорее всего, 2 года. Вполне вероятно, что больше. Она будет потоньше, пожалуй, но посложнее.
Книга уже начата в 2021, две главы написаны. Я их немного переработаю в виду новых обстоятельств, но концепция все равно останется той же: практичная книга с уникальной перспективой, с надеждой, что она станет классикой однажды.
Такая же надежда у меня есть на Functional Design and Architecture. Но это дело случая. Здесь мало произвести превосходный продукт, здесь должны сложиться обстоятельства, чтобы попасть в нерв и сделать это вовремя.
Но вот есть ощущение, что время уходит, потому что индустрия меняется, и меняется на наших глазах. Программирование, конечно, никуда не денется, разработка тоже останется. Но чего будет нельзя узнать просто спросив ChatGPT? Он подскажет, научит, найдет, и еще и с примерами, которые можно тут же попросить на любом языке.
Поэтому важно - уникальное и персональное видение. То, чего еще никто не видел, и никто не писал об этом. Особенный стиль, подход и концепция. Целостность и системность материала.
И я уверен, что у меня это получится. | 355 |
| 18 | Чек-лист тирании
О чем вы должны быть осведомлены, чтобы противостоять этому.
https://twitter.com/graninas/status/1664934055077634049?t=k8WRFuVidYgjfD4zCFi7vA&s=19 | 319 |
| 19 | Я подготовил статью для конференции по архитектуре ПО в ФП (FUNARCH 2023), но не получилось отправить ее из-за хлопот по оформлению как пейпера. Конференция пройдет без меня, автора книг по архитектуре ПО в ФП.
Я переоформил статью и выложил на GitHub:
Functional Declarative Design: A Comprehensive Methodology for Statically-Typed Functional Programming Languages
https://github.com/graninas/functional-declarative-design-methodology | 351 |
| 20 | AI Unleashed
By Alexander Granin
Developer: Our beloved client, we're happy to announce the next generation of our AI! It has evolved tremendously. Our previous version was just a toy compared to this one!
Client: Oh wow! I like it! But how can it help me?
Developer: In many ways. What are you interested in?
Client: Well… blogging?
Developer: Absolutely! It can easily assist with that. It could make you a famous blogger in no time!
Client: Will it help me write blogs?
Developer: Indeed, it will!
Client: Fantastic! It will help me with topics, formatting, publishing?
Developer: As we said, our system is super advanced. You don't even need to type text anymore to have a blog post!
Client: Incredible! So it will be converting my speech to a post? It must be correcting and styling it as well, right?
Developer: It indeed can, but again, our advanced system goes much further than that! You don't even have to vocalise your thoughts to have a blog post!
Client: Wait a second… it will read my mind and form a post? I'm absolutely stunned!
Developer: Well, although you could use the system in such a primitive way, you'll benefit more if you allow it to work at its full capacity.
Client: I'm confused… What else can it do for me to help with blogging?
Developer: Try to guess!
Client: No need to type the text, no need to vocalise it… I know! It will post my blogs by just knowing what I'd write. This means, I don't need to even form my thoughts anymore!
Developer: Very close! But still, this is what you'd expect from a less advanced system. You really want to utilise its full power, right?
Client: Please, tell me.
Developer: Think about it! Normally, your blog post will travel a lot to reach your audience. And it has to penetrate all those insidious algorithms. Your readers can easily miss your post. What a waste of potential!
Client: You mean… it will be writing my posts and delivering them into the readers' minds bypassing all the technological obstacles? I can't believe you've achieved this level of technology!
Developer: Oh, we see you're still reasoning with the standards of the previous technology level. Be brave, assume the impossible!
Client: I'm lost, sorry.
Developer: Just a small hint: achieving popularity required writing hundreds and hundreds of posts. Posting them, hoping for some readers…. that's in the past now!
Client: I don't get it though.
Developer: Why do all these unneeded actions? Your readers spend too much time digesting your thoughts. Our system makes this obsolete. Your readers will just know that you are a famous blogger. After all, nobody remembers what they read.
Client: I have no words! But I'm a bit worried. Is this what we wanted?
Developer: Of course not! You're right. Our system goes even beyond this. Our study shows that your readers have a weak memory and are easily distractible. They can't keep the idea that you are a famous blogger all the time. Our system will be stimulating their minds…
Client: Wait, no!
Developer: …so that this idea will never leave their focus. Thank you for staying with us! We'll evaluate your request after Joe, our first client who wanted to be a famous actor. Joe is a famous actor, Joe is a famous actor…
Client: Yeah, Joe is a famous actor… | 326 |
