Dzień dobry

Уволился в пятницу из криптостартапа. 10 месяцев просиживал жопу на tensorflow, заебался пиздец. Сидел и думал, мне 21 год, а мои сверстники едут в рюмочную №5 в Камызяке. В принципе, датасайентистом работать хорошо, всегда работу найдешь, три года уже везде нахожу себе применение. Просто заебался, смотрю на других молодых, там всякая хуета классная, цеха, дуговая сварка-хуярка. Пиздец. Очень хочу стоять на заводе с умным ебалом и говорить слова «окалина» или «фистинг». Завидно. Зато я свободен душою и телом, и совесть моя чиста. Даже не знаю, чем хочу заняться на самом деле, ничего не понятно. Вот, хожу, гуляю, скушал фалафель. Говорят, помогает для печени. Всем счастья, здоровья и хорошей работы!

Гугл-календарь с конференциями, семинарами и пр. из мира теории (и практики) языков программирования, статического анализа, теории типов и других весёлых и интересных вещей. Начат Александром Чичигиным (кажется), пополняется "сообществом" (что бы это ни значило)
https://calendar.google.com/calendar?cid=MjFrcW1scmk5czJucWl1NWZqZDZmaGozZzhAZ3JvdXAuY2FsZW5kYXIuZ29vZ2xlLmNvbQ

#фп_на_ts
Написал немного букв на Хабр: https://habr.com/ru/post/526024

Попробовал объяснить эмуляцию полиморфизма родов высших порядков на тайпскрипте с помощью техники дефункционализации, которая применяется в fp-ts. В последние месяцы я понемногу начал чувствовать себя лучше и набираться сил, чтобы снова взяться за обучающий контент. Надеюсь, аудитория хабра не только посты «короля» умеет пережевывать, но и технически сложный материал тоже.

P.S. Да, я знаю, что хабруженеторт, но на русском нет другой площадки со сравнимым охватом, а русскоязычных материалов по ФП на TS исчезающе мало.

Current mood

Доклад о текущем состоянии расширения с линейными типами для хаскеля: https://www.youtube.com/watch?v=tF2IugSgg-I
Из интересного — новый синтаксис (опять):

f :: Foo %Many -> Bar
g :: Foo %One -> Bar

g :: Foo %1-> Bar
g :: Foo ⊸ Bar

Публичный релиз ожидается в версии GHC 9.0.1.

Да.
(via)

Снова открыточка для @ebanatics
Тут и я внес свою лепту в ебанутость обсуждения, хоть и зарекался спорить с блаженными.

В MIT обучили нейросеть, которая определяет наличие коронавируса по звуку кашля. В том числе у бессимптомных больных, которые специально кашляют. Определило коронавирус у 100% больных без симптомов, но с позитивным тестом.

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

Репозиторий с туториалом по elaborator reflection в Idris 2:
https://github.com/stefan-hoeck/idris2-elab-util

Прекрасный коммент, найденный на реддите

Что было бы, если б Саймон Столенхаг был родом из России:
https://www.youtube.com/watch?v=8HZ4DnVfWYQ

Приходите 2 декабря на вебинар по парсерным комбинаторам на TypeScript, который я буду вести в качестве гостя коммьюнити Math.random(): https://mathrandom.com/webinar0212
Материал рассчитан на начинающую аудиторию, поэтому я начну с азов: быстренько пройдусь по крохотной части теории компиляции, разберу понятие функционального парсера и парсерных комбинаторов, и покажу, как мне изящно удалось решить задачу парсинга строки поискового запроса с булевыми операторами в ней в ~200 строк кода (а на самом деле даже меньше).

Шикарная статья от Даниеля Розенвассера про написание высокопроизводительного и быстро компилирующегося кода на TypeScript:
https://github.com/microsoft/TypeScript/wiki/Performance

Хороший небольшой обзор теории типов от Harley Eades. Подготовлен в 12-14 гг., область с тех пор ушла вперед, что, впрочем, не избавляет от необходимости знакомства с историей и состоянием области на (условный) вчерашний день.

https://metatheorem.org/includes/pubs/comp.pdf

Обзор был сделан в рамках подготовки к написанию диссертации, сама диссертация https://metatheorem.org/includes/pubs/thesis.pdf