Duc V. Le (@levduc) header
Duc V. Le (@levduc) profile picture

@circle Research, ex-@Visa Research. Opinions are my own.

Joined August 2015
Photo by Duc V. Le (@levduc)Photo by Duc V. Le (@levduc)Photo by Duc V. Le (@levduc)Photo by Duc V. Le (@levduc)
We're now accepting applications for research interns at @a16zfrontier, for summer '27 in NYC! Application deadline is Nov 20th. You'd be working with me @skominers @SuccinctJT @ittaia @PGarimidi @jneu_net @ErtemNusretTas, as well as other interns, visitors, and our advisors (such as @danboneh). Our interests are broader than ever---ambitious undergrads with a keen grasp of emerging technologies, grad students looking to transition to building and entrepreneurship, as well as PhD students pursuing a more traditional academic career. Research areas of interest include AI and machine learning, agentic commerce, cryptography, security, distributed computing, hardware design, economics (micro, macro, and empirical), energy, material science, biology, incentives, quantitative finance, market and mechanism design, foundations of computing, and pure mathematics. For more details and to apply, see jobs.a16z.com/jobs/andreesse…
6
37
9
385
33,606
Duc V. Le retweeted
The age of agents is going to be amazing for most programmers, but it'll be hard times for the cantankerous ones. Specialized knowledge and rare skills will no longer offer immunity for those who are a pain to work with. Best learn some basic people skills.
465
417
126
7,444
303,776
Duc V. Le retweeted
Replying to @davegoldblatt
"Hi Claude good morning how are you I'm great thx build me a YouTube-style site but restricted to videos that have been repeatedly recommended on HN over the years pls. Don't make any mistakes."
85
119
108
2,708
262,592
Duc V. Le retweeted
Tell Sam Altman that I use my 64GB of RAM to run print("Hello, World!"). I want him to know it's me.
OpenAI CEO Sam Altman believes people owning RAM is wasteful, and that it belongs in data centers instead. "From a global allocation perspective, actually, it’s quite terrible to have everyone have a bunch of the world’s limited supply of DRAM sitting in their own computer."
234
4,215
102
42,140
589,645
In 2 weeks, I'll present at Ethereum's Devcon! 🎉 I'm discussing how to Handle Private State Bloat, joint work with @levduc @pedrorechez Zhipeng Wang
1
6
181
.@circle set out to put dollars on the internet and make them work everywhere. Now @jerallaire thinks the main users of that infrastructure could be machines. He joins @cdixon to talk about what comes after digital dollars, and what the agent economy needs when software can earn, spend, and hire. Highlights: 1:58 Circle’s original vision for programmable money 7:19 Why institutions started taking stablecoins seriously 12:04 Learnings from building a global financial network 15:03 What gives a stablecoin its moat? 26:28 Crypto’s growing adoption in the shadow of AI 28:11 From making existing things better to creating entirely new markets 32:59 The weirdest experiments being built on Arc 37:02 What happens when AI hires AI 38:04 Why the next big thing starts out looking like a toy 39:05 Can blockchains counter AI’s centralizing tendencies? 44:01 What the machine economy could look like in five years
44
64
27
301
57,013
Duc V. Le retweeted
1/ Today we’re releasing Aerie: fast post-quantum signature aggregation, using lattice-based SNARKs for lattice-based Falcon signatures. On a laptop (CPU only), it aggregates roughly a full Ethereum slot’s worth of signatures (32,768) in 0.65 seconds.
46
82
15
524
51,198
I'm looking for my next research position.

After a PhD with Christian Cachin, I spent the past four years at the Ethereum Foundation designing and analyzing protocols for Ethereum. My interests are now extending to multi-agent AI as well: what can we still guarantee when some agents fail or misbehave?

Open to research and faculty roles in distributed systems, blockchain protocols, and reliable, secure multi-agent systems. I'm based in Seoul and looking in Seoul, Hong Kong and Singapore, and I'm open to remote roles or the right opportunity in London.

If your group works on these problems, or you know of a role that might fit, I'd be glad to hear from you! DMs open.
4
21
87
5,595
Duc V. Le retweeted
may AI break the scam that is the academic publishing industry
49
184
16
2,729
42,867
AI is getting better at solving hard math problems, especially given recent drops. But what does that mean for the cryptography that protects everything from private messages to healthcare to banking and crypto wallets? Stanford cryptographer Dan Boneh, with @eddylazzarin, @SuccinctJT, @liz_harkavy, and @smc90, makes sense of the warnings sounded recently. They cover: - what’s fact vs. assumption - what’s new and what risks cryptographers have long prepared for - where quantum computing doesn't (and does) fit - opportunities for builders Highlights: 00:37 – What sparked the most recent debate about AI and cryptography 01:35 – Signal vs. noise: What the math does and doesn’t tell us 05:29 – Why cryptography depends on open problems 09:25 – Why the stakes go beyond blockchains 10:43 – How AI could strengthen confidence in cryptography 13:50 – Considerations for users and institutions 20:10 – Where AI and quantum threats overlap 22:32 – Building systems that can change cryptographic methods 23:59 – Hash-based versus lattice-based cryptography 33:07 – Opportunities for builders, and better security tools 38:14 – What comes next if there were a cryptographic break?
60
96
30
420
173,643
11
26
4
146
20,256
Duc V. Le retweeted
We’re releasing a broad range of new mathematical results produced by an internal frontier model. We’ve been consulting with the independent Advisory Group on Mathematics and Artificial Intelligence at the Institute for Advanced Study, and we have drawn on their advice and public recommendations to inform how we release these results. github.com/openai/math
1,902
6,292
4,770
40,619
22,785,714
Duc V. Le retweeted
How it feels to ask the Chinese ai models for help on something Claude won’t agree to
204
3,589
173
62,281
1,037,324
Duc V. Le retweeted
"I love Rust! Rust is amazing ...if you never, ever, EVER have to look at it yourself." — @dhh
206
276
261
3,949
1,996,321
Duc V. Le retweeted
I used Opus 5.5 to formally verify the Claude Agent SDK using Lean. A couple short prompts = 16 PRs fixing various bugs and race conditions. Video attached. TLA+ also works well. I sometimes combine Lean and TLA+ to look for issues around data flow, concurrency, and state mgmt. I don't know either language well, but Claude is excellent at both. This approach is super useful for formally modeling your code and finding bugs that a human probably wouldn't have spotted. Is formal verification the future of coding (or at least, bug finding)?
489
345
302
6,320
2,223,397
Duc V. Le retweeted
Should LLMs be allowed to write circuits and proofs? If you have feelings about this, we have an event for you We're cohosting a @WPReadingClub night with @kobigurk and Abhi Shah on the unlocks and challenges of formal verification Please RSVP below if you'd like to join us!
3
4
12
946
Duc V. Le retweeted
Circle 🤝 @binance Circle and Binance are continuing to build together through a new five-year commercial agreement to expand USDC access across emerging markets. Binance has also made a $100M strategic investment in Circle. circle.com/pressroom/binance…
236
451
211
2,655
374,361
Duc V. Le retweeted
This is my new shortest “what is Jev” explanation
207
1,124
270
10,701
593,172