David J. Pearce @whileydave
[email protected] | Formal Verification, Compilers & Static Analysis | @WhileyLang | Researcher in Smart Contracts @ConsenSys | Opinions are my own. whileydave.com Wellington Joined May 2011-
Tweets3K
-
Followers1K
-
Following3K
-
Likes4K
David J. Pearce retweeted
A more intentional Ethereum. Linea is supporting the Open Intents Framework as it moves from concept to adoption.
The Open Intents Framework is designed as shared infrastructure for intents. A modular, open framework that the ecosystem can build intents on, together. Today, it takes its next step: adoption at scale.
David J. Pearce retweeted
The Linea Stack is joining the @lfdecentralized family, as Lineth. Open source shows you what the technology does today. Open governance shows you what it will do in ten years. Neutral by design.
Welcome, Lineth! 🎉 The Linea Stack — in production since 2023 — joins @lfdecentralized as an incubating project under its new name. lfdecentralizedtrust.org/blog/announcin…
Checkout my talk at @EthCC !! youtube.com/watch?v=iKPjgB…
David J. Pearce retweeted
Linea was built to make the ZK rollup experience seamless for both developers and end users. Our mission is to scale Ethereum without breaking the developer workflow or compromising on user experience. The next step forward is not just to prove Linea, but more. That’s why we’re joining @boundless_xyz to support The Signal - an open-source ZK consensus client for Ethereum. With The Signal, Linea developers can access trustless Ethereum state from anywhere, enabling use cases like global onchain identity, cross-L2 payments, and seamless interactions across rollups. Together, we’re building a future where rollups don’t just scale Ethereum, they unify it.
.@LineaBuild is joining Boundless to help power The Signal - open-source ZK consensus client that distills Ethereum finality into a single proof. Together, we are unlocking trustless ZK interoperability.
David J. Pearce retweeted
Our new fuzzer for zkVMs discovered a critical soundness bug in RISC Zero! 🔥 @RiscZero Thanks a lot for the shout-out! We're happy to contribute to making RISC Zero more safe! 🚀 Building complex ZK infrastructure? Let us help you secure it. Get in touch! ✉️
RISC Zero Security Disclosure A missing constraint was recently discovered in the rv32im circuit. This issue affects any 3-register RISC-V instruction (including remu and divu) in risc0-zkvm 2.0.0, 2.0.1, and 2.0.2. This vulnerability was reported by Christoph Hochrainer via
David J. Pearce retweeted
Linea’s Arithmetization Team Olivier Begassat (@zk_evm) Amelie Chatelain David Pearce Francois Bojarski Lorenzo Gentile
David J. Pearce retweeted
Today, after six years of R&D, Linea has achieved a world-first with prover completeness: We are the first zkEVM to directly prove 100% of EVM execution through our zero-knowledge proofs.
David J. Pearce retweeted
100% this. RISCV is actually very inefficient for ZK, there's no reason why a custom ISA shouldn't be chosen for this
4./ Execution client then sits on top of it as a kind of an operating system kernel, handling finer details. In fact, current execution client *is* a kind of such MMU. But arguably one can try to build much smaller, simpler one and for a different ISA.
The equivalent of luddites destroying looms? Coders deliberately putting bad code into github repos 😂
David J. Pearce retweeted
A “sum type” is a union. A “product type” is a struct. C has had these since before 1970. If someone uses these terms as though they were some new amazing inventions, they probably do not have much programming experience yet.
David J. Pearce retweeted
The more I build software, the more I despise dependencies. I greatly prefer people copy/pasting stuff into their own code bases or re-implement it. Unfortunately the vibe of the time does not embrace that idea much. I need that vibe shift.
Yeah, elite was amazing!! youtu.be/lC4YLMLar5I?si…
David J. Pearce retweeted
@Andr3jH That might be true of startups. I'm over 40 and I'm one of the most active coders in the world. gist.github.com/paulmillr/2657…
David J. Pearce retweeted
This seems like a very well-thought-out essay regarding the author's experience using Rust for game development (I am partway through reading; it's long!) loglog.games/blog/leaving-r…
BESU fleet mode rocks! x.com/HyperledgerBes…
Bit of a shame about the production though. Not sure why they left it like that 🤷♂️
Here’s our panel on applying Formal Verification to the Ethereum Protocol!! youtu.be/J71rLx8dBXY?si…
David J. Pearce retweeted
We are hiring! The Dept of Computing at Imperial are looking to appoint *six* new faculty members. Focus areas: - AI+ML - Computer Graphics +Computer Vision - Quantum Computing + Quantum Information - Software Engineering Please spread the word! imperial.ac.uk/jobs/search-jo…
Shriram Krishnamurthi... @ShriramKMurthi
23K Followers 4K Following @BrownCSDept/@BrownUniversity • @BootstrapWorld • @PyretLang • @racketlang • Unreasonably excited about compsci, education, cycling, cricket, human experience.
Talia Ringer 🕊🪬 @TaliaRinger
33K Followers 7K Following Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, justice. Mom. They/היא, ND, bi
Satnam Singh @satnam6502
22K Followers 3K Following Punjabi-Scottish-American working at @HarmonicMath. Cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx}
Ilya Sergey @ilyasergey
8K Followers 980 Following Associate Professor at @NUSComputing. Working on programming languages, distributed systems, and proof engineering – all of that in Lean.
Kristopher Micinski -... @krismicinski
7K Followers 3K Following Lover of Datalog and its relationship to the lambda calculus. Tweets do not represent *anyone's* views, especially mine.
Steve Blackburn (@ste... @stevemblackburn
2K Followers 892 Following Computer scientist, researcher, dad, husband, runner, hiker, collector of garbage. Google Research Scientist, ANU Professor. https://t.co/zPlLF6sKVX
Brendan Dolan-Gavitt @moyix
33K Followers 6K Following Building offsec agents: https://t.co/G9EtnC2Gl3 PGP https://t.co/3WXr0RfRkv
Laurence Tratt @laurencetratt
4K Followers 313 Following Shopify / Royal Academy of Engineering Research Chair in Language Engineering.
Alastair Donaldson @afd_icl
3K Followers 422 Following Professor of Programming Languages at Imperial College London
KC Sivaramakrishnan @kc_srk
5K Followers 4K Following Profing @iitmadras. CTO @tarides_. Trustee https://t.co/WE1No5QqOA.
Ben L. Titzer @TitzerBL
2K Followers 346 Following Director of the WebAssembly Research Center at Carnegie Mellon University. Principal Researcher. Wasm co-founder. Former V8 engineer. Compilers!
Toby Murray @tobycmurray
1K Followers 642 Following Go find me at @tobycmurray.bsky.social. Assoc Prof at @UniMelb and @cis_unimelb cyber lead; @DSI_VIC Director; @UniofOxford DPhil (@HertfordCollege); He/him
James Noble @jameskjx
1K Followers 567 Following
SPLASH Conference @splashcon
3K Followers 284 Following SPLASH: ACM Annual Conference on Systems, Programming, Languages, Applications: Software for Humanity #SPLASH2026 #SPLASH26
Jonathan Aldrich @JAldrichPL
5K Followers 1K Following Professor of PL/SE at CMU. Coauthor, Programming Language Pragmatics (vids: https://t.co/eqZUam3iMJ). ACM Publications Board. CTO of https://t.co/ilgx6i6eL1 He/him.
Jeremy Siek @jeremysiek
3K Followers 353 Following Prof. at IU, dad, runner, cook, programming language design, gradual typing, generic programming, type systems, mechanized proofs. @[email protected]
Tim McNamara @timClicks
25K Followers 3K Following On the planet to build a better planet. Software person, kind of into Rust and creative coding. Author of Rust in Action (https://t.co/qgWenxBkeP).
Manuel Rigger @RiggerManuel
3K Followers 2K Following https://t.co/xCKR0xa6W1 Assistant Professor @NUSComputing @test_nus; software engineering, systems, and programming languages.
Simon Fowler @Simon_JF
1K Followers 1K Following Lecturer at @GlasgowCS, working on concurrent functional programming. Now mostly on @[email protected].
Cyrus Omar (now mainl... @neurocy
3K Followers 3K Following 🌱 laying foundations for the future of programming @ https://t.co/KNwWLHLDUu 🌿 prof @UMichCSE 🍃 poetry 🪸 dendrites 🎶 immersion 〰️ wavy nerd crew
S@M JAMES✌🏽 @James4652169777
32 Followers 2K Following If you refuse to listen to the cry of the poor, your own cry for help will not be heard. Proverbs. ✝️🙏❤️✝️✝️
Koru Language @korulang
217 Followers 2K Following The Event Continuation/Effect Language Discord: https://t.co/2Dh7cU7Upb Multiple backends, Zig/JS.
Dmitry Sabanin @DmitrySabanin
538 Followers 734 Following Helping founders build their dreams, empowered by providing decades of technical and business expertise. DM or email for inquiries
Leonardo Sá @leolimasa
39 Followers 431 Following Functional Programmer enthusiast. Average drummer. Bad dancer.
Petr Ogurek 🇺🇦 @pogurek
12 Followers 253 Following
Hahn @HahnDL62
1K Followers 3K Following Constitutionalists leaning to center ("Libertarian's") or Right ("Republicans") or Left ("Democrats"); if the Constitution doesn't matter you're the enemy.
Guillaume Claret 🐻... @guillaumeclaret
740 Followers 945 Following Formal verification, PhD Rust - Solitity - OCaml - ZK Founder @ Formal Land Book a call: https://t.co/nnHMLuXR3H
thisvishalsingh 🪐 ... @thisvishalsingh
3K Followers 2K Following securing onchain cryptography next billion dollar & making security accessible to any developer, intern @Zippel_Labs. https://t.co/JXIUM0ZHdW
Divya Ranjan @DivyaRanjan1905
61 Followers 494 Following Mathematics, Cryptography, and Formal Verification. Also a connoisseur of compilers and programming language theory. Ex @ethereumfndn
pandadiestro @pandadiestro
137 Followers 1K Following 21 · learning about the computer · professional chair sitter
Collin Kruger @CollinKruger
25 Followers 3K Following Living someone else's life. Counting the days till I'm done. Retweets/Likes could mean anything.
Medby @aptula147
158 Followers 1K Following web3 sec crypto enthusiast https://t.co/3JfX8aAWeI https://t.co/TAyUtye5Yp
Obiloq @Obiloq175
17 Followers 967 Following
長岡康平 @nino11033220
24 Followers 1K Following
Shreeyash Pandey @b0jle
251 Followers 1K Following systems engineer, ml compilers, FPGAs, EDA, GPUs and fun
ehab Abdelrehim @1451967ehab
23 Followers 1K Following
Tawwer @Tawwer16416
12 Followers 520 Following
̤̣̈̇ sharmaine ̈... @bahnmibaby
37 Followers 920 Following
Myra Morrison @MyraMorris85115
1 Followers 173 Following Recruiting webshell engineers to penetrate web sites, with a monthly salary of up to $100,000. If interested, please co ntact https://t.co/sCpDSKgi3l
Richard Marmorstein @twitchard
669 Followers 1K Following AI DevX @tryramp. Formerly @hume_ai, @stripe, @vimeo. Software hot takes, shower thoughts, and weird parenting tales | kids (3yo, 1yo) | 2 tiny dogs
Brett Evans @brettevans
585 Followers 5K Following
Norogouw @Norogouw124182
4 Followers 485 Following
Luigi Schamberger-Wil... @Schamberge21989
120 Followers 3K Following
Thanh-Hai Tran @thanh_hai_tran
19 Followers 18 Following
SidiMohamed Beillahi @SBeillahi
46 Followers 261 Following Postdoctoral researcher at @UofT PhD from @IRIF_Paris - @Univ_Paris
Yashwardhan Singh Tha... @YashwardhanSt
594 Followers 648 Following Web Developer | Open for Work Opportunities | Building Scalable Web Solutions | DM for Collab. #100DaysOfCode
Fresmoo @FresmooQEzhRFQ
73 Followers 1K Following
ax @AosenX
12 Followers 524 Following
Didaw @Didawi8pv0fl
53 Followers 3K Following
Dashot @Dashotgyy
112 Followers 5K Following
Katherine @sonra25
388 Followers 1K Following The ultimate happiness of life is the journey to the ultimate destination of life. But how many people can travel to the ultimate destination of life?
Derek @dhsorens
546 Followers 2K Following researcher | formal verification protocol snarkification at @ethereumfndn
Rurorse @Rurorse5uVGJ
33 Followers 3K Following
chair @tablefourthree
174 Followers 3K Following
Soreshar @Soreshar3epFd
103 Followers 3K Following
Evelyn @obuchikiku35227
88 Followers 7K Following
Thomas Pani | blltprf... @audithare
82 Followers 207 Following Model-based adversarial testing for distributed systems. Executable specs, stronger oracles, fewer outages and 3am pages. Make software boring again.
sanyi.eth @sanyi_eth_
267K Followers 7K Following allin @HyperliquidX 努力做一个alpha博主，所有的推文都不构成投资建议 带🍚的推文是恰饭，不带的是正常的推文 #版本弃子 #链上电子乞丐 #话痨 wait for the wind collab➡️https://t.co/O5qim99YIe
Tinead @TineadC3WS
48 Followers 2K Following
Daejun Park @daejunpark
2K Followers 252 Following
Shriram Krishnamurthi... @ShriramKMurthi
23K Followers 4K Following @BrownCSDept/@BrownUniversity • @BootstrapWorld • @PyretLang • @racketlang • Unreasonably excited about compsci, education, cycling, cricket, human experience.
Talia Ringer 🕊🪬 @TaliaRinger
33K Followers 7K Following Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, justice. Mom. They/היא, ND, bi
Loris D'Antoni @lorisdanto
9K Followers 775 Following A Professor @ucsd_cse. Scholar at Code Metal. Helps people write programs they can trust.
Satnam Singh @satnam6502
22K Followers 3K Following Punjabi-Scottish-American working at @HarmonicMath. Cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx}
Ilya Sergey @ilyasergey
8K Followers 980 Following Associate Professor at @NUSComputing. Working on programming languages, distributed systems, and proof engineering – all of that in Lean.
Kristopher Micinski -... @krismicinski
7K Followers 3K Following Lover of Datalog and its relationship to the lambda calculus. Tweets do not represent *anyone's* views, especially mine.
Derek Dreyer @HerrDreyer
3K Followers 209 Following Get used to disappointment. (Opinions are my own and do not reflect the views or opinions of my employer.)
Andrew Myers @AndrewCMyers
5K Followers 298 Following Professor, Cornell Department of Computer Science. Programming Languages, Security, Systems. All opinions my own.
Mike Hicks @michael_w_hicks
5K Followers 467 Following Senior principal scientist@AWS & emeritus prof@UMD. Programming languages and security. Cedar https://t.co/5X4WKErcqQ. Inactive: see my WWW for new location
Steve Blackburn (@ste... @stevemblackburn
2K Followers 892 Following Computer scientist, researcher, dad, husband, runner, hiker, collector of garbage. Google Research Scientist, ANU Professor. https://t.co/zPlLF6sKVX
Brendan Dolan-Gavitt @moyix
33K Followers 6K Following Building offsec agents: https://t.co/G9EtnC2Gl3 PGP https://t.co/3WXr0RfRkv
Sam Tobin-Hochstadt @samth
4K Followers 1K Following Associate Professor, @IULuddy · Core Developer, @racketlang · Member, @TC39 · Handler, @gravemaker_ulti · @[email protected]
Andreas Zeller @AndreasZeller
10K Followers 216 Following Software researcher at @CISPA. Testing and analyzing software for a better world. Find me at @[email protected] or @[email protected].
Laurence Tratt @laurencetratt
4K Followers 313 Following Shopify / Royal Academy of Engineering Research Chair in Language Engineering.
Alastair Donaldson @afd_icl
3K Followers 422 Following Professor of Programming Languages at Imperial College London
KC Sivaramakrishnan @kc_srk
5K Followers 4K Following Profing @iitmadras. CTO @tarides_. Trustee https://t.co/WE1No5QqOA.
Ben L. Titzer @TitzerBL
2K Followers 346 Following Director of the WebAssembly Research Center at Carnegie Mellon University. Principal Researcher. Wasm co-founder. Former V8 engineer. Compilers!
Toby Murray @tobycmurray
1K Followers 642 Following Go find me at @tobycmurray.bsky.social. Assoc Prof at @UniMelb and @cis_unimelb cyber lead; @DSI_VIC Director; @UniofOxford DPhil (@HertfordCollege); He/him
Ilia Vlasov @fastreedsolomon
606 Followers 587 Following I prove and verify things at @NethermindEth | rust, haskell | compilers and hardware aficionado | ex-category theorist | opinions are mine
Vanishree Rao @vanishree_rao
7K Followers 507 Following Founder @fermah_xyz | cryptography PhD | Achieving Headless Economy with Protocol Agency, starting with @flashcastsocial
Aztec Foundation @aztecFND
3K Followers 62 Following The Aztec Foundation is a nonprofit organization that supports the growth and development of open-source programmable privacy.
Michael Haupt @haupz
363 Followers 540 Following Product & Tech SVP at Quandoo. Programming languages nerd. Husband and father. Believer and singer. Cat ownee. Opinions are my own. Tweets are ephemeral.
Nethermind @Nethermind
32K Followers 961 Following Leading blockchain infrastructure and research company building secure systems for Ethereum, AI, and verifiable digital identity
Mitchell Hashimoto @mitchellh
206K Followers 146 Following Creator of Ghostty. 👻 Prev founded @HashiCorp, created Vagrant, Terraform, Vault, and others.
Besu, an LF Decentral... @Besu_eth
2K Followers 73 Following Besu is an open source Ethereum client developed under the Apache 2.0 license and written in Java. Hosted by @lfdecentralized. All are welcome.
Raul Riesco, PhD @rriescog
558 Followers 2K Following Security @0xPolygon | prev. founder @bwhitehackers, cofounder and CISO @BabylonFinance | VP Telefónica 11paths | Deputy Director @INCIBE | personal opinions
Thanh-Hai Tran @thanh_hai_tran
19 Followers 18 Following
Argot Collective @argotorg
2K Followers 8 Following Non-profit, independent collective building and maintaining the core infrastructure for Ethereum applications.
Daejun Park @daejunpark
2K Followers 252 Following
Josselin Feist @Montyly
5K Followers 1K Following Working on blockchain security & program analysis. Ex @trailofbits. DM for security reviews
Paul Gafni @Paul_Gafni
852 Followers 609 Following Math educator, cryptography researcher, artist. Current projects: https://t.co/UHxueOxNY7 https://t.co/jfxnznohRT Formerly @risczero @mathforlove
cvc5 Solver @cvc5_solver
113 Followers 16 Following cvc5 is an efficient open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
merkleplant.eth @merkleplant_eth
1K Followers 890 Following Smart contract lead @ChronicleLabs 📖 | Huffooooor 🐴 | street cryptography and monetary theory | ex-maker, prev. Security Researcher @spearbitdao, @code4rena
Solal Pirelli @SolalPirelli
383 Followers 342 Following No longer active here, see bsky. Automated software verification, scientific integrity, and random rants. Previously: PhD at EPFL.
Julian Sutherland @ Z... @JulekSU
609 Followers 650 Following PhD @imperialcollege. Head of formal verification @nethermind
LAGRANGE @lagrangedev
100K Followers 88 Following Verifiable computation for AI, defense & enterprise. Halo: coordination engine for autonomous systems. DeepProve: prove every AI inference. @LagrangeFndn $LA
Stefanos Chaliasos @schaliasosvons
811 Followers 266 Following security & research @zksecurityXYZ, Lecturer @ucl - Exploring ZKPs, PhD @imperialcollege
Annibale Panichella @AnniPanic
2K Followers 795 Following Sith apprentice and dark arts supporter. In the spare time, Associate Professor in Software Engineering at @serg_delft, @tudelft and head of the CISELab.
Mohammad @MMJahanara
2K Followers 1K Following researcher/engineer at @ethereumfndn & @cyclesmoney — previously at @scroll_zkp, @quantstamp, @aquanow Women, Life, Freedom پاینده ایران 🕊️
David Wong @cryptodavidw
18K Followers 3K Following security @zksecurityXYZ & advisor @archetypeVC, author of Real-World Cryptography, prev: architect @Mina, sec lead Libra (@Facebook), crypto @NCCGroup
dtheo @infosecual
2K Followers 1K Following @spearbit LSR. @sherlockdefi LSW. @_SEAL_Org and @aplus Board of Directors. Previously: Protocol Security @ethereumfndn, Security Engineer @Google
Jens Ernstberger @0xSerious
735 Followers 3K Following prev. research @UCBerkeley, @SimonsInstitute + @a16zcrypto, PhD @TU_Muenchen
Mate Soos @SoosMate
1K Followers 505 Following Hacker, security architect, and researcher. Hobbies: SAT solving/counting, accident investigations, symbolic execution, rc modeling, art.
Aitana Forcén-Vazque... @AitanaForcen
153 Followers 300 Following Oceanographer, opinions are my own
Clément Pit-Claudel @cpitclaudel
808 Followers 807 Following EPFL (@ICepfl) assistant professor. Compilers, verification, hardware, & IDEs. Also lots of Emacs modes. Previously PhD @MIT and AppSci @AWS.
Ernest Ng @ngernest2
498 Followers 3K Following PL/Systems PhD student @Cornell_CS, pipe organist | he/him
Aaron Eline @aaroneline
277 Followers 380 Following Working on programming languages, systems, and security, or the hard problem of specification. he/him.
Sandra Johnson 🦇�... @sandJohnson
53 Followers 150 Following
Konstantinos Kallas @KonsKallas
1K Followers 542 Following Assistant Professor of CS at UCLA // Systems, Compilers, PL // he/they https://t.co/461Ntl94LE
Cornell CAPRA @cucapra
31 Followers 5 Following
Sergio @Seecoalba
2K Followers 2K Following Security Research, Protocol and Tooling Development across EVM and Non-EVM 🦀 Contact → [email protected]Trends for United States
You might like
PLDI
@PLDI
5K Followers
Isil Dillig
@IsilDillig
4K Followers
Peter O'Hearn
@PeterOHearn12
2K Followers
Ilya Sergey
@ilyasergey
8K Followers
Derek Dreyer
@HerrDreyer
3K Followers
Ben Delaware
@GhostofBendy
1K Followers
Jonathan Aldrich
@JAldrichPL
5K Followers
ECOOP’26 Conference
@ECOOPconf
1K Followers
Zachary Tatlock
@ztatlock
1K Followers
Zhendong Su
@zhendongsu
3K Followers
Grigore Rosu
@RosuGrigore
15K Followers
Eric Eide
@eeide
2K Followers
vollmerm
@ma_vollmer
676 Followers