Tag: Algoritmos
E se a reta dos números reais for apenas uma ilusão? Exploramos a hipótese de uma hierarquia matemática contável.
Descubra como a instrução Fused Multiply-Add (FMA) funciona nos bastidores para acelerar a computação numérica e melhorar o arredondamento em sua CPU.
Explore as funcionalidades de heap no C++23 e otimize suas estruturas de dados de árvore binária.
Dados relacionais não cabem em tabelas nem em sequências. As GNNs aprendem sobre a estrutura da conexão. Deduzimos a GCN elemento a elemento e implementamos em C++.
Entenda a construção formal dos números naturais usando a teoria de conjuntos ZFC e os axiomas de Peano.
Multiplicar matrizes rapidamente não é apenas reduzir FLOPs: é reutilizar dados antes que eles atravessem novamente a hierarquia de memória.
Explore os artigos seminais de Georg Cantor e descubra a verdadeira origem da técnica matemática da diagonalização.
Viaje no tempo até a antiga Babilônia e descubra a origem do valor da verdade através da primeira reclamação comercial da história.
Tag: Lógica
Uma biblioteca, um catálogo impossível e a hierarquia de tipos que Russell inventou para salvá-la. Depois, a mesma história contada com funções, de Church a Curry-Howard.
Tag: paradigmas de programação
Uma biblioteca, um catálogo impossível e a hierarquia de tipos que Russell inventou para salvá-la. Depois, a mesma história contada com funções, de Church a Curry-Howard.
Tag: Programação Funcional
Análise técnica do incidente da Cloudflare: entenda como uma mudança de permissões causou uma falha catastrófica em sistemas de alta performance.
Aprenda como a matemática abstrata e a Teoria das Categorias explicam os Monads na linguagem de programação funcional Haskell.
Inicie seu treinamento prático em Cálculo Lambda com nossa seleção de exercícios resolvidos.
Mais exercícios práticos para você testar seus conhecimentos em Cálculo Lambda e operações funcionais avançadas.
Uma biblioteca, um catálogo impossível e a hierarquia de tipos que Russell inventou para salvá-la. Depois, a mesma história contada com funções, de Church a Curry-Howard.
Tag: resolução de problemas
Uma biblioteca, um catálogo impossível e a hierarquia de tipos que Russell inventou para salvá-la. Depois, a mesma história contada com funções, de Church a Curry-Howard.
Tag: Bertrand Russell
Uma biblioteca, um catálogo impossível e a hierarquia de tipos que Russell inventou para salvá-la. Depois, a mesma história contada com funções, de Church a Curry-Howard.
Tag: Algorithms
Recursion is the art of solving a problem by assuming you already solved a smaller one. We trace it from induction to the call stack, expose why naive Fibonacci is...
Tag: Recursion
Recursion is the art of solving a problem by assuming you already solved a smaller one. We trace it from induction to the call stack, expose why naive Fibonacci is...
Tag: Dynamic Programming
Recursion is the art of solving a problem by assuming you already solved a smaller one. We trace it from induction to the call stack, expose why naive Fibonacci is...
Tag: C++
SimCLR troca o decoder por uma disputa geométrica: duas versões da mesma imagem devem se encontrar; todas as outras no lote tentam separá-las.
O MAE leva o mascaramento da linguagem para imagens, mas explora uma assimetria decisiva: o encoder pesado nunca processa os patches ocultos.
DINO troca a regressão vetorial do BYOL por distribuições aguçadas e centralizadas. A combinação aprende sem negativos e faz objetos aparecerem nos mapas de atenção.
A difusão latente não remove ruído de pixels. Primeiro comprime a imagem, depois aprende a gerar dentro do espaço que o autoencoder decidiu preservar.
O BYOL retira todos os negativos do SimCLR e pede que uma rede rápida alcance um alvo lento. A perda é curta; explicar por que a solução não colapsa exige...
Uma rede com milhões de parâmetros não merece aplausos por descobrir que x é igual a x. O autoencoder só começa a aprender quando copiar deixa de ser a saída...
BERT não prevê a próxima palavra. Ele esconde partes do texto, consulta os dois lados e transforma cada posição em uma representação contextual pronta para ser adaptada.
Esconder uma palavra parece uma brincadeira escolar. No BERT, essa brincadeira cria bilhões de exemplos sem rótulos e força cada token a prestar contas ao contexto dos dois lados.
Two vertices may be joined by several roads, flights, or transactions. We preserve those edge identities, count paths correctly, derive algorithms, and solve 65 exercises.
Relational data does not fit neatly into tables or sequences. We derive message passing from permutation symmetry, calculate a GCN layer by hand, implement it in C++23, and solve 65...
Um modelo de linguagem distribui probabilidade entre continuações; treiná-lo é cobrar, em logaritmos, o preço das probabilidades que atribuiu ao texto observado.
Descubra como a instrução Fused Multiply-Add (FMA) funciona nos bastidores para acelerar a computação numérica e melhorar o arredondamento em sua CPU.
Explore as funcionalidades de heap no C++23 e otimize suas estruturas de dados de árvore binária.
Dados relacionais não cabem em tabelas nem em sequências. As GNNs aprendem sobre a estrutura da conexão. Deduzimos a GCN elemento a elemento e implementamos em C++.
Multiplicar matrizes rapidamente não é apenas reduzir FLOPs: é reutilizar dados antes que eles atravessem novamente a hierarquia de memória.
Recursion is the art of solving a problem by assuming you already solved a smaller one. We trace it from induction to the call stack, expose why naive Fibonacci is...
Tag: Complexity
Recursion is the art of solving a problem by assuming you already solved a smaller one. We trace it from induction to the call stack, expose why naive Fibonacci is...
Tag: Machine Learning
Relational data does not fit neatly into tables or sequences. We derive message passing from permutation symmetry, calculate a GCN layer by hand, implement it in C++23, and solve 65...
O JEPA se recusa a reconstruir pixels: prevê representações e joga fora parte do detalhe. Este artigo constrói o template JEPA e enfrenta o colapso.
Descubra como a arquitetura original dos Transformers se dividiu e originou famílias de modelos distintos focados em decodificação e codificação.
Dados relacionais não cabem em tabelas nem em sequências. As GNNs aprendem sobre a estrutura da conexão. Deduzimos a GCN elemento a elemento e implementamos em C++.
Do TF-IDF ao contexto profundo: descubra os mecanismos e o funcionamento do Word2Vec no processamento de linguagem natural.
Aprenda como o SkipGram prevê o contexto e como Negative Sampling e Hierarchical Softmax tornam o Word2Vec computacionalmente viável.
Entenda a hipótese distribucional e acompanhe, passo a passo, a matemática e a implementação do CBoW.
Compreenda as bases das Redes Neurais Artificiais e seu papel essencial na geração de Word Embeddings modernos.
A língua que você fala molda a forma como você pensa? Descubra o que a hipótese de Sapir-Whorf e a ciência cognitiva têm a dizer sobre isso.
Veja como a matemática dos MDPs é aplicada na vida real para otimizar a manutenção e reduzir custos em turbinas eólicas industriais.
Aprofunde-se na arquitetura original dos Transformers: auto-atenção multi-cabeça, codificadores e decodificadores lado a lado.
Entenda o mecanismo que mudou o jogo em NLP: o conceito de atenção nas redes neurais e como ele superou as limitações dos modelos de Markov.
Como capturar o significado semântico além da contagem de palavras? Entenda as nuances da modelagem de sequências em NLP.
Aprenda a encontrar a política ótima em um Processo de Decisão de Markov (MDP) usando algoritmos de Programação Dinâmica no Grid World.
Como os computadores entendem palavras? Aprenda sobre as técnicas fundamentais de vetorização de textos e modelos Bag of Words.
Enfrente a matemática dos Transformers de frente e descubra como funciona a arquitetura que revolucionou o NLP.
Descubra por que o problema clássico do Grid World é o ambiente perfeito para dar os primeiros passos em Reinforcement Learning.
Aprenda a matemática por trás dos Processos de Decisão de Markov (MDP), a base estrutural para a Aprendizagem por Reforço.
Explore as origens históricas da Aprendizagem por Reforço (RL) e como a psicologia e a matemática se uniram para criar sistemas inteligentes.
Tag: Aprendizado por Reforço
Veja como a matemática dos MDPs é aplicada na vida real para otimizar a manutenção e reduzir custos em turbinas eólicas industriais.
Aprenda a encontrar a política ótima em um Processo de Decisão de Markov (MDP) usando algoritmos de Programação Dinâmica no Grid World.
Descubra por que o problema clássico do Grid World é o ambiente perfeito para dar os primeiros passos em Reinforcement Learning.
Aprenda a matemática por trás dos Processos de Decisão de Markov (MDP), a base estrutural para a Aprendizagem por Reforço.
Explore as origens históricas da Aprendizagem por Reforço (RL) e como a psicologia e a matemática se uniram para criar sistemas inteligentes.
Tag: Processamento de Linguagem Natural
Descubra como a arquitetura original dos Transformers se dividiu e originou famílias de modelos distintos focados em decodificação e codificação.
Do TF-IDF ao contexto profundo: descubra os mecanismos e o funcionamento do Word2Vec no processamento de linguagem natural.
Aprenda como o SkipGram prevê o contexto e como Negative Sampling e Hierarchical Softmax tornam o Word2Vec computacionalmente viável.
Entenda a hipótese distribucional e acompanhe, passo a passo, a matemática e a implementação do CBoW.
Compreenda as bases das Redes Neurais Artificiais e seu papel essencial na geração de Word Embeddings modernos.
A língua que você fala molda a forma como você pensa? Descubra o que a hipótese de Sapir-Whorf e a ciência cognitiva têm a dizer sobre isso.
Aprofunde-se na arquitetura original dos Transformers: auto-atenção multi-cabeça, codificadores e decodificadores lado a lado.
Entenda o mecanismo que mudou o jogo em NLP: o conceito de atenção nas redes neurais e como ele superou as limitações dos modelos de Markov.
Como capturar o significado semântico além da contagem de palavras? Entenda as nuances da modelagem de sequências em NLP.
Como os computadores entendem palavras? Aprenda sobre as técnicas fundamentais de vetorização de textos e modelos Bag of Words.
Enfrente a matemática dos Transformers de frente e descubra como funciona a arquitetura que revolucionou o NLP.
Tag: GEMM
Multiplicar matrizes rapidamente não é apenas reduzir FLOPs: é reutilizar dados antes que eles atravessem novamente a hierarquia de memória.
Tag: SIMD
Multiplicar matrizes rapidamente não é apenas reduzir FLOPs: é reutilizar dados antes que eles atravessem novamente a hierarquia de memória.
Tag: GPU
Multiplicar matrizes rapidamente não é apenas reduzir FLOPs: é reutilizar dados antes que eles atravessem novamente a hierarquia de memória.
Tag: Tensor Cores
Multiplicar matrizes rapidamente não é apenas reduzir FLOPs: é reutilizar dados antes que eles atravessem novamente a hierarquia de memória.
Tag: GNN
Dados relacionais não cabem em tabelas nem em sequências. As GNNs aprendem sobre a estrutura da conexão. Deduzimos a GCN elemento a elemento e implementamos em C++.
Tag: Grafos
Dados relacionais não cabem em tabelas nem em sequências. As GNNs aprendem sobre a estrutura da conexão. Deduzimos a GCN elemento a elemento e implementamos em C++.
Tag: GCN
Dados relacionais não cabem em tabelas nem em sequências. As GNNs aprendem sobre a estrutura da conexão. Deduzimos a GCN elemento a elemento e implementamos em C++.
Tag: Arquitetura de Sistemas
Descubra como um erro simples levou à invenção do Processo Czochralski, essencial na fabricação de semicondutores modernos.
Tudo o que você precisa saber para começar do zero em robótica: microcontroladores, controle de motores, mecânica e eletrônica básica.
Descubra como a instrução Fused Multiply-Add (FMA) funciona nos bastidores para acelerar a computação numérica e melhorar o arredondamento em sua CPU.
Aprofunde-se nos detalhes técnicos das GPUs da NVIDIA com esta análise abrangente do mercado e arquitetura de processadores de IA.
Análise técnica do incidente da Cloudflare: entenda como uma mudança de permissões causou uma falha catastrófica em sistemas de alta performance.
Os data centers estão se transformando em verdadeiras fábricas industriais de Inteligência Artificial. Entenda esse fenômeno e o papel da NVIDIA.
Tag: Hardware e Semicondutores
Descubra como um erro simples levou à invenção do Processo Czochralski, essencial na fabricação de semicondutores modernos.
Tudo o que você precisa saber para começar do zero em robótica: microcontroladores, controle de motores, mecânica e eletrônica básica.
Aprofunde-se nos detalhes técnicos das GPUs da NVIDIA com esta análise abrangente do mercado e arquitetura de processadores de IA.
Os data centers estão se transformando em verdadeiras fábricas industriais de Inteligência Artificial. Entenda esse fenômeno e o papel da NVIDIA.
Tag: Teoria dos Jogos
A nota máxima do ENEM não é 1000. Já foi 1008,3. A explicação é uma aula de teoria da medida — e do limite do que uma métrica bem desenhada...
Um mapa direto das conclusões da série Educação e Teoria dos Jogos e dos artigos que sustentam cada diagnóstico.
No mundo das IAs generativas, como provar a real autoria e competência de alunos? Analisamos a crise do sistema avaliativo tradicional.
O diploma universitário está perdendo seu valor? Uma análise econômica do Mercado de Limões aplicado ao ensino superior.
Entenda as dinâmicas entre as universidades, a regulação estatal e como a mão invisível do Estado molda o sistema educacional.
A busca pelo diploma muitas vezes não garante competência. Analisamos as dinâmicas do ensino e o 'jogo da imitação' acadêmica.
Como o núcleo comum no ensino superior molda a educação de engenharia? Uma perspectiva focada na Teoria dos Jogos.
Tag: Ensino Superior
A nota máxima do ENEM não é 1000. Já foi 1008,3. A explicação é uma aula de teoria da medida — e do limite do que uma métrica bem desenhada...
Um mapa direto das conclusões da série Educação e Teoria dos Jogos e dos artigos que sustentam cada diagnóstico.
No mundo das IAs generativas, como provar a real autoria e competência de alunos? Analisamos a crise do sistema avaliativo tradicional.
O diploma universitário está perdendo seu valor? Uma análise econômica do Mercado de Limões aplicado ao ensino superior.
Entenda as dinâmicas entre as universidades, a regulação estatal e como a mão invisível do Estado molda o sistema educacional.
A busca pelo diploma muitas vezes não garante competência. Analisamos as dinâmicas do ensino e o 'jogo da imitação' acadêmica.
Como o núcleo comum no ensino superior molda a educação de engenharia? Uma perspectiva focada na Teoria dos Jogos.
Tag: Engenharia de Software
Quando a IA entra no par de programação, os papéis mudam. Os dados de 2023 a 2026 mostram que os ganhos dependem do contexto e das práticas de qualidade que...
Tag: Metodologias Ágeis
Quando a IA entra no par de programação, os papéis mudam. Os dados de 2023 a 2026 mostram que os ganhos dependem do contexto e das práticas de qualidade que...
Tag: Extreme Programming
Quando a IA entra no par de programação, os papéis mudam. Os dados de 2023 a 2026 mostram que os ganhos dependem do contexto e das práticas de qualidade que...
Tag: Inteligência Artificial
A pasta .claude é o centro de controle do Claude Code no seu projeto. Este texto reorganiza os conceitos por autoridade, contexto, execução e capacidades reutilizáveis.
Quando a IA entra no par de programação, os papéis mudam. Os dados de 2023 a 2026 mostram que os ganhos dependem do contexto e das práticas de qualidade que...
Tag: Comportamento
A proibição das propagandas subliminares e a ascensão das técnicas de inserção sutil como o product placement representam a evolução da engenharia do comportamento.
Tag: Sociedade
A proibição das propagandas subliminares e a ascensão das técnicas de inserção sutil como o product placement representam a evolução da engenharia do comportamento.
Tag: Publicidade
A proibição das propagandas subliminares e a ascensão das técnicas de inserção sutil como o product placement representam a evolução da engenharia do comportamento.
Tag: Álgebra Geométrica
O produto escalar mede alinhamento, mas descarta estrutura orientada. A CliffordNet explora o produto geométrico para combinar coerência e variação estrutural em redes neurais.
Tag: Clifford Algebra
O produto escalar mede alinhamento, mas descarta estrutura orientada. A CliffordNet explora o produto geométrico para combinar coerência e variação estrutural em redes neurais.
Tag: Redes Neurais
O produto escalar mede alinhamento, mas descarta estrutura orientada. A CliffordNet explora o produto geométrico para combinar coerência e variação estrutural em redes neurais.
Tag: Visão Computacional
O produto escalar mede alinhamento, mas descarta estrutura orientada. A CliffordNet explora o produto geométrico para combinar coerência e variação estrutural em redes neurais.
BERT não prevê a próxima palavra. Ele esconde partes do texto, consulta os dois lados e transforma cada posição em uma representação contextual pronta para ser adaptada.
Esconder uma palavra parece uma brincadeira escolar. No BERT, essa brincadeira cria bilhões de exemplos sem rótulos e força cada token a prestar contas ao contexto dos dois lados.
The mathematics built over thirteen articles has been put to work: this blog's search now turns meaning into geometry and answers by measuring angles.
A matemática que a série construiu em treze artigos foi posta para trabalhar: a busca deste blog agora transforma significado em geometria e responde medindo ângulos.
O produto escalar mede alinhamento, mas descarta estrutura orientada. A CliffordNet explora o produto geométrico para combinar coerência e variação estrutural em redes neurais.
Tag: C Plus Plus
A catalog of Cpp23 rules for fast code, organized by theme and seasoned with the oldest lesson in optimization, which is to measure before believing.
Before main(), a lot has already happened: the operating system loaded the process, the loader resolved libraries, and the runtime initialized the environment.
Um catálogo de regras de Cpp23 para código rápido, organizado por tema e temperado com a lição mais antiga da otimização, que é medir antes de acreditar.
Antes da main(), muita coisa já aconteceu: o sistema operacional carregou o processo, o loader resolveu bibliotecas e a runtime inicializou o ambiente.
Tag: Sistemas Operacionais
Antes da main(), muita coisa já aconteceu: o sistema operacional carregou o processo, o loader resolveu bibliotecas e a runtime inicializou o ambiente.
Tag: Compiladores
Um catálogo de regras de Cpp23 para código rápido, organizado por tema e temperado com a lição mais antiga da otimização, que é medir antes de acreditar.
Antes da main(), muita coisa já aconteceu: o sistema operacional carregou o processo, o loader resolveu bibliotecas e a runtime inicializou o ambiente.
Tag: Claude Code
The .claude folder is the control center of Claude Code in your project. This text reorganizes the concepts by authority, context, execution, and reusable capabilities.
A pasta .claude é o centro de controle do Claude Code no seu projeto. Este texto reorganiza os conceitos por autoridade, contexto, execução e capacidades reutilizáveis.
Tag: Ferramentas
A pasta .claude é o centro de controle do Claude Code no seu projeto. Este texto reorganiza os conceitos por autoridade, contexto, execução e capacidades reutilizáveis.
Tag: Produtividade
A pasta .claude é o centro de controle do Claude Code no seu projeto. Este texto reorganiza os conceitos por autoridade, contexto, execução e capacidades reutilizáveis.
Tag: Cultura Ocidental
Um roteiro de leitura para quem deseja compreender as fontes literárias, filosóficas, históricas e espirituais da cultura ocidental.
Tag: Classicos
Um roteiro de leitura para quem deseja compreender as fontes literárias, filosóficas, históricas e espirituais da cultura ocidental.
Tag: Filosofia
Um roteiro de leitura para quem deseja compreender as fontes literárias, filosóficas, históricas e espirituais da cultura ocidental.
Tag: Literatura
Um roteiro de leitura para quem deseja compreender as fontes literárias, filosóficas, históricas e espirituais da cultura ocidental.
Tag: Estatística
Resumir dados categóricos é contar proporções, e proporção é a porta da probabilidade. Aqui cruzamos essa porta: axiomas, probabilidade condicional, Bayes e contagem, com o paradoxo da base rara em...
Antes de qualquer teste ou modelo, é preciso saber o que são os dados. Aqui a estatística começa pela anatomia: tipos, retângulo de dados e a diferença entre o que...
Bruno Guimarães perdeu o pênalti contra a Noruega. Isso torna a escolha errada? A resposta exige menos gritaria e um pouco mais de estatística.
Tag: Futebol
Bruno Guimarães perdeu o pênalti contra a Noruega. Isso torna a escolha errada? A resposta exige menos gritaria e um pouco mais de estatística.
Tag: Copa do Mundo
Bruno Guimarães perdeu o pênalti contra a Noruega. Isso torna a escolha errada? A resposta exige menos gritaria e um pouco mais de estatística.
Tag: Decisão Sob Incerteza
Bruno Guimarães perdeu o pênalti contra a Noruega. Isso torna a escolha errada? A resposta exige menos gritaria e um pouco mais de estatística.
Tag: Otimização
Um catálogo de regras de Cpp23 para código rápido, organizado por tema e temperado com a lição mais antiga da otimização, que é medir antes de acreditar.
Tag: Alto Desempenho
Um catálogo de regras de Cpp23 para código rápido, organizado por tema e temperado com a lição mais antiga da otimização, que é medir antes de acreditar.
Tag: Operating Systems
Before main(), a lot has already happened: the operating system loaded the process, the loader resolved libraries, and the runtime initialized the environment.
Tag: Compilers
A catalog of Cpp23 rules for fast code, organized by theme and seasoned with the oldest lesson in optimization, which is to measure before believing.
Before main(), a lot has already happened: the operating system loaded the process, the loader resolved libraries, and the runtime initialized the environment.
Tag: Optimization
A catalog of Cpp23 rules for fast code, organized by theme and seasoned with the oldest lesson in optimization, which is to measure before believing.
A catalog of Cpp23 rules for fast code, organized by theme and seasoned with the oldest lesson in optimization, which is to measure before believing.
Tag: Artificial Intelligence
The .claude folder is the control center of Claude Code in your project. This text reorganizes the concepts by authority, context, execution, and reusable capabilities.
The .claude folder is the control center of Claude Code in your project. This text reorganizes the concepts by authority, context, execution, and reusable capabilities.
Tag: Productivity
The .claude folder is the control center of Claude Code in your project. This text reorganizes the concepts by authority, context, execution, and reusable capabilities.
Tag: JEPA
Antes de prever o mundo, precisamos decidir o que conta como estado. Este artigo apresenta as duas perguntas, os três arcos e as rotas de leitura da série.
O JEPA se recusa a reconstruir pixels: prevê representações e joga fora parte do detalhe. Este artigo constrói o template JEPA e enfrenta o colapso.
Tag: Diffusion
O JEPA se recusa a reconstruir pixels: prevê representações e joga fora parte do detalhe. Este artigo constrói o template JEPA e enfrenta o colapso.
Tag: Self-Supervised Learning
Antes de prever o mundo, precisamos decidir o que conta como estado. Este artigo apresenta as duas perguntas, os três arcos e as rotas de leitura da série.
SimCLR troca o decoder por uma disputa geométrica: duas versões da mesma imagem devem se encontrar; todas as outras no lote tentam separá-las.
DINO troca a regressão vetorial do BYOL por distribuições aguçadas e centralizadas. A combinação aprende sem negativos e faz objetos aparecerem nos mapas de atenção.
O BYOL retira todos os negativos do SimCLR e pede que uma rede rápida alcance um alvo lento. A perda é curta; explicar por que a solução não colapsa exige...
Uma rede com milhões de parâmetros não merece aplausos por descobrir que x é igual a x. O autoencoder só começa a aprender quando copiar deixa de ser a saída...
Esconder uma palavra parece uma brincadeira escolar. No BERT, essa brincadeira cria bilhões de exemplos sem rótulos e força cada token a prestar contas ao contexto dos dois lados.
O JEPA se recusa a reconstruir pixels: prevê representações e joga fora parte do detalhe. Este artigo constrói o template JEPA e enfrenta o colapso.
Tag: World Models
Antes de prever o mundo, precisamos decidir o que conta como estado. Este artigo apresenta as duas perguntas, os três arcos e as rotas de leitura da série.
O JEPA se recusa a reconstruir pixels: prevê representações e joga fora parte do detalhe. Este artigo constrói o template JEPA e enfrenta o colapso.
Tag: Probabilidade
Resumir dados categóricos é contar proporções, e proporção é a porta da probabilidade. Aqui cruzamos essa porta: axiomas, probabilidade condicional, Bayes e contagem, com o paradoxo da base rara em...
Um modelo de linguagem distribui probabilidade entre continuações; treiná-lo é cobrar, em logaritmos, o preço das probabilidades que atribuiu ao texto observado.
Um modelo de linguagem distribui probabilidade entre continuações; treiná-lo é cobrar, em logaritmos, o preço das probabilidades que atribuiu ao texto observado.
Tag: Modelos de Linguagem
Um modelo de linguagem distribui probabilidade entre continuações; treiná-lo é cobrar, em logaritmos, o preço das probabilidades que atribuiu ao texto observado.
Tag: Entropia
Um modelo de linguagem distribui probabilidade entre continuações; treiná-lo é cobrar, em logaritmos, o preço das probabilidades que atribuiu ao texto observado.
Tag: Perplexidade
Um modelo de linguagem distribui probabilidade entre continuações; treiná-lo é cobrar, em logaritmos, o preço das probabilidades que atribuiu ao texto observado.
Tag: Fundamentos
Antes de qualquer teste ou modelo, é preciso saber o que são os dados. Aqui a estatística começa pela anatomia: tipos, retângulo de dados e a diferença entre o que...
Antes de qualquer algoritmo, uma pergunta: o que é um agente racional? Aqui a resposta vem com definição formal, medida de desempenho e exercícios resolvidos.
Tag: Agentes Inteligentes
Antes de qualquer algoritmo, uma pergunta: o que é um agente racional? Aqui a resposta vem com definição formal, medida de desempenho e exercícios resolvidos.
Tag: Embeddings
The mathematics built over thirteen articles has been put to work: this blog's search now turns meaning into geometry and answers by measuring angles.
A matemática que a série construiu em treze artigos foi posta para trabalhar: a busca deste blog agora transforma significado em geometria e responde medindo ângulos.
Tag: Busca Semântica
A matemática que a série construiu em treze artigos foi posta para trabalhar: a busca deste blog agora transforma significado em geometria e responde medindo ângulos.
Tag: Cloudflare
The mathematics built over thirteen articles has been put to work: this blog's search now turns meaning into geometry and answers by measuring angles.
A matemática que a série construiu em treze artigos foi posta para trabalhar: a busca deste blog agora transforma significado em geometria e responde medindo ângulos.
A matemática que a série construiu em treze artigos foi posta para trabalhar: a busca deste blog agora transforma significado em geometria e responde medindo ângulos.
Tag: Semantic Search
The mathematics built over thirteen articles has been put to work: this blog's search now turns meaning into geometry and answers by measuring angles.
The mathematics built over thirteen articles has been put to work: this blog's search now turns meaning into geometry and answers by measuring angles.
Tag: Ciência de Dados
Antes de qualquer teste ou modelo, é preciso saber o que são os dados. Aqui a estatística começa pela anatomia: tipos, retângulo de dados e a diferença entre o que...
Tag: Graph Neural Networks
Relational data does not fit neatly into tables or sequences. We derive message passing from permutation symmetry, calculate a GCN layer by hand, implement it in C++23, and solve 65...
Tag: Graph Theory
Two vertices may be joined by several roads, flights, or transactions. We preserve those edge identities, count paths correctly, derive algorithms, and solve 65 exercises.
Relational data does not fit neatly into tables or sequences. We derive message passing from permutation symmetry, calculate a GCN layer by hand, implement it in C++23, and solve 65...
Tag: Multigraphs
Two vertices may be joined by several roads, flights, or transactions. We preserve those edge identities, count paths correctly, derive algorithms, and solve 65 exercises.
Tag: Graph Algorithms
Two vertices may be joined by several roads, flights, or transactions. We preserve those edge identities, count paths correctly, derive algorithms, and solve 65 exercises.
Tag: Alexandre o Grande
Um mês antes de sua morte, o império se estendia por dois milhões de milhas quadradas. Descubra como a morte de Alexandre iniciou uma disputa épica por seus restos mortais....
Tag: Alexandria
Um mês antes de sua morte, o império se estendia por dois milhões de milhas quadradas. Descubra como a morte de Alexandre iniciou uma disputa épica por seus restos mortais....
Tag: Babilônia
Um mês antes de sua morte, o império se estendia por dois milhões de milhas quadradas. Descubra como a morte de Alexandre iniciou uma disputa épica por seus restos mortais....
Tag: História
Um mês antes de sua morte, o império se estendia por dois milhões de milhas quadradas. Descubra como a morte de Alexandre iniciou uma disputa épica por seus restos mortais....
Tag: Impérios
Um mês antes de sua morte, o império se estendia por dois milhões de milhas quadradas. Descubra como a morte de Alexandre iniciou uma disputa épica por seus restos mortais....
Tag: Ensaio
Um mês antes de sua morte, o império se estendia por dois milhões de milhas quadradas. Descubra como a morte de Alexandre iniciou uma disputa épica por seus restos mortais....
Tag: Masked Language Modeling
BERT não prevê a próxima palavra. Ele esconde partes do texto, consulta os dois lados e transforma cada posição em uma representação contextual pronta para ser adaptada.
Esconder uma palavra parece uma brincadeira escolar. No BERT, essa brincadeira cria bilhões de exemplos sem rótulos e força cada token a prestar contas ao contexto dos dois lados.
Tag: BERT
BERT não prevê a próxima palavra. Ele esconde partes do texto, consulta os dois lados e transforma cada posição em uma representação contextual pronta para ser adaptada.
Esconder uma palavra parece uma brincadeira escolar. No BERT, essa brincadeira cria bilhões de exemplos sem rótulos e força cada token a prestar contas ao contexto dos dois lados.
Tag: Natural Language Processing
BERT não prevê a próxima palavra. Ele esconde partes do texto, consulta os dois lados e transforma cada posição em uma representação contextual pronta para ser adaptada.
Tag: Autoencoders
A difusão latente não remove ruído de pixels. Primeiro comprime a imagem, depois aprende a gerar dentro do espaço que o autoencoder decidiu preservar.
Uma rede com milhões de parâmetros não merece aplausos por descobrir que x é igual a x. O autoencoder só começa a aprender quando copiar deixa de ser a saída...
Tag: Representation Learning
Antes de prever o mundo, precisamos decidir o que conta como estado. Este artigo apresenta as duas perguntas, os três arcos e as rotas de leitura da série.
Uma rede com milhões de parâmetros não merece aplausos por descobrir que x é igual a x. O autoencoder só começa a aprender quando copiar deixa de ser a saída...
Tag: PCA
Uma rede com milhões de parâmetros não merece aplausos por descobrir que x é igual a x. O autoencoder só começa a aprender quando copiar deixa de ser a saída...
Tag: BYOL
O BYOL retira todos os negativos do SimCLR e pede que uma rede rápida alcance um alvo lento. A perda é curta; explicar por que a solução não colapsa exige...
Tag: Self-Distillation
DINO troca a regressão vetorial do BYOL por distribuições aguçadas e centralizadas. A combinação aprende sem negativos e faz objetos aparecerem nos mapas de atenção.
O BYOL retira todos os negativos do SimCLR e pede que uma rede rápida alcance um alvo lento. A perda é curta; explicar por que a solução não colapsa exige...
Tag: Exponential Moving Average
O BYOL retira todos os negativos do SimCLR e pede que uma rede rápida alcance um alvo lento. A perda é curta; explicar por que a solução não colapsa exige...
Tag: Diffusion Models
A difusão latente não remove ruído de pixels. Primeiro comprime a imagem, depois aprende a gerar dentro do espaço que o autoencoder decidiu preservar.
Tag: Latent Diffusion
A difusão latente não remove ruído de pixels. Primeiro comprime a imagem, depois aprende a gerar dentro do espaço que o autoencoder decidiu preservar.
Tag: Generative Models
A difusão latente não remove ruído de pixels. Primeiro comprime a imagem, depois aprende a gerar dentro do espaço que o autoencoder decidiu preservar.
Tag: DINO
DINO troca a regressão vetorial do BYOL por distribuições aguçadas e centralizadas. A combinação aprende sem negativos e faz objetos aparecerem nos mapas de atenção.
O MAE leva o mascaramento da linguagem para imagens, mas explora uma assimetria decisiva: o encoder pesado nunca processa os patches ocultos.
DINO troca a regressão vetorial do BYOL por distribuições aguçadas e centralizadas. A combinação aprende sem negativos e faz objetos aparecerem nos mapas de atenção.
Tag: Masked Autoencoder
O MAE leva o mascaramento da linguagem para imagens, mas explora uma assimetria decisiva: o encoder pesado nunca processa os patches ocultos.
Tag: MAE
O MAE leva o mascaramento da linguagem para imagens, mas explora uma assimetria decisiva: o encoder pesado nunca processa os patches ocultos.
Tag: Masked Modeling
O MAE leva o mascaramento da linguagem para imagens, mas explora uma assimetria decisiva: o encoder pesado nunca processa os patches ocultos.
Tag: SimCLR
SimCLR troca o decoder por uma disputa geométrica: duas versões da mesma imagem devem se encontrar; todas as outras no lote tentam separá-las.
Tag: Contrastive Learning
SimCLR troca o decoder por uma disputa geométrica: duas versões da mesma imagem devem se encontrar; todas as outras no lote tentam separá-las.
Tag: InfoNCE
SimCLR troca o decoder por uma disputa geométrica: duas versões da mesma imagem devem se encontrar; todas as outras no lote tentam separá-las.
Tag: Model-Based Planning
Antes de prever o mundo, precisamos decidir o que conta como estado. Este artigo apresenta as duas perguntas, os três arcos e as rotas de leitura da série.
Tag: Dados Categóricos
Resumir dados categóricos é contar proporções, e proporção é a porta da probabilidade. Aqui cruzamos essa porta: axiomas, probabilidade condicional, Bayes e contagem, com o paradoxo da base rara em...
