Pinned post
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.
Jason Dreyzehner
Verified account This account is verified. Learn more@bitjson
Software security, markets, and bitcoin cash. Working on $BCH and @Bitauth, previously @BitPay. Lead maintainer @ChaingraphCash, @Libauth, and @BitauthIDE.
729 Following 5.1K Followers 1.7K Posts
Latest posts 5
GPT-6 Pro seems to underperform astra max right now?
Anecdata model ranking on large scale software project planning:
Opus 5.5: originality, overall knowledge
Astra: getting the details right
@grok 4.7: clearest writing/thinking
IMO Grok also outperforms on faster iteration/experimentation (esp. managing resources in autoresearch loops), even if it's less knowledgable right now on many subfields – I expect Grok to move up the ranks fast.
Anecdata model ranking on large scale software project planning:
Opus 5.5: originality, overall knowledge
Astra: getting the details right
@grok 4.7: clearest writing/thinking
IMO Grok also outperforms on faster iteration/experimentation (esp. managing resources in autoresearch loops), even if it's less knowledgable right now on many subfields – I expect Grok to move up the ranks fast.
🚀
Introducing Magnetar from Microsoft Research, the first zkVM that is: (1) general-purpose (RV64), (2) post-quantum from standard hashes alone (no curves, no lattices, no Poseidon), and (3) built for recursion.
Despite its conservative security, it is the fastest zkVM: 7.2–8.7 MHz on a laptop, 10–39× faster than existing zkVMs across 15 workloads! An optimized version reaches 9.5–12.8 MHz.
Links in the thread below.View quoted post on X
💯 Still plenty of work to do, but it can and must be done. Beyond the UX gains, all Satoshi-derived nodes will continue to require security hardening this year, and spreading out confirmed throughput by 10× would meaningfully harden node security and tx censorship resistance.
Play to win, not to not-lose. x.com/i/article/2101…View quoted post on X
🚀
Bend 2 is here!
It is a new programming language that blocks AI mistakes via *proof checking* - the same technique big AI labs used to solve open math problems, like Navier-Stokes.
It is also very fast, and runs on GPUs.
Watch the video. Link in the comments.View quoted post on X
