Reeyarn Li

Academic researcher in accounting and finance. Member of @trr_accounting & @UniPB, learning #Python & #NLP, defending Freedom for #HongKong.

[Reeyarn Li @ReeyarnLi]

@0xfakeSpike @AYi_AInotes @otterpal24 Thanks for the tips! I'm vibe coding this graph KB to help my claude code understand my research project and help me working https://t.co/jvqh913rhx

[Reeyarn Li @ReeyarnLi]

https://t.co/1PHqXtnVFC

[Reeyarn Li @ReeyarnLi]

@emollick If they want results in this direction they would not do Claude skills that could have improved all results

[José-Elías Gallegos ⭐️⭐️ @JoseEGaIIegos]

🚨 New WP alert‼️

1/6 Our new paper introduces a multi-country, multi-sector NK model with domestic & international input-output linkages. It extends standard open-economy models (e.g. Gali & Monacelli 2005) by incorporating production networks into foreign shock transmission.

[Prof Lennart Nacke, PhD @acagamic]

The PhD is a resilience bootcamp under cover as an academic degree.

You enter thinking you'll master a field.

You leave knowing how to:

• Keep working despite chronic uncertainty
• Recover from devastating feedback
• Rebuild when your approach fails
• Defend your ideas under fire

These skills matter more than your thesis topic ever will.

[The Review of Economic Studies @RevEconStudies]

"Free markets failed for 700 years. When poor farmers couldn't pay, a simple quota beat auctions. Sometimes the invisible hand needs handcuffs."

New paper by @javdito & @JosespinSanchez

https://t.co/n74XJcE5R9

#REStud
#EconX
#EconTwitter

[Reeyarn Li @ReeyarnLi]

@satnam6502 @HarmonicMath Lovely

[Math, Inc. @mathematics_inc]

💎 Emily Riehl, renowned professor of mathematics at Johns Hopkins University:

“This is what I think the future of mathematics could be.

We might have domain specific formal languages: for algebraic geometry, also for condensed mathematics, also for differential geometry, lots of different subfields.

And mathematicians will be able to quickly learn to write proofs in new formal systems because of the help of a computer proof assistant,

It will tell them when they're doing something correctly or something incorrectly.”

Full conversation with Math, Inc.’s @jessemhan and @jdlichtman soon.

[Reeyarn Li @ReeyarnLi]

@JEFworks The AI detection itself is quite messy.

Academic writing can be boring. Just run with some pre-2022 referee reports you will see a lot of false positive.

[Reeyarn Li @ReeyarnLi]

In the immediate horizon of 1–3 years the AI impact should be reshuffling; improving productivity by early adopters. Adoption would not yet be immediately systematic. Just look at the messy Information System we started adopting since 1990s. Are we there yet? AI will take longer

[Kol Tregaskes @koltregaskes]

HUGE update to Claude Code today. You can now access Claude Code and your local files via the Claude Desktop app. No more terminal window!

Simply open the desktop app, select Code and press the install button. Thereafter, just select your folder and away you go.

[Reeyarn Li @ReeyarnLi]

looks like it is working. just cost some CPU resoruces...

so inefficient

I can imagine Linus shouting at me already

[Reeyarn Li @ReeyarnLi]

Working with AI is so amazing. I just have coffee and provide inputs, and watch the magic ...

[Reeyarn Li @ReeyarnLi]

DeepSeek has just released a new preprint. During a holiday again!

https://t.co/uuRybRsk4w

[Math, Inc. @mathematics_inc]

🚨 FULL CONVERSATION

Fields medalist Terry Tao sits down with Math Inc's @jessemhan and @jdlichtman for a conversation on the future of mathematics.

"I got convinced that this was the future of mathematics [...]

It's a different style of writing proofs that actually is in some ways easier to read—harder to check by humans, but you see more clearly the inputs and outputs of a proof, which traditional writing often conceals [...]

I think the definition of a mathematician will broaden."

[HackerNewsTop5 @hackernewstop5]

Lean Theorem Prover Mathlib #HackerNews
https://t.co/PLzh8J2WxN

[Reeyarn Li @ReeyarnLi]

I turns out I need more assumptions than in the original paper to have a clean lean-4 proof; the tricky part is, is the conditional expection continuous?

https://t.co/IsTprQZyhf

[Reeyarn Li @ReeyarnLi]

I can neither confirm nor deny this may be the first Lean 4 proof of a theorem in a classic accounting disclosure paper (Dye, 1985).

https://t.co/AmJinqtdat

[Reeyarn Li @ReeyarnLi]

- Legal documents
- Literature review
- Presentations
- Front-end web UI design
- programming in Python, Stata, R, …

And now math proofs

What else can’t LLM do? 8.9 > 8.11? lol 😂

[Reeyarn Li @ReeyarnLi]

I’m amazed again today by what LLM can do: mathematical proofs.

Via Lean 4, a computational proof verification programming language. When the LLM writes a proof in Lean 4 and the proof is cleared by running the algorithm, it is then officially a correct proof.