Articles, projects and tutorials about #Haskell.

Weekly newsletter: https://discu.eu/weekly/haskell

git log -p -- @xameer

> Intrinsic proofs require work, for Extrinsic proofs there s Curry Howard correspondence
pedantic noob
all content CC BY-SA 4.0
#nobot #nobridge #noai
send messages , not metadata
> https://.sr.ht/~carnotweat/deltanix
#rust #nix , bits of #haskell #ocaml

Staff Software Engineer working with #ruby, #elixir and Functional Programming advocate through #haskell and #elm - #Monad is the word.

all my content have a CC BY-NC-SA 4.0 license #CCBYNCSA

Interests: gaming, films, Haskell, Nix, Anti-capitalism, the Small Web, cooking.

We had Joy, we had Fun, we ran UNIX on a Sun...

Something with Data, Math, InfoSec and Minimalism

#noafd #privacy

The official mastodon account for the ZuriHac

ZuriHac is the biggest Haskell community event in the world: a completely free, three-day grassroots coding festival co-organized by the Zürich Friends of Haskell and the OST Eastern Switzerland University of Applied Science. It is not your standard conference with papers and presentations, but features fantastic keynotes, hands-on tracks, hacking on many of your favourite projects, and of course lots of socializing!

This is an unofficial mirror of RELEX Oy social media channels elsewhere. We're reading DMs. Some of our technologies are: #Ansible, #Elixir, #Golang, #Haskell, #Java, #Kafka, #Kotlin, #Kubernetes, #NodeJS #Rails, #ReactJS, #Redux, #Ruby, #Terraform, #Typescript. ∎ Our unified supply chain and retail planning platform helps retailers and consumer brands sell more and waste less.

$ whoami
Linux enthusiast | Terminal dweller

$ ls /interest
C | Zig | Haskell | Rust