1. X
  2. Jason Dreyzehner
Log inSign up
Jason Dreyzehner
1,677 posts
Image
user avatar
Jason Dreyzehner
@bitjson
Software security, markets, and bitcoin cash. Working on $BCH and @Bitauth, previously @BitPay. Lead maintainer @ChaingraphCash, @Libauth, and @BitauthIDE.
New Hampshire
blog.bitjson.com
Joined November 2009
720
Following
5,147
Followers
RepliesRepliesMediaMedia

Log in or sign up for X

See what’s happening and join the conversation

Continue with phone
or
Log in with username or email
Terms·Privacy·Cookies·Accessibility·Ads Info·© 2026 X Corp.
  • Pinned
    user avatar
    Jason Dreyzehner
    @bitjson
    May 15, 2023
    Replying to @bitjson
    In the rest of this thread, I'll describe CashTokens and why I think they're an important tool for expanding financial access and protecting human rights.
    13K
  • user avatar
    Jason Dreyzehner
    @bitjson
    May 16
    Bitcoin Cash's 2026 upgrade is live 🎉 first postactivation block is #951145: bch.chaingraph.cash/block/00000000…
    749
  • user avatar
    Jason Dreyzehner
    @bitjson
    Mar 19
    🚀
    user avatar
    Alex Gu
    @minimario1729
    Mar 19
    🚨 Math Inc is introducing FormalQualBench: an open-source benchmark for end-to-end auto-formalization capabilities with math PhD qualifying exam level problems. We build this benchmark for the Lean community, allowing anyone to compare different auto-formalization agents!
    589
  • user avatar
    Jason Dreyzehner
    @bitjson
    Mar 3
    🚀
    user avatar
    Leonardo de Moura
    @Leonard41111588
    Mar 3
    AI is writing a growing share of the world's software. No one is formally verifying any of it. New essay: "When AI Writes the World's Software, Who Verifies It?" leodemoura.github.io/blog/2026/02/2…
    635
  • user avatar
    Jason Dreyzehner
    @bitjson
    Mar 3
    🔥
    user avatar
    Math, Inc.
    @mathematics_inc
    Mar 2
    We are pleased to share that using Gauss, we have completed a ~200K LOC formalization of Maryna Viazovska’s 2022 Fields Medal theorems on optimal sphere packing in dimensions 8 and 24. This is the only Fields Medal-winning result from this century to be completely formalized,
    579
  • See @bitjson's full profile

    Sign up
    Log in
Advertisement
Advertisement