織田 ブロレンジ / Bitcoin Extensionalist / Bitcoin: Moneda es Pueblo / Tautological Orthodoxy / CLO Chief Language Orchestrator @interMemetica & @LaggardLabs
∅Δ∀ ℝ{∃X∈₿}
Joined August 2024
- Tweets5.9K
- Following3.1K
- Followers594
- Likes27.8K
!_Oda retweeted
Bitcoin payments don’t have a technology problem. They have a reason-to-use-them problem. Last week, we asked the community how to change that. Find our summary here: spiralxyz.substack.com/p/val…
!_Oda retweeted
BCK rolls back Colcard hack, by the way.
Cut off is a whole halving ago, though.
767429
!_Oda retweeted
I’m seeing a lot of mathematicians making software and a lot of software developers learning math.
I think this may be the most insane lock-tf-in-winter of all time for humanity.
!_Oda retweeted
A force directed weak 3-category. Higher structured forces on all shapes makes the big guys legible.
!_Oda retweeted
My research lab has built a kit that lets AI coding agents do formal verification, automatically as they generate the code. Try it: kit.intentcomputing.org.
We’re about to run it on lots of open source systems to find real bugs.
Which libraries or systems should we go after?
!_Oda retweeted
Giving up on esplora, mempool-esplora, and electrs. rbitcoin is the only thing we support now.
github.com/reardencode/rbitc…
!_Oda retweeted
I’ve never been able to draw, until I learned to turn math ideas into code and explore visualizing things. More than 20 years ago I started with @WolframResearch Mathematica, now ~1000 #Python scripts: from complex analysis to statistical mechanics to fractals.
#builtWithMarimo
!_Oda retweeted
You will have to merge your brain with future cognitive systems in order to remain at the edge of mathematical development.
It took me 6 years to get over the depression that the existential crisis of this realization caused. Not crisis for loss of supremacy, crisis for the prediction of giving up all that I and my genetic history have ever known.
This universe is so much bigger and stranger than what the collective human experience, and especially your personal entire life, has ever witnessed.
!_Oda retweeted
it’s incredible how well the @base58school work(shop) levels people up every. single. time.
!_Oda retweeted
We've been working for decades to reduce the amount of cognitive and keyboard overhead in simply communicating with the machine while developing software. LLMs are a realization of the first natural language programming interface that actually works, and for some reason people are very confused about it.
Some folks think it's their new God and others think it's an unholy terror when it's just a natural language interface between man and machine that actually works.
This is backward. Software used to be about programming, which was about thinking and typing.
Now it's about truly building things, pretty much at the speed you can think.
The big difference is taste. 10 years ago a great programmer didn't need taste. There was too much work to do, someone else could handle that part.
Now you need taste, and you face a constant stream of decisions. You can't hide in the bits anymore!
When we built TMOG, it wasn't a prompt - it was HUNDREDS of prompts placed by multiple devs for months. AI didn't create the interface - we did, with hundreds if not thousands of small decisions.
That's the irony - to me, it was ALL craft. And I didn't miss the typing at all.
tmog.org
!_Oda retweeted
A quantum system can complete a cycle and return to its original physical state, yet retain a measurable trace of the journey. During slow, cyclic evolution, its wavefunction can acquire an additional phase that depends on the path taken through parameter space.
This is the Berry phase. For a spin-½ system, the geometric phase is related to the solid angle enclosed by the path on the Bloch sphere, γ = −Ω/2. Its deeper significance is that quantum evolution can retain information about the geometry of a path, even after the system returns to its starting point.