DON GITO,A MUSICAL TALENT FROM THE SOUTH SIDE OF CHICAGO,BRINGS TO THE TABLE,HIS SOULFUL,AND MELOTIC SONGS ABOUT LIFE IN THE STREETS OF CHICAGO,AND ST.LOUIS.
the world
Joined January 2011
- Tweets9K
- Following7.3K
- Followers1.3K
- Likes32.6K
DON GITO retweeted
$TIG is approaching its first round without a new code merge in roughly five months.
round 141 closes monday evening. no new code qualifies this time, while the leading code handles already cover at least 90% of miners' work in four of seven challenges.
for an early-stage research project, periods like this are part of the process. qualification standards matter, and so does giving new approaches time to emerge.
the real signal isn't whether every round produces a new winner. it's whether the ecosystem continues to attract researchers capable of challenging the current leaders.
that's the competition worth paying for.
🔥Snag these must-haves on SHEIN before they'...
💰Price[$5.82] -53%
🛒Winter Women's Warm And Cozy Fleece Leggings, Soft And Com...
onelink.shein.com/59/67mdugy…
🔥Snag these must-haves on SHEIN before they'...
💰Price[$4.98] -26%
🛒1pc Winter Ear & Neck Warmer Hat With Thermal Lined, Ski F...
onelink.shein.com/59/67j14bl…
DON GITO retweeted
$TIG holds back most of its new tokens until the problem list grows.
tonight 7 challenges are live, so about two thirds of each block reward sit in a vault. the share that pays people rises with every new challenge, reaching the full schedule around 100.
that restraint matters. TIG does not pay as though it already has a broad research market. adding useful problems expands what researchers can earn. growing the research matters more than rushing the emissions.
DON GITO retweeted
Congratulations, amazing achievement!
Fortunately, not being able to *disprove* it is sufficient to save the world...
See here: teapawt.net/tigfoundation/status/2…
Today Axiom formalized the proofs of the celebrated Weil conjectures, foundational pillars of algebraic geometry.
This took us less than a day.
Had the Stacks project not been formalized with high code quality, this success would've not been possible.
What we hope to show is that Stacks is a reusable, foundational library.
With the underlying theory built the right way, formalization of acclaimed results naturally fell, just like "a land mass being silently swallowed by the rising sea."
This is just the first example of such paradigm shift. From machine-assisted *formal proving* of individual theorems, to autonomous swarms **library building** of entire theories.
We are witnessing Grothendieck's vision come to life in Lean.
a first-order logic thinker 🤝 a first-order logic programming language
DON GITO retweeted
We have no idea what humanity is truly capable of. But for the first time, we might have the means to find out.
Follow for more at @tigdoesthings
🔥Snag these must-haves on SHEIN before they'...
💰Price[$5.82] -53%
🛒Winter Women's Warm And Cozy Fleece Leggings, Soft And Com...
onelink.shein.com/59/67c7acb…
Join me on TikTok! Play Trophy Rush and claim up to $70 in rewards before the event ends. tiktok.com/d/1/ZP9fJrxxQA8Fp…
DON GITO retweeted
Large base:0x0c03ce270b4826ec62e7dd007f0b716068639f7b movements out of the Sablier contract caused alarm. John Fletcher’s explanation:
Not a bug. Time-locked contracts can’t send tokens at a set time. They block movement until a date, and after that someone has to send a transaction.
Anyone can send it, but the tokens can only go to the owner’s own address. Someone paid the Base gas fees to move them.
Reading the chain: movement out of a vesting contract is an unlock claimed by a third party, not selling. The signal to watch is what recipient addresses do afterwards.
base:0x0c03ce270b4826ec62e7dd007f0b716068639f7b
DON GITO retweeted
Congrats! 🎉 You Get Exclusive Coupons! 🎁
💰60% OFF coupon for new users only 🌟 Search B5326P5 on the SHEIN App or 🌟 Click the link to get started!
onelink.shein.com/59/677hdok…
