Aller au contenu
debya
Français
Se connecter Inscription gratuite
Voir sur Bluesky Suivre ce compte

Lean Focused Research Organization

@lean-lang.org did:plc:devnu4zs2viutk26clxykpbb

Supporting the Formal Mathematics revolution

Sur Bluesky depuis le

Abonnés
716
Abonnements
54
Posts
140
Jours dans les classements
0

Résumé

Lean Focused Research Organization (@lean-lang.org) est sur Bluesky depuis le 14 février 2025. Le compte a 716 abonnés, suit 54 comptes et a publié 140 posts.

Présence dans les classements

Les meilleurs jours où les posts de ce compte sont entrés dans le top quotidien de Debya.

Ce compte n’est encore apparu dans aucun classement quotidien.

Posts aimés récemment

J’aime publics du réseau Bluesky.

  • Pietro Monticone@pietromonticone.bsky.social

    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

    Voir le post
  • dan@danabra.mov

    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

    Voir le post
  • dan@danabra.mov

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

    Voir le post
  • Emma R. Hasson@dodecalemma.bsky.social

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

    Voir le post
  • Adolfo Neto@adolfoneto.elixiremfoco.com

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

    Voir le post

Connectez-vous pour en voir plus

Comptes bloqués

Sur Bluesky, les blocages sont publics.

Ce compte ne bloque personne.