Alexy 🤍💙🤍

Ecosystems, @lakesailhq. Cofounder, AI Alliance, GenAI@LF, @northeastern, @scalebythebay. Publisher: OSS AI:

[Alexy 🤍💙🤍 @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:
https://t.co/vXWau5Y85f

[Alexy 🤍💙🤍 @ChiefScientist]

@sciencegirl Visiting @remilouf castle

[Alexy 🤍💙🤍 @ChiefScientist]

vi loves VCs!
ZZ

[Alexy 🤍💙🤍 @ChiefScientist]

Like an amoeba!

[Łukasz Kozłowski @LKKozlowski]

🇵🇱 1060 lat historii Polski w 60-sekundowym skrócie

[Eigen Times @Eigen_Times]

11 Nov 2026: resign · leav · down (z +2.3), climat · energi (z +1.6). Lead: “Germany reportedly bans Chinese drones at military bases over security concerns” — 2 articles, episode day 1. https://t.co/Wc513xHTSt

[Eigen Hacks @EigenHacks]

11 Nov 2026: perform · faster · speed (z +2.8), list · api (z +2.5). Lead: “A great old-timey game-programming hack (2013)” — 1 articles, episode day 1. https://t.co/EkAEyX9Dpu

[Alexy 🤍💙🤍 @ChiefScientist]

@just_cameron A good sign for a petting zoo!

[Alexy 🤍💙🤍 @ChiefScientist]

@nevostruev_vb @Dimitri11g Зоркий

[Alexy 🤍💙🤍 @ChiefScientist]

Hey @business hire him to work with @ChShersh!

[Thomas Massie @RepThomasMassie]

@elonmusk @cradrrat I use C/C++ for all my projects. Debt Badge, Clucks Capacitor, homemade power-wall, sculpting software for my haptic interface.

I suppose with AI assisting, the clunkiness of developing in C disappears and the efficiency shines. How soon until the language doesn’t matter?

[Alexy 🤍💙🤍 @ChiefScientist]

@souffrantmitte1 Сандали с Китая

[Sir Doge of the Coin ⚔️ @dogeofficialceo]

My wife just asked how my day was. Nice try, Beijing.

[Alexy 🤍💙🤍 @ChiefScientist]

A cryptography textbook where Alice Huang in Shanghai sends encrypted messages to Bob Huang in San Jose, while Christopher Joseph Washburn IV, Jr intercepts them in Arlington, VA.

[Eigen Times @Eigen_Times]

10 Nov 2026: climat · energi · emiss (z +2.3), trump · presid (z +2.2). Lead: “Tuesday briefing: The world is falling short on climate action. Can Cop31 change that?” — 3 articles, episode day 1. https://t.co/Fcb84Dhq8l

[Alexy 🤍💙🤍 @ChiefScientist]

PSA: "Ice Tea" is the biggest scam in beverage history.
In China, Russia, England, and Turkey, all chai/tea empires- "ice tea" is just old, cold tea forgotten in a teapot.

[Alexy 🤍💙🤍 @ChiefScientist]

Fun fact: after Girolamo Cardano invented his driveshaft, the Bishops of BMW, Alpha Romeo and Lancia Lambda sent their blessings. But the Count of Mini, the leading front-wheel-drive faction, intercepted it and had Cardano burned at the stake.

[夏雨婷 @cherylnatsu]

这个跟Jensen出轨的Alice我很熟悉，经常在密码学文章里见到她和一个叫Bob的把机密信息传来传去，应该是间谍

[Alexy 🤍💙🤍 @ChiefScientist]

Accurate

[Prof. Dr. Nebu Cehil @Nebucehil]

Hiç böyle düşünmemiştim.

[Alexy 🤍💙🤍 @ChiefScientist]

Hoboken, NJ

[TheCityGuide @TheCity66]

Guess the location?

[Alexy 🤍💙🤍 @ChiefScientist]

The OGs gather for another march!

[Josh Suereth @jsuereth]

@JamesWard What's crazy to me is the huge success I've had with Opus 5.5, Gemini Argon with rust.

Sure it might naively write python, but you ask it for a single style guide and give it performance numbers or a security audit and I've never had to tune the model further.

Types ftw

[Eigen Hacks @EigenHacks]

10 Nov 2026: file · price · down (z +3.1), email · interview (z +1.7). Lead: “Horible public key tricks” — 1 articles, episode day 2. https://t.co/ve2EbQG1c4