waywardmonkeys
Follow
Peter Blackson
pczarn
Compiler engineer interested in parsing, CPU architecture, safety, formal verification, data structures and Rust.
Poland
Caleb Maclennan
alerque
Recipient of eternal grace, husband to one, student of the Word, ambassador of Christ, tentative wordsmith, dabbler in languages, wrangler of code, typographer.
İzmir, Türkiye
Guillaume Claret
clarus
Working at Formal Land to formally verify mainstream programs using the proof system Coq.
Formal Land Paris
Alex Fanat
TheFanatr
I have a very good description you can find here: https://goo.gl/sTBRL6 . It pretty much sums everything up.
James R T
jamestiotio
"Any sufficiently advanced technology is indistinguishable from magic." - Sir Arthur Charles Clarke
@aruba The edge of knowing
Clayton Kehoe
kehoecj
Software Engineer @Boeing | Maintainer of https://github.com/Boeing/config-file-validator | DevSecOps | Go | Python | 🚀 City Alabama
@Boeing Huntsville, AL
Weykon
weykon
Do small things, and do better.//
be patient.//
go into the unknown.//
code is nothing but my work.//
do it well not fast.//
Shenzhen , China
Craig Pearman - ExecSearch: Technology and Quant roles
craigp-execsearch
Headhunter NAM & EMEA >20yrs exp.
Recruiting Technology & Quant talent
Based in London (UK) & Bratislava (SK)
Refs: linkedin.com/in/craigp-execsearch
Xcede (Formerly Etonwood) London & Slovakia
Orestis Ousoultzoglou
xlxs4
Space Systems Analyst / SWE @ EMTech Space, involved with a couple space missions.
EMTech Space Thessaloniki, Greece
Owen Lamont
owenlamont
I'm a developer/analyst with interests in data visualisation, machine learning, computer graphics, and Python
Floodmapp Adelaide, Australia
Comantparis
Comantparis
Proudly to say im among the biggest family in the world Jw.org
Comantparis Nigeria
PreviousNext