TGViewer
dd if=/dev/stuff of=/dev/tg dd if=/dev/stuff of=/dev/tg @randomstuffilike · 2.48K subscribers
Post #659 3.45K
С пятницы по воскресенье проходит 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
zfoh.ch ZuriHac 2020 ZuriHac is a free annual Haskell event brought to you by «Zürich Friends of Haskell»
More from @randomstuffilike
  1. Mar 13, 2026Задолбался, что приходится быть chief software sloperator на работе, поэтому в терапевтиче…
  2. Feb 28, 2024Моделирование доменных типов на расте: https://mmapped.blog/posts/25-domain-types.html
  3. Dec 5, 2023Слайды доклада Томаса Микулы «Monads Are Not About Sequencing»: https://continuously.dev/p…
  4. Nov 9, 2023Design Guidelines for Domain-Specific Languages Очень хороший пейпер, предлагающий 26 гайд…
  5. Oct 19, 2023И чуть более развернутый пост от автора: https://zackoverflow.dev/writing/flappy-bird-in-t…
  6. Oct 19, 2023https://twitter.com/zack_overflow/status/1715042340514017559 — Flappy Bird на тайплевеле т…
Threads Profile ViewerView any public Threads profile without an account.Open ThreadLook →Writing with AI? Make it sound human.Metric37 rewrites AI drafts so they read naturally. Free AI detector, 1,500 words free.Try Metric37 →