Leon Leng

PhD @UW | Alumni @UCBerkeley @cuhksz | AI, Blockchain, & Energy | Researcher, Engineer, & Traveling Salesman

[Liwei Jiang @liweijianglw]

🦦🦦My Ph.D. defense on Humanistic, Pluralistic, and Coevolutionary AI Safety and Alignment is scheduled for May 8, 11:30 AM–12:30 PM PT!🦦🦦

Welcome to join online via Zoom (https://t.co/UvNX8csJjk) or in person at UW CSE Allen Center 403. Add it to Google calendar for easier reference: https://t.co/YuToHHUgI1

[Leon Leng @LeonLeng5]

@garrytan 嘉豪

[Leon Leng @LeonLeng5]

@TristanThrush dude, i just found out the paper from alphaxiv and it's super impressed work.

I carefully read it and find the "67".

Sometime you get 6, sometime you get 7

[Leon Leng @LeonLeng5]

@elonmusk @Keller @farzyness @jickerson Hey Jordan, Elon post your paper.
(credit to @ReubenNarad )

[Leon Leng @LeonLeng5]

@cyodyssey @BNBCHAIN 初心依旧

[Leon Leng @LeonLeng5]

Really interesting piece. One nuance I’d add is that EVMbench feels more like a security evaluation benchmark with a live executable environment than an RL environment per se. The fact that tasks are interactive and programmatically graded does make it adjacent to RL-style setups, but that doesn’t necessarily mean it belongs in the same bucket as environments designed for policy improvement through repeated training rollouts.

[Leon Leng @LeonLeng5]

@KarryWeb3 非常同意 codex5.3 换claude 后丝滑了非常多

[Leon Leng @LeonLeng5]

@justinsuntron 孙哥我听了你的话，把我爸我妈我爷奶的微信删了，现在没有生活费了。老师说，书中自有黄金屋，我只能在出租屋多读几遍《这世界既残酷又温柔》了

[Leon Leng @LeonLeng5]

@Mark_Nakatani @avax Good Job Mark.

[Mark Nakatani @Mark_Nakatani]

Thrilled to announce I'm stepping up as Vice President for @uw_blockchain! 🤝

I would like to thank @LeonLeng5 for giving me this opportunity.

I joined @UW this September and was impressed by the talent, but disappointed the club hasn't been active.

Seattle deserves more attention than just SF/NY—we have strong builders here! The club has a great history since 2019, and I'm here to bring it back as the hub for hackers, researchers, and builders.

We know EigenLayer started right here at UW by the great @sreeramkannan. I'm here to make a similar change.

My strength is my connection to the space, and I'd love to bring you all in to give our passionate students a talk. DM me!

To start, we have @wangandy from @worldcoin to talk about digital identity and the future of the economy.

So excited for this opportunity! Let's build!

[Allen Sirolly @allensirolly]

🚨 NEW PAPER 🚨

Excited to announce this working paper (co-authored with @hongyaoma, @ykanoria, @rajivatbarnard) looking at the extent of wash trading on @Polymarket

We used all historical trade data from @Polygon blockchain (~70 million trades) and developed a graph-based algorithm for estimating wash volume.

[Leon Leng @LeonLeng5]

@kamalikac @ShamKakade Great! but i thought you refer to a wrong twitter link:https://t.co/PnDBFae5wY this isProf. Sham lol

[Leon Leng @LeonLeng5]

@elonmusk @grok who is more trustworthy? Sam or Elon?

[Reubennnnnnnnnnnnn @ReubenNarad]

Whoa... Grok 4 beats o3 on our never-released benchmark: HumorBench, a non-STEM reasoning benchmark that measures humor comprehension. The task is simple: given a New Yorker Caption Contest cartoon and caption, explain the joke.

[Leon Leng @LeonLeng5]

@ReubenNarad Great work

[Leon Leng @LeonLeng5]

@ZhiyuanZeng_ @COLM_conf Legend

[Leon Leng @LeonLeng5]

@minilek @Berkeley_EECS Congrats Jelani! The world's best CS 170 Lectuer.

[Leon Leng @LeonLeng5]

@22333D Graduated summa cum laude

[Leon Leng @LeonLeng5]

“OpenAI is nothing without its people.”
— Mark Zuckerberg, June 29, 2025

pic created by o3

[Jason Abaluck @Jabaluck]

The modern economic case for public provision is not about public goods or market failures or externalities. It is about what can and can't be achieved by contracting.