Thanks, everyone in the WhatsApp groups, channels, jn the streets.
Lula won.
Brazil shows once more that democracy can still survive the far right! Bolsonaro is in jail, they lost another election, and his son will now likely go to jail as well #notbad 🩷🇧🇷
"Não empolgados com Lula que votam 13"?
Eu sou empolgado com Lula, mas neste momento quero o voto de todos.
Divulgação de Lean, por Adolfo Neto
#LeanLang
adolfoneto.elixiremfoco.com/…
adolfoneto retweeted
if only LLMs were powerful enough to tell people that Sail, the tool used to write the RISC-V spec to Rocq, also writes to Lean
ALT SAIL model
Ported the RISC-V model used by @AnthropicAI and @theoremlabs in their formal verification work from Rocq to Lean for fun, but there are real advantages to using Rocq - mature ecosystem, easy extraction to OCaml, bytecode VM, etc.
Lean has some advantages too though - metaprogramming support, frontier models are really good at Lean due to all the work on Math over the past couple of years.
RANKINGS *never* make sense
I REPEAT
RANKINGS *never* make sense
One of good things Malcolm Gladwell did was an episode on university rankings
"it's really stupid to rank countries' education systems"
mu.social/profile/alfiekohn.…
Suposto site de checagem de fatos avisa
> A checagem é automática, feita por uma IA do Instituto MR, e pode conter imprecisões. Em caso de dúvida, consulte outras fontes.
OK, obrigado por avisar, vou jogar seu site no lixo
O Fato ou Fake verificar as declarações dos candidatos durante o debate
Uma equipe de mais de 30 jornalistas do Grupo Globo vai trabalhar em conjunto para dar agilidade ao processo, sem abrir mão do rigor na apuração.
g1.globo.com/google/amp/fato…
