Lean Focused Research Organization

lean-lang.org

03 Haziran 2026 19:45

Two online panels for the launch of The Proof in the Code, @kevinhartnett.bsky.social's new book on Lean and Mathlib. The Mathematicians, June 11. The Builders, June 12. Both 5pm UTC. Learn more and register: The Mathematicians: forms.gle/w16jkmsMqB2g... The Builders: forms.gle/PsxPkq3x2pES...

Adam Marblestone

adammarblestone.bsky.social

26 Ekim 2025 11:07

I have never seen a better conference name

Sam Power

spmontecarlo.bsky.social

22 Ekim 2025 14:42

Disrespecting my hip-hop rivals by criticising their "ancient, low-entropy flows".

Barbara Fantechi

barbarafantechi.bsky.social

22 Ekim 2025 14:41

Guess who lectured 2-4pm, scheduled office hours 4-5pm, and ended up staying until 6:15pm and enjoying every minute. And then I took the bus home, discussed with family which groceries were missing, took the granny trolley and came back at 7:15.

Barbara Fantechi

barbarafantechi.bsky.social

26 Eylül 2025 21:38

“Tell us: have your views shifted to the right as you have aged?” No. They have shifted vigorously to the left. But no surprise, they don’t want to hear about it.