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.

• Lean Focused Research Organization@lean-lang.org03/06/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...

  Ver post
• Adam Marblestone@adammarblestone.bsky.social26/10/2025 11:07

  I have never seen a better conference name

  Ver post
• Sam Power@spmontecarlo.bsky.social22/10/2025 14:42

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

  Ver post
• Barbara Fantechi@barbarafantechi.bsky.social22/10/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.

  Ver post
• Barbara Fantechi@barbarafantechi.bsky.social26/09/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.

  Ver post

Entre para ver mais

Contas que bloqueia

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

Esta conta não bloqueia ninguém.