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

> Intrinsic proofs require work, for Extrinsic proofs there s Curry Howard correspondence
pedantic noob
all content CC BY-SA 4.0
#nobot #nobridge
time matters when it pays off
> https://git.sr.ht/~carnotweat/virt-nix
#rust #nix , bits of #haskell #ocaml

Articles, projects and tutorials about #Haskell.

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

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.