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

В общем, поговорил в среду на камеру о парсерах и библиотеке parser-ts. Запись доступна тут: https://www.youtube.com/watch?v=gzI_Gty7uWY
(как всегда, дисклеймер о том, что автор нихуя не шарит, пишет на языке для рисования снежинок в браузере и вообще code monkey, так что про путаницу в LL/LR-парсерах можете не писать)

Внимание, это не учебная тревога: в Excel были добавлены лямбда-функции. Я поздравляю всё ФП-сообщество и Саймона Пейтона Джонса лично с этой победой.
https://techcommunity.microsoft.com/t5/excel-blog/announcing-lambda-turn-excel-formulas-into-custom-functions/ba-p/1925546

А также более серьезные новости: в Lean 4 была улучшена документация. Я поздравляю всё ФП-сообщество и лично… А, черт, не та новость.
https://leanprover.github.io/lean4/doc

https://www.youtube.com/watch?v=lmxH1L7uubQ #музыкальная_пауза
Админ давно уже ебанулся на отличненько и отплясывает под industrial/darkwave/aggrotech, потому что пошел нахуй, вот почему.

Свежий промо-ролик нового хуящика от Тайки Вайтити.
Во-первых, Мастер Чиф — кот.
Во-вторых, вам еще что-то нужно после такого во-первых?
https://www.youtube.com/watch?v=fyArCzlmiKM

Каждый раз, когда меня спрашивают, как «вайти в фэпэ»