Advent of Code 2022 in Liquid Haskell, day 20

Автор: Mark Gritter

Загружено: 2022-12-20

Просмотров: 11

Описание: A false start at the beginning before I realize my optimization has the same problem I was trying to avoid!

So I ended up writing the slow list-munging version, and had a few bugs that Liquid Haskell could not help me find. -- Watch live at / markgritter

Не удается загрузить Youtube-плеер. Проверьте блокировку Youtube в вашей сети.
Повторяем попытку...

Advent of Code 2022 in Liquid Haskell, day 20

Доступные форматы для скачивания:

Скачать видео

Информация по загрузке:

Скачать аудио

Похожие видео

Advent of Code 2022 in Liquid Haskell, day 24

Advent of Code 2022 in Liquid Haskell, day 24

Музыка для работы за компьютером | Фоновая музыка для концентрации и продуктивности

Музыка для работы за компьютером | Фоновая музыка для концентрации и продуктивности

Как работает виртуальное разрешение (DL)DSR | Как настроить плавность?

Как работает виртуальное разрешение (DL)DSR | Как настроить плавность?

Война за острова, цель — полностью убить экономику Ирана @bestradioisrael

Война за острова, цель — полностью убить экономику Ирана @bestradioisrael

Физики нашли способ объяснить реальность… и он пугает

Физики нашли способ объяснить реальность… и он пугает

Быстрая установка zapret на OpenWrt

Быстрая установка zapret на OpenWrt

Чем занимается Цукерберг?

Чем занимается Цукерберг?

Как Microsoft похоронила Linux — и никто этого не заметил

Как Microsoft похоронила Linux — и никто этого не заметил

Энергия вибраций - Резонанс точки опоры (14.03.2026)

Энергия вибраций - Резонанс точки опоры (14.03.2026)

Цена на нефть через год? Война с Ираном на сто лет? Хуситы перекроют Красное море?

Цена на нефть через год? Война с Ираном на сто лет? Хуситы перекроют Красное море?

Advent of Code 2020 day 12 solution in F*

Advent of Code 2020 day 12 solution in F*

Programming ▫️ Coding ▫️ Hacking ▫️ Designing Music 🦠

Programming ▫️ Coding ▫️ Hacking ▫️ Designing Music 🦠

Музыка лечит сердце и сосуды🌸 Успокаивающая музыка восстанавливает нервную систему,расслабляющая

Музыка лечит сердце и сосуды🌸 Успокаивающая музыка восстанавливает нервную систему,расслабляющая

20+ Essential Linux Commands

20+ Essential Linux Commands

Chill Mood Music 🎧 – French Relaxing Playlist

Chill Mood Music 🎧 – French Relaxing Playlist

Linus Tech Tips Tries Linux (Again), a Guru of Sudo Reacts

Linus Tech Tips Tries Linux (Again), a Guru of Sudo Reacts

Python

LINUX ДЛЯ САМЫХ МАЛЕНЬКИХ

LINUX ДЛЯ САМЫХ МАЛЕНЬКИХ

lofi hip hop radio 📚 beats to relax/study to

lofi hip hop radio 📚 beats to relax/study to

Несколько боев из турнира между двух огней

Несколько боев из турнира между двух огней