Nodes eat the storage/validation cost for every byte that gets hashed into the chain and miners chase the highest-fee block they can assemble. If inscription/Runes//spam is bidding up fees hard enough, profit-maxing miners will include it 110nodes be damned.
My research lab has built a kit that lets AI coding agents do formal verification, automatically as they generate the code. Try it: https://t.co/YSxFXgFy1H.
We’re about to run it on lots of open source systems to find real bugs.
Which libraries or systems should we go after?
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
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.
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.
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.
Amazon AGI presents Adaptively Looped Diffusion Language Models
Outperforms all evaluated DLMs and the corresponding AR baselines in average benchmark score
proj: https://t.co/iRtX3Q05Xk
abs: https://t.co/V6JnHBuI4g
repo: https://t.co/xLacvhEQz4
model: https://t.co/yh10ENVAxG