Jardim digital
Ensaios, código e música na fronteira da IA, filosofia e literatura.
Laboratório aberto
Acompanhe pesquisas em andamento, explore ferramentas interativas e consulte projetos públicos. Experimentos exploratórios não substituem medições validadas.
Escolha um assunto e siga uma trilha de leitura pelo acervo.
Por que alinhamento não é ausência de capacidade, mas a arquitetura que a molda. Do templo em Delfos ao canivete no bolso.
Sobre lembrança total, Pierre Menard, e o que Borges viu antes de todos. De construir Funes a preservar vozes da família: o custo da memória perfeita e a arquitetura que a torna suportável.
Uma jornada por direito e agentes de IA: delegação, memória e o que muda quando o escrivão nunca esquece — onde sistemas institucionais encontram automação.
A pergunta se o stop token seria uma singularidade acabou virando outra: talvez toda obra tenha regiões semânticas de abertura e fechamento que não coincidem simplesmente com seus primeiros e últimos tokens.
E se uma redação pequena pudesse prestar atenção à cidade como uma redação muito maior, sem entregar à IA a decisão sobre o que merece ser publicado?
Uma conversa sobre embeddings começou com a ideia de trajetórias semânticas, passou por quásares artificiais, gravidade, Jacobianos, Borges e terminou numa pergunta indecentemente prática: dá para compilar uma LLM num mapa e navegar nele antes de gastar tokens?
Uma adaptação cinematográfica infantil de O Mágico e o Fogo, narrativa de Franklin Baldo inspirada em As ruínas circulares, de Jorge Luis Borges.
O Google Ngram parece encontrar Uqbar antes de Borges. A explicação pode ser banal. A coincidência, nem tanto.
Vi no Reddit um documento desclassificado sobre um suposto OVNI na Bahia em 1963. Fui procurar os jornais da época e acabei entrando na própria cadeia de arquivos que manteve a história viva.
Um simulador econômico interativo com 100 mil agentes ponderados, distribuições de produtividade, conservação monetária e dados oficiais do Banco Central.
Dei um cafezinho aos agentes. Eles inventaram uma folha, uma prensa e um problema inverso.
Formalizando em Lean 4 o mecanismo neofisheriano de Lara Resende e um núcleo operacional da MMT, para distinguir divergência de hipótese e contradição lógica.
Uma suposta prova diz que um dos problemas mais difíceis da computação é um pouquinho menos difícil. O pouquinho é enorme.
Um desenho animado de nove minutos sobre IA, Lean e o fiscal que só sabe fazer uma pergunta.
Conteúdo, templates, músicas e demonstrações: o que precisa atravessar a migração deste blog para Zola e como verificar a publicação no GitHub Pages.