Daniel Fenz
Fancy11111
Programmer, currently working @ free-com.eu
Discord: Da̴̓̕n̶̿̓i̴̙̊ě̸̿l̷͆̔#2000
Austria
@RandyMcMillan
RandyMcMillan
Operations Specialist @usnavy
E616FA7221A1613E5B99206297966C06 BB06757B
@bitcoincore-dev ₿:8333
Simon Cruanes
c-cube
Computer scientist in computational logic, automated theorem proving, and formal methods. Seasoned OCaml programmer, dabbling with rust.
Imandra (@imandra-ai) washington DC