Matteo Capucci
mattecapu
PhD student at University of Strathclyde.
Applied Category Theory + ε.
Retired web dev.
Glasgow, UK
Anne Isabelle "Anya" Macedo
retpolanne
Systems Engineer @nubank - Personal account
@nubank São Paulo, Brazil
Kevin Buzzard
kbuzzard
Professor of pure mathematics at Imperial College London.
Currently learning about theorem provers.
@ImperialCollegeLondon London
Lewis Russell
lewis6991
Formal verification engineer by day. Hobbyist software tinkerer at night.
ARM United Kingdom
John Ericson
Ericson2314
*x* should be designed not by piling feature on top of feature, but by removing the weaknesses and restrictions that make additional features appear necessary.
@ObsidianSystems New York
Yishuai Li
liyishuai
PhD'22 @plclub @DeepSpec; Maintainer @coq-community @ocaml-community; Editor @Coq-zh; Contributor @coq.
@Alibaba Shanghai Xuhui
Farid Zakaria
fzakaria
Engineering. Where the noble semiskilled laborers execute the vision of those who think and dream. Hello, Oompa-Loompas of science.
Santa Cruz, CA
Hans Dembinski
HDembinski
Particle physicist, C++ and Python expert, statistician. Author of boost::histogram.
TU Dortmund Dortmund, Germany
Paulo Vitor Alves de Oliveira
Vittorr
Hello, new in the technological area and actually doing Information Systems on Federal University of Pernambuco. I have 19 years and i'm excited to learn more.
PreviousNext