Музыка: @randommusicilike
18+. По всем вопросам, кроме рекламы: @rsil_feedback_bot
По вопросам рекламы (внимательно читайте приветственное сообщение): @rsil_ads_bot
Post #328
2.86K
Channel Public Channel
DD dd if=/dev/stuff of=/dev/tg
@randomstuffilike
- Subscribers
- 2.48K
- Photos
- 348
- Videos
- 5
- Links
- 564
Showing posts older than #329 · Back to latest
Older Posts 20 shown
Post #327
2.4K
“Tagless unions in scala 2.12” by Oleg Nizhnik https://link.medium.com/rq0110PrLW
Medium Tagless unions in scala 2.12 So you’ve found yourself again in this situation. You have 2+ error ADTs like this Post #326
46
Forwarded from bravit-about
Поговорил с Вадимом Челышовым о своей жизни и работе: https://habr.com/ru/company/provectus/blog/452246/. Пожалуй, самое полный и откровенный текст обо мне. Почитайте! Мне кажется, получилось интересно.
Post #325
42
Forwarded from Литий и стенания
Небольшое объявление
Знакомый ищет квартиру в Москве в связи с переездом. Если у вас вдруг завалялась квартира в указанном районе - всем может стать лучше!
До 35к, не слишком далеко до метро: кольцо, зелёная вниз, каховская, варшавская, вот это все. Интернет, желательна мебель (как минимум стул и кровать). Бытовая техника приветствуется, особенно в жизни нужны холодильник, стиральная машина и микроволновая печь. Снимать планирую на длительный срок. Животных нет и не планируется. Я не пью, не курю, компаний буянить не вожу, плачу вовремя.
Писать @DECsystem20
Знакомый ищет квартиру в Москве в связи с переездом. Если у вас вдруг завалялась квартира в указанном районе - всем может стать лучше!
До 35к, не слишком далеко до метро: кольцо, зелёная вниз, каховская, варшавская, вот это все. Интернет, желательна мебель (как минимум стул и кровать). Бытовая техника приветствуется, особенно в жизни нужны холодильник, стиральная машина и микроволновая печь. Снимать планирую на длительный срок. Животных нет и не планируется. Я не пью, не курю, компаний буянить не вожу, плачу вовремя.
Писать @DECsystem20
Post #324
9.81K
Парень охуенный сисадмин, умный и порядочный. Поможем хорошему человеку найти жильё!
Post #323
11.9K
Угадай страну по коммиту )
Post #322
11.3K
«Начала» Евклида в интерпретации Оливера Бирна на русском:
https://github.com/jemmybutton/byrne-euclid/
Залипательно!
https://github.com/jemmybutton/byrne-euclid/
Залипательно!
Post #321
2.55K
Post #320
32
Forwarded from The Catcher in the Sky (Artem Pelenitsyn)
Сделали трансляцию доклада о подтипировании. Подключайтесь!
http://www.twitch.tv/ulysses4ever?sr=a
Twitch ulysses4ever - Twitch MSc in CS/AM http://www.twitch.tv/ulysses4ever?sr=a
Post #319
2.3K
dd if=/dev/stuff of=/dev/tg #полезности Обеспечиваем на уровне компилятора отсутствие пересечения типов входящих аргументов функции.
По просьбам подписчиков — gist: https://gist.github.com/YBogomolov/25ec2aa4bb8c25abce1fcc7b887ede66
Post #318
2.94K
hawke✨🔜FurDU2019 (@fluffderg) твитнул(а): it was shown that Baba Is You is Turing-complete, so i built a Turing machine on it (with a lot of object reskinned to make it easier to see)
all in all it used 2 + 3*4 = 14 objects for a 2-letter, 4-state machine. https://t.co/79F4W1OdNJ https://twitter.com/fluffderg/status/1124530124135600129?s=17
all in all it used 2 + 3*4 = 14 objects for a 2-letter, 4-state machine. https://t.co/79F4W1OdNJ https://twitter.com/fluffderg/status/1124530124135600129?s=17
Post #317
2.19K
#полезности
Обеспечиваем на уровне компилятора отсутствие пересечения типов входящих аргументов функции.
Обеспечиваем на уровне компилятора отсутствие пересечения типов входящих аргументов функции.
Post #316
2.37K
Post #315
2.61K
Forwarded from Aleksandr Vershilov
Post #314
2.94K
Forwarded from Bogdan
Нашли. Лекция Виталия Брагилевского от 30 марта 2018 года. К сожалению, найти сведение по слайдам не удалось, поэтому запись "как есть". В ролике может быть не видно всех слайдов, но подробность рассказа это компенсирует :).
https://youtu.be/oiUO1L4TOLI
YouTube Функциональное программирование как предмет и метод теоретической информатики Виталий Брагилевский | офис компании BIOCAD | 30 марта 2018 года
Формирование принципов функционального программирования и разработка функциональных языков программирования всегда велись бок о бок с научными исследованиями в области информатики, причём… https://youtu.be/oiUO1L4TOLI
Post #313
2.2K
Post #312
2.17K
Седьмой эпизод #monadicmonday выложен в Твиттер: https://twitter.com/YuriyBogomolov/status/1127887720431390721
Сегодня говорим про оптику (для простых TypeScript-смертных, так что никакого ван Лаарховена и профункторов).
Twitter Yuriy Bogomolov Welcome to the seventh episode of #monadicmonday! Today we'll talk a bit about functional optics: lenses, prisms, folds and traversals. Сегодня говорим про оптику (для простых TypeScript-смертных, так что никакого ван Лаарховена и профункторов).
Post #311
2.28K
Post #310
44
Post #309
8.85K
