Ant1 L.

[Ant1 L. @ant1lt]

@milalolli 🇬🇧

[GRITCULT @GRITCULT]

Every ai company is looking to open an office in London.

unreal levels of bullishness here.

yet the oversocialised extremely online influencers keep fear mongering about the state of the UK and london....

[Ant1 L. @ant1lt]

Lfg !!!

[TBPN @tbpn]

BREAKING: Logical Intelligence has signed Meta’s former Chief AI Scientist @ylecun as the Founding Chair of the Technical Research Board

[Brian Armstrong @brian_armstrong]

Epic

[Logical Intelligence @logic_int]

We just tested Aleph prover on this version of Erdos #124 problem and were able to prove it in less that 2.5 hours and under $200 in cost: https://t.co/Q8boT8zOh2
https://t.co/xsyWv2ehDC

[Ant1 L. @ant1lt]

The future of AI is @logic_int !!! The strongest team ever assembled in AI - Fields medalists and ICPC champions create the first formal AI built for mission critical use cases.

[Logical Intelligence @logic_int]

The only viable future for AI is non-autoregressive. It's upon this founding principle that we built Logical Intelligence — a company dedicated to making mission-critical software secure through AI formal verification.
We’re launching two AI agents + a new foundation model to deliver provably correct code, faster than ever before.
➡️ Non-autoregressive
➡️ Energy-based
➡️ Built for 100% mathematically precise reasoning

Unlike LLMs, our model doesn’t stumble piece by piece — it solves holistically, like magnets snapping a puzzle into place.

[Ant1 L. @ant1lt]

Spring (and the tube strike) has sprung in London

[Ant1 L. @ant1lt]

@functi0nZer0 Congrats boss

[Sentora @SentoraHQ]

We're live in 10 minutes with @ant1lt from @eulerfinance, @MattSchmenk from @AvaLabs & @LucasOutumuro representing Sentora👇

https://t.co/AhqbyuIuKR

[Ant1 L. @ant1lt]

Never give up

[Euler Labs @eulerfinance]

Euler v2 turns 1 today.

No way we could've done it alone.

Incredible things happen when you don't give up.

[Ant1 L. @ant1lt]

Thank you to our users and partners - proud to be part of that journey. Forza @eulerfinance 👊🏻

[Euler Labs @eulerfinance]

$3B total deposits on Euler.

All in under a year since launch. Accelerate.

[Ant1 L. @ant1lt]

Months in the making - the next era of institutional lending is finally here !

[Euler Labs @eulerfinance]

A new era for institutional lending starts today.

Euler is proud to introduce the first zkVerified lending vault.

Institutions can now access DeFi while maintaining full privacy and compliance standards.

Enabled by @KeyringNetwork on @Avax.

$570,000 incentives to start ↓

[Euler Labs @eulerfinance]

Some big wins in July for Euler:

• EulerSwap hit $1.8 billion in volume
• Gemini listed $EUL
• Deployed on Arbitrum
• Official launch on Telegram
• Euler first credit card live w/Brahma
• New ATH of deposits, fees and borrows

[Dennis Dinkelmeyer @DDinkelmeyer]

I commend you @George_Osborne.

It is true. London has lost it's edge in finance and is far behind in crypto, despite a deep pool of talent and capital.

Time to speak out. Time to change things.

[Ant1 L. @ant1lt]

@telegram is our industry’s and the people’s messaging app, by far the best , and @TacBuild is it’s operating system for on-chain finance and much more. Together we bring internet capital markets and @eulerfinance to the next 1bn users. Forza @eulerfinance forza @TacBuild

[Euler Labs @eulerfinance]

It’s here.

Euler is officially live on Telegram via @TacBuild.

1 billion users can now lend and borrow as easily as sending a message.

Incentives: $300K $TAC + $100K rEUL

[alicia katz @aliciakatz]

when you have survived the worst things anyone can imagine, working hard is nothing. we trust each other and know how to do whatever it takes. we have just begun.

[Telos Consilium @TelosConsilium]

We are proud to be the first external team to operate a pool on @eulerfinance’s EulerSwap!

With just a $100k NAV we achieved $1M in daily volume, routing a single massive $1.35M swap seamlessly, showcasing the potential of this product.

A few highlights 👇

[Avant @avantprotocol]

Avant is doing the unthinkable: Bringing an even higher-yielding dollar to Avalanche.

Join us as we unveil $avUSDx with @ant1lt, the Head of BD at @eulerfinance.

Tomorrow, July 9th, 1 PM ET. 🎯

[Frosty @frostyxbt]

For the builders in Cannes🗣️🗣️🗣️

Euler is an ETHGlobal partner with a $5k prize to build a product with EulerSwap! We welcome submissions of all kinds, experiment however you want with it.

Please don’t hesitate to DM me here or visit the official @ETHGlobal Discord to post your questions in Euler’s partner channel. We’re interested in your ideas and how you view the product.

Don’t forget to visit our booth to meet with @aliciakatz and also grab an Euler bucket hat! Bonne chance to all the hackers!

Build on Euler.

[Euler Labs @eulerfinance]

Not your average app in beta.

EulerSwap hits $700M volume in just 29 days.