TGViewer
Channel Public Channel
dd if=/dev/stuff of=/dev/tg

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

@randomstuffilike

Музыка: @randommusicilike

18+. По всем вопросам, кроме рекламы: @rsil_feedback_bot

По вопросам рекламы (внимательно читайте приветственное сообщение): @rsil_ads_bot
Subscribers
2.48K
Photos
348
Videos
5
Links
564

Showing posts older than #858 · Back to latest

Older Posts 20 shown
Post #857 3.29K

Forwarded from Lil Functor

В качестве упражнения с макросами накодякал библиотечку, которая генерит конструкторы для кейс-классов с зарефайненными полями.

https://github.com/poslegm/brief

Зачем это нужно:

1. Типобезопасно провалидированные поля кейс-классов;
2. Вместо fail-fast валидации аккумулировать ошибки по всем полям;
3. В сообщениях об ошибках видеть названия проблемных полей и что пошло не так;
4. При этом не писать тонны бойлерплейта.

В планах устранение ограничений (не поддерживаются классы с тайп-параметрами и тайп-алиасы для полей) и миграция на Scala 3. Зависимость только на refined.

Скорее всего аналогичные библиотеки уже существуют, но они очевидно имеют фатальный недостаток. Возможно, и моё поделие будет кому-нибудь полезно.

До начала работы над этой либой макросы устрашали, а оказалось, что нехитрая кодогенерация на них делается без особых сложностей.
Post #853 4.41K
Написал следующую статью о функциональном программировании на TS: https://habr.com/ru/post/548622
В этот раз я рассказываю о ленивой замене промисам — задачам (tasks), и плавно подвожу читателя к концепции алгебраических эффектов, о которых мы поговорим в следующий раз.
Хабр Функциональное программирование на TypeScript: задачи (tasks) как альтернатива промисам Предыдущие статьи цикла: Полиморфизм родов высших порядков Паттерн «класс типов» Option и Either как замены nullable-типам и исключениям В предыдущей статье м...
Post #852 3.99K
Примерно так, да.
Post #851 3.72K

Forwarded from Anton Trunov

Всем привет! Мы хотим организовать неформальную летнюю школу по формальным методам и всяким родственным штукам (см. WIP сайт школы https://лялямбда.рус).
Планируются мини-курсы/воркшопы/доклады/нетворкинг/развлечения.
Темы курсов и воркшопов ещё пока только определяются (предложите свою!) и простираются от рандомизированного тестирования/фаззинга и модел-чекинга, до кубических (и не только) пруверов, логики некорректности, верифицированных компиляторов и слабых моделей памяти. Мы приветствуем участников с любым уровнем знаний — планируются несколько треков, чтобы каждый мог выбрать себе тему по своему бэкграунду.

Чтобы понять больше о наших потенциальных участниках и о том, какой формат школы выбрать, нам нужна ваша помощь: если бы вы хотели поехать, заполните, пожалуйста, небольшую форму https://docs.google.com/forms/d/e/1FAIpQLScfJ3tguxHNgxwHX_XpsWOiABTwB2R74sKh6OXEmcpYCCQqOQ/viewform.
Google Docs Логистика Лялямбда '21 Финализируем даты школы с вашей обратной связью. http://лялямбда.рус
Post #850 3.53K
Post #847 2.62K

Forwarded from Вастрик.Пынь

🔥 Квантовый Компьютер. Как устроен? Как программировать? Уже?

Сегодня будущее заглянет в наш в дом так глубоко, что в конце поста мы даже напишем свой первый квантовый Hello World и запустим его на настоящем квантовом компьютере.

Кажется, пост получился очень логически красивым и объясняет тему чуть лучше обычных статей в интернете (научрук поста подтверждает!)

Порепостите, пожалуйста. Вдруг кому-то такое всё еще интереснее комнат в клабхаусе :D

https://vas3k.ru/blog/quantum_computing/
Post #846 2.69K
Вастрик, как обычно, написал охуенный пост — на этот раз про квантовые компьютеры. Очень рекомендую!
Post #842 3.57K

Forwarded from Computer Science клуб (Alexander Smal)

В следующий четверг 11 марта начнётся курс Антона Трунова (Zilliqa Research) "Введение в формальную верификацию программ".
Занятия будут проходить по четвергам в 18:30.
https://compsciclub.ru/courses/formalverification/2021-spring/

Все лекции будут читаться через zoom. Ссылка для подключения будет опубликована в новостях курса - её получат те, кто запишется на курс. Участие в лекциях бесплатно и открыто для всех.
Post #841 3.25K

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 — пошаговые инструкции по выделению микросервисов из монолита.
Post #838 2.76K
Еще один отличный доклад от Александра Иоффе о рефлексии, макросах, механизме наследования тайпклассов и производительности всего этого добра в Scala 3:
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…
Older posts →
Threads Profile ViewerView any public Threads profile without an account.Open ThreadLook →Writing with AI? Make it sound human.Metric37 rewrites AI drafts so they read naturally. Free AI detector, 1,500 words free.Try Metric37 →