Simon Cruanes
c-cube
Computer scientist in computational logic, automated theorem proving, and formal methods. Seasoned OCaml programmer, dabbling with rust and Odin.
Imandra (@imandra-ai) washington DC
Carl Sverre
carlsverre
My passion is solving hard problems and writing beautiful code from first principles.
Vancouver, BC, Canada
Richard Simko
richardsimko
Software engineer with a passion for all things automation.
AwardFares Stockholm
Ivan Kovalkovskyi
vaniakov
Golang Software Engineer with Python background;
K8s
Lohika Lviv, Ukraine