Thomas Suau
tsua0002
Formal Methods & ACT Researcher. Working on Agda formalization of Bitcoin ledger structures and correct-by-construction compilers for introspective covenants.
localhost Brussels
Steve Myers
notmandatory
Recovering enterprise software developer. Full time #bitcoin open source contributor. Anti-authoritarian.
Dr. Maxim Orlovsky
dr-orlovsky
Researcher, engineer, transhumanist. @RGB-WG @BP-WG @LNP-WG @cyphernet-labs @AluVM @strict-types creator & lead engineer. // MD, PhD (Neuroscience)
@Pandora-Prime Zug
Vaibhav Garg
vaibhavgarg237
Software Engg@Samsung Research (FSD, Innovation) | 3 Patents | ReactJS, NodeJS, Express, C++, GenAI | Exploring GenAI, Edge AI, BTC❤️
Samsung Delhi, India
Jeffrey H. Johnson
johnsonjh
Not RPM developer Jeffrey Johnson. Not XTree developer Jeffrey Johnson. Not Jeffrey Johnson, Google Senior Software Engineer. Not the robotic engineer, either.
BAN AI Systems https://keybase.io/trnsz