MK

[Taelin @VictorTaelin]

Anthropic claims they won't launch Mythos because it exposes bugs in software, making it too dangerous.

I'm the creator of a new language named Bend (19k stars on GitHub). Its version 2 is coming next month, including a 10x faster CPU and GPU runtime, compilers to 5 different languages, a massive stdlib, and, most importantly, a *complete proof checker*. That makes it the first general language that can prove the correctness of its own programs, so, conveniently enough, it could be the way out of this very mess Anthropic is worried about.

Sadly, Bend2 is now reaching 100k lines of code, making it increasingly hard for us to audit and verify it all. Proof checkers are particularly security-sensitive, because a single bug can lead to false theorems being accepted, undermining the entire trust model of the system. Even Lean, Coq and Agda had bugs in the past. We just finished Bend's initial consistency checker.

Having Myhos audit our implementation would greatly improve Bend's security. In turn, a secure Bend could greatly improve the security of all other software, providing a solution the very problem that prevents Mythos from being released.

I hope this message reaches someone from Anthropic, and they kindly consider letting Bend2 be part of Glasswing!

[MK @AlpacaUser]

@SolSt1ne @Polymarket DM me the link, i would love to try

[Crypto Briefing @Crypto_Briefing]

https://t.co/T9SihONDem

[matt @mattdotfi]

https://t.co/3flew8Ny0J

[Wormhole Foundation @WormholeFdn]

Thank you to the @StargateFinance leadership team for reaching out and engaging in the appropriate consideration of our acquisition bid.

[Vuori Trading @VuoriTrading]

$COTI is getting a solid bounce from this multi year long support!🚀

Weekly RSI forming a (bullish) falling wedge!✌️

The (RSI) breakout would likely send #COTI to $0.32 to test that upper trend line of our pitchfork.

If we get a breakout from the pitchfork, my targets for the bull are $0.73 to $4.6🎯hard to pick more precisely before more data on the chart.

*not financial advice! #COTI #CRYPTO #ALTSEASON

[Crypto Revolution Masters @revolut20]

Token of the day $SKL 💎🔥🔥

[Bitcoin Archive @BitcoinArchive]

Who else wants to see Michael Saylor on the Joe Rogan podcast? 🙋‍♂️

[Stan Kladko 🇺🇦 🇺🇸 🇵🇹 ☮️ @Stan_Kladko]

SKALE Means ZERO GAS FEES

#ethereum

[0xMiya @Mengfan_Miya]

Exciting to see AxonDAO pushing forward with SKALE integration! 🚀 Gasless interactions in DeSci could be a game-changer for researcher adoption. The intersection of scalable infrastructure and decentralized health tools is exactly where we need innovation 🧬

[360hz.hbar @bet420hz]

@fwog_tormado @SturdyFinance @pgpsam @niftyinvest @jollygreenmoney @YumaGroup I have no idea. Can’t find info anywhere. $strdy had a $50mm market cap 2 months ago and now sits at $2mm.

I want to punch someone from that team.

Absolutely zero communication.

@SoftBank @kucoincom explain you slime ball investors

[queenwartooth (🌎,💻) @queenwartooth]

ANON

Lunch

Inb4 my own army floods the comments to tell me to get back to work

(Anti-dopamine as a service, coming soon)

[Chaya Rottenchik @libtiktok]

I’ve formally submitted a governance complaint to SKALE Labs, the NODE Foundation,and core stakeholders regarding the @FAIR_Blockchain launch
and potential breaches of SKALE’s DAO governance rules🧵

@Unchained_pod @CoinDesk @blockworks @decryptmedia @Cointelegraph @DLNewsInfo

[MK @AlpacaUser]

@_sameerrr0 @figma Hero

[Chaya Rottenchik @libtiktok]

This one’s been nagging at me.
If FAiR is a new chain with its own token and upside, why were @SkaleNetwork-funded contributors helping build it?

If $SKL resources supported FAIR, holders deserve proportional return, not a token trickle.

Formal letter to parties pending.
🧵

[BowTiedIguana | Decentralized Technology & Finance @BowTiedIguana]

Everyone go check your Hyperliquid account wasn't converted to a multisig by your signing some random transaction on a HyperEVM protocol website

[ciro @C17HL]

———🚨🚨URGENT🚨🚨 ——— @HyperliquidX
Requesting Immediate Help from Hyperliquid Team,

My Hyperliquid account has been compromised and was converted into a multi-sig account without my consent. The attacker added their own wallet as the sole authorized signer, effectively locking me out of my account.
all my $HYPE tokens have been unstaked, and the 7-day unstaking period has started.
As of today, there are 6 days left until the funds become withdrawable and at risk of being drained by the attacker

Here are the relevant details:

- Compromised HyperCore account: 0xeB97f37e7065A50a46f5DDEfc49e0419aBb931Bd
- Attacker's wallet (current sole authorized signer): 0x768f2ebd51176ad3783602dc86cca7c8355cdf94
- Threshold: 1
- Authorized signers: only the attacker hacker
- I still have full control over the original EVM wallet linked to the account.

I am the legitimate owner and can sign any message using my original EVM wallet to prove identity. I am requesting immediate assistance to:

- Freeze or lock the account temporarily to prevent further actions
- Remove the unauthorized multi-sig setup
- Or transfer the assets to a new wallet I control

Please let me know what proofs or verifications you need from me. I am ready to cooperate fully and provide any signatures or identity verifications required.

This is urgent, as my assets are at risk. Thank you for your understanding and prompt support.

If you're reading this and can't help directly, please push like or react to this message to help bring it to the attention of the right people on the team.

Even just one like or comment could make the difference in getting this noticed by the right people. Thank you so much.

my Discord name: ciro.hl

@chameleon_jeff @Valinorae @xulian_hl @iliensinc @HyperFND @hypurr @hypurr_co @HypioHL @hyperbeat @nansen_ai @infinitefieldx @HyperStakeX @HypurrScan @validaoxyz @asxn_r @bharvest_intern @hyperpc_ @luganodes @HyBridgeHL @PiPonHL
#HYPE #HYPERLIQUID

[MK @AlpacaUser]

@lukakopajtic PDF

[Joonas @josapo19]

Which one seems organic growth to you?
@SkaleNetwork / @avax

[MK @AlpacaUser]

@Cryptoking $SLF