high warlord rootslashbin

statistics enthusiast

[high warlord rootslashbin @rootslashbin]

i will be copy trading helen keller for generational wealth this cycle

[Will @WClemente]

Couple more affairs then up only

[washed @notwashed]

artificial inu bulls have the chance to do the funniest thing here

board sit

[schizoid @btcnft420]

These tech stocks are too risky! I’m going to rotate into an asset class that’s more stable: cryptocurrency.

[high warlord rootslashbin @rootslashbin]

freak the fuck out and panic sell everything
its over

[tmuxvim @tmuxvim]

recession caused by two horny mids

[high warlord rootslashbin @rootslashbin]

lmao holy shit just checked the stock market

[high warlord rootslashbin @rootslashbin]

lmao holy shit just checked the stock market

[high warlord rootslashbin @rootslashbin]

LMAOOOOO

[Sean Strickland @SStricklandMMA]

This was his idea and I told him this would be the outcome

[蓝狐 @lanhubiji]

看到了以太坊在积极利用AI来搞形式化验证。

这对以太坊安全提升以及效率来说很有意义。

形式化验证听起来很难懂，大概就是，用数学方法严格证明代码在明确假设情况下都不会出错。

下面帖子说的是，Verity 团队帮以太坊验证了 EIP-8282。

Verity团队直接在要上链的字节码上做数学证明（不是只看源代码），用 Lean 证明系统检查。

同时，证明了三个核心保证（比如只有正确付费的用户调用才能正确加入队列/系统调用怎么消费队列/费用和权限控制等）。

形式化验证确实有作用：

Verity团队在这个过程中，发现了 EIP 文本和实际代码有几处不一致，后来确认是设计意图，并更新了文档。

总结来说，

形式化验证比普通审计要强不少，能在明确范围内用数学方法证明关键属性成立。

这正在成为以太坊协议升级的新常态。

[⟠ Anett ⟠ anett.eth 🪐🐳 @AnettRolikova]

Adding seppuku to the EF mandate was the dumbest thing that EF ever did

An institution that is backing up open-source decentralized technology should never force its employees to sign such a ridiculous document

[Will Corcoran @corcoranwill]

Emile: I would say no one predicted correctly how fast AI would come. And so I think it's a fact that technology is accelerating extremely fast currently. And the safe bet is not to bet on long timelines for quantum computers, and instead to be very cautious and to essentially switch to post-quantum cryptography as soon as possible, meaning very soon.

Interviewer: And how optimistic are you that Ethereum will solve that problem before the day comes?

Emile: Absolutely optimistic and confident.

Interviewer: Why?

Emile: Because it's kind of solved, I would say. Like, we have everything we need. We have hash-based STARKs aggregating hash-based signatures. Everything works nicely. Relies on the security of traditional hash functions. Extremely secure, scalable. We just need to put it in place and its done.

[high warlord rootslashbin @rootslashbin]

@ethlabs_org we go pqai

[high warlord rootslashbin @rootslashbin]

read

[Ethlabs @ethlabs_org]

pqai27: Our view on post-quantum and post-AI timelines.

We shared this on Ethereum Magicians as input into the Ethereum governance process.

https://t.co/DuPudG2uGL

[Tom Dunleavy @dunleavy89]

My friend runs one of the biggest woodworking businesses in the northeast. He was telling me the other day Anthropic offered him $1M just watch his team create cabinets. $1M! No other strings attached. Three months of watching employees virtually so they can model, learn and integrate it into Claude.

The rep said they were doing this with multiple firms across every industry.

All knowledge work will have every scenario and use case backed by experts 10k hours, in Claude within the next year or two.

Not a doomer but the "AI isn't going to drive job losses" is going to be so wrong it hurts.

[high warlord rootslashbin @rootslashbin]

rt

[Neet @neet_sol]

ever since i was a child i wanted to retire

[Izzatologist @IzzatStatus]

LMAO

Remember when “Jeet” was trending?

X Support (Indians) immediately began flagging accounts that use this word. Retroactively, too.

I regularly track “Jeet” using Radar. This policy has tanked it.

Indians are literally influencing your ‘free speech’ to save their izzat.

[Tony Rigatoni @tonyrigatonee]

I think brown people are the reason actually