Newt6611

🇹🇼 Taiwanese
Blockchain Engineer | System Architect @strikeperps.

[Newt6611 @newt6611]

Another $70,000 into the strike liquidity vaults

$10M by end of year

[Strike | Onchain Perps @strikeperps]

Another $70,000 added since this tweet and now just under $200,000 total.

Looks like a million will come soon

Fresh tutorials coming this week

Banger @realfi_co

[Harsh Kapadia @harshgkapadia]

What an absolutely amazing read on Virtual Memory! Really enjoyed reading it! Thank you for writing it, @abhi9u!

https://t.co/T0djWCRhYW

[Newt6611 @newt6611]

@niang_whale @sz8ng 🔥

[Newt6611 @newt6611]

One of the best integrations of the year. Millions will come into this soon

[Strike | Onchain Perps @strikeperps]

RealFi’s USD stablecoin now closing in on $100,000 in our vault 🔥

[Newt6611 @newt6611]

There’s a clear path for us to do trillions in volume and make over $10M within the next 24 months

[Charles Hoskinson @IOHK_Charles]

Not bad Cardano. Looks like we got the best DeFi

[Newt6611 @newt6611]

Expecting huge growth to close out the year

Team is cooking 🍳

[Strike | Onchain Perps @strikeperps]

Strike Finance has applied to list $STRIKE on CoinMarketCap.

Ticket #1465882

Official STRIKE token (Cardano native asset)
Policy ID: f13ac4d66b3ee19a6aa0f2a22298737bd907cc95121662fc971b5275

https://t.co/bcjLXTSEbT

[Strike | Onchain Perps @strikeperps]

We just shipped another huge feature.

We’ve now integrated RealFI yield into our liquidity vault, earning full yield from them plus our vault returns.

Now earning 50% APR on USD.

Trillions… 🏎️

Link: 🕹️ https://t.co/v9NzTjsk4v

[Newt6611 @newt6611]

We feel we're pretty close to Strike going mainstream. Getting the final things in order this quarter then we should have all the tools to get massively big

[Strike | Onchain Perps @strikeperps]

Strike might be the only perps protocol in the world that is fully owned by its holders in an economically relevant way.

Every dollar we make goes back to our holders and we believe it’s one of the things that will propel us to a billion dollar market cap.

With iOS app launching soon along with efforts to make STRIKE token more widely accessible, we foresee tens of thousands of holders contributing to making Strike massively successful

Day by day… 🏎️

[Francesco @fradamt]

One step closer to 4-8x faster Ethereum finality!

It took some time and lots of tokens, but we now have a formally verified proposal for a decoupled consensus protocol in I* (a future Ethereum upgrade)! Not yet a full spec (up next), but it includes all the key consensus-relevant details to become one.

Since Ethereum aspires to be live without most of the stake online, the protocol involves many more components than a normal BFT protocol, and its correctness involves much more than standard safety and liveness. Those nuanced properties are now verified!

What's more, I came away convinced that all protocol design will involve AI-assisted Formal Verification in the future, both for correctness and iteration speed.

The work wasn't limited to just:

Design the protocol -> Formally verify it

Instead, the loop became more like:

Design -> Formal Model -> Find exactly what breaks and why -> Redesign it.

For a fairly complicated protocol like this one, I think having the Lean model be part of the design loop played a big role in accelerating the process.

A future with agents paired with formal models is a superpower for Ethereum development, because they can then use those models to find exactly where an argument breaks down, formalize counterexamples, test proposed fixes, iterate on the protocol.

Many details that would slip under the radar when asking agents (and indeed, humans) can now be specified exactly and checked by the Lean kernel. This then forces agents to be more precise and lets them make verifiable progress on their own. It's been incredible to see this play out, seeing agents find gaps and propose protocol changes to fix them.

In other words, autoresearch can speed up protocol design, formal verification is here to stay, and Ethereum Finality will get faster.

[NVIDIA HPC Developer @NVIDIAHPCDev]

Introducing CUDA Rust!

CUDA Rust lets you write GPU kernels natively in Rust, not just launch them from it.

Two paths: cuda-oxide for SIMT kernels compiled to PTX, and cutile-rs for Tile-based programming on stable Rust. Both can catch aliasing errors at compile time.

Technical blog: https://t.co/5mYSRnQkBB

[Elon Musk @elonmusk]

Unreal ftw @EpicGames

[Shan Zhang @sz8ng]

Our twitter bio is

"Profit for traders. Yield for LPs. Income for holders."

The mission statement for Strike is to make people money or the professional way of saying it allow people to achieve financial freedom :P.

We have a bunch of tools down the line that helps and trades for you. AI agent that scans the market, have the context that we don't have, and make informed trades.

And if you don't believe AI can do that for you yet, we have custom trading strategies built by quant from the top trading firms in the world.

Copy trading is just the first step.

Higher.

[Tooly @ToolySOL]

Crypto explained……

[Newt6611 @newt6611]

IMO game engines are the most interesting topic in software engineering.

[ThePrimeagen @ThePrimeagen]

bought it, will read it, will report back

[Newt6611 @newt6611]

Do you like geometry?

[Newt6611 @newt6611]

Glyphcore, First gameplay footage.

Still early, but it's finally starting to feel fun.

[Jeff Dean @JeffDean]

Announcing Discovery Loop!

I am very excited to announce that, along with my longtime friends and collaborators @Sanjay_Ghemawat, @OriolVinyalsML and @quocleix, we are founding Discovery Loop (@DiscoLoopAI), a Public Benefit Corporation whose mission is to automate machine learning, science, and engineering to accelerate discoveries and progress. The four of us have worked together for 14 to 30 years, and have helped build some of the world’s most used products, infrastructure and AI models, and we’re excited to turn our attention to this ambitious endeavor.

♾

Learn more at: https://t.co/Rv3LMdLluK

[Strike | Onchain Perps @strikeperps]

One of our biggest features is now live: Request for Quote (RFQ) 🔥

RFQ lets traders execute large orders with minimal impact by sourcing liquidity from venues like Binance, Hyperliquid and Lighter into one unified order book on Strike.

$50M volume days loading… 🛥️

[區塊先生 🐡 ⚠️ (rock #58) @mrblock]

@opensea 創始人做一年多的 @OpenRouter 剛被 @stripe 以 $100 億美金收購。

所以說真的不用執著幣圈，
該換賽道就換，不必內耗。

[Mitchell Hashimoto @mitchellh]

I've started a new company: @superlogical! We're going to begin by building a terminal multiplexer. The entire vision is much larger, but the multiplexer is the foundation. Sign up for the newsletter to get beta access and devlogs (product updates only I promise).

https://t.co/XJuqufkmCd