Skip to content

@runtimeverification Runtime Verification Inc.

Users following runtimeverification

@songever
Wensong Trivial songever

Jinan University GuangZhou, China

@bitexplorerxbt
bitexplorerxbt
@Heliodex
Lewin Kelly Heliodex
Svelte, TS, Luau, Go etc. The Unlicense is the greatest piece of text that humanity has ever been blessed with. 🟩 https://heliodex.cf 💚

@tp-link-extender Scotland

@rebeca-vacaru
rebeca-vacaru
@EmmanuelMess
Emmanuel M EmmanuelMess
Roboticist, Lic. in Computer Science. Developer in multiple FOSS projects, and worked at agrotech.

Argentina

@danielwangai
Dan danielwangai

Nairobi - Kenya

@unsoundsystem
unsoundsystem
Interested in Systems software and their formal verification

Japan

@Van-D-Ana
Van . Van-D-Ana

Bengaluru, Karnataka

@jiangsy
Shengyi Jiang jiangsy
@MRHMisu
MRHMisu
The Best of The Worst.

University of California Irvine Irvine, California

@yangky11
Kaiyu Yang yangky11
Research Scientist @ Meta, FAIR

Meta Fundamental AI Research (FAIR) New York, NY

@gwpl
Grzegorz Wierzowiecki gwpl
just few of my alter-egos: @gww-fuel, @gww-certik, @gww-parity, @gwchsec

Europe - usually: Zürich, Warsaw or Berlin

@TheOphige
Theophilus Ige TheOphige
Blockchain Protocol | DeAI 🦀
@ichxorya
Curly-Howard-Chungus Correspondence | Lamport-Cabot-Codd-Backus-Naur Form ichxorya
WannabeResearcher-ExPartTimeMusicProducer. Currently interested in PLDI, MDSE, and symbolic computation. BOINC cruncher (UET-VNU-2022). Welcome to Rokkenjima.

@vnu-frsl @vnu-sme @SEhumantics @ISE-Lab-AI4LIFE Ichvers, Esteh, Enurbahnhof, Azeroy

@karbyshev
Aleksandr Karbyshev karbyshev
@OzPol
Ozlem OzPol
🐊 AI, ML & Robotics @ UF | ECE 🧡💙 | A connoisseur of technical rabbit holes; a digital alchemist bridging the gap between algorithms and atoms.
@egphilippov1
Евгений Григорьевич Филиппов egphilippov1
Мїрїадї полїматїчнїхї олуховї. Ultїmate Ксєноморфінї Bїoartїfacts Copyright © 2025 Евгений Григорьевич Филиппов. Русые Славянские Драконы :: Трёщиновзрыво

Happy Biosphere Eternity Company, Discoverer or Rediscoverer, thanks to someone who told to have some stuffs tired when I was writing this. PLUK (ПЛЮК)

@Dejon-js
Dejon-js
@The-Wayvy
找道了 The-Wayvy

Singapore

@varun-doshi
Varun Doshi varun-doshi
Rust and Cryptography
@pmerkleplant
merkleplant pmerkleplant
EVM and cryptography nerd ++ research engineer building oracles @chronicleprotocol

@chronicleprotocol Ethereum

@TEMSSAH
Danial Hamedi TEMSSAH
@dmatysiak
Daniel A. Matysiak dmatysiak
@alighasemi889
founder of codemaster alighasemi889
💫Front-end developer

CodeMaster IRAN

@BitMorphX
BitMorphX BitMorphX
"I morph bits, not to break, but to understand." — BitMorphX ©

