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
Arthur B. 🌮
@arthurb
Machine learning, functional programming, but mostly #tezos. Husband of @breitwoman.
Dr Valeria dePaiva
@valeriadepaiva
Logician, category theorist, semanticist. Likes to understand life mathematically. She/Her
Adam Marblestone
@adammarblestone
Technologist, Scientist Co-founder and CEO @Convergent_FROs Tweets do not represent employers
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.
Em 🏴☠️Tezos TX 🇺🇸
@tezostexas
Love Nature, Sports and believe that Paradise is on earth, nowhere else.! Crypto enthusiast. Email : tezostexas@mailchain
jf
@daemonfire
Claude Barde
@claudebarde
Blockchain & web3 developer advocate 🔑 I put the “fun” in “functional programming” 👨🏻💻 Runner & hiker 🌲 Views are my own
Mich E
@mr_mich_e
Christen † - 2 Kor 5:14-15 - Al het goede in mij door God's genade. En opweg naar meer... Normaal mens met talent in ICT (programmeur .NET, PHP, etc.)
Germán Delbianco
@knayawp
Computer arsonist. Tries to reason with block thingies @trilitech ex @labosnomades @IRIF_Paris @IMDEA_Software @lccrosario (opinions are entirely my own)
José A. Alonso
@jose_a_alonso
Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
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.
Chenhui Zhang
@danielz2333
Learning about our planet Earth from a Bird's-eye view @mitidss | Prev. @IllinoisCS @IllinoisStat 23' | Remote Sensing & Climate Change | Occasionally LLM
Sean Curran
@seandcurran
hpnzbnsnz
@marmaraugur
Tristan Nguyen
@kivanolai
AMOCA
souilos
@thesouilos
Operational Security for Web3 Companies
KC Sivaramakrishnan
@kc_srk
Profing @iitmadras. CTO @tarides_. Trustee mmht.clinic.
David Redwood
@mrvilewhy
A
Gui
@realize_gui
crypto, freedom, polkadot
Logic Geometry, Information
@lgcommai
Professional mathematician. Doctorate in (a subarea of) mathematics from a German university.
Ayosomoza
@ayosomoza
YJJ
@yhstor
unk
Lúcás Meier
@cronokirby
Cryptographer at @penumbrazone. My opinions do not yadda yadda. Did an MSc (Computer Science) @EPFL. Avid, not fast runner. cronokirby.com on bsky.
...
@neumannjj
Rich Ayotꜩ 🌮 (richayotte.tez)
@richayotte
Tezos OG fmr @exodus_io baktz.com @realbaktz
Gautam
@dentindianstu
Prince of Fools.
a-manning
@a_manning0
Trading systems & crypto protocol dev, #Bitcoin enthusiast, and ramen enjoyer. 🧩🍜🇹🇼
BakingBenjamins.tez
@bakingbenjamins
Father, husband & Tezos baker circa 2020 ➡️ Staking fee 10% ➡️ Delegation fee 20% ➡️ Contributor @TezCapital | Delegate @TezosDomains
⭞ s≊phia ⚞◓
@servaispilled
i like algebraic topology major proponent of asp theory big hater of the mizar system married to servais le roy from identity v
cubrub
@cubrub1
nanodijkstra
@nanod1jkstra
lover of systems, destroyer of bugs.
¥
@proofofratio
don't cry in my mentions | hustlerholic
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.
Valentin Serebryakov
@serebryakovvvv
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.
Flexy
@flexvinder
Linux | DevOps | AWS | Bare Metal Servers are ❤️ | Blogging at flexvinder.com
Vasu Singh
@vasucp1207
esotericity
@esotericities
Machine, learning
Daniel Ezomo
@ezomo_daniel
美しいものが好き Rust Lean
Lawrence Paulson
@lawrpaulson
Computer scientist with a background in mathematics and logic. Academic researching formal verification technologies and applications. Also in the other place.
ANONYMOUS CHE
@ptahnam
????
lineman
@samlakig
blubberjitsu 5 dan. samlaki.neocities.org
Abhijith Mammoottil
@starlordcodes
Coding enthusiast
ZENITH
@alive830
private
@privatescript
security researcher at @lesis_lat
presnel
@sport35561
Silver Wolf
@thesilver_wolf2
Smart Contract Security Researcher | Intern @rezolv_sol 🛡️ Telegram: t.me/VPanevv Portfolio: 👇
Nathan Wilkinson
@nathanwilk22266
luigi
@peperoil
css is a cult
jonesangga
@jonesangga_
alcuin ❄️
@scheminglunatic
pure, lazy, immutable ✝️
Sesniez
@sesniez172092
Deann Jefferey
@thedorel75338
My husband was a big fan of investing in virtual assets. He left me a legacy, but I don’t know how to withdraw it. What should I do?【mcoe.cc】
Conner Walsh
@walsh_conn90369
Dgt
@dgtdgt33837
Andrea Moore
@andreamoor58513
Prof. Falzon's team offers cryptocurrency analysis, earn $500 to $5,000 per day, click to join WS:chat.whatsapp.com/HSVRe9Bsk6H6ML…
deaphening
@z4isnotisotov4
Velouc
@velouc017282
Oxidefier
@oxidefier
Translate Solidity smart contracts to native Solana Rust
Jade
@cduchinois
🏴☠️ Hacker Chain Agnostic 👩🏼💻 Building @bechillxyz 🐒member of @monkedao @superteamfrance | Ex-@Ledger @NFTFactoryParis @metaverse_conf
De_Ridaz
@deridazofficial
Enyiflex..Reflex.. south south royal highness Songwritters, , , soldiers, , , singer...inquires call +2348157755620 @De_Ridaz follow us on insta @de_ridaz
WKstraw
@wkstraw
🇧🇪
Tarides
@tarides_
We’re an international software company that helps people and organisations use #OCaml to build safer & faster code. #OCaml #FunctionalProgramming #MirageOS 🐫