Rodrigo Mesquita
alt-romes
GHC contributor, working on linear types, equality saturation, and in whatever else
Well-Typed LLP @ GHC Team Portugal
Derek Mahar
derekmahar
Software Developer, amateur Data Scientist, Machine Learning enthusiast, and cryptocurrency fan.
Montreal, Quebec, Canada
n/a
felix-lipski
וַיֹּאמֶר אֱלֹהִים אֶל־מֹשֶׁה אֶהְיֶה אֲשֶׁר אֶהְיֶה; וַיֹּאמֶר, כֹּה־תֹאמַר לִבְנֵי יִשְׂרָאֵל, אֶהְיֶה שְׁלָחַנִי אֲלֵיכֶם.
Vadim Iskuchekov
egregors
Software engineer, purr-purr-driven-development. [Code. Music. Science. Lols]
@nebius Deutschland
Alan Stocco
alanStocco
Software engineer - Bitcoiner . Pelegrin
Fields: Editorial , Bank Crm, Responsive Website
Ole
vapourismo
Love static typing, functional programming and solving big problems by typing things into a computer.
London
Mateusz Goślinowski
Swordlash
A Haskell technical lead with a diverse experience in traditional and decentralised finance.
Developer by day, writer by night.
MLabs Warsaw
Radosław Waśko
radeusgd
Interested in programming language theory and tooling, type theory, static analysis, software verification, as well as data-science and data processing tools.
Poland
Vladimir Lopatin
madjestic
Haskell(762)
Houdini(216)
Maths(116)
Python(103)
Guerrilla-Games Amstedam