Lean Focused Research Organization

Aparições nos rankings

Os melhores dias em que posts desta conta entraram na lista diária do Debya.

Esta conta ainda não apareceu em um ranking diário.

Posts curtidos recentemente

Curtidas públicas da rede Bluesky.

• Pietro Monticone@pietromonticone.bsky.social14/10/2025 23:15

  We’re pleased to announce #ItaLean2025: Bridging Formal Mathematics and AI, an international conference dedicated to @lean-lang.org, Formal Mathematics, and AI4Math. 📍 University of Bologna 🗓 9–12 December 2025 Proudly supported by #Harmonic. #LeanLang #FormalMath #AI4Math

  Ver post
• dan@danabra.mov09/10/2025 16:00

  re: typespec so far, i’ve enjoyed it! record being taken as a future reserved keyword was a bit frustrating since “record” is one of AT main concepts, and i wish i could just use @record. in general i wish we could define keywords for model/op. sounds crazy but im just spoiled by @lean-lang.org

  Ver post
• dan@danabra.mov05/09/2025 16:35

  ok i'll just say it. this feels like a language from the future

  Ver post
• Emma R. Hasson@dodecalemma.bsky.social08/08/2025 16:54

  A refreshingly nuanced take on AI v. the International Math Olympiad by none other than Emily Riehl (@emilyriehl.bsky.social) for @sciam.bsky.social

  Ver post
• Adolfo Neto@adolfoneto.elixiremfoco.com06/08/2025 14:27

  Do I understand everything that's happening in the #LeanLang world? Absolutely not. And that's fascinating.

  Ver post

Entre para ver mais

Contas que bloqueia

No Bluesky, bloqueios são registros públicos.

Esta conta não bloqueia ninguém.