Bogdan Stanciu

@bog_dan

design and product for startups. opinions my own. retweets are not endorsements.

+ Follow

Lindsay Casale

@lindsaycasale

Dedicated to the future of finance. CMO at @Pi_Squared_Pi2. ex @nil_foundation, @MinaFoundation, @SoFi, @Salesforce

+ Follow

musab.eth

@mus_ab

Senior Blockchain Lead @ π² | Pi Squared Inc. | Formal software systems modeling, design, and verification | musab.eth

+ Follow

Ray Xiao

@_rayxiao

vibe investing, crypto vc since 2019, advisor @IOSGVC

+ Follow

Sreeram Kannan

@sreeramkannan

Founder @eigenlayer #InfiniteGames #OpenInnovation #CoordinationAccelerationism

+ Follow

PL/FM/SE at Illinois

@plfmse

Programming Languages, Formal Methods, and Software Engineering group @IllinoisCS (go.cs.illinois.edu/PL-FM-SE)

+ Follow

Virtuals Protocol

@virtuals_io

Society of AI Agents @base and @solana. Imagine millions of @luna_virtuals powered by @GAME_Virtuals. Join: t.me/virtuals | discord.gg/virtualsio

+ Follow

Damian

@ovcd27

Engineer @Pi_Squared_Pi2. I like orange cats, chess & building web3 stuff

+ Follow

Nicholas Harness

@ubamain

Building at Pi Squared. UIUC 25

+ Follow

Pulsar.Money

@pulsarmoneyapp

Payments reimagined. Building the Smart Payments Hub with Social Pay, Smart Transfers, Quests, and way more. An @Astrarizon company. ⁠

+ Follow

Lita Engineering

@lita_xyz

We build @0xLita & stealth™

+ Follow

Yilong Li

@yilongl_megaeth

Building @MegaETH_labs | prev: CS PhD@Stanford

+ Follow

Pi Squared

@pi_squared_pi2

Verifiable settlement for AI and crypto. No assumptions. Just proofs. Learn more: linktr.ee/pi2_

+ Follow

DoubleZero

@doublezero

Accelerating communication in high-performance distributed systems to Increase Bandwidth, Reduce Latency x by DoubleZero Foundation

+ Follow

EthCC - Ethereum Community Conference

@ethcc

The largest annual European Ethereum gathering, organised by @Ethereum_France EthCC8 will be held in Cannes, France, from June 30 - July 3, 2025!

+ Follow

Grigore Rosu

@rosugrigore

Founder & CEO @Pi_Squared_Pi2 | Founder @rv_inc | Prof @cse_uiuc | Creator of K. Prev @NASA. Building the new standard for verifiable settlement in AI & crypto.

+ Follow

Runtime Vеrification

@rv_inc

We apply formal methods to improve the safety, reliability, and correctness of computing systems for auto, space, and blockchain. bit.ly/3AriQY9

+ Follow

Patrick MacKay

@patrickmackay

COO of Pi Squared | Board Member at Runtime Verification

+ Follow

Multiversᕽ

@multiversx

#MultiversX is a distributed blockchain network for next-gen applications. Decentralized via 3000+ nodes, scalable through sharding, fast, secure & green.

+ Follow