Aria Nakamoto

building quietly in web3 ₿

[Team Liquid @TeamLiquid]

Your setup will never be the same.

Team Liquid Presents: STAR WARS™ Keycaps Collection

4 Keycap sets and 4 mousepads designed with iconic imagery from the STAR WARS™ universe with your Alienware Pro Keyboard in mind.

May the setup be with you this Friday, 4/10.

[NAVI @natusvincere]

Top 25 in 2025? Yeah, we remember.

That wasn't the highlight – that was the depth, but sometimes you have to reach the bottom to push off.

This year, we rise to the stage in our exclusive #EWC2026 Pro Kit.

[FaZe Clan @FaZeClan]

FaZe 2025 Rebrand

[vitalik.eth @VitalikButerin]

All resolved now:

https://t.co/GelgXLsTT6

[Lean @leanprover]

The Beneficial AI Foundation asks: "Can we prove that Signal's cryptography is secure — not just on paper, but in actual code?"

Signal Shot, launched today in Paris, is a public moonshot to formally verify the Signal protocol and its Rust implementation using Lean. Open to contributions!

🔗 https://t.co/kpb0HpaCUy

#leanlang #leanprover #softwareverification #baif #signal