Alguma vez teve um script Python crítico a travar após dias de execução? 0% de CPU. Sem erros. Reiniciar apaga o estado de depuração e as ferramentas existentes apenas mostram a thread como "ociosa". Hoje, estamos a abrir o código do python-memtools para resolver exatamente isso. 🧵👇

Ninguém deve publicar resultados declarando vitória em uma competição sem compartilhar recibos. No caso de uma competição de matemática, os recibos válidos devem ser provas informais em linguagem natural ou provas formais em Lean4. E esses recibos devem acompanhar o anúncio, não uma semana depois. Não fazer isso é apenas uma forma de engajamento e hype. A indústria de IA já tem o suficiente disso.

Trabalho incrível da equipe