Romain Ruetschi (@[email protected]) @_romac
Not on Twitter anymore. Follow me on Mastodon (https://t.co/9Ds5RlyMuM) and Bluesky (https://t.co/ldcpRlJfty) instead. romac.me Joined April 2008-
Tweets12K
-
Followers887
-
Following1K
-
Likes15K
Built with Malachite, our new implementation of Tendermint in Rust. We are super excited about the collaboration with @varunsrin and the amazing team at @farcaster_xyz. We are open sourcing Malachite soon, stay tuned. Decentralise whatever with Malachite! x.com/varunsrin/stat…
Built with Malachite, our new implementation of Tendermint in Rust. We are super excited about the collaboration with @varunsrin and the amazing team at @farcaster_xyz. We are open sourcing Malachite soon, stay tuned. Decentralise whatever with Malachite! x.com/varunsrin/stat…
We've been evaluating a number of C++ successor languages for @ladybirdbrowser, and the one best suited to our needs appears to be @SwiftLang 🪶 Over the last few months, I've asked a bunch of folks to pick some little part of our project and try rewriting it in the different…
We’ve been quiet the last few weeks, putting the final touches on our whitepaper and new website. The whitepaper is under review by many of our Cosmos & Ethereum friends And the website is now live 🎉 cycles.money
Wanna help me build Quint and make formal methods more accessible? We're hiring! informalsystems.bamboohr.com/careers/51
🥲 I finally found a way to add macro-generated, auto-completable methods to companion objects in Scala 3. I went into more detail here: contributors.scala-lang.org/t/scala-3-macr…
I am starting a new blog called "Protocols Made Fun". Here is a 🧵 of 155 tweets... That was a joke. I am not going to torture you. Here is the link to the first blog post called "Thinking about a random number generator". konnov.github.io/protocols-made…
For the last 2 years, I have been working on a new specification language called Quint, based on TLA. Today, we are doing a first general announcement because we finally feel that it is good enough for people to use it and enjoy it :) github.com/informalsystem…
OrbStack v1.2.0 is out in the Canary channel with native access to container files from Finder & Terminal! Easily view & edit files in containers with your favorite tools To update: Settings > Update channel = Canary, then OrbStack > Check for Updates
OrbStack v1.2.0 is out in the Canary channel with native access to container files from Finder & Terminal! Easily view & edit files in containers with your favorite tools To update: Settings > Update channel = Canary, then OrbStack > Check for Updates https://t.co/8wHHWNSW0s
How to read that funny notation in type theory papers (called Sequent Calculus), by @lexi_lambda: langdev.stackexchange.com/questions/2692…
I've deleted Docker Desktop from my machine. Because there's something that is 100x better called OrbStack 🔮 It's a drop in replacement which runs faster and eliminates the "memory & cpu hog" features of Docker Desktop. Download it at orbstack.dev
Blockchain protocols are hard to design, understand, secure, and test. Quint is a new specification language designed to help! Try it out today: github.com/informalsystem…
Blockchain protocols are hard to design, understand, secure, and test. Quint is a new specification language designed to help! Try it out today: github.com/informalsystem…
Today, Generative AI takes a big step and comes to user interface design! @helnzhou and I are excited to announce @galileo_ai : the first AI product that uses natural language to generate UI designs. It lets you design beyond imagination. Early access: useGalileo.ai
Jakob Brünker wrote a #Haskell GHC plugin to allow monadic values within expressions, if prefixed with a bang: help :: Reader Contact String help = do pure $ "Call us at " <> (!ask).phone <> " or email " <> (!ask).email Very exiting experiment! hackage.haskell.org/package/monadi…
Actually I believe that this is an even better proposal: github.com/goldfirere/ghc…
Actually I believe that this is an even better proposal: github.com/goldfirere/ghc…
Runtime reflection in Rust using DWARF debug into emitted by rustc: jack.wrenn.fyi/blog/deflect/ #rustlang
Let's try again: @[email protected]
Now even posting links to Mastodon profiles is outright blocked… smh…

