Tag: Algoritmos
Uma estrutura de dados é um acordo entre as atualizações e as perguntas. Este artigo abre o capítulo das estruturas com as que guardam candidatos, ordem ou hash. No MSVC,...
Cada problema deste treino pergunta algo sobre um trecho de um vetor, e nenhum deles pode pagar o preço de ler o trecho inteiro. Às vezes a resposta é prometer...
Duas cadeias de 1024 letras, diferentes, têm o mesmo hash módulo 2^64 para qualquer base ímpar, e sortear a base não muda nada. Este artigo fecha o capítulo dos arrays...
Um inteiro de 64 bits é um conjunto de até 64 elementos, e uma instrução do processador faz a interseção de todos eles de uma vez. Este artigo usa bits...
Uma janela que anda uma posição perde um elemento e ganha outro, e quem recalcula a janela inteira paga k vezes mais do que precisa. Este artigo mantém o estado...
Somar um intervalo de cem mil posições custa cem mil somas, a menos que alguém tenha somado antes. Prefixos respondem a qualquer soma de intervalo com uma subtração, diferenças aplicam...
Cada problema deste treino pergunta, de um jeito ou de outro, onde fica uma fronteira. Às vezes é a primeira pedra depois de um peregrino, às vezes é o menor...
Quando as chaves são inteiros de um universo pequeno, ordenar não exige comparar. No MSVC, a contagem ordenou dez milhões de inteiros entre 0 e 255 em 11 ms, contra...
Nenhum algoritmo que só compara elementos ordena um milhão de números com menos de 18,5 milhões de comparações. O std::sort do MSVC fez 31 milhões e levou 61 ms. Uma...
Cada comparação de uma busca binária compra um bit de informação e descarta metade da incerteza. Vinte comparações bastam para um milhão de elementos. No MSVC, porém, a mesma busca...
Vários problemas deste treino são aritmeticamente triviais de propósito. Quando a conta é silenciosa, o custo de mover bytes, a semântica da conversão de texto e a posse dos caracteres...
Pagar um pré-processamento uma vez para responder muitas perguntas depressa é a primeira grande troca da série. Este treino cobra essa troca em sete problemas e, depois deles, aplica a...
Saber um algoritmo e entregar um programa correto com o relógio correndo são habilidades diferentes. O primeiro treino da série cobra a segunda, com sete problemas cujos enunciados não dizem...
A notação Big O conta operações e trata todas como iguais. O processador discorda. Vamos abrir a máquina e medir o preço de escolher o tipo errado, de percorrer a...
Um programa correto que estoura o limite de tempo recebe o mesmo veredito de um programa errado. A série começa aprendendo a contar o trabalho antes de escrever a primeira...
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
Um percurso para usar inteligência artificial no desenvolvimento de software, começando pelos papéis das pessoas e chegando às regras e aos ambientes de trabalho dos agentes.
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
Uma estrutura de dados é um acordo entre as atualizações e as perguntas. Este artigo abre o capítulo das estruturas com as que guardam candidatos, ordem ou hash. No MSVC,...
Cada problema deste treino pergunta algo sobre um trecho de um vetor, e nenhum deles pode pagar o preço de ler o trecho inteiro. Às vezes a resposta é prometer...
Duas cadeias de 1024 letras, diferentes, têm o mesmo hash módulo 2^64 para qualquer base ímpar, e sortear a base não muda nada. Este artigo fecha o capítulo dos arrays...
Um inteiro de 64 bits é um conjunto de até 64 elementos, e uma instrução do processador faz a interseção de todos eles de uma vez. Este artigo usa bits...
Uma janela que anda uma posição perde um elemento e ganha outro, e quem recalcula a janela inteira paga k vezes mais do que precisa. Este artigo mantém o estado...
Somar um intervalo de cem mil posições custa cem mil somas, a menos que alguém tenha somado antes. Prefixos respondem a qualquer soma de intervalo com uma subtração, diferenças aplicam...
Cada problema deste treino pergunta, de um jeito ou de outro, onde fica uma fronteira. Às vezes é a primeira pedra depois de um peregrino, às vezes é o menor...
Quando as chaves são inteiros de um universo pequeno, ordenar não exige comparar. No MSVC, a contagem ordenou dez milhões de inteiros entre 0 e 255 em 11 ms, contra...
Nenhum algoritmo que só compara elementos ordena um milhão de números com menos de 18,5 milhões de comparações. O std::sort do MSVC fez 31 milhões e levou 61 ms. Uma...
Cada comparação de uma busca binária compra um bit de informação e descarta metade da incerteza. Vinte comparações bastam para um milhão de elementos. No MSVC, porém, a mesma busca...
Vários problemas deste treino são aritmeticamente triviais de propósito. Quando a conta é silenciosa, o custo de mover bytes, a semântica da conversão de texto e a posse dos caracteres...
Um algoritmo O(n log n) pode perder para a leitura da própria entrada. No MSVC, ler um milhão de inteiros com std::cin custou 360 ms, e um leitor de vinte...
Pagar um pré-processamento uma vez para responder muitas perguntas depressa é a primeira grande troca da série. Este treino cobra essa troca em sete problemas e, depois deles, aplica a...
Um vetor que cresce sozinho move cada elemento, em média, duas vezes no MSVC. Uma vista que filtra dez valores pode ler só sete. Uma tabela de contagem vence a...
Toda solução tem duas vidas. Na primeira, escolhemos a ideia e provamos que ela funciona. Na segunda, digitamos a ideia em C++23 depressa e limpo o bastante para que o...
Saber um algoritmo e entregar um programa correto com o relógio correndo são habilidades diferentes. O primeiro treino da série cobra a segunda, com sete problemas cujos enunciados não dizem...
A notação Big O conta operações e trata todas como iguais. O processador discorda. Vamos abrir a máquina e medir o preço de escolher o tipo errado, de percorrer a...
Um programa correto que estoura o limite de tempo recebe o mesmo veredito de um programa errado. A série começa aprendendo a contar o trabalho antes de escrever a primeira...
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
Um percurso para usar inteligência artificial no desenvolvimento de software, começando pelos papéis das pessoas e chegando às regras e aos ambientes de trabalho dos agentes.
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
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 algoritmo O(n log n) pode perder para a leitura da própria entrada. No MSVC, ler um milhão de inteiros com std::cin custou 360 ms, e um leitor de vinte...
Um vetor que cresce sozinho move cada elemento, em média, duas vezes no MSVC. Uma vista que filtra dez valores pode ler só sete. Uma tabela de contagem vence a...
Toda solução tem duas vidas. Na primeira, escolhemos a ideia e provamos que ela funciona. Na segunda, digitamos a ideia em C++23 depressa e limpo o bastante para que o...
A notação Big O conta operações e trata todas como iguais. O processador discorda. Vamos abrir a máquina e medir o preço de escolher o tipo errado, de percorrer a...
Um programa correto que estoura o limite de tempo recebe o mesmo veredito de um programa errado. A série começa aprendendo a contar o trabalho antes de escrever a primeira...
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
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: 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: 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
Onde a lenda encontra a história nos portões de pedra. Descubra os eventos sombrios antes, durante e após a Batalha das Termópilas.
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
Onde a lenda encontra a história nos portões de pedra. Descubra os eventos sombrios antes, durante e após a Batalha das Termópilas.
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
Onde a lenda encontra a história nos portões de pedra. Descubra os eventos sombrios antes, durante e após a Batalha das Termópilas.
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: Termópilas
Onde a lenda encontra a história nos portões de pedra. Descubra os eventos sombrios antes, durante e após a Batalha das Termópilas.
Tag: Esparta
Onde a lenda encontra a história nos portões de pedra. Descubra os eventos sombrios antes, durante e após a Batalha das Termópilas.
Tag: Grécia
Onde a lenda encontra a história nos portões de pedra. Descubra os eventos sombrios antes, durante e após a Batalha das Termópilas.
Tag: Redes
O DNS transforma nomes em decisões distribuídas. Vamos medir o que o TTL compra, o que ele atrasa e por que pesos sobre respostas não garantem a mesma fração de...
TCP, UDP e QUIC oferecem contratos diferentes sobre o mesmo IP. Vamos acompanhar um fluxo da porta ao encerramento, medir janelas e perdas e decidir qual transporte serve a cada...
Um endereço IP não é uma máquina e uma rota não é um mapa. Vamos transformar _bits_ em prefixos, seguir uma requisição de uma rede privada até a Internet e...
Uma rede não é uma coleção de caixas com luzes. É um conjunto de fronteiras de encaminhamento, compartilhamento e falha. Vamos seguir um frame pela rede local e terminar em...
Existe uma classe de defeito que nenhum profiler de aplicação encontra, porque a aplicação não está lenta: ela está esperando. A série começa medindo o que se espera e por...
Tag: Fundamentos
Existe uma classe de defeito que nenhum profiler de aplicação encontra, porque a aplicação não está lenta: ela está esperando. A série começa medindo o que se espera e por...
Tag: Latência
Existe uma classe de defeito que nenhum profiler de aplicação encontra, porque a aplicação não está lenta: ela está esperando. A série começa medindo o que se espera e por...
Tag: TCP/IP
Existe uma classe de defeito que nenhum profiler de aplicação encontra, porque a aplicação não está lenta: ela está esperando. A série começa medindo o que se espera e por...
Tag: Ethernet
Uma rede não é uma coleção de caixas com luzes. É um conjunto de fronteiras de encaminhamento, compartilhamento e falha. Vamos seguir um frame pela rede local e terminar em...
Tag: Topologias
Uma rede não é uma coleção de caixas com luzes. É um conjunto de fronteiras de encaminhamento, compartilhamento e falha. Vamos seguir um frame pela rede local e terminar em...
Tag: Internet
Uma rede não é uma coleção de caixas com luzes. É um conjunto de fronteiras de encaminhamento, compartilhamento e falha. Vamos seguir um frame pela rede local e terminar em...
Tag: Web
Uma rede não é uma coleção de caixas com luzes. É um conjunto de fronteiras de encaminhamento, compartilhamento e falha. Vamos seguir um frame pela rede local e terminar em...
Tag: IPv4
Um endereço IP não é uma máquina e uma rota não é um mapa. Vamos transformar _bits_ em prefixos, seguir uma requisição de uma rede privada até a Internet e...
Tag: IPv6
Um endereço IP não é uma máquina e uma rota não é um mapa. Vamos transformar _bits_ em prefixos, seguir uma requisição de uma rede privada até a Internet e...
Tag: CIDR
Um endereço IP não é uma máquina e uma rota não é um mapa. Vamos transformar _bits_ em prefixos, seguir uma requisição de uma rede privada até a Internet e...
Tag: Roteamento
Um endereço IP não é uma máquina e uma rota não é um mapa. Vamos transformar _bits_ em prefixos, seguir uma requisição de uma rede privada até a Internet e...
Tag: NAT
Um endereço IP não é uma máquina e uma rota não é um mapa. Vamos transformar _bits_ em prefixos, seguir uma requisição de uma rede privada até a Internet e...
Tag: NAPT
Um endereço IP não é uma máquina e uma rota não é um mapa. Vamos transformar _bits_ em prefixos, seguir uma requisição de uma rede privada até a Internet e...
Tag: ICMP
Um endereço IP não é uma máquina e uma rota não é um mapa. Vamos transformar _bits_ em prefixos, seguir uma requisição de uma rede privada até a Internet e...
Tag: TCP
TCP, UDP e QUIC oferecem contratos diferentes sobre o mesmo IP. Vamos acompanhar um fluxo da porta ao encerramento, medir janelas e perdas e decidir qual transporte serve a cada...
Tag: UDP
TCP, UDP e QUIC oferecem contratos diferentes sobre o mesmo IP. Vamos acompanhar um fluxo da porta ao encerramento, medir janelas e perdas e decidir qual transporte serve a cada...
Tag: QUIC
TCP, UDP e QUIC oferecem contratos diferentes sobre o mesmo IP. Vamos acompanhar um fluxo da porta ao encerramento, medir janelas e perdas e decidir qual transporte serve a cada...
Tag: Congestionamento
TCP, UDP e QUIC oferecem contratos diferentes sobre o mesmo IP. Vamos acompanhar um fluxo da porta ao encerramento, medir janelas e perdas e decidir qual transporte serve a cada...
Tag: git
Vamos sair de uma pasta vazia e chegar a um site estático com domínio próprio, HTTPS, revisão por pull request e duas rotas de publicação, GitHub Pages ou Cloudflare Pages....
Tag: github
Vamos sair de uma pasta vazia e chegar a um site estático com domínio próprio, HTTPS, revisão por pull request e duas rotas de publicação, GitHub Pages ou Cloudflare Pages....
Tag: github pages
Antes de escolher OAuth, vamos comparar senhas próprias, serviços gerenciados, login federado, cookies e sessões em banco. Depois construiremos o fluxo adequado a um site estático e veremos a variante...
Vamos sair de uma pasta vazia e chegar a um site estático com domínio próprio, HTTPS, revisão por pull request e duas rotas de publicação, GitHub Pages ou Cloudflare Pages....
Tag: dns
Vamos sair de uma pasta vazia e chegar a um site estático com domínio próprio, HTTPS, revisão por pull request e duas rotas de publicação, GitHub Pages ou Cloudflare Pages....
Tag: registro.br
Vamos sair de uma pasta vazia e chegar a um site estático com domínio próprio, HTTPS, revisão por pull request e duas rotas de publicação, GitHub Pages ou Cloudflare Pages....
Tag: cloudflare
Antes de escolher OAuth, vamos comparar senhas próprias, serviços gerenciados, login federado, cookies e sessões em banco. Depois construiremos o fluxo adequado a um site estático e veremos a variante...
Vamos sair de uma pasta vazia e chegar a um site estático com domínio próprio, HTTPS, revisão por pull request e duas rotas de publicação, GitHub Pages ou Cloudflare Pages....
Tag: cloudflare pages
Antes de escolher OAuth, vamos comparar senhas próprias, serviços gerenciados, login federado, cookies e sessões em banco. Depois construiremos o fluxo adequado a um site estático e veremos a variante...
Vamos sair de uma pasta vazia e chegar a um site estático com domínio próprio, HTTPS, revisão por pull request e duas rotas de publicação, GitHub Pages ou Cloudflare Pages....
Tag: sites estáticos
Vamos sair de uma pasta vazia e chegar a um site estático com domínio próprio, HTTPS, revisão por pull request e duas rotas de publicação, GitHub Pages ou Cloudflare Pages....
Tag: oauth2
Antes de escolher OAuth, vamos comparar senhas próprias, serviços gerenciados, login federado, cookies e sessões em banco. Depois construiremos o fluxo adequado a um site estático e veremos a variante...
Tag: oidc
Antes de escolher OAuth, vamos comparar senhas próprias, serviços gerenciados, login federado, cookies e sessões em banco. Depois construiremos o fluxo adequado a um site estático e veremos a variante...
Tag: pkce
Antes de escolher OAuth, vamos comparar senhas próprias, serviços gerenciados, login federado, cookies e sessões em banco. Depois construiremos o fluxo adequado a um site estático e veremos a variante...
Tag: google
Antes de escolher OAuth, vamos comparar senhas próprias, serviços gerenciados, login federado, cookies e sessões em banco. Depois construiremos o fluxo adequado a um site estático e veremos a variante...
Tag: microsoft
Antes de escolher OAuth, vamos comparar senhas próprias, serviços gerenciados, login federado, cookies e sessões em banco. Depois construiremos o fluxo adequado a um site estático e veremos a variante...
Tag: autenticação
Antes de escolher OAuth, vamos comparar senhas próprias, serviços gerenciados, login federado, cookies e sessões em banco. Depois construiremos o fluxo adequado a um site estático e veremos a variante...
Tag: pages functions
Antes de escolher OAuth, vamos comparar senhas próprias, serviços gerenciados, login federado, cookies e sessões em banco. Depois construiremos o fluxo adequado a um site estático e veremos a variante...
Tag: DNS
O DNS transforma nomes em decisões distribuídas. Vamos medir o que o TTL compra, o que ele atrasa e por que pesos sobre respostas não garantem a mesma fração de...
Tag: Nuvem
O DNS transforma nomes em decisões distribuídas. Vamos medir o que o TTL compra, o que ele atrasa e por que pesos sobre respostas não garantem a mesma fração de...
Tag: Resiliência
O DNS transforma nomes em decisões distribuídas. Vamos medir o que o TTL compra, o que ele atrasa e por que pesos sobre respostas não garantem a mesma fração de...
Tag: Evangelho de Marcos
Marcos 4 não apresenta apenas uma mensagem. O capítulo também nos convida a pensar nas condições necessárias para que uma mensagem seja acolhida e produza fruto.
Tag: Parábola do Semeador
Marcos 4 não apresenta apenas uma mensagem. O capítulo também nos convida a pensar nas condições necessárias para que uma mensagem seja acolhida e produza fruto.
Tag: Educação
Marcos 4 não apresenta apenas uma mensagem. O capítulo também nos convida a pensar nas condições necessárias para que uma mensagem seja acolhida e produza fruto.
Tag: Comunicação
Marcos 4 não apresenta apenas uma mensagem. O capítulo também nos convida a pensar nas condições necessárias para que uma mensagem seja acolhida e produza fruto.
Tag: Psicologia Cognitiva
Marcos 4 não apresenta apenas uma mensagem. O capítulo também nos convida a pensar nas condições necessárias para que uma mensagem seja acolhida e produza fruto.
Tag: Cristianismo
Marcos 4 não apresenta apenas uma mensagem. O capítulo também nos convida a pensar nas condições necessárias para que uma mensagem seja acolhida e produza fruto.
Tag: Agentes Inteligentes
Um percurso para usar inteligência artificial no desenvolvimento de software, começando pelos papéis das pessoas e chegando às regras e aos ambientes de trabalho dos agentes.
Tag: Programação Competitiva
Uma estrutura de dados é um acordo entre as atualizações e as perguntas. Este artigo abre o capítulo das estruturas com as que guardam candidatos, ordem ou hash. No MSVC,...
Cada problema deste treino pergunta algo sobre um trecho de um vetor, e nenhum deles pode pagar o preço de ler o trecho inteiro. Às vezes a resposta é prometer...
Duas cadeias de 1024 letras, diferentes, têm o mesmo hash módulo 2^64 para qualquer base ímpar, e sortear a base não muda nada. Este artigo fecha o capítulo dos arrays...
Um inteiro de 64 bits é um conjunto de até 64 elementos, e uma instrução do processador faz a interseção de todos eles de uma vez. Este artigo usa bits...
Uma janela que anda uma posição perde um elemento e ganha outro, e quem recalcula a janela inteira paga k vezes mais do que precisa. Este artigo mantém o estado...
Somar um intervalo de cem mil posições custa cem mil somas, a menos que alguém tenha somado antes. Prefixos respondem a qualquer soma de intervalo com uma subtração, diferenças aplicam...
Cada problema deste treino pergunta, de um jeito ou de outro, onde fica uma fronteira. Às vezes é a primeira pedra depois de um peregrino, às vezes é o menor...
Quando as chaves são inteiros de um universo pequeno, ordenar não exige comparar. No MSVC, a contagem ordenou dez milhões de inteiros entre 0 e 255 em 11 ms, contra...
Nenhum algoritmo que só compara elementos ordena um milhão de números com menos de 18,5 milhões de comparações. O std::sort do MSVC fez 31 milhões e levou 61 ms. Uma...
Cada comparação de uma busca binária compra um bit de informação e descarta metade da incerteza. Vinte comparações bastam para um milhão de elementos. No MSVC, porém, a mesma busca...
Vários problemas deste treino são aritmeticamente triviais de propósito. Quando a conta é silenciosa, o custo de mover bytes, a semântica da conversão de texto e a posse dos caracteres...
Um algoritmo O(n log n) pode perder para a leitura da própria entrada. No MSVC, ler um milhão de inteiros com std::cin custou 360 ms, e um leitor de vinte...
Pagar um pré-processamento uma vez para responder muitas perguntas depressa é a primeira grande troca da série. Este treino cobra essa troca em sete problemas e, depois deles, aplica a...
Um vetor que cresce sozinho move cada elemento, em média, duas vezes no MSVC. Uma vista que filtra dez valores pode ler só sete. Uma tabela de contagem vence a...
Toda solução tem duas vidas. Na primeira, escolhemos a ideia e provamos que ela funciona. Na segunda, digitamos a ideia em C++23 depressa e limpo o bastante para que o...
Saber um algoritmo e entregar um programa correto com o relógio correndo são habilidades diferentes. O primeiro treino da série cobra a segunda, com sete problemas cujos enunciados não dizem...
A notação Big O conta operações e trata todas como iguais. O processador discorda. Vamos abrir a máquina e medir o preço de escolher o tipo errado, de percorrer a...
Um programa correto que estoura o limite de tempo recebe o mesmo veredito de um programa errado. A série começa aprendendo a contar o trabalho antes de escrever a primeira...
Tag: Complexidade
Um programa correto que estoura o limite de tempo recebe o mesmo veredito de um programa errado. A série começa aprendendo a contar o trabalho antes de escrever a primeira...
Tag: Cache
A notação Big O conta operações e trata todas como iguais. O processador discorda. Vamos abrir a máquina e medir o preço de escolher o tipo errado, de percorrer a...
Tag: Treino
Cada problema deste treino pergunta algo sobre um trecho de um vetor, e nenhum deles pode pagar o preço de ler o trecho inteiro. Às vezes a resposta é prometer...
Cada problema deste treino pergunta, de um jeito ou de outro, onde fica uma fronteira. Às vezes é a primeira pedra depois de um peregrino, às vezes é o menor...
Vários problemas deste treino são aritmeticamente triviais de propósito. Quando a conta é silenciosa, o custo de mover bytes, a semântica da conversão de texto e a posse dos caracteres...
Pagar um pré-processamento uma vez para responder muitas perguntas depressa é a primeira grande troca da série. Este treino cobra essa troca em sete problemas e, depois deles, aplica a...
Saber um algoritmo e entregar um programa correto com o relógio correndo são habilidades diferentes. O primeiro treino da série cobra a segunda, com sete problemas cujos enunciados não dizem...
Tag: constexpr
Toda solução tem duas vidas. Na primeira, escolhemos a ideia e provamos que ela funciona. Na segunda, digitamos a ideia em C++23 depressa e limpo o bastante para que o...
Tag: Conceitos
Toda solução tem duas vidas. Na primeira, escolhemos a ideia e provamos que ela funciona. Na segunda, digitamos a ideia em C++23 depressa e limpo o bastante para que o...
Tag: Estruturas de Dados
Uma estrutura de dados é um acordo entre as atualizações e as perguntas. Este artigo abre o capítulo das estruturas com as que guardam candidatos, ordem ou hash. No MSVC,...
Um vetor que cresce sozinho move cada elemento, em média, duas vezes no MSVC. Uma vista que filtra dez valores pode ler só sete. Uma tabela de contagem vence a...
Tag: Ranges
Um vetor que cresce sozinho move cada elemento, em média, duas vezes no MSVC. Uma vista que filtra dez valores pode ler só sete. Uma tabela de contagem vence a...
Tag: Entrada e Saída
Um algoritmo O(n log n) pode perder para a leitura da própria entrada. No MSVC, ler um milhão de inteiros com std::cin custou 360 ms, e um leitor de vinte...
Tag: Busca Binária
Cada comparação de uma busca binária compra um bit de informação e descarta metade da incerteza. Vinte comparações bastam para um milhão de elementos. No MSVC, porém, a mesma busca...
Tag: Ordenação
Quando as chaves são inteiros de um universo pequeno, ordenar não exige comparar. No MSVC, a contagem ordenou dez milhões de inteiros entre 0 e 255 em 11 ms, contra...
Nenhum algoritmo que só compara elementos ordena um milhão de números com menos de 18,5 milhões de comparações. O std::sort do MSVC fez 31 milhões e levou 61 ms. Uma...
Tag: Arrays
Duas cadeias de 1024 letras, diferentes, têm o mesmo hash módulo 2^64 para qualquer base ímpar, e sortear a base não muda nada. Este artigo fecha o capítulo dos arrays...
Uma janela que anda uma posição perde um elemento e ganha outro, e quem recalcula a janela inteira paga k vezes mais do que precisa. Este artigo mantém o estado...
Somar um intervalo de cem mil posições custa cem mil somas, a menos que alguém tenha somado antes. Prefixos respondem a qualquer soma de intervalo com uma subtração, diferenças aplicam...
Tag: Bits
Um inteiro de 64 bits é um conjunto de até 64 elementos, e uma instrução do processador faz a interseção de todos eles de uma vez. Este artigo usa bits...
