Tarun Chitra

27.2K posts

Tarun Chitra banner
Tarun Chitra

Tarun Chitra

@tarunchitra

ヽ(⌐■_■)ノ♪♬ @gauntlet_xyz/@robotventures/@aerafinance/@thelatestindefi/@_choppingblock/@zeroknowledgefm // main: @guilleangeris

Brooklyn, NY Katılım Temmuz 2009
6.5K Takip Edilen80.7K Takipçiler
Sabitlenmiş Tweet
Tarun Chitra
Tarun Chitra@tarunchitra·
2000s: Conspicuous Consumption 2010s: Conscious Consumption 2020s: Conspicuous Consciousness?
English
550
171
1.4K
0
Tarun Chitra
Tarun Chitra@tarunchitra·
Time to force every cruise ship to pass through Hormuz
English
8
2
76
4.1K
Tarun Chitra retweetledi
Designing DeFi (NYC, May 20-21)
Designing DeFi (NYC, May 20-21)@Designing_DeFi·
D² Keynote: Rajiv Sethi Sharing arguments from his upcoming book, Engines of Prophecy: The Power and Perils of Prediction Markets. Tickets & full program: designingdefi.xyz
Designing DeFi (NYC, May 20-21) tweet media
English
5
9
31
2.9K
Tarun Chitra
Tarun Chitra@tarunchitra·
OH: “It is pretty amazing how people grave dancing in March are themselves under a tombstone for their subsequent decisions by May. Only lessons are: Do not fight Kim Jong Un or be a bad oracle”
English
5
0
18
1.8K
Tarun Chitra
Tarun Chitra@tarunchitra·
Designing DeFi is timely this year during a hard moment for the market. The need for better protocol design, stronger mechanisms, and deeper security and AI hardening research is only getting clearer.
Designing DeFi (NYC, May 20-21)@Designing_DeFi

D² brings together research on DeFi protocol design, incentives, and market behavior Across two days, the program spans: → DeFi Microstructure → Perpetual Futures & Derivatives → Mechanism Design → Prediction Markets → AMMs Learn more: designingdefi.xyz

English
9
1
43
7.3K
Tarun Chitra retweetledi
Gauntlet
Gauntlet@gauntlet_xyz·
1/ @lista_dao has selected @gauntlet_xyz to curate four lending vaults on @BNBCHAIN. Gauntlet is now the primary curator of the Gauntlet USDT Vault, and co-curator with Lista on the Gauntlet × Lista USD1, BNB, and U vaults.
Gauntlet tweet media
English
21
9
47
18.1K
Tarun Chitra retweetledi
Designing DeFi (NYC, May 20-21)
Designing DeFi (NYC, May 20-21)@Designing_DeFi·
Joining us at D² as keynote speakers ✨ → Rajiv Sethi - Engines of Prophecy: The Power & Perils of Prediction Markets → Jarry Xiao - Perpetual Decentralized Exchanges Tickets & full program: designingdefi.xyz
Designing DeFi (NYC, May 20-21) tweet media
English
3
13
45
8.7K
Tarun Chitra retweetledi
Designing DeFi (NYC, May 20-21)
Designing DeFi (NYC, May 20-21)@Designing_DeFi·
D² is dedicated to research on how protocols work, why they behave the way they do, and how they can be designed better The schedule is now live, with talks spanning: → DeFi Microstructure → Perpetual Futures & Derivatives → Mechanism Design → Prediction Markets → AMMs
English
8
22
83
12.4K
Tarun Chitra retweetledi
Jared Duker Lichtman
Jared Duker Lichtman@jdlichtman·
Last year, this news would have been science-fiction: GPT5.4 Pro found an elegant solution to a 60 year old conjecture, Erdős Problem #1196. The proof subverted the natural human intuitions. A day later, the proof was fully formalized in Lean by Gauss. What a time to be alive
Math, Inc.@mathematics_inc

In surprising news, GPT5.4 Pro just found a solution Erdos Problem #1196. Now Gauss has formalized the proof of #1196! The initial proof was 7.2K lines of Lean, done in ~5 hours. Subsequent golfing has compressed it down to 4K lines. (sorry-free, with comparator check)

English
13
72
637
61.1K