Ethan Buchman (🐝,�... @buchmanster
37K Followers 7K Following Internet Biophysicist. Sustainability Existentialist. Monetary Localist. Co-founder @cosmos. CEO @informalinc. Incubating @cyclesmoney.
Jelena @jelena_noble
16K Followers 6K Following defiantly optimistic. founder @noble_xyz; thinking about stablecoins // co-founded @web3canada
Informal Systems 🌱 @informalinc
49K Followers 726 Following Premier Partner in Protocol Design & Cross-Chain Infrastructure | Audits | Validator | Incubating @cyclesmoney | Supporting early-stage projects @informalvc
billy @billyrennekamp
8K Followers 2K Following Triflin' @triflelife Founded @foliafoliafolia, @cloversnetwork 🌱🍀 Prev @CosmosHub Lead, Funding at @interchain_io ⚛️ & EIR at @1kxnetwork 🔬
Thyborg @Thyborg_
23K Followers 458 Following @Cosmos strategy at @informalinc | Member @hydromarkets | Curator-in-chief of the Interchain Reports https://t.co/9MVameDP8w
Adi Seredinschi @AdiSeredinschi
2K Followers 756 Following building things that last @circle focusing on @arc
John A De Goes @jdegoes
18K Followers 1K Following CEO @ZivergeTech, CEO @GolemCloud, Exec Producer & Creator @TheUltCoder, OSS contributor @zioscala, speaker, writer. Accelerating human dominion. ✝️
zmanian @zmanian
49K Followers 18K Following @iqlusioninc. @sommfinance. interoperable blockchains with @cosmos. smart contract for all with @agoric and https://t.co/MPwSp8GcKs he/him. shape rotato
jehan @JTremback
4K Followers 2K Following
Stephen Diehl @smdiehl
55K Followers 3K Following Left this hellsite for BlueSky. https://t.co/jct5Pfs2NT
Shoaib Ahmed @sufialhussaini
512 Followers 1K Following @cyclesmoney @informalinc; prev: ibc-rs, basecoin-rs; #rust crypto/protocol dev; Respecting the graph since 2023; Opinions are my own
davidad 🎇 @davidad
20K Followers 9K Following Programme Director @ARIA_research | accelerate mathematical modelling with AI and categorical systems theory » build safe transformative AI » cancel heat death
henry 🌘 @hdevalence
15K Followers 1K Following ex-{mathematician, cryptographer, cypherpunk} // navigating the library of babel
모리츠 ✨ @4ngerman
3K Followers 2K Following C'mon now, click follow! You know you want to! Developer Experience, Compilers, Languages. Personal Opinions, No Financial Advice!
Émerson Silva @__emerson_silva
110 Followers 2K Following Software Engineer BSc Computer Science 🐍 🐹 🐋 💎 🐷💚
tweex cycle @tweexcycle
4 Followers 33 Following
Denis Redozubov @codeofchange
924 Followers 686 Following Finance | AI | Tech https://t.co/26SnIs5Tby
Dawtetares @DawtetareshR3u
44 Followers 5K Following
Varun Doshi @Varunx10
1K Followers 2K Following 🦀 | Engg @chain_risk | Advocate @0xpolyadvocates | Scholar @OraProtocol | Mage @PolygonKolkata | prev @getkoinx @Macha0x
CosmosMan宇宙侠 �... @iCosmosMan
2K Followers 2K Following Long ZKPs & DeFi with size 😈 ex- @AiC_DAO founder, poor Cosmos believer
dangush @0xdyan
289 Followers 585 Following building @cyclesmoney at @informalinc // prev. president @calblockchain / cs, polecon @ucberkeley
Ed @happenwah
1K Followers 5K Following Builder of @valantislabs. Previously @nethermindeth @gelatonetwork
Sheldon Dearr @ArtimusLeton
12K Followers 6K Following Technologist, humanist, thinker, traveler 🤓🦀 ex Fortune 10 IT security + BTC || supporting @OmnityNetwork, @ChessOnChain, developers and advisory clients
Philip Offtermatt @philip_off
177 Followers 261 Following engineering @informalinc | Building Hydro 🌊 @HydroTeam_ | prev stewarding @cosmoshub ⚛️ | formal verification @ApalacheTLA
Nikhil (Recession Arc... @nikbhintade
483 Followers 1K Following Solidity Developer | https://t.co/GwSkQNGtjO | MIT licensed views
Aleksandar Ignjatijev... @oakenknight19
140 Followers 512 Following Security engineer @informalinc | 🧪 Auditing smart contracts & protocols | Solidity x Cosmos Security | ⚔️ Finding bugs before they find you
Bastien Faivre @std_lock_guard
22 Followers 66 Following Software Engineer at @informalinc Co-Founder of @MetacubeGames
hushnow @hushnow166374
39 Followers 4K Following
JLiBercrypto👁⃤ �... @JLiBercry
1K Followers 4K Following #WEB3 ⚛️ $ETH $BTC $XMR $AXL maxi #CivilEngineer ₿ #BitcoinTrader ₿
Vu Vo @vuvoth
325 Followers 2K Following studying to become cryptographer, 😴, milk coffee, memes maker. debucmunity
Valentin Robert ❤�... @Ptival
220 Followers 355 Following He/Him. Research Engineer at @Galois. Static types and mechanized theorem proving enthusiast.
zkFART 🦣 @evansforbes
2K Followers 1K Following student of biology, chemistry, and anything that computes. gears-for-brains engineer. wannabe researchooor. making the blonks big @celestia chad/cuck
bit @zk_bits
4K Followers 1K Following plus ultra. polymath, building a bitcoin-native stable-coin @ducatstable ⚡️nostr: [email protected]
NanoVMs @nanovms
2K Followers 7K Following NanoVMs - no users, no login, single application unikernel vms. Protecting everyones cloud. Faster than Docker, Faster than Linux.
Christo @christo_papas
776 Followers 3K Following Strategic shitposting from the back of a kafenio 🇬🇷🇦🇱
Cosmin Lehene @clehene
704 Followers 2K Following Apply-focused indie lab researching mathematical foundations of systems across domains. Ex-founder (fintech/infra), CS + big data/distributed systems (Adobe).
Juan Pablo Kaukian @c1nd0r
41 Followers 252 Following
所见即所得 @thaumaturge_277
63 Followers 539 Following Track your rewards, and cash out anytime. Invite your network to trade on Helix and earn 40% of their fees as commission. https://t.co/xKu6R8eHnE
ivangavran @ivan00gavran
56 Followers 239 Following
Nenad Milosevic @nelemilosevic95
4 Followers 14 Following
Andrew Miller @socrates1024
23K Followers 5K Following junior product @ teleport studio https://t.co/GW5aptHrL7 🛡️ dstack integrations 🛡️ https://t.co/uT4qFVdtvl
kognise @kognise7
3K Followers 571 Following engineer, musician, pilot, wannabe lawyer and accountant, form appreciator prev @neuralink @hackclub @replit and open source https://t.co/bcJ8af2oEt
TorieDelcarmen @DelcarmenT35874
43 Followers 2K Following
Lasma @Lasma11422
25 Followers 1K Following I live alone now and enjoy business, traveling, shopping, food and music. I have a calm personality and I hope we can be friends.
Misty @MTeerte56438
309 Followers 5K Following See the world on the road, and get to know yourself on the way!
Se7en Nodes⚛️ @Se7enNodes
134 Followers 744 Following We provide multinational infrastructure solutions and validation services for blockchain projects.Trusted validator for: $ATOM, $OSMO, $TIA, $INJ, $NAM
Jeffrey @DonkeyFishing
30 Followers 285 Following
Uros Popovic @popovicu94
444 Followers 104 Following Staff Software Engineer at Google Cloud, Appled AI | Linux and embedded systems by night
Ohad Kammar @aleph_kappa
500 Followers 365 Following
Daniel Salvadori @danaugrs
1K Followers 4K Following Building @PurLanguage. Machine learning, computer graphics, crypto and finance. Prev. @Dassault3DS @UCSD @UCSDJacobs @RadySchool
Kayla @lewis_kayla8
301 Followers 3K Following
Ethan Buchman (🐝,�... @buchmanster
37K Followers 7K Following Internet Biophysicist. Sustainability Existentialist. Monetary Localist. Co-founder @cosmos. CEO @informalinc. Incubating @cyclesmoney.
Informal Systems 🌱 @informalinc
49K Followers 726 Following Premier Partner in Protocol Design & Cross-Chain Infrastructure | Audits | Validator | Incubating @cyclesmoney | Supporting early-stage projects @informalvc
Rúnar @runarorama
12K Followers 103 Following Icelander. Eudaimonist. Individualist. Cofounder, @unisonweb. Author of Functional Programming in Scala.
billy @billyrennekamp
8K Followers 2K Following Triflin' @triflelife Founded @foliafoliafolia, @cloversnetwork 🌱🍀 Prev @CosmosHub Lead, Funding at @interchain_io ⚛️ & EIR at @1kxnetwork 🔬
Thyborg @Thyborg_
23K Followers 458 Following @Cosmos strategy at @informalinc | Member @hydromarkets | Curator-in-chief of the Interchain Reports https://t.co/9MVameDP8w
Dev 🧪 @valardragon
8K Followers 1K Following Building @OsmosisZone @Polaris_app @Cosmos @arkworks_rs Building for a private, end-user verifiable world
Dmitrii Kovanikov @ChShersh
43K Followers 206 Following Dysfunctional Programming account #1. Senior SWE at Bloomberg. I write C++ for money. ex-Haskell, ex-OCaml. All opinions are my own.
julesh @_julesh_
10K Followers 136 Following Applied Compositional Thinking. Also at @CyberCatInst and @[email protected]
Adi Seredinschi @AdiSeredinschi
2K Followers 756 Following building things that last @circle focusing on @arc
John A De Goes @jdegoes
18K Followers 1K Following CEO @ZivergeTech, CEO @GolemCloud, Exec Producer & Creator @TheUltCoder, OSS contributor @zioscala, speaker, writer. Accelerating human dominion. ✝️
zmanian @zmanian
49K Followers 18K Following @iqlusioninc. @sommfinance. interoperable blockchains with @cosmos. smart contract for all with @agoric and https://t.co/MPwSp8GcKs he/him. shape rotatoBartosz Milewski @BartoszMilewski
35K Followers 34 Following Physicist, programmer, mathematician. Author of Category Theory for Programmers. @[email protected]
Cryptocito | Cosmover... @Cryptocito
124K Followers 929 Following Events @CosmoverseHQ Stake with @Stakecito Media @Cito_Zone Any cryptocurrency can go to zero 🎢
gabby @GabriellaG439
15K Followers 76 Following Author of @dhall_lang, https://t.co/YzieN4kyo2, and principal engineer at @Mercury I'm a midwife to the hidden beauty in everything she/her 🏳️⚧️
jehan @JTremback
4K Followers 2K Following
Yaron (Ron) Minsky @yminsky
15K Followers 334 Following Occasional OCaml programmer. Host of @signalsthreads. @[email protected] @yminsky.bsky.social https://t.co/kiUGRvWOO2
Matt Parsons @mattoflambda
5K Followers 522 Following Haskell and SQL. Team Lead for Backend Developer UX at @mercury. I wrote @prodhaskell so you can get a Haskell job!
∃ugene -Yokota 🥙... @eed3si9n
5K Followers 568 Following enjoys music, good food, coding, and talking about them. learning machines at employer. @scala_sbt core dev. mastodon: @[email protected]
Satnam Singh @satnam6502
19K Followers 3K Following Punjabi-Scottish-American computer scientist, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx}
Varun Srinivasan @varunsrin
14K Followers 749 Following Building @farcaster_xyz. Previously @Coinbase, @SoundFocus (YC S13), @Microsoft
Tim Condon @0xTim
5K Followers 804 Following Engineer, geek, triathlete. @codevapor core team. Founder @brokenhandsio. Server-side Swift @kodecodev. Organiser @SwiftServerConf @NSManchester He/him
Xiang Xie @xxiang_xie
1K Followers 773 Following Cryptographer | Co-Founder @primus_labs | building zkTLS and FHE
Julian Schrittwieser @Mononofu
9K Followers 101 Following Member of Technical Staff at Anthropic AlphaGo, AlphaZero, MuZero, AlphaCode, AlphaTensor, AlphaProof Gemini RL Prev Principal Research Engineer at DeepMind
Mike Dodds @miike
1K Followers 554 Following Formal methods enthusiast. Principal scientist at @Galois. English immigrant. Nitwit. Opinions my own.
Thorsten Ball @thorstenball
35K Followers 961 Following Author of https://t.co/arW0hnVET0 and https://t.co/RN9xXOzhON. @sourcegraph working on @ampcode. Ex-@zeddotdev. Programming where the rubber hits the road.
Tesnim @tesnimab_
125 Followers 360 Following Security Services Manager @informalinc | Formal verification & Audits
Self-Directed Researc... @sdr_pod
42 Followers 3 Following Every week, a new presentation on what Amos or James has been up to. Usually: Rust, embedded, web servers, but anything is fair game. New episodes every Wed!
giggly ♡ @xgigglypuff
105K Followers 2K Following harvard graduate + software engineer ♡ she/her ♡ https://t.co/HrGfIvxRQj
Local-First Conf @localfirstconf
3K Followers 2 Following Connect with a rapidly-growing Local-First community. Join us for our other conf @sync_conf happening Nov 12, 2025 in San Francisco.
zkFART 🦣 @evansforbes
2K Followers 1K Following student of biology, chemistry, and anything that computes. gears-for-brains engineer. wannabe researchooor. making the blonks big @celestia chad/cuck
Greg Linares (Laughin... @Laughing_Mantis
37K Followers 2K Following 20+ yrs in Infosec. Malware Influencer. I turn Malware into Art and Music. Art @MalwareArt. 4x Pwnie Nominee. 𝕍𝕏. GameDev. Autistic.
Dylan Kawalec @ChaoticBeautys
2K Followers 2K Following ZKP & TEE Researcher, Developer Relations @PhalaNetwork — on a journey to create a better digital economy ! host of https://t.co/MC1tccWKwB
Yann LeCun @ylecun
949K Followers 764 Following Professor at NYU. Chief AI Scientist at Meta. Researcher in AI, Machine Learning, Robotics, etc. ACM Turing Award Laureate.
chris @hingeloss
4K Followers 1K Following optimism of the will, pessimism of the intellect. words at https://t.co/qJiOeUmgte
Antonio Viggiano @agfviggiano
3K Followers 1K Following views are my own building @SizeCredit cofounder @getreconxyz auditor @spearbit @SecurityOak
🥢 Jon 🍲 @ionathanch
953 Followers 432 Following Jon(athan)? Chan 🏳️🌈 • he/they ↵ MSc @ubc_spl ⊢ PhD @CIS_Penn ↵ programming languages and type theory ↵ @ionchy.ca on bsky | coädmin on https://t.co/kUlV1hNtrR
Nenad Milosevic @nelemilosevic95
4 Followers 14 Following
Gleam Programming Lan... @gleamlang
6K Followers 10 Following Sponsor Gleam development and support the project!: https://t.co/5BGG9PhdFp
🦋 hayleigh.dev @hayleighdotdev
1K Followers 455 Following freelance @elmlang dev | @gleamlang core team | building the future at https://t.co/06g4WmE36M |🏳️⚧️ terfs fuck off.
Hernán Vanzetto @hvanz_
43 Followers 156 Following distributed systems @circle | #malachite BFT consensus | prev @informalinc @cometbft @yale @inria @MSFTResearch #tlaplus
Positron AI @positron_ai
792 Followers 38 Following Developing the next generation of machine learning hardware and software
Andrew Miller @socrates1024
23K Followers 5K Following junior product @ teleport studio https://t.co/GW5aptHrL7 🛡️ dstack integrations 🛡️ https://t.co/uT4qFVdtvl
@[email protected]... @str4d
3K Followers 478 Following Zcash, Rust, cryptography & privacy. He/him. https://t.co/H3HuRnxc3h atproto: 🦋https://t.co/BSw2zoJbif age18f63qx4gk8x7p4lfuwwglqcan7snvp406q5vmk26g9fmpe9c799qqzzr3w
Prophet @welltypedwitch
3K Followers 544 Following There's no sense crying over every mistake. You just keep on trying till you run out of cake. - GLaDOS https://t.co/70SfmxnROe https://t.co/p6LXXU7dGH
ben sima @bensima
2K Followers 5K Following
Alexandre Duc @ocalex86
55 Followers 72 Following Cybersecurity professor at HEIG-VD, HES-SO, Switzerland Cryptographer
Helion @Helion_Energy
48K Followers 20 Following Building the world's first fusion power plant, enabling a future with unlimited clean electricity.
Adam Rosien @arosien
1K Followers 669 Following super-ultra-premium, e.g., #scala, functional programming, mentoring. he/him. principal at @InnerProductLLC, author https://t.co/knbxEOC68t @[email protected]
Fabrizio Montesi ⬣ ... @famontesi
661 Followers 500 Following Marchigiano 🇮🇹 in 🇩🇰 | Author of #ChoreographicProgramming and 'Introduction to Choreographies' | Maintainer @jolielang | Pres. @c_microservices
Milan Mulji @mmulji_ic
176 Followers 2K Following
Cycles @cyclesmoney
3K Followers 3 Following The Open Clearing Protocol. Respect the Graph. By @informalinc
kognise @kognise7
3K Followers 571 Following engineer, musician, pilot, wannabe lawyer and accountant, form appreciator prev @neuralink @hackclub @replit and open source https://t.co/bcJ8af2oEt
Ittai Abraham @ittaia
5K Followers 2K Following I do research in algorithms and distributed computing
Daniel Lemire @lemire
29K Followers 2K Following Software performance expert. Ranked in the top 2% of scientists globally (Stanford/Elsevier 2024) and among GitHub's top 1000 developers.
Jesse Lyu @jessechenglyu
29K Followers 326 Following founder and ceo @rabbit_hmi board @jugendingenieur any crypto relates to @rabbit_hmi or r1 is a scam.
Reza Mortazavi @MortazaviiiReza
3K Followers 99 Following CG artist at Storm Studios - https://t.co/PpCyZYe6Jy
Tory Bruno @torybruno
381K Followers 531 Following President and CEO United Launch Alliance @ULAlaunch, ...Rocket Scientist, Horseman, proud @calpoly alum
Philip Offtermatt @philip_off
177 Followers 261 Following engineering @informalinc | Building Hydro 🌊 @HydroTeam_ | prev stewarding @cosmoshub ⚛️ | formal verification @ApalacheTLA
Kaiyu Yang @KaiyuYang4
4K Followers 2K Following Research Scientist at @Meta Fundamental AI Research (FAIR), New York. Previously: Postdoc @Caltech, PhD @PrincetonCS, Undergrad @Tsinghua_Uni.
Prof. Anima Anandkuma... @AnimaAnandkumar
34K Followers 2K Following Bren Professor @caltech, Time100, Fmr Sr Director of #AI research @nvidia Fmr Principal Scientist @awscloud
Emmett Shear @eshear
118K Followers 957 Following CEO of Softmax: Applied developmental cybernetics research
Sébastien Deleuze @sdeleuze
7K Followers 0 Following
Klaus Ostermann @klauso3
314 Followers 158 Following Professor in Computer Science at University of Tübingen. Love freedom of thought and the pursuit of happiness. Hate identity politics.