Composing Things
Flávio Pavim
flaviopavim
Skills with lot types of softwares:
Web, Desktop, Mobile -
Php&MySql, Javascript, Html, Css, Python, Dart, Java, C, C++, C#, Arduino
WhiteHats
Dendi Suhubdy
dendisuhubdy
Running a high-frequency trading exchange platform for magic internet money @bitwyre
@bitwyre Bali, Indonesia
Guillaume Claret
clarus
Formally verifying web3 applications with the Coq proof system. Working at @formal-land 🌲
Formal Land Paris
Alastair Taylor
Alastair-JavaRec
Hiring top AI talent for Babylon Health, putting accessible and affordable health service in the hands of every person on earth.
Babylon Health London
Hoang Phan
hoangpq
Digital craftsman | Technical Consultant | Clojurist | Haskeller
Developer Avocados
Nikola Selic
Selich
AI, privacy, causality, ex AWS, TUM
Technical University of Munich, Germany Munich, Germany
Andor Penzes
andorp
FP developer who applies formal methods in software engineering, has a colorful experience from Quality Assurance to Proof Engineering.
https://www.redbubble.com/shop/ap/92458473 London, United Kingdom
Ole
vapourismo
Love static typing, functional programming and solving big problems by typing things into a computer.
London
Benjamin Giesinger
bneumann
Programmer, engineer, musician, artist and professional hedonist.
Yes I like C#
Nuremberg
PreviousNext