NEW BOT Телеграм, страница

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

Доклад о написании драйвера для сетевой платы на 10 языках — от C и Rust до Haskell, Swift и JavaScript:
https://media.ccc.de/v/35c3-9670-safe_and_secure_drivers_in_high-level_languages
И репозиторий с бенчмарками и ссылками на реализации:
https://github.com/ixy-languages/ixy-languages

media.ccc.de

Safe and Secure Drivers in High-Level Languages

Drivers are usually written in C for historical reasons, this can be bad if you want your driver to be safe and secure. We show that it i...

4.73K views12:26

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

Поговорил сегодня на #ITSubbotnik про тайплевел-программирование на TypeScript (насколько оно вообще возможно на этом языке).
Слайды и примеры из доклада доступны тут: https://github.com/YBogomolov/talk-typelevel-ts.
Запись будет позже.

GitHub

GitHub - YBogomolov/talk-typelevel-ts: Code samples for my talk “Type-level programming in TypeScript”

Code samples for my talk “Type-level programming in TypeScript” - YBogomolov/talk-typelevel-ts

3.82K views15:03

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

7.47K views19:19

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

9.92K views08:15

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

Блиц-опрос! Сегодня должен быть стрим «ФП для чайника», но по техническим причинам мы с Гришей собраться не можем, так что я планирую сделать небольшой одиночный выпуск.
Голосуйте за темы:

2.73K viewsedited 15:11

dd if=/dev/stuff of=/dev/tg via @vote

На какую тему провести стрим?
anonymous poll

Функциональная оптика (monocle-ts) – 66
👍👍👍👍👍👍👍 57%

Схемы рекурсии (recursion-schemes-ts) – 31
👍👍👍 27%

Ask Me Anything – 13
👍 11%

Демо библиотеки kleisli-ts – 5
👍 4%

👥 115 people voted so far. Poll closed.

3.14K views15:14

Reopen poll

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

В 19:30 начинаю. Ссылка на трансляцию:
https://youtu.be/FA9uDWXPHD0

YouTube

ФП для чайника: эпизод 3. Азы функциональной оптики

Третий эпизод подкаста о функциональном программировании.

Код к эпизоду: https://github.com/YBogomolov/fp-teapot

4.29K views16:11

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

#музыкальная_пауза

Я тут давеча узнал, что Нергал (да-да, тот самый, из Behemoth) в 2017 году сделал сайд-проект, в котором он исполняет дарк блюз! И это звучит и выглядит просто невероятно круто.

https://www.youtube.com/watch?v=gPsvPve7nNU

4.01K views10:10

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

Интересная инициатива: альманах, отражающий состояние веба в разрезе года. За этим проектом стоят ребята из HTTP Archive, так что есть надежда на поддержку проекта в течении длительного срока.

https://almanac.httparchive.org/en/2019/

almanac.httparchive.org

The 2019 Web Almanac

The Web Almanac is an annual state of the web report combining the expertise of the web community with the data and trends of the HTTP Archive.

4.16K views06:40

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

Лекции по прикладной теории категорий в MIT от Дэвида Спивака и Брендана Фонга:
https://www.youtube.com/playlist?list=PLhgq-BqyZ7i5lOqOqqRiS0U5SwTmPpHQ5
Материал лекций основан на замечательной книге Seven Sketches in Compositionality.

4.75K viewsedited 06:45

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

Forwarded from Sergei Fedorov

8.91K views10:12

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

Agile из Нижнего Tagile

6.28K views14:16

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

(да, вы подписались на кринжовый юмор, среди прочего. Не одними же гомотопиями заниматься и CSS-шкурки натягивать)

3.29K views14:16

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

Приходите послушать про то, как мы катаморфизмы с анаморфизмами применяли. Математика — это красиво.

3.02K views11:19

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

Forwarded from MoscowJS

Следующий доклад на MoscowJS 46 расскажет Юрий Богомолов (EPAM)

Схемы рекурсии, или как мы решали задачу управления фронтом с бэка

"В своём расскажу о том, как я и моя команда подходила к решению задачи, поставленной заказчиком — отображению динамических данных с непредсказуемыми взаимосвязями компонентов, получаемых с бэкенда. Для решения этой задачи были применены так называемые «схемы рекурсии» — высоко абстрактные алгоритмы, освоение которых стало испытанием для команды. Сделаю небольшое введение в эту тему и расскажу, как высшая алгебра позволила достаточно просто решить поставленную задачу, попутно получив некоторые весомые преимущества."

Следующая встреча MoscowJS пройдёт в офисе Tinkoff 5 декабря.
Ждем всех на MoscowJS 46.

Регистрация открыта по ссылке

А также следите за нашими новыми анонсами в
telegram, twitter, facebook, instagram, добавляйте в календарь с timepad.

#moscowjs46

Следующая волна регистрации откроется с новым анонсом. Следите за анонсами.

77 views11:19

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

Кодзима в игре дал ответ на вопрос «а как какать».
Press ╳ to какать.
Гений.

15.9K views08:06

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

4.3K views11:22

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

https://twitter.com/Beavs/status/1195746266254213120

Twitter

Alexandria Ne❄️nakis 🎄

The illustrations in this horseback riding book are making me feel weird

4.07K views21:06

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

https://grin-compiler.github.io — бекэнд для компиляторов ленывых и энергичных функциональных языков программирования. Благодаря тому, что понимает семантику компилируемого языка, он может делать микрооптимизации, специфичные для этого конкретного языка (см. примеры: https://github.com/grin-compiler/grin#optimising-transformations). По-моему, выглядит достаточно многообещающе.

GRIN Compiler

Overview

whole program optimizer for lazy and strict functional languages

3.39K views08:12

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

https://twitter.com/mortalezz/status/1196840867455229954 АААААААААА! (тред)

Twitter

Florida Man

Этот баг про то как покемоны уничтожали популярнейшие стриминговые коробочки Roku войдёт в историю как самый удивительный, невероятный баг в истории видеоигр и потребительской электроники вообще. Суть: поступают жалобы что при работе в одной сети Свитча

4.15K views08:28

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

Через 5 минут начинаем традиционный ежедвухнедельный подкаст об основах ФП!
Ссылка на трансляцию: https://youtu.be/HLR8dAvW_Zk