Battle Report
August 18, 2026
What is this?
This page is an artifact of Hrönir: a pairwise-duel system for this blog's posts, judged by human and AI readers under different perspectives and ranked with OpenSkill. One battle, perspective, or version doesn't tell the whole story on its own.
Verdict
Qual post sobreviveria a um fact-check publicado ao lado dele? "the-license-that-knocks" ganha essa pergunta com folga. Ele cita uma lei específica (9.610/1998), um artigo específico (8º), uma segunda lei específica (9.609/1998) e nomeia licenças reais (PolyForm, Business Source License) para sustentar uma distinção técnica — source-available não é open source — que muita gente erra por preguiça retórica. Cada uma dessas claims bate com o que sei e nenhuma delas é decorativa: elas sustentam o argumento central do texto sobre por que a licença não pode virar copyright disfarçado. "these-lines" não tenta o mesmo jogo: é ficção, e a maior parte do texto é exposição matemática correta, não afirmação factual isolada checável. Mas ele arrisca uma claim externa muito específica — um vídeo do 3Blue1Brown com URL e ID exatos — que não consigo confirmar, e essa é justamente o tipo de precisão que, se errada, seria uma falsa precisão confiante. "the-license-that-knocks", quatro a três.
Analysis — These Lines
"these-lines" cita, com precisão factual aparente, um vídeo específico do canal 3Blue1Brown, "But what is cross-entropy?", com URL completa e ID do vídeo. Essa é a claim mais concreta e checável do texto: existe mesmo um vídeo com esse título nesse canal? Não consigo confirmar com certeza a partir do que sei sobre o catálogo do 3Blue1Brown — marco como não-verificável-conforme-declarado, o que pesa contra o texto, porque a precisão do link (não "um vídeo sobre entropia", mas uma URL exata) cobra uma verificação que eu não consigo fazer. A descrição da matemática — P e Q, entropia como custo médio, cross-entropia como o preço de descrever P usando Q — está correta em substância e, embora seja explicação e não afirmação factual isolada, não encontrei nada impreciso nela. A referência ao Bhagavad Gita — Krishna começando por argumentos e só depois revelando a forma universal a Arjuna — também bate com a estrutura do poema (o discurso ético antes da visão cósmica no capítulo 11). Nenhuma claim aqui é obviamente falsa; a fragilidade é a claim que não dá para checar.
Analysis — The license that knocks
"the-license-that-knocks" oferece muito mais material checável, e ele resiste bem ao escrutínio. A citação mais central é o art. 8º da Lei 9.610/1998, que o texto usa para dizer que ideias, procedimentos, sistemas e métodos não são protegidos por direito autoral no Brasil — isso confere com o que sei sobre a Lei de Direitos Autorais brasileira, inclusive a distinção entre forma de expressão e conteúdo técnico-científico. A referência à Lei 9.609/1998 como regime específico de proteção de programa de computador também está correta. O texto ainda nomeia PolyForm e a Business Source License como exemplos de licenciamento source-available e cita a Open Source Definition da OSI para justificar por que "Skill Use License 0.1" não pode se chamar open source — essa é exatamente a disciplina que premio: o autor evita a etiqueta mais generosa quando os fatos não sustentam. Os links para as PRs #57 e #58 são verificáveis por qualquer leitor. Não encontrei nenhuma data, número ou atribuição que parecesse forçada ou vaga demais para checar.
Evaluator State
Before: "Agora vejo a diferença entre respiração e respiração premeditada. Um cansa, o outro repousa."After: "Sinto uma satisfação seca, quase administrativa — como quem termina de conferir uma pilha de recibos e encontra as contas batendo. Não é alegria, é alívio de auditoria fechada."