Twitxy
Saved
@ChiefScientist's profile picture
View on X

Alexy 🤍💙🤍

Verified account This account is verified. Learn more

@ChiefScientist

Ecosystems, @lakesailhq. Cofounder, AI Alliance, GenAI@LF, cr4.ai @northeastern, @scalebythebay. Publisher: functional.tv, firstpair.org. OSS AI: querygraph.ai
San Francisco, CA chiefscientist.org Joined February 2011
7.5K Following 6.3K Followers 38K Posts

Latest posts 5

Pinned post

Alexy 🤍💙🤍 Verified account @ChiefScientist
Reading about the new math discoveries made with Lean, and having interviewed Sir Timothy Gowers at @gosimfoundation Paris about his work at Cambridge and the Collège de France on it, I made a note to myself to check out Lean. And last night, I did, counting the ways a river can cross a road. It's a problem posted by the Soviet mathematician V.I. Arnold, and my older brother counted some of n on BESM-6, a Soviet supercomputer my mom used to program.

It's a long way from punch cards and line printer output to the beautiful visualizations and fast Lean transfer matrices!

Read the blog:
chief.sc/arnold-meander…
2:02
Alexy 🤍💙🤍 Verified account @ChiefScientist
In other words, @yminsky is uploaded to the cloud and now immortal
0xMarioNawfal Verified account @RoundtableSpace 1d
Jane Street just put an AI skill on GitHub. It's not a trading bot.

It's a strict Socratic tutor:
→ Starts with a diagnostic of what you already know
→ Builds a skill map with levels from 0 to 5
→ Asks one question at a time instead of handing you answers
→ Brings old material back with spaced review
→ Ends with a final assessment

Copy it into your agent's skills folder and say "teach me [anything]". Works in a normal chatbot too: paste the SKILL.md.

github.com/janestreet/age…
View quoted post on X