John (@johncalhooon)

Pinned post

For 17 years the rules of BitCoin script have lived in one place: the node's C++.

Not anymore.

All of BSV consensus as a Lean 4 definition that runs.
- 0 sorry.
- 1,896 theorems, every rule cited to its source.

Run any engine against it: a disagreement comes back as a transaction, not an argument.

Prove a contract instead of testing it.

Public today.

John @johncalhooon 21m

Congratulations to the Association, and thanks to @CalvinAyre for funding the work that shipped Teranode and Chronicle.

A request for the FAQ from a self-funded developer: products like mine have to hold BSV to operate, so the treasury's policy is now a planning input for builders. It would help to know:

1. Which addresses hold the donated coins
2. Whether there is a lock-up or schedule
3. How any sales would be done (announced ahead, capped per period, off thin order books)
4. How often the Association will report on it

Clear rules would make a large treasury a strength for everyone building on the chain.

BSV Association Verified account @BSVAssociation 1h

Big week for BSV Association.

@CalvinAyre, Founder & Chairman of Ayre Group, has donated his BSV holdings to BSVA – a powerful vote of confidence in our mission and the BSV blockchain.

Calvin has backed this mission for nearly a decade. His support helped deliver Teranode, built to handle enterprise-scale transaction volumes, and Chronicle, which restored the original Bitcoin protocol.

We’re sincerely grateful for his support and commitment over the years.

For our partners, builders and community, the mission stays the same, albeit supercharged: adoption at scale, through peer-to-peer transactions for identity, data integrity and payments.

In practice, that means backing great tech solutions and dedicated builders, and maximising access, to deliver real value for businesses and individuals across the globe.

Full pace ahead. Plenty more to come, including answers to top FAQs from after some key announcements this week.
View quoted post on X

John @johncalhooon 5d

After building a few consumer apps on BSV, I’m starting to question whether BRC-100 is the right default for user-facing products right now.

A lot of the apps that actually have users still don’t use it, and even the Association highlights plenty of non-BRC-100 experiences.

Not saying the standard is dead.... just wondering if the complexity is worth it for consumer UX at this stage. Curious what other builders are seeing.

John @johncalhooon 5d

The 100 year marathon update

Jim Cramer Verified account @jimcramer 5d

these are what i am concerned about

View quoted post on X

John @johncalhooon Nov 3

“AI Integrity, signed by universal truth”

Should we tell them?

Yogi Verified account @Yogi_Brn Nov 3

@AnthropicAI is recognizing the importance of provable inference, and naming @attestable as the state of the art!

We are the only practical solution in the market that also support floating points, and there's much more exciting stuff coming soon!

anthropic.com/research/prova…
View quoted post on X

John

Latest posts 5