Satoshi's Left Hand EARTH 🌐 255.255.255.255 ̵͎̪̉̓̀̄̔͛̊̇̀ ̶̥͇̯͇̃̍͊͐͛Q̷̱͂̈́̈͆̚͜U̷̢̧͕͈̖̫̠̤̜̼̦͈̻̲̩͔̓͆͒ͅA̸̹͂͑̈́̆̿̈́̈́̏͆̈́̊̾͂̈́̈́̒͑͘N̴̛̘̩̺͎̲̥̏͆̈͛̂̂̎̂̀̚̕͝͝ͅT̷̡̲̦̲͔͎͔̞̞̹̞̯̰̉͊̈́͒͑́͂Ũ̴̱̉̐̿M̸̨̢̟̲͍͔̮̝̀̅̃̌͆̅̾͑͆̈̾

@sammed-21
0xSam sammed-21
web3 Developer @Judge-trading | ex @oxyz-official | ex @zerufinance | DEX enthusiast | Noir / Rust| Brides | Defi | Web3 | Ether.js | Next.js

web3

@sukrucildirr
sukrucildirr sukrucildirr
discord : sukrucildirr
@oakenknight
Aleksandar Ignjatijevic oakenknight
Blockchain Security Engineer @informalsystems

@informalsystems Serbia

@jht5945
Hatter Jiang jht5945
Senior Technical Specialist from Alibaba Cloud, I love programming ...

Alibaba Hangzhou, Zhejiang, China

@monoid
Ivan Boldyrev monoid
A phantom type

Barcelona, Spain

@coder-ishan
Ishan Singh coder-ishan
I am a passionate developer with major intrests in Defi, Distributed Systems and LLMs.
@ahmedtadde
Ahmed Tadde ahmedtadde
Software Engineer

Washington, D.C

@Qubasa
Luis Hebendanz Qubasa
Clan Core Dev & IT-Security Researcher
@giskook
zhangkai giskook
vimer, gopher, a father of two children

@okx Beijing,China

@Trones21
Thomas Rones Trones21
Programming Dialects, not Languages
@VestedDaniel
VestedDaniel VestedDaniel
Web3 Developer

@Lendvest New York, NY

@pcw109550
Changwan Park pcw109550
@marceontech
Marcel Clarembaux marceontech
Blockchain Security Researcher. Smart contract Auditor. Solidity Developer. DevRel. Creator of the Educational Blog "The Blockchain Security Monk"

London, United Kingdom

@Megabrain256
Brainiac 🕵️👽 Megabrain256
I'm an experienced software developer with a profound passion for blockchain technology. I also love art, music, and travel.

HYBRIDY NOW

@shawngoh87
Shawn shawngoh87
ඞ

Selangor, Malaysia.

@jshiohaha
Jacob Shiohira jshiohaha
experimentooor 🍬

currenty, nomadic

@darrylyeo
Darryl Yeo darrylyeo
frontend dev・UI/UX abstractionist・decentralized data wrangler blockhead.info・DeFi/web3 builder・hackathon bounty hunter・dropout・25

blockhead.info・prev @dYdXProtocol @ritual-net

@venkyqz
Venky Qi Zhang venkyqz
PhD Student in HKUST
@rejwar
Md. Rejwar Rahman Rifat rejwar
Стоя vor o mundo et 弯腰 前に الله.

@FatherLink In your Heart🫀

@puhtaytow
puhtaytow
@X4
X4 X4
▁▂▃▅▇☆ ← (𝙰𝙸, 𝙲𝙼𝙿𝚁𝚂𝚂𝙽, 𝙲𝚛𝚢𝚙𝚝𝚘) M.Sc. Ing. in CS. #Bitcoin since 2009 Management Consulting & Investments ❯ DeFi, Infra, ML, HPC, FinTech, Web

(𝙰𝙸, 𝙲𝙼𝙿𝚁𝚂𝚂𝙽, 𝙲𝚛𝚢𝚙𝚝𝚘) Dubai, UAW

@pokeraaaccceee
pokeraaaccceee
@pinhaocrypto
PinHao, Chen pinhaocrypto

Taiwan

@LinuxJS
Meow LinuxJS
I code.

@SAMSUNG Multiverse

@garetthub
garetthub
Passionate about advancing equitable and humane technology and the power of human-centric networks. Helping people realize value through connection.