a blog about research, art and life 💋

A loosely sorted and lightly annotated catalogue of through the music posts on this blog.

Economic theory was never about mathematical muscles. Still, formally verifiable code based proof assistant (math AI) would greatly shape how we do our work in the future. Some reference to begin with: Fortune Exclusive: Economists have been teaching an unproven proof for 50 years. AI just solved it https://fortune.com/2026/06/01/axiom-math-econlib-antitrust-economic-theory-verified/ Lean Programming Language https://lean-lang.org Axiom AI https://axiommath.ai/ Harmonic’s Aristotle AI https://aristotle.harmonic.fun/dashboard/docs/overview Cooooooked.

This is my 1001th blog post! Here’s The Sea and Sinbad’s Ship from Rimsky’s Scheherazade — like the thousand (and one) nights. they’re long, exhilarating and at times exhausting. Like in the orchestra, you lose count, maybe pick it up with a little help from the clarinets, and keep going.

The New Economist published an essay by Professor Yuyu Chen (PKU): 陈玉宇：价格理论的复归（人工智能时代的一篇经济学散文） The Resurrection of Price Theory (An Economics Essay for the Age of Artificial Intelligence) New Economists WeChat Subscription Account Well, first of all, price theory is never “gone” (studying it right now). But I agree with most of the views of the essay and I think Prof Chen’s points are solid and insightful. Markets as discovery machines is vital for uncover the true value of AI — assuming the institutional and distributional conditions for open markets will hold during precisely the transition that puts them under maximum stress. ...

Here’s the program of the Market Design Conference at Chicago Booth — see how AI even got its own independent session: Program | 3rd Chicago Booth Market Design Conference Algorithmic Collusion Algorithmic Coercion and Faster Pricing — Alexander McKay (University of Virginia) Calibrated Learning in Bayesian Games and the Limits of Algorithmic Collusion — Martino Banchio (Bocconi University) Behavioral Market Design Opt In? Opt Out? — Alex Chan (Harvard Business School) Water Markets ...

The better your technique, the freer you are. Well, Conrad Tao seems can do just about anything he wants. Just look at the program — the gilded 1920s reimagined. Program Gershwin The Man I Love Schoenberg Klavierstück, Op. 33a Gershwin Clap Yo’ Hands Berlin [arr. Tao] All By Myself Tao Improvisation on Rachmaninov’s Rhapsody on a Theme of Paganini, Op. 43, Var. 15 Arlen [arr. Tatum] Over the Rainbow Rachmaninov Rhapsody on a Theme of Paganini, Op. 43, Var. 18 Strayhorn [arr. Tao] Lush Life Joplin Maple Leaf Rag Schoenberg Klavierstück, Op. 33b Korngold Randy and Drake from Kings Row Gershwin I Loves You, Porgy Gershwin I Got Rhythm ...

Two‐sided markets: a progress report (Rochet & Tirole, RAND Journal of Econmics, 2006) has 5172 citations according to Google Scholar as of June 2026. Though I would have defined two sided platforms differently and focus more on the two sided structure’s nature rather than using price effects “a market is two-sided iff reallocating the fee between sides changes outcomes” (sweet, right?) — It’s genuinely groudbreaking. Anyways, here’s a reading note for the technical part of the paper: ...

It’s summer — jazz up: Two orchestras on stage for CSO + Jazz at Lincoln Center Orchestra Program John Adams The Rock You Stand On [CSO Co-commission] Copland Suite from Appalachian Spring Marsalis Selections from Symphony No. 4 (The Jungle) Ellington C Jam Blues [Jun 4 Encore] Adam’s work is a moderately modern, refreshing opener. Much better than some early-season avant garde stuff that baffled me. Especially, Appalachian Spring sounded great. Alsop brought out a great deal of balletic moves from the music. The orchestra, especially precussions, was very responsive and syncopated. The first half was a smooth, compelling performance. ...

Sprinkles of exquisite insight: The EU Digital Markets Act: A Report from a Panel of Economic Experts (February 9, 2021). Cabral, L., Haucap, J., Parker, G., Petropoulos, G., Valletti, T. and Van Alstyne, M., The EU Digital Markets Act, Publications Office of the European Union, Luxembourg, 2021, ISBN 978-92-76-29788-8, doi:10.2760/139337, JRC122910. Introduction … Hence this report is not to be interpreted as a commentary on the economic regulation of digital platforms: such a general theory simply does not exist. Rather, our hope is to present useful economic arguments that can make the DMA stronger when dealing with large and dominant digital platforms. ...

The script writer at Last Week Tonight must spend even more screentime than me on the internet. They found excellent video sources — watch below the following cut from a Netflix documentary of a beautiful lady explaining chocolate industry with a little bit ASMR “The story of chocolate is a little bit like an hourglass…”