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.
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
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
💯 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.
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.