С пятницы по воскресенье проходит ZuriHac 2020, посвященный хаскелю и не только.
В дискорде происходит обсуждение докладов, помощь новичкам по разным вопросам и ad-hoc сессии и доклады. Потрясающе приветливое коммьюнити прилагается 🙂 Так что если хотите узнать больше о хаскеле, его экосистеме, проектах и реальной работе — регистрируйтесь и приходите.
Доклады и live-сессии:
🎤 Opening Ceremony & Rob Rix - “Languages all the way down”
⚙️ Divesh Otwani - "A tour of linear types and linear base"
⚙️ Richard Eisenberg - "Write a GHC extension in 30 minutes"
🎤 Philip Wadler - "(Programming Languages) in Agda = Programming (Languages in Agda)"
👨💻 Andres Löh - "Datatype-Generic Programming"
🎤 Gabriel Gonzales - “A bare-bones Twitter clone implemented with Haskell + Nix”
⚙️ Facundo Dominguez - "QualifiedDo: customizable 'do' syntax without fuss"
⚙️ Nicolas Frisby - "On "simple" constraints for typechecker plugins"
🎤 Simon Meier & Ognjen Marić - “Can Haskell Be the World's Database?”
👨💻 Tobias Dammers - "Haskell and InfoSec"
👨💻 Alexis King - “Effects for Less”
🎤 talk, 🐣 beginner track, 👨💻 advanced track, ⚙️ GHC track
В дискорде происходит обсуждение докладов, помощь новичкам по разным вопросам и ad-hoc сессии и доклады. Потрясающе приветливое коммьюнити прилагается 🙂 Так что если хотите узнать больше о хаскеле, его экосистеме, проектах и реальной работе — регистрируйтесь и приходите.
Доклады и live-сессии:
🎤 Opening Ceremony & Rob Rix - “Languages all the way down”
⚙️ Divesh Otwani - "A tour of linear types and linear base"
⚙️ Richard Eisenberg - "Write a GHC extension in 30 minutes"
🎤 Philip Wadler - "(Programming Languages) in Agda = Programming (Languages in Agda)"
👨💻 Andres Löh - "Datatype-Generic Programming"
🎤 Gabriel Gonzales - “A bare-bones Twitter clone implemented with Haskell + Nix”
⚙️ Facundo Dominguez - "QualifiedDo: customizable 'do' syntax without fuss"
⚙️ Nicolas Frisby - "On "simple" constraints for typechecker plugins"
🎤 Simon Meier & Ognjen Marić - “Can Haskell Be the World's Database?”
👨💻 Tobias Dammers - "Haskell and InfoSec"
👨💻 Alexis King - “Effects for Less”
🎤 talk, 🐣 beginner track, 👨💻 advanced track, ⚙️ GHC track
zfoh.ch
ZuriHac 2020
ZuriHac is a free annual Haskell event brought to you by «Zürich Friends of Haskell»
Jason Grafft - Enhancing Machine Learning and Data Visualization Pipelines with Isomorphisms:
https://youtu.be/wXQ94I_vrSc
https://youtu.be/wXQ94I_vrSc
YouTube
Jason Grafft- Enhancing Machine Learning and Data Visualization Pipelines with Isomorphisms- λC20 GE
Slides- https://github.com/jagrafft/presentations
Machine learning and visualization operations typically require multiple transformations of input data. Entropy tends to increase with the number of transformations, expanding the likelihood of errant behavior…
Machine learning and visualization operations typically require multiple transformations of input data. Entropy tends to increase with the number of transformations, expanding the likelihood of errant behavior…
https://tonsky.me/blog/monitors — публично говорю «спасибо» Никите за этот пост. Отключение сглаживания в настройках макоси ощутимо улучшило чтение шрифтов. С консолью опеншифта стало возможно работать без боли! ❤️
ТИМ КУК СКРЫВАЛ! ЧТОБЫ ЛУЧШЕ ВИДЕТЬ, НУЖНО ВСЕГО ЛИШЬ ДВАЖДЫ В ДЕНЬ…
Гхм. Прочтите пост, в общем, он и правда отличный.
ТИМ КУК СКРЫВАЛ! ЧТОБЫ ЛУЧШЕ ВИДЕТЬ, НУЖНО ВСЕГО ЛИШЬ ДВАЖДЫ В ДЕНЬ…
Гхм. Прочтите пост, в общем, он и правда отличный.
tonsky.me
Time to upgrade your monitor
A non-comprehensive and opinionated guide to best monitor for programming
Эталоннейшая ебанатика! Ищу автора этого шедевра — такой талант должен быть известен публично :)
Какая красота — генерация хай-рез изображения, которое при уменьшении попиксельно совпадает с заданным оригиналом:
https://twitter.com/tg_bomze/status/1274098682284163072?s=20
https://twitter.com/tg_bomze/status/1274098682284163072?s=20
Twitter
Bomze
Face Depixelizer Given a low-resolution input image, model generates high-resolution images that are perceptually realistic and downscale correctly. 😺GitHub: github.com/tg-bomze/Face-… 📙Colab: colab.research.google.com/github/tg-bomz… P.S. Colab is based…
Наверное, вы уже встречали таблицу истинности для оператора == в js. Я запустил ее симуляцию в Convay's Game of Life, просто потому что могу.
Пойду оформлю пропоузал в TC39, что ли. Все равно этот язык уже не спасти.
Пойду оформлю пропоузал в TC39, что ли. Все равно этот язык уже не спасти.
John De Goes — FP to the min:
https://www.youtube.com/watch?v=mrHphQT4RpU
https://www.youtube.com/watch?v=mrHphQT4RpU
YouTube
FP to the Min by John De Goes: Scala in the City Conference
FP to the Min
In 2018, John A. De Goes did a live coding session for the Functional Programming Group entitled, “FP to the Max”. Watched by tens of thousands of Scala developers, the video helped many understand the benefits of the total, deterministic functions.…
In 2018, John A. De Goes did a live coding session for the Functional Programming Group entitled, “FP to the Max”. Watched by tens of thousands of Scala developers, the video helped many understand the benefits of the total, deterministic functions.…
#музыкальная_пауза
С момента, когда я впервые писал о Дэвине Таунсенде, я был уверен, что меня вряд ли что-то может удивить в музыкальном плане больше, чем его концерт в Royal Albert Hall. Но Хэви Дэви смог это сделать еще раз, когда в апреле давал серию благотворительных карантинных концертов из своей домашней студии. Кажется, что с годами его голос становится только лучше. Просто послушайте:
— Первый концерт (особенно исполнение Why?)
— Второй концерт
— Третий концерт
С момента, когда я впервые писал о Дэвине Таунсенде, я был уверен, что меня вряд ли что-то может удивить в музыкальном плане больше, чем его концерт в Royal Albert Hall. Но Хэви Дэви смог это сделать еще раз, когда в апреле давал серию благотворительных карантинных концертов из своей домашней студии. Кажется, что с годами его голос становится только лучше. Просто послушайте:
— Первый концерт (особенно исполнение Why?)
— Второй концерт
— Третий концерт
Telegram
dd if=/dev/stuff of=/dev/tg
#музыкальная_пауза
У меня очень редко музыка вызывает мурашки по коже. Это — один из таких случаев:
https://youtu.be/DrDM6V08wcE
У меня очень редко музыка вызывает мурашки по коже. Это — один из таких случаев:
https://youtu.be/DrDM6V08wcE
Фейсбук отдал в опенсорс любопытную утилиту для рефакторинга кода на хаскеле — Retrie (да, я тоже с первого раза прочел неправильно):
https://engineering.fb.com/open-source/retrie
TL;DR: эта утилита умеет делать рефакторинг, используя правила, аналогичные RULES-прагмам (или использовать их напрямую), а также использовать информацию о переписывании типов — скажем, заменить в аргументах функции строковый тип на enum. Ну и как вишенка на торте — правила рефакторинга можно засриптовать с помощью API Retrie.
Сам репозиторий с проектом: https://github.com/facebookincubator/retrie
https://engineering.fb.com/open-source/retrie
TL;DR: эта утилита умеет делать рефакторинг, используя правила, аналогичные RULES-прагмам (или использовать их напрямую), а также использовать информацию о переписывании типов — скажем, заменить в аргументах функции строковый тип на enum. Ну и как вишенка на торте — правила рефакторинга можно засриптовать с помощью API Retrie.
Сам репозиторий с проектом: https://github.com/facebookincubator/retrie
Engineering at Meta
Retrie: Haskell refactoring made easy
What’s new: We’ve open-sourced Retrie, a code refactoring tool for Haskell that makes codemodding faster, easier, and safer. Using Retrie, developers can efficiently rewrite large codebases (…