Forwarded from PONV Daily (Sergey Kucherenko)
123.pdf
175.2 KB
"It's Easy As 1, 2, 3" by Gharam Hutton.
Если вы учили теорию типов по мемам, эта статья для вас: поможет организовать знания.
Если вы учили теорию типов по мемам, эта статья для вас: поможет организовать знания.
Экспрессивный доклад о макросах в Scala 3 от автора Quill:
https://youtu.be/SmBpGkIsJIU
https://youtu.be/SmBpGkIsJIU
YouTube
Quill, Dotty, And The Awesome Power of 'Inline' by Alexander Ioffe
Scala 3 is arriving, and with it comes incredible new power for library authors. In this presentation, Alexander Ioffe, a contributor to Quill (a LINQ-like persistence layer for Scala), will show how using Scala 3 Macros, Quill is being rebuilt to be better…
dd if=/dev/stuff of=/dev/tg
Photo
Подписчик напомнил о прекрасной картинке, стоящей на поставленном на паузу @nohomofp. Надо бы оживить, кстати, — не только одними смехуёчками жить же надо 🙃
Продолжение цикла статей про функциональный TS:
https://habr.com/ru/post/544636
https://habr.com/ru/post/544636
Хабр
Функциональное программирование на TypeScript: Option и Either
Предыдущие статьи цикла: Полиморфизм родов высших порядков Паттерн «класс типов» В предыдущей статье мы рассмотрели понятие класса типов (type class) и бегло...
Forwarded from Denis Gabidullin
Выложили запись:
https://www.youtube.com/watch?v=_6HHhMftEAc
https://www.youtube.com/watch?v=_6HHhMftEAc
YouTube
Quantitative Type Theory: теория и применение [REUPLOAD]
📽 Слайды: https://github.com/buzden/slides-of-lectures/blob/master/2021.02.03-qtt.undef-space.pdf 📽
⌨️ Код со слайдов: https://github.com/buzden/code-for-lectures/tree/master/2021.02.03-to-qtt-lecture ⌨️
🌌 undefspace https://undef.club 🌌
QTT — это расширение…
⌨️ Код со слайдов: https://github.com/buzden/code-for-lectures/tree/master/2021.02.03-to-qtt-lecture ⌨️
🌌 undefspace https://undef.club 🌌
QTT — это расширение…
Обеими руками за. Компьютеры и их дьявольская наука были ошибкой.
https://twitter.com/strife212/status/1365756219923853314?s=21
https://twitter.com/strife212/status/1365756219923853314?s=21
Twitter
Strife
STOP DOING COMPUTER SCIENCE
https://twitter.com/YuriyBogomolov/status/1366615473475969025 Кому надо 20% скидка на джетбрейнсовские продукты, пишите в личку/комменты/твиттер/почту/мелом на заборе.
Twitter
Yuriy Bogomolov
I've got a 20% off for an All-Product Pack from @JetBrains for attending amazing @scala_love conference. I already have a DataGrip subnoscription for myself, so I want to give away this coupon till today's EOD. Please DM me and answer: which Scala 3 features…
Открыточка для @ebanatics: композиция по понятиям, ёпта. Ну и отделение продолжений/continuations от монад это тоже хорошо, да.
Еще один отличный доклад от Александра Иоффе о рефлексии, макросах, механизме наследования тайпклассов и производительности всего этого добра в Scala 3:
https://youtu.be/E9L1-rkYPng
https://youtu.be/E9L1-rkYPng
YouTube
Generic Derivation is the New Reflection by Alexander Ioffe
Subject: Generic Derivation is the New Reflection
Abstract: Using Scala 3 TypeClass derivation is a great way to write performant Json Encoders but that is only the beginning of the story. If we look deeper into Dotty Mirrors and inline, we discover an incredibly…
Abstract: Using Scala 3 TypeClass derivation is a great way to write performant Json Encoders but that is only the beginning of the story. If we look deeper into Dotty Mirrors and inline, we discover an incredibly…
Как человек, выросший в семье лингвистов, я испытал острую боль, спасибо большое:
https://twitter.com/bengrue/status/1366920752721657861
https://twitter.com/bengrue/status/1366920752721657861
Forwarded from Lil Functor
Сайт Мартина Фаулера — это кладезь энциклопедических знаний по разработке ПО. Помимо вещей, касающихся непосредственно программирования, у него формализованы подходы к IT «с высоты»: структура организаций, паттерны распределённых систем, процессы.
Continuous Delivery и Continuous Integration — короткие и понятные определения CI/CD, ключевые критерии, построение процессов;
Data Mesh Principles and Logical Architecture — управление большими аналитическими данными в децентрализованных организациях;
DevOpsCulture — просто нормальное определение DevOps;
Patterns of Distributed Systems — сборник паттернов вокруг консенсуса узлов распределённой системы;
How to break a Monolith into Microservices и How to extract a data-rich service from a monolith — пошаговые инструкции по выделению микросервисов из монолита.
Continuous Delivery и Continuous Integration — короткие и понятные определения CI/CD, ключевые критерии, построение процессов;
Data Mesh Principles and Logical Architecture — управление большими аналитическими данными в децентрализованных организациях;
DevOpsCulture — просто нормальное определение DevOps;
Patterns of Distributed Systems — сборник паттернов вокруг консенсуса узлов распределённой системы;
How to break a Monolith into Microservices и How to extract a data-rich service from a monolith — пошаговые инструкции по выделению микросервисов из монолита.
Forwarded from Computer Science клуб (Alexander Smal)
В следующий четверг 11 марта начнётся курс Антона Трунова (Zilliqa Research) "Введение в формальную верификацию программ".
Занятия будут проходить по четвергам в 18:30.
https://compsciclub.ru/courses/formalverification/2021-spring/
Все лекции будут читаться через zoom. Ссылка для подключения будет опубликована в новостях курса - её получат те, кто запишется на курс. Участие в лекциях бесплатно и открыто для всех.
Занятия будут проходить по четвергам в 18:30.
https://compsciclub.ru/courses/formalverification/2021-spring/
Все лекции будут читаться через zoom. Ссылка для подключения будет опубликована в новостях курса - её получат те, кто запишется на курс. Участие в лекциях бесплатно и открыто для всех.
Вастрик, как обычно, написал охуенный пост — на этот раз про квантовые компьютеры. Очень рекомендую!
Forwarded from Вастрик.Пынь
🔥 Квантовый Компьютер. Как устроен? Как программировать? Уже?
Сегодня будущее заглянет в наш в дом так глубоко, что в конце поста мы даже напишем свой первый квантовый Hello World и запустим его на настоящем квантовом компьютере.
Кажется, пост получился очень логически красивым и объясняет тему чуть лучше обычных статей в интернете (научрук поста подтверждает!)
Порепостите, пожалуйста. Вдруг кому-то такое всё еще интереснее комнат в клабхаусе :D
https://vas3k.ru/blog/quantum_computing/
Сегодня будущее заглянет в наш в дом так глубоко, что в конце поста мы даже напишем свой первый квантовый Hello World и запустим его на настоящем квантовом компьютере.
Кажется, пост получился очень логически красивым и объясняет тему чуть лучше обычных статей в интернете (научрук поста подтверждает!)
Порепостите, пожалуйста. Вдруг кому-то такое всё еще интереснее комнат в клабхаусе :D
https://vas3k.ru/blog/quantum_computing/