🐦
Birb
Nix Ra
mattnix4
I think the final result of my work is the thing that drives me to get out of bed every morning. I love technology, I love to work and to do things that work.
Antananarivo, Madagascar
Ali Senol
alisenola
Senior Software Engineer
specializing in Golang(Echo/Gin/gRPC), Kafka, RabbitMQ,
Rust(Rocket/Actix/Tauri), Web3, React, Vue, Svelte, Astro, Medusa, PHP.
Genki Sato
gksato
Working on my Ph. D. in math. I major in homotopy type theory.
I write Haskell. I take part in competitive programming at AtCoder with Haskell.
Tokyo, Japan
Motoyuki Kimura
mox692
software engineer using Rust / interested in performance, observability, etc
Tokyo, Japan
hsc
sierpinskiii
ut non tenebrae vos conprehendant // Strength of character, taste, the “world”, classical happiness, severe pride, the cold frugality of the wise.
Keio University Tetrahedron, 5F Totem Pole
Rodrigo Mesquita
alt-romes
GHC contributor, working on linear types, equality saturation, and in whatever else
Well-Typed LLP @ GHC Team Portugal
Ole
vapourismo
Love static typing, functional programming and solving big problems by typing things into a computer.
London
Simon Zeng
s-zeng
A comathematician is a device for turning cotheorems into ffee
London, United Kingdom
PreviousNext