Channel Public Channel

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

@randomstuffilike

Музыка: @randommusicilike

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

По вопросам рекламы (внимательно читайте приветственное сообщение): @rsil_ads_bot

Open in Telegram

Subscribers: 2.48K
Photos: 348
Videos: 5
Links: 564

Showing posts older than #643 · Back to latest

Older Posts 20 shown

Post #642 392 May 27, 2020, 18:15 UTC

Forwarded from Литий и стенания

Открыточка

Post #641 4.51K May 25, 2020, 06:42 UTC

Humble Bundle с книгами O'Reilly: https://www.humblebundle.com/books/definitive-guides-to-all-things-programming-oreilly-books
Всего за 1100₽ можно получить 15 книг! Бандл может быть особенно интересным тем, кто вкатывается в экосистему JVM.

Перечень книг, доступных в бандле
(от 50₽):
— Maven: The Definitive Guide
— Ethernet: The Definitive Guide (Second Edition)
— Asterisk: The Definitive Guide (Fifth Edition)
— JavaScript: The Definitive Guide (Sixth Edition)
— SSH, The Secure Shell: The Definitive Guide
(от 600₽):
— CSS: The Definitive Guide (Fourth Edition)
— Cloud Foundry: The Definitive Guide
— Cassandra: The Definitive Guide: Distributed Data at Web Scale (Second Edition)
— Elasticsearch: The Definitive Guide
— Java Performance: The Definitive Guide
(от 1100₽):
— MongoDB: The Definitive Guide (Third Edition)
— Google BigQuery: The Definitive Guide
— Spark: The Definitive Guide
— Kafka: The Definitive Guide
— Hadoop: The Definitive Guide: Storage and Analysis at Internet Scale (Fourth Edition)

Humble Bundle Humble Book Bundle: Definitive Guides to All Things Programming by O'Reilly Pay what you want for awesome ebooks and support charity!

Post #640 3.77K May 25, 2020, 04:46 UTC

Как заставить любую страницу отображаться как LaTeX-документ: https://latex.now.sh

Post #639 11.6K May 21, 2020, 17:28 UTC

Канал по психиатрии, видать

Post #638 9.39K May 21, 2020, 09:08 UTC

Открыточка @datstuff

Post #637 8.87K May 18, 2020, 05:47 UTC

Post #636 4.19K May 14, 2020, 13:30 UTC

В эту субботу в 11:00 Мск будет еще один запуск воркшопа "Building eDSLs in functional TypeScript", на этот раз на английском: https://youtu.be/hTnxaB52awA
Так что если у вас есть англоязычные коллеги, которым это может быть интересно — поделитесь с ними ссылкой, пожалуйста.

YouTube Building eDSLs in functional TypeScript (English version) Business logic could be expressed in a limited subset of the host language, leading to correct by construction, robust, optimizable code. This process is known as building eDSL – embedded domain-specific languages – and interpreting them, and is a widely…

Post #635 5.09K May 13, 2020, 10:44 UTC

Интервью с Олегом Нижниковым о Scala, Haskell и многих других ФП-языках: https://www.youtube.com/watch?v=nII0ralSlRo

YouTube СИЛА Функционального Программирования / Всё о Scala / Интервью со Scala Developer Олегом Нижниковым Первый выпуск про функциональное программирование на канале! И не на примере забытого или редкого языка, а на примере Scala. В гостях разработчик из "Тинькофф Банк" и Scala Developer - Олег Нижников. Поговорили про команду разработки из 100 скалистов, про…

Post #634 6.74K May 10, 2020, 12:54 UTC

В мире есть люди, неиронично назвавшие свой проект pi-hole.
ШТОШ

Post #633 4.5K May 9, 2020, 17:28 UTC

Эмили Рил выложила видео своей лекции «∞-category theory for undergraduates»: http://www.math.jhu.edu/~eriehl/berkeley-logic.mp4
Заметки к лекции: http://math.jhu.edu/~eriehl/berkeley-logic.pdf

