Highlights
- Pro
Chris Mountford
christo
Follows you
fp, ai, creative code, modular synthesis, retrocoding, blockchain Sydney, Australia
Alexandre Garcia de Oliveira
romefeller
Seeking knowledge on Blockchain, Formal verification, Proof Assistants, Haskell, Type Theory, HoTT, Agda, Rust, Coq, Category Theory, and Isabelle
Formal Land - Romefeller - Fatec Rubens Lara
Ebony Fay
ebonyteradigital
building great software teams.
teraDigital Services Brisbane, Queensland, Australia
GJORGJI DIMITROV
bezveza
Addicted on AI
Cloud Solutions Architect
Clous Access Security Broker (CASB)
Dev-Sec-Ops
Full Stack Engineer
Stealth AI Startup Amsterdam, Netherlands
NagaCharan
theMonadicNomad
Cloud Data Engineer, Database & ETL Developer, Functional Programming
Hyderabad
Gio Cosmiano
giocosmiano
My interests are in Haskell, Reactive Programming, WebApps, MicroServices, BigData and other related technologies that can further my technical knowledge
Rochester, NY
juanjuan
heal6
๐๐ข๐๐๐ข๐๐ฑ๐๐๐๐๐ณ๐๐๐๐ท๐๐๐๐๐๐๐ถ๐๐๐ฝ๐๐๐๐ถ๐ญ๐น๐ฐ๐ฏ๐ฆ๐ฎ
china
David
dmp1ce
Working to make the world a better place with software. Or I just really enjoy writing code and solving problems.
North Carolina
Brodie Cummins
brodieteraDigital
I'm the MD of teraDigital - Your unfair advantage in the war for software & technology talent.
teraDigital Services Brisbane, Queensland, Australia
Vaibhav Sagar
vaibhavsagar
software janitor. ๐ชฉ enthusiast. @recursecenter f1'16.
gadigal land/sydney
Elliot Cameron
3noch
Interested in functional programming, category theory, type theory, formal verification, Nix, UX, โ
Indiana
PreviousNext


