Skip to content

@AccelerateHS Accelerate

@gnull
Ivan Oleynikov gnull

Göteborg, Sweden

@smdharris
Simon smdharris
@alt-romes
Rodrigo Mesquita alt-romes
GHC contributor, working on linear types, equality saturation, and in whatever else

Well-Typed LLP Portugal

@konn
Hiromi Ishii konn
Dependent Haskeller, Ph.D. in Math

DeepFlow, Inc. Tokyo

@SilasPeters
Silas Peters SilasPeters
Computers are the actuators of human fantasy

Netherlands

@MartV0
MartV0
@OshitaYoichi
Oshita Yoichi OshitaYoichi
@carnotweat
sameer gupta carnotweat
now sr.ht/carnotweat

carnot Bangalore

@noahmartinwilliams
Noah Williams noahmartinwilliams
The most interesting person from the most boring story.