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
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…
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…
192
79
664
96K
17
Download Video
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! ✉️
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! ✉️
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
100% this. RISCV is actually very inefficient for ZK, there's no reason why a custom ISA shouldn't be chosen for this
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…
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…
David J. Pearce retweeted
As a prelude to the upcoming zkVM 1.2.0 release, I want to share a quick history of “precompiles” in zkVMs. 🧵⬇️
Our panel on Formal Verification in the Ethereum Protocol: youtube.com/live/K5jLZJfX2…
Formal Verification Hangout @ DevCon!
The EF gets serious about Formal Verification? Great! argot.org
Cannot believe I’m only just hearing about this!!! 😆 youtu.be/tWTkK4BjKeA?si…
Shriram Krishnamurthi... @ShriramKMurthi
21K Followers 4K Following @BrownCSDept/@BrownUniversity • @BootstrapWorld • @PyretLang • @racketlang • Unreasonably excited about compsci, education, cycling, cricket, human experience.
Talia Ringer 💚 @TaliaRinger
29K Followers 7K Following Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, justice. Mom. They/היא, ND, bi
Satnam Singh @satnam6502
19K Followers 3K Following Punjabi-Scottish-American computer scientist, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx}
Ilya Sergey @ilyasergey
6K Followers 959 Following Associate Professor at @NUSComputing. Programming languages, Lean proofs, distributed systems. Ex-@UCLCS, @IMDEA_Software, @JetBrains. PhD from @KU_Leuven.
Steve Blackburn (@ste... @stevemblackburn
2K Followers 900 Following Computer scientist, researcher, dad, husband, runner, hiker, collector of garbage. Google Research Scientist, ANU Professor. https://t.co/zPlLF6sKVX
Brendan Dolan-Gavitt @moyix
30K Followers 6K Following Building offsec agents: https://t.co/G9EtnC2Gl3 PGP https://t.co/3WXr0RfRkv
Laurence Tratt @laurencetratt
4K Followers 310 Following Shopify / Royal Academy of Engineering Research Chair in Language Engineering.
Alastair Donaldson @afd_icl
3K Followers 430 Following Professor of Programming Languages at Imperial College London
KC Sivaramakrishnan @kc_srk
4K Followers 4K Following Profing @iitmadras. CTO @tarides_. Trustee https://t.co/WE1No5QqOA.
Ben L. Titzer @TitzerBL
2K Followers 349 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 632 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 565 Following
SPLASH Conference @splashcon
3K Followers 287 Following SPLASH: ACM Annual Conference on Systems, Programming, Languages, Applications: Software for Humanity #SPLASH2025 #SPLASH25
Jonathan Aldrich @JAldrichPL
4K 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 352 Following Prof. at IU, dad, runner, cook, programming language design, gradual typing, generic programming, type systems, mechanized proofs. @[email protected]
Tim McNamara @timClicks
24K 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/KNwWLHMbK2 🌿 asst professor @UMichCSE 🍃 poetry 🪸 dendrites 🎶 immersion 〰️ wavy nerd crew
Stefan Marr @smarr
2K Followers 470 Following Researcher, Royal Society Industry Fellow, Senior Lecturer. Working on interpreters, compilation, concurrency, and debugging tools.
Anooriv @Anooriv9872
65 Followers 2K Following
Valeria @Ipluipdea9170
18 Followers 905 Following The best protection any woman can have is courage.
Vuiqo @Vuiqo14895
42 Followers 1K Following
Obiloq @Obiloq175
22 Followers 945 Following
長岡康平 @nino11033220
44 Followers 2K Following
Shreeyash Pandey @b0jle
208 Followers 1K Following systems dev @Vicharak_In, ml compilers, FPGAs, EDA, GPUs and fun
ehab Abdelrehim @1451967ehab
34 Followers 2K Following
Tawwer @Tawwer16416
11 Followers 553 Following
̤̣̈̇ sharmaine ̈... @bahnmibaby
39 Followers 938 Following
Myra Morrison @MyraMorris85115
4 Followers 175 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
680 Followers 1K Following Developer platform @hume_ai. Formerly @stripe, @vimeo. I post software hot takes, shower thoughts, and weird parenting tales | kids (3yo, 1yo) | 2 tiny dogs
Donnell Bruen @bruen_donn20364
51 Followers 2K Following
Brett Evans @brettevans
591 Followers 5K Following
Norogouw @Norogouw124182
3 Followers 498 Following
Luigi Schamberger-Wil... @Schamberge21989
118 Followers 3K Following
Thanh-Hai Tran @thanh_hai_tran
20 Followers 18 Following
SidiMohamed Beillahi @SBeillahi
47 Followers 235 Following Postdoctoral researcher at @UofT PhD from @IRIF_Paris - @Univ_Paris
Yashwardhan Singh Tha... @YashwardhanSt
648 Followers 665 Following Web Developer | Open for Work Opportunities | Building Scalable Web Solutions | DM for Collab. #100DaysOfCode
Fresmoo @FresmooQEzhRFQ
83 Followers 1K Following
ax @AosenX
22 Followers 459 Following
Didaw @Didawi8pv0fl
67 Followers 3K Following
Dashot @Dashotgyy
127 Followers 5K Following
JoyMarner @ikU5b6HfEHeQc50
86 Followers 7K Following
Katherine @sonra25
368 Followers 2K 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
279 Followers 2K Following mathematician and theoretical computer scientists, formally verifying smart contracts
Rurorse @Rurorse5uVGJ
30 Followers 3K Following
bk @tablefourthree
156 Followers 2K Following
Soreshar @Soreshar3epFd
117 Followers 3K Following
Evelyn @obuchikiku35227
84 Followers 7K Following
Thomas Pani | blltprf... @audithare
63 Followers 150 Following I help protocol teams ship with confidence using formal methods, fuzzing, and post-deployment security — including smart contracts & distributed systems.
sanyi.eth @sanyi_eth_
249K Followers 6K Following allin @HyperliquidX 努力做一个alpha博主，所有的推文都不构成投资建议 带🍚的推文是恰饭，不带的是正常的推文 #版本弃子 #链上电子乞丐 #话痨 wait for the wind collab➡️https://t.co/O5qim99qSG
Tinead @TineadC3WS
55 Followers 2K Following
Daejun Park @daejunpark
2K Followers 434 Following formal methods @a16zcrypto; prev. director of formal verification @rv_inc; phd @IllinoisCS
Michael Haupt @haupz
369 Followers 513 Following Product & Tech SVP at Quandoo. Programming languages nerd. Husband and father. Believer and singer. Cat ownee. All opinions expressed here are my own.
Tairghored @Tairghored7Qcq
37 Followers 813 Following
Tesaw @Tesaw29T5pA2
46 Followers 860 Following
Shionoal @Shionoalst1HZ
57 Followers 5K Following
Hussain Alqurashi @qurashi_hm
177 Followers 6K Following
Bill Pugh @wpugh
2K Followers 2K Following Professor, software developer, maker, mentor, fire eater. Pronouns: he, him, his.
jorkleo.eth @JorkLeonhardt
281 Followers 2K Following Father // Tech nerd // Cyclist // corpus.core // colibri client
five @fiveoceans_dev
720 Followers 460 Following
Shriram Krishnamurthi... @ShriramKMurthi
21K Followers 4K Following @BrownCSDept/@BrownUniversity • @BootstrapWorld • @PyretLang • @racketlang • Unreasonably excited about compsci, education, cycling, cricket, human experience.
Talia Ringer 💚 @TaliaRinger
29K 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
8K Followers 769 Following A Professor @ucsd_cse. Visiting Academic @AWScloud. Helps people write programs they can trust.
Satnam Singh @satnam6502
19K Followers 3K Following Punjabi-Scottish-American computer scientist, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx}
Ilya Sergey @ilyasergey
6K Followers 959 Following Associate Professor at @NUSComputing. Programming languages, Lean proofs, distributed systems. Ex-@UCLCS, @IMDEA_Software, @JetBrains. PhD from @KU_Leuven.
Andrew Myers @AndrewCMyers
5K Followers 295 Following Professor, Cornell Department of Computer Science. Programming Languages, Security, Systems. All opinions my own.
Mike Hicks @michael_w_hicks
5K Followers 469 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 900 Following Computer scientist, researcher, dad, husband, runner, hiker, collector of garbage. Google Research Scientist, ANU Professor. https://t.co/zPlLF6sKVX
Brendan Dolan-Gavitt @moyix
30K 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, @NaptownUltimate · @[email protected]
Andreas Zeller @AndreasZeller
9K Followers 220 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 310 Following Shopify / Royal Academy of Engineering Research Chair in Language Engineering.
Alastair Donaldson @afd_icl
3K Followers 430 Following Professor of Programming Languages at Imperial College London
KC Sivaramakrishnan @kc_srk
4K Followers 4K Following Profing @iitmadras. CTO @tarides_. Trustee https://t.co/WE1No5QqOA.
Ben L. Titzer @TitzerBL
2K Followers 349 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 632 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
Ron Garcia @rg9119
2K Followers 430 Following Transmogrifies coffee into LaTeX at University of British Columbia
Bartosz Milewski @BartoszMilewski
35K Followers 34 Following Physicist, programmer, mathematician. Author of Category Theory for Programmers. @[email protected]
Ilia Vlasov @fastreedsolomon
645 Followers 607 Following I prove and verify things at @NethermindEth | rust, haskell | compilers and hardware aficionado | ex-category theorist | opinions are mine
Olivier Bégassat @zk_evm
214 Followers 385 Following
Vanishree Rao @vanishree_rao
6K Followers 474 Following Founder @fermah_xyz | 15 years and counting in designing and building ZK | PhD in Cryptography at UCLA | mama bear mode
Aztec Foundation @aztecFND
3K Followers 49 Following The Aztec Foundation is a nonprofit organization that supports the growth and development of open-source programmable privacy.
Michael Haupt @haupz
369 Followers 513 Following Product & Tech SVP at Quandoo. Programming languages nerd. Husband and father. Believer and singer. Cat ownee. All opinions expressed here are my own.
Nethermind @NethermindEth
34K Followers 935 Following Engineering and research solutions, empowering developers & enterprises to build upon the decentralized web. Ethereum @NethermindEth Starknet @NethermindStark
Mitchell Hashimoto @mitchellh
141K Followers 139 Following Working on a new terminal: Ghostty. 👻 Prev: founded @HashiCorp. Created Vagrant, Terraform, Vault, and others. Vision Jet Pilot. 👨✈️
Besu, an LF Decentral... @HyperledgerBesu
2K Followers 72 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
547 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
20 Followers 18 Following
Argot Collective @argotorg
2K Followers 5 Following Non-profit, independent collective building and maintaining the core infrastructure for Ethereum applications.
Daejun Park @daejunpark
2K Followers 434 Following formal methods @a16zcrypto; prev. director of formal verification @rv_inc; phd @IllinoisCS
Josselin Feist @Montyly
4K Followers 907 Following Working on blockchain security & program analysis. Ex @trailofbits. DM for security reviews.
Paul Gafni @Paul_Gafni
857 Followers 570 Following Math educator & artist. Passionate about play, simplicity, curiosity, and empowerment. Working with @RiscZero and @MathforLove. Tweets are my own.
cvc5 Solver @cvc5_solver
110 Followers 16 Following cvc5 is an efficient open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
merkleplant.eth @merkleplant_eth
1K Followers 820 Following Research Engineer @ChronicleLabs 📖 | Huffooooor 🐴 | street cryptography and monetary theory | ex-maker, prev. Security Researcher @spearbitdao, @code4rena
Solal Pirelli @SolalPirelli
386 Followers 349 Following Automated software verification, scientific integrity, and random rants. Previously: PhD at EPFL.
Julian Sutherland @JulekSU
516 Followers 425 Following PhD @imperialcollege. Head of formal verification @nethermindeth
LAGRANGE @lagrangedev
128K Followers 85 Following Bringing trust and safety to our AI-powered world ∞ Lagrange's DeepProve verifies AI inferences with zero-knowledge proofs ∞ @LagrangeFndn for $LA updates
Stefanos Chaliasos @schaliasosvons
507 Followers 239 Following security & research @zksecurityXYZ - Exploring ZKPs, PhD @imperialcollege
Annibale Panichella @AnniPanic
2K Followers 817 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.
David Wong @cryptodavidw
16K Followers 3K Following security @zksecurityXYZ & research @archetypeVC, author of Real-World Cryptography, prev: architect @Mina, sec lead Libra (@Facebook), crypto @NCCGroup
dtheo @infosecual
2K Followers 1K Following Protocol Security Research at the Ethereum Foundation. @_SEAL_Org Board of Directors.
Jens Ernstberger @0xSerious
656 Followers 2K Following building - prev. research @UCBerkeley + @a16zcrypto, PhD @TU_Muenchen
Mate Soos @SoosMate
1K Followers 479 Following Hacker, security architect, and researcher. Hobbies: SAT solving/counting, accident investigations, symbolic execution, rc modeling, art.
Aitana Forcén-Vazque... @AitanaForcen
149 Followers 307 Following Oceanographer, opinions are my own
Clément Pit-Claudel @cpitclaudel
819 Followers 814 Following EPFL (@ICepfl) assistant professor. Compilers, verification, hardware, & IDEs. Also lots of Emacs modes. Previously PhD @MIT and AppSci @AWS.
Ernest Ng @ngernest2
507 Followers 3K Following Programming Languages PhD student @Cornell_CS | he/him
Aaron Eline @aaroneline
218 Followers 338 Following Automated Reasoning Group at AWS. Working on programming languages, testing, and security. he/him
Colimit @ColimitAI
86 Followers 10 Following Autofix Failed Builds: AI-powered Root Cause Analysis for CI.
Sandra Johnson 🦇�... @sandJohnson
50 Followers 149 Following
Ben Edgington @benjaminion_xyz
21K Followers 272 Following Ex @OPLabsPBC and @Consensys_Teku. Older than Vitalik's dad.
Konstantinos Kallas @KonsKallas
1K Followers 535 Following Assistant Professor of CS at UCLA // Systems, Compilers, PL // he/they https://t.co/461Ntl9CBc
Cornell CAPRA @cucapra
32 Followers 5 Following
Sergio @Seecoalba
2K Followers 2K Following Security Researcher | Blockchain Developer EVM / Non-EVM 🦀 | Ex Co-founder of @ZealynxSecurity | Contact → [email protected]Trends for United States
35,9 B posts
49,2 B posts
39,4 B posts
20,8 B posts
25,9 B posts
1.929 posts
6.322 posts
1.786 posts
125 B posts
1.714 posts
9.187 posts
29,9 B posts
3.073 posts
4.321 posts
18,1 B posts
1.111 posts
94 B posts
You might like
Isil Dillig
@IsilDillig
4K Followers
Peter O'Hearn
@PeterOHearn12
1K Followers
SPLASH Conference
@splashcon
3K Followers
Ilya Sergey
@ilyasergey
6K Followers
Derek Dreyer
@HerrDreyer
3K Followers
POPL 2026
@poplconf
3K Followers
Jonathan Aldrich
@JAldrichPL
4K Followers
Zachary Tatlock
@ztatlock
1K Followers
Preetha Chatterjee
@PreethaChatterj
1K Followers
Grigore Rosu | π²
@RosuGrigore
19K Followers
Eric Eide
@eeide
2K Followers
vollmerm
@ma_vollmer
675 Followers