
Formal Land ๐ฒ
@formalland
Security research by formal verification.
Ethereum, Sui, AlephZero, Tezos
Solidity, Rust, OCaml, zero-knowledge
ID: 1388118293689643008
https://formal.land/ 30-04-2021 13:10:01
508 Tweet
1,1K Followers
1,1K Following

Richard Branson
@richardbranson
Screw it, letโs do it.
Arthur B. ๐ฎ
@arthurb
Machine learning, functional programming, but mostly #tezos. Husband of @breitwoman.Bartosz Milewski
@bartoszmilewski
Physicist, programmer, mathematician. Author of Category Theory for Programmers. @[email protected]
Fabio S. ๐ ๐จ๐ฉ ๐ฒ๎จ
@0xfabiosje

Pierre Valade
@pierrevalade
CEO workflowai.com (build AI features your users will love) โ CEO of Sunrise Calendar (Acquired by @microsoft).
klodio
@klodio
CoFounder & CEO @mimo_labs - @CerberusKTA / Making music when I donโt work.
Penguin Books
@penguinbooks
We publish fiction and nonfiction adorned with the famous dignified but flippant logo.
The Wolf of Tezos ๐ซ๐ท๐ช๐บ
@thewolfoftezos
Tezos OG ๐ท My bakery: capsulecorp.tez ๐ฅ DM me if you want to delegate/stake your $XTZ and earn rewards ๐
Yixin Lin
@yixin_lin_
prev: robot learning @GoogleDeepMind, FAIR/@AIatMeta, Google Brain. dabbled in startups/investing @Contrary, @KleinerPerkins.
Yaron (Ron) Minsky
@yminsky
Occasional OCaml programmer. Host of @signalsthreads. @[email protected] @yminsky.bsky.social threads.net/@yaronminsky
Claude Barde
@claudebarde
Blockchain & web3 developer advocate ๐ I put the โfunโ in โfunctional programmingโ ๐จ๐ปโ๐ป Runner & hiker ๐ฒ Views are my own
vee3my
@vee3my
maths, computer science, applications
Emilio J. Gallego Arias
@ejgallego
Researcher. ejgallego @ bsky.social and mathstodon.xyz ZX Spectrum +2A, Petrof Renner 115, Korg X5D, Haskell, Agda, Coq, ARP 2600, Lean.
Shriram Krishnamurthi (primary: Bluesky)
@shriramkmurthi
@BrownCSDept/@BrownUniversity โข @BootstrapWorld โข @PyretLang โข @racketlang โข Unreasonably excited about compsci, education, cycling, cricket, human experience.
Golang Paris
@golangparis
Golang Paris est un groupe d'intรฉrรชt autour du langage Go et ses applications // We are an interest group revolving around the Go langage and its applications.
Tomasz K. Staลczak
@tkstanczak
Incoming Co-Executive Director at the Ethereum Foundation Founder @nethermindeth
Joe Cutler
@alpha_convert
CS PhD student at @Penn and @NSF GRFP fellow. Types, Compilers, and Distance Running. Formerly @wesleyan_u (go Wes)
Golang I/O
@golangio
Learning, Coding, Sharing
KC Sivaramakrishnan
@kc_srk
Profing @iitmadras. CTO @tarides_. Trustee mmht.clinic.
aldrin labs
@aldrin_labs
developing solana public goods in zig $RIN - Solana native token. (spl22 relaunch soon)
Paris Blockchain Week
@parisblockweek
Save The Date: 14-16 April 2026 Join us for the most influential gathering of professionals in blockchain and Web3 at the magnificent Carrousel du Louvre.
Nomadic Labs
@labosnomades
@Tezos blockchain experts. ๐ Working on the core development, evolution and adoption of the Tezos protocol in France, Luxembourg, Belgium and Germany.
gumi Cryptos Capital
@gumicryptos

