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 #410 · Back to latest

Older Posts 20 shown

Post #409 3.66K Aug 17, 2019, 10:20 UTC

#музыкальная_пауза
Трек одних из моих любимейших прогрокеров, — Periphery, — сыгранный их басистом Адамом «Nolly» Гетгудом. Наверное, самый приятный тембр баса, который я слышал за долгое время.
https://www.youtube.com/watch?v=-w5qFCT6EZY

YouTube Periphery - Prayer Position (Bass Playthrough) Adam "Nolly" Getgood's bass playthrough of 'Prayer Position' from the album, Periphery III: Select Difficulty - available now on Sumerian Records at http://smarturl.it/PeripheryIII-iTunes More 'Prayer Position' Playthroughs: Matt (Drums): http://youtu.be/whUy9s7jeqE…

Post #408 52 Aug 16, 2019, 20:14 UTC

Forwarded from PONV Daily (λoλcat)

Либа от Дмитро Митина (автора известного курса по завтипам) для макрогенерации различных хэлперов для тайпклассов: aux-паттерны, суммонеры, конструкторы, синтаксические расширения и др.
https://github.com/DmytroMitin/AUXify

Stepik: online education Introduction to programming with dependent types in Scala (2019)

Post #407 3.79K Aug 14, 2019, 17:01 UTC

Всё еще лучший сценарий, чем «Бэтмен против Супермена».

Post #406 3.93K Aug 8, 2019, 07:55 UTC

dd if=/dev/stuff of=/dev/tg https://twitter.com/userdie/status/1159155789187231744

Post #405 3.64K Aug 8, 2019, 07:55 UTC

https://twitter.com/userdie/status/1159155789187231744

Twitter Duran / Дюран Властелин личных границ

Post #404 15.5K Aug 5, 2019, 14:23 UTC

https://http.cat

Post #403 52 Aug 5, 2019, 12:24 UTC

Forwarded from Nick Ivanych

Такое вот —
Church encoding of linear types
http://oleg.fi/gists/posts/2019-06-26-linear-church-encodings.html
#link

Post #402 3.48K Aug 4, 2019, 17:13 UTC

Post #401 8.71K Aug 4, 2019, 05:01 UTC

http://devastatorpress.com/basic/

Post #400 3.95K Jul 29, 2019, 05:23 UTC

По просьбам коллег начал новый небольшой проект: code kata для функционального TypeScript.

Сейчас готовы два упражнения: на написание базовых экземпляров тайпклассов, и на синтаксис HKT. Как водится, у коллег с английским беда, поэтому объяснения к упражнениям пришлось написать на русском. Если кто хочет присоединиться, милости прошу.
Процесс: форк, выполнение ката, pull request, ревью и закрытие PR.

Репозиторий доступен здесь: https://github.com/YBogomolov/fp-ts-kata

GitHub GitHub - YBogomolov/fp-ts-kata: Code kata for fp-ts Code kata for fp-ts. Contribute to YBogomolov/fp-ts-kata development by creating an account on GitHub.

Post #399 16K Jul 26, 2019, 14:15 UTC

— Omae wa mou shindeiru

Post #398 6.79K Jul 26, 2019, 07:37 UTC

Как. Перестать. Орать:
https://twitter.com/HIDEO_KOJIMA_EN/status/1154638686144753664

Post #397 22.6K Jul 24, 2019, 10:23 UTC

Post #396 3.79K Jul 24, 2019, 07:01 UTC

Old, but gold: книга «Seven sketches in Compositionality»:
https://arxiv.org/pdf/1803.05316.pdf
Нужно небольшое понимание теорката и топологии, но оно того стоит. Один из немногих трудов, который детально разбирает прикладную ценность теории категорий.

Post #395 6.75K Jul 22, 2019, 16:11 UTC

Взаимопроникающие концепции [×]

Post #394 9.05K Jul 22, 2019, 05:40 UTC