Hacks on FP and property-based testing.
Former academic. Open to work.
-
Independent
- Denmark
- https://tailcall.dk
- @jmid@types.pl
- @janmidtgaard.bsky.social
- in/jan-midtgaard-2b70845
Jay Lee
Zeta611
Programming programming languages 🪄 λᠻ.(λ᥊.ᠻ(᥊ ᥊))(λ᥊.ᠻ(᥊ ᥊))
@ropas @KoreanTUG Seoul, Republic of Korea
Etienne
maiste
Curious about the universe 🌳 Believe in the indie web, Open Source and distributed architectures 🦉
Ex @tarides
Xavier Van de Woestyne
xvw
I am primarily interested in functional languages (and Types systems) and web developement.
@funkywork, @tarides Nantes
Ryan Moore
mooreryan
Bioinformatics data science PhD, viral ecologist, & basketball nerd
University of Delaware Newark, DE
Ben Andrew
benmandrew
PhD Researcher.
Former Software Engineer
University of Manchester United Kingdom
Brendan Zabarauskas
brendanzab
I'm interested in how computers can extend human creativity, and how type systems can be used as tools for thought. 👨🎨👨💻👨🔬
@yeslogic Melbourne, Australia
Jochen Bartl
verbosemode
Network Plumber, OCaml, Python, Chaostreff Augsburg, OpenLab Augsburg, ... TL;DR
Slowly moving my personal stuff over to Codeberg
Somewhere near Augsburg, Germany
Alcides Fonseca
alcides
Associate Professor at University of Lisbon, Portugal
Researcher at LASIGE
LASIGE, University of Lisbon Lisboa, Portugal
ShaoQiBNU
A GISer and RSer interested in Machine Learning and Deep learning
Beijing Normal University
genix
PratikDhanave
Mentor for Google summer of code 2022, 2021,2020,2019, Intern for Google Summer of Code 2017-2018
Christiano Haesbaert
haesbaert
I break software and then attempt to fix it.
@elastic Artificial Wonderlands
PreviousNext