Katy Hristova
@katyyhr
Formal Verification of Maths & Cryptography @NethermindEth ๐ฉ๐ปโ๐ป| Ex Cryptography Research @NethermindEth โ๏ธ | Maths PhD @uniofwarwick ๐ฉ๐ปโ๐ซ
Stepan - smart/acc
@simkinstepan
CEO @SquadsLabs
Joe C
@realbuffalojoe
Solana on-chain program enjoyer @anza_xyz | prev: @solanalabs @solanafndn
BakingBenjamins.tez
@bakingbenjamins
Father, husband & Tezos baker circa 2020 โก๏ธ Staking fee 10% โก๏ธ Delegation fee 20% โก๏ธ Contributor @TezCapital | Delegate @TezosDomains
Nadrieril
@nadrieril
Computer scientist & mathematician. Nighttime rustc contributor
Bramah Systems
@bramahsystems
MISSION/CRITICAL/SECURITY
IAMOTI
@iam0ti
Breaking software for fun and profit
Immunefi
@immunefi
Immunefi โ One Platform. Unified Security Operations. Complete Onchain Protection. Over $180B of user funds protected across 500+ protocols.
Umami Wallet
@umamiwallet
A powerful new Tezos wallet Available for download at: umamiwallet.com
Functori
@myfunctori
We help clients drive innovation through top-tier consulting, prototyping, and R&D thanks to our blockchains, static languages, and program safety expertise.
Rafik
@rafikfellal
โฌ๏ธ Co-Founder @block_139 || 1๏ธโฃ Co-Founder @ONEOFUSGang || ๐พ VP Growth @Mimo_Labs - @ParallelMoney / @KumaProtocol || Info I share is NFA. DYOR ||
Plenty Labs ๐
@plenty_network
Trade and earn with the Plenty protocol, the leading #DEX/#AMM on #Tezos. Featuring stable and volatile liquidity pools, and a bridge from #Ethereum & #Polygon.
BartolomeoDiaz
@bartolomeo_diaz
Cryptography CS&E | Attention Is All You Need
Prof. Anima Anandkumar
@animaanandkumar
Bren Professor @caltech, Time100, Fmr Sr Director of #AI research @nvidia, Fmr Principal Scientist @awscloud, AI+Science, PDE, Neural operators. Views my own.
Marigold
@marigold_dev
A @Tezos core dev team Building #dapps projects Mentoring #blockchain startups #Community-centered, open DM ๐ Newsletter ๐ marigolddev.substack.com
A N S E L | Tokamai - ๐๏ธ Colosseum Cohort 2
@ansel_sol
Founder @gotokamai in @colosseum Cohort 2 - find your Solana programs errors before your users do | builder @radiantsdao | member @superteam
Xiaokuan Zhang
@xiaokuanzhang
Assistant Professor in CS @GeorgeMasonU; previously postdoc @GeorgiaTech, PhD @OhioState, Bachelorโs @sjtu1896. Areas: system security and privacy.
Rust Weekly ๐ฆ
@rustdiscussions
Articles, projects and tutorials about #RustLang. Weekly newsletter: discu.eu/weekly/rust
merkleplant.eth
@merkleplant_eth
Research Engineer @ChronicleLabs ๐ | Huffooooor ๐ด | street cryptography and monetary theory | ex-maker, prev. Security Researcher @spearbitdao, @code4rena
FJoppa
@ara5aka
Head of Partnerships & BD @mimo_labs Pioneering RWA tokenization & building the world first AI wallet @theayawallet. Co-founder @oneofusgang๐๐ฝโโ๏ธ๐๏ธโโ๏ธ ๐โโ๏ธ
Valentinus Sofa
@sofavalentinus
- Interested in distributed computing, cryptography, and cybersecurity - I love philosophy, science & technology, history, art, and literacy.
lineman
@samlakig
blubberjitsu 5 dan. samlaki.neocities.org
FormalBatiste
@batisteformal
Verification Engineer @rv_inc ๐ค | Privacy Nerd ๐ถ | @GrapheneOS Enjoyer ๐ณ | Chess Loser โ | DeFi Taster ๐ฅ | batiste in Farcaster ๐ช
Narcisse.
@narcisseuuh
CS Student @ Tรฉlรฉcom SudParis | Formal Methods, Binary Analysis & Exploitation Enthusiast. PV : @NarcisseuuhPV
Squads Labs
@squadslabs
Growing the onchain economy. Building @squadsprotocol, @fusewallet and Squads API.
Colosseum
@colosseum
Powering Solanaโs hackathons, supporting winning founders in our accelerator and investing in their crypto startups via our $60 million venture fund. ๐๏ธ
june
@dribgub
who me? i'm just a worm | ecosystem support @ethereumfndn warpcast.com/bugbird
The Enchanter๐ท
@dev_jay_
Web3 Technical Writer & Researcher.โซ๏ธ Believer @solana, Creator @SuperteamDAO, Ambassador @uselulo
Neon
@neon_evm
Solanaโs network extension for seamless EVM dApp integration. Tap into Solana user base and liquidity using your tried and trusted EVM toolkit. No Rust required
Luis ๐ฆ
@lamg_dev
Logic studies and answers *what makes sense* #fsharp ๐ฉ๐ช substack.com/@lamg threads.net/@lamg.dev
Shoom โ | Hylo
@shoomsol
Founder mode @hylo_so | Member of @SuperteamFRANCE | Radar hackathon winner @colosseum ๐ฅ
Hylo | DeFi Native Money
@hylo_so
hyUSD: High & Sustainable USD Yield xSOL: Non-liquidatable leverage with ZERO funding cost @Colosseum winner | Payment track
Sanford
@0xisanford
Security Researcher | EVM Specialist | Formal Verification | Protecting Blockchain Integrity | Open for Collaborations | #EVM | #FormalVerification
Walrus ๐ฆญ/acc
@walrusprotocol
Welcome to the next generation of data storage. Secure, efficient, and decentralized. Join our Discordโdiscord.com/invite/walruspโฆ
ONE OF US
@oneofusgang
Join us and stay active during crypto conferences. TG Group: t.me/oneofuscommuniโฆ TG Channel: t.me/oneofusnews Luma: lu.ma/oneofusgang
alcuin โ๏ธ
@scheminglunatic
pure, lazy, immutable โ๏ธ
Breeeve
@withbreeeve
Get paid in a breeeve! The fastest way to accept crypto, create payment links, sell products, and cash out seamlessly.
Oxidefier
@oxidefier
Translate Solidity smart contracts to native Solana Rust
Talia Ringer ๐ฃ ๐๏ธ
@taliaringer
Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, justice. Mom. They/ืืื, ND, bi
Yash Agarwal
@yashhsm
co-founder @sendaifun / @thesendcoincom / @sendarcadefun โ agents and apps on @solana โ helping solana founders โโ i call out bs + bullpost what i like. nfa
Tezos
@tezos
Tezos is a self-upgradable and energy-efficient Proof of Stake blockchain. Designed to evolve. Built to empower. X by the @TezosFoundation.
Satnam Singh
@satnam6502
Punjabi-Scottish-American Haskell hacker at @GroqInc, cook, cyclist, Lost In Music. โ๐ฎ๐ณ โง โ๐ฌ๐ง โง โ๐ช๐บ โง โ๐บ๐ธ #celiac ex-{Microsoft, Google, Facebook}
Yush
@yush_g
zoinked by kryptography @zkemail // @yush_g on telegram // roast me: aayushg.com/feedback // blog.aayushg.com // โ๏ธ: SF
Tarides
@tarides_
Weโre an international software company that helps people and organisations use #OCaml to build safer & faster code. #OCaml #FunctionalProgramming #MirageOS ๐ซ
Tezos Commons
@tezoscommons
We Build on Tezos! @tezosagora
Sylve
@sylvechv
speedrunning blockchain endgame @hyle_org. built @briqNFT and @ohayo_dojo. ex-@Ledger. be kind.
QAO
@qa_qao