David Spivak: Polynomial functors II: Seven wonders of the composition product
https://www.youtube.com/watch?v=3AOGDTr1zrY
https://www.youtube.com/watch?v=3AOGDTr1zrY
YouTube
David Spivak: Polynomial functors II: Seven wonders of the composition product
MIT Category Theory Seminar
2020/05/28
©Spifong
Speaker: David Spivak
Title: Polynomial functors II: Seven wonders of the composition product
Abstract:
On March 5 in this seminar, I discussed the category Poly of polynomial functors on Set and its applications…
2020/05/28
©Spifong
Speaker: David Spivak
Title: Polynomial functors II: Seven wonders of the composition product
Abstract:
On March 5 in this seminar, I discussed the category Poly of polynomial functors on Set and its applications…
Ну охуеть теперь. МВД предложило рассмотреть возможность обязать мигрантов устанавливать приложение на телефон, где будут все данные — биометрия, криминалистика, медкарта. То, что телефон могут банально украсть, или что не все знают, как сделать hard wipe перед продажей (т.е. удаленные данные можно восстановить) — их, видимо, не заботит.
Я точно знаю, что на моем устройстве этой хуйни не будет, потому что я в курсе, кто и как разрабатывает подобные приложения. Радует одно — до того, как они реально начнут внедрять подобное, меня уже не будет здесь.
https://meduza.io/news/2020/05/29/mvd-predlozhilo-sozdat-prilozhenie-migrant-ustanavlivat-kotoroe-obyazhut-vseh-priehavshih-na-rabotu-v-rossiyu
Я точно знаю, что на моем устройстве этой хуйни не будет, потому что я в курсе, кто и как разрабатывает подобные приложения. Радует одно — до того, как они реально начнут внедрять подобное, меня уже не будет здесь.
https://meduza.io/news/2020/05/29/mvd-predlozhilo-sozdat-prilozhenie-migrant-ustanavlivat-kotoroe-obyazhut-vseh-priehavshih-na-rabotu-v-rossiyu
Meduza
МВД предложило создать приложение «Мигрант», устанавливать которое обяжут всех приехавших на работу в Россию
Эксперты МВД предложили рассмотреть возможность создания мобильного приложения, устанавливать которое обяжут всех трудовых мигрантов, приезжающих в Россию. Соответствующее предложение, сообщает РИА Новости, содержится в прогнозе развития ситуации в миграционной…
Пара докладов из канала ACM SIGPLAN, чтобы скрасить выходные:
Андрей Мохов — Selective Applicative Functors: https://www.youtube.com/watch?v=h3XEHRX4isk
Дэвид Кристиансен — Dependently Typed Haskell in Industry (Experience Report): https://www.youtube.com/watch?v=Q6PKdRDKcKA
Питер Тиманн — Label-Dependent Session Types: https://www.youtube.com/watch?v=d2zlKiZfrnQ
Андрей Мохов — Selective Applicative Functors: https://www.youtube.com/watch?v=h3XEHRX4isk
Дэвид Кристиансен — Dependently Typed Haskell in Industry (Experience Report): https://www.youtube.com/watch?v=Q6PKdRDKcKA
Питер Тиманн — Label-Dependent Session Types: https://www.youtube.com/watch?v=d2zlKiZfrnQ
YouTube
ACM SIGPLAN
Special Interest Group on Programming Languages
The ACM Special Interest Group on Programming Languages (SIGPLAN) explores programming language concepts and tools, focusing on design, implementation, practice, and theory. Its members are programming language…
The ACM Special Interest Group on Programming Languages (SIGPLAN) explores programming language concepts and tools, focusing on design, implementation, practice, and theory. Its members are programming language…
На канале Konfy начали выкладывать видео с конференции Scala.Love!
Был приятно удивлен присутствием среди докладчиков Павла Шульца, который сделал крутейший доклад «Impossibility in the area of distributed computing»:
https://www.youtube.com/watch?v=KrqSPfwiVpA
Также заслуживает отдельного внимания доклад Кая «Scala, functional programming and team productivity»:
https://www.youtube.com/watch?v=QbdeVoL4hBk
Был приятно удивлен присутствием среди докладчиков Павла Шульца, который сделал крутейший доклад «Impossibility in the area of distributed computing»:
https://www.youtube.com/watch?v=KrqSPfwiVpA
Также заслуживает отдельного внимания доклад Кая «Scala, functional programming and team productivity»:
https://www.youtube.com/watch?v=QbdeVoL4hBk
Собрал небольшой докерфайл для сборки Idris 2 с последующим запуском в DevContainer:
https://gist.github.com/YBogomolov/dc49c610cf7d92c60fb4678bae3ab753
Вообще, должен сказать, что DevContainer штука просто необычайно удобная и выручает уже не первый раз. Например, мой текущий проект на работе под макосью отказывается собираться нормально — ему нужен какой-то хитрый билд libsasl2 с фичами, которых почему-то нет в тех версиях, что лежат в портах и brew. Сборка же в убунтовом контейнере завелась с полпинка. Аналогично и в данном случае.
Короче, если вы хотели попробовать Idris 2 с его Quantitative Type Theory, но не хотели морочиться с установкой лиспа (для сборки нужен Chez Scheme либо Racket) и сборкой проекта вручную, то теперь можете получить работающий компилятор практически в два клика.
https://gist.github.com/YBogomolov/dc49c610cf7d92c60fb4678bae3ab753
Вообще, должен сказать, что DevContainer штука просто необычайно удобная и выручает уже не первый раз. Например, мой текущий проект на работе под макосью отказывается собираться нормально — ему нужен какой-то хитрый билд libsasl2 с фичами, которых почему-то нет в тех версиях, что лежат в портах и brew. Сборка же в убунтовом контейнере завелась с полпинка. Аналогично и в данном случае.
Короче, если вы хотели попробовать Idris 2 с его Quantitative Type Theory, но не хотели морочиться с установкой лиспа (для сборки нужен Chez Scheme либо Racket) и сборкой проекта вручную, то теперь можете получить работающий компилятор практически в два клика.
Gist
Idris 2 DevContainer
Idris 2 DevContainer. GitHub Gist: instantly share code, notes, and snippets.
Implementing HTTP/3 in Haskell - あどけない話
https://kazu-yamamoto.hatenablog.jp/entry/2020/06/09/155236
https://kazu-yamamoto.hatenablog.jp/entry/2020/06/09/155236
あどけない話
Implementing HTTP/3 in Haskell - あどけない話
Mew.org is now speaking HTTP/3 (HTTP/2 over QUIC). If you gain access to the site using Firefox Nightly, the first connection would be HTTP/2 then the following…
С пятницы по воскресенье проходит 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