Researcher. ZX Spectrum +2A, Petrof Renner 115, Korg X5D, Haskell, Agda, Coq, ARP 2600, Lean

PhD student at IMDEA Software
Working on Refinement Types and Liquid Haskell
I like when programs are proofs

Supply chain security @ Google OSS Security Team. Previously TensorFlow Security & OSS (@ Google); Haskell+differential privacy+ML @ LeapYear.

Providing thought leadership since 1801. OCaml and Haskell programmer. Co-Organiser of FP-SYD.

FOSS und Nextcloud fan. Meine stille Liebe gilt allerdings Haskell und NIX.
Über Nextcloud nähere ich mich den Themen digitale Teilhabe, Souveränität, Bildung. Nerds sollen der Gesellschaft von Nutzen sein, statt ihr Anderssein zu kultivieren.

OSS and Nextcloud fan. However, my silent love is Haskell and NIX.
Through Nextcloud, I approach the topics of digital participation, sovereignty and education. Nerds should be of use to society instead of cultivating their otherness.

Graduate (master degree) mathematics student at HSE University (Moscow). Mathematical logic, type theory, and computer science. Haskell Developer at Moscow Center for Continuous Mathematical Education. Opinions are my own.

Haskell好き

Supply chain security @ Google OSS Security Team. Previously TensorFlow Security & OSS (@ Google); Haskell+differential privacy+ML @ LeapYear.

Hi there.

I'm a software engineer and father of 2 kids.

I enjoy learning new things and have a keen interest in furthering the state of FOSS, either through development work or politics (in as much as there is a difference between the two). We'll have to see if anything ever comes from this.

I hail from Denmark, the Copenhagen area.

I have been working professionally with Haskell, Rust, Python, and C#.

Theoretical Computer Science sleeper agent. (The formal methods revolution is coming - and when it does, I will be ready).

My blog: https://blog.philsas.one/plc/

Programmer, TTRPG'er, hobbyist of a million varieties...

Currently hyper-fixating on contributions to 2009scape, working on homelab stuff, and haskell 🙃

Header photo credit: Josan Gonzalez
Pfp credit: Jaki Martinez

Professor of Computer Science @ U.Lisbon. 🥰 Programming (R, Haskell, Python), Bayesian Stats, CGT; Movies, Abstract Games, Math, Critical Thinking, Ecology.

Software guy; mostly C at work, mostly Rust at home, historically Haskell and Befunge and such. Fan of FOSS, privacy, video games. Finn.

#haskell #nix

software developer from #austria

I'm interested in:
- #nix and everything related
- programming languages that take some idea to a logical conclusion, like #forth, #lisp or #smalltalk
- category theory and therefore #haskell
- new and exciting ways to make your code unreadable, including:
- functional programming
- reactive programming and #reactivex
- rational fiction

Dreaming of selfhosting something

I use #NixOS, home-manager and nix-on-droid btw

Interessiert an:

- #Beethoven
- #Elm
- #Haskell
- #Jazz
- #Lehre
- #Linux
- #Markdown
- #NLP (Natural Language Processing)
- #Python

I am #nobot

A software and game developer at heart. Hasn't make anything special yet. Mostly code in haskell, but currently trying out godot

profile picture made with picrew: https://picrew.me/en/image_maker/86501

Software Engineer.
I love functional programming and Haskell, but I work with TypeScript and OOP. Still have a lot of fun.
Visit me here: https://github.com/dkurilo
And write me if I can help somehow.

Student F# and Haskell

I draw gay ponies and dragons and furries in Krita!

I work on system libs and compilers professionally with LLVM. Haskell simp.

#mlp #mlpart #haskell