Post #632 3.35K May 9, 2020, 16:38 UTC

dd if=/dev/stuff of=/dev/tg ❗️В понедельник, 11 мая, в 11:00 по Москве я проведу воркшоп на тему «Building eDSLs in functional TypeScript». Рассмотрим два подхода — Free монады и Tagless Final. Воркшоп будет проводиться на русском языке. Трансляция будет здесь: https://www.youtube.c…

Оказалось, что создали запланированную трансляцию не того типа. Приношу свои извинения.
Вот новая ссылка на трансляцию — на этот раз всё правильно: https://www.youtube.com/watch?v=8VFhePZZGdc

YouTube Building eDSLs in functional TypeScript Бизнес-логика может быть выражена с помощью ограниченного подмножества хостового языка, позволяя коду быть корректным на этапе написания, надежным, поддающимся оптимизации. Такой процесс называется построенеим eDSL — встраиваемых предметно-ориентированных…

Post #631 4.66K May 6, 2020, 11:02 UTC

❗️В понедельник, 11 мая, в 11:00 по Москве я проведу воркшоп на тему «Building eDSLs in functional TypeScript». Рассмотрим два подхода — Free монады и Tagless Final. Воркшоп будет проводиться на русском языке.
Трансляция будет здесь: https://www.youtube.com/watch?v=TckVngRxu6M, а не на моем канале, так что советую подписаться на Raini.
Если вы хотите участвовать не просто как зритель, а быть участником голосового созвона — заполните, пожалуйста, форму: https://forms.gle/Yvm5Kcac3JbHUc596.
Для участия в воркшопе необходимо склонировать к себе репозиторий https://github.com/YBogomolov/workshop-edsl-in-typescript. Будет нелишним почитать ссылки, которые указаны в README.

Post #630 3.5K May 4, 2020, 20:34 UTC

— Я не верю в PureScript!
— И что же это, по-твоему, заговор типотеоретиков?

https://twitter.com/p_morphism/status/1257399787973902337

Post #629 4.14K May 2, 2020, 07:54 UTC

Доказал на идрисе, что a ++ b = a ++ c -> b = c и a ++ c = b ++ c -> a = b:
https://gist.github.com/YBogomolov/430e55c2ce85be963e85b66954a1d483

Ушло часов 6, наверное, с непривычки. Самое сложное, что было — доказательство appendInjectiveLeft. Пришлось даже нырнуть в Elaborator Reflection, чтобы разобраться, как переписываются доказательства. Официальные доки достаточно лаконичны (чтобы не сказать «скудны»), так что сяду читать пейпер Эдвина Брейди об устройстве компилятора идриса.

Gist Proof that a ++ b = a ++ c -> b = c and a ++ c = b ++ c -> a = b Proof that a ++ b = a ++ c -> b = c and a ++ c = b ++ c -> a = b - AppendInjective.idr

Post #628 3.93K May 1, 2020, 05:32 UTC

Майкрософт выложила в публичный доступ официальный проект Windows Runtime для Rust. Не совсем понятно, почему они просто не забрали под своё крыло проект winrt-rust, но тот факт, что теперь есть официально поддерживаемый крейт, внушает еще больше оптимизма касательно будущего языка.

Windows Developer Blog Rust/WinRT Public Preview We are excited to announce that the Rust/WinRT project finally has a permanent and public home on GitHub: https://github.com/microsoft/winrt-rs Rust/WinRT follows in the tradition established by C++/WinRT of building language projections for the Windows Runtime…

Post #627 3.32K Apr 30, 2020, 06:41 UTC

О, новая версия Mu зарелизилась. Интересно, что интерфейс Mu-Haskell и Mu-Scala разительно отличается, потому что 47 Degrees хотят развивать каждую из библиотек семейства Mu в идиоматичном для языка ключе. Будет любопытно взглянуть, что будет в Mu-Kotlin, которая заявлена как coming soon.
https://www.47deg.com/blog/mu-haskell-0-3