Tag Algoritmos
Uma análise de uma hipótese intrigante: e se não existissem números reais? Se o que existisse fosse apenas um conjunto de conjuntos de números de precisão diferente e fixa.
FMA não é apenas uma instrução – é a razão pela qual metade do poder da sua CPU moderna estaria jogada fora se você não a estiver usando. Este artigo...
Um estudo detalhado da estrutura heap em c++ como base para um artigo do livro sobre computação competitiva
Explore como a matemática formal constrói os números naturais e como podemos implementar essa lógica em Prolog.
Uma introdução a matemática que suporta a criação de transformers para processamento de linguagem natural com exemplos de código em C++20.
Para colocar ordem na casa, a tradução de dois artigos de Georg Cantor sobre a não numerabilidade dos números reais.
Uma breve história da descoberta do valor da verdade e seu impacto na sociedade. Uma jornada marcada por tragédias que começa com uma execução.
Tag Machine Learning
Aprofundando no **Word2vec** (CBoW, SkipGram) e suas otimizações, analisando como ele captura a semântica e suas limitações em relação aos modelos contextuais como Transformers.
Este artigo apresenta os algoritmos CBoW e SkipGram como avanço fundamental que supera as limitações das representações estáticas como Bag-of-Words e TF-IDF, pavimentando o caminho para os modelos contextuais modernos...
Este artigo apresenta os fundamentos de redes neurais artificiais, explicando a estrutura dos neurônios artificiais, funções de ativação, arquiteturas e processos de treinamento que servem como base para os modelos...
A hipótese de Sapir-Whorf sugere que a linguagem que falamos molda nossa forma de pensar e perceber o mundo. Este artigo explora as versões forte e fraca desta teoria, examinando...
Usando o MDP para resolver problemas da vida real. Neste caso um problema de manutenção de turbinas eólicas.
Nesta aula, mergulhamos fundo na arquitetura completa dos Transformers. Desvendamos o bloco decodificador, incluindo a atenção mascarada e a atenção cruzada, e como ele interage com o codificador para gerar...
Neste artigo, partimos da modelagem de sequências textuais. E construímos gradualmente a intuição sobre modelos mais sofisticados, como a atenção, fundamentais para a arquitetura Transformer.
Neste artigo, mergulhamos na modelagem de sequências textuais. Partimos das Cadeias de Markov, N-grams, e suas limitações, construindo gradualmente a intuição para modelos mais sofisticados capazes de capturar dependências de...
Descubra como resolver o Grid World usando *Dynamic Programming* e C++ 20. Um guia prático e matemático para entender a solução de MDPs, desde as equações de Bellman até a...
Uma introdução a matemática que suporta a criação de transformers para processamento de linguagem natural com exemplos de código em C++20.
Vamos aprender as técnicas de vetorização mais básicas, como a frequência de termos e o modelo Bag of Words. Vamos discutir como essas técnicas são usadas para representar textos como...
O Reinforcement Learning (RL) com o Grid World! 🚀 Um guia prático e didático para iniciantes construírem uma base sólida em IA. Domine MDPs e algoritmos essenciais de RL explorando...
A primeira parte do capítulo sobre MDP, com código em C++ 20, os motivos impulsionaram Markov e o que ele descobriu que levaria ao RL.
Nos últimos anos a aprendizagem por reforço (*reinforcement learning - *RL**) tem chamado a atenção da mídia que cobre inteligência artificial em todo o mundo. Sua trajetória, no entanto, é...
Tag Aprendizado por Reforço
Usando o MDP para resolver problemas da vida real. Neste caso um problema de manutenção de turbinas eólicas.
Descubra como resolver o Grid World usando *Dynamic Programming* e C++ 20. Um guia prático e matemático para entender a solução de MDPs, desde as equações de Bellman até a...
O Reinforcement Learning (RL) com o Grid World! 🚀 Um guia prático e didático para iniciantes construírem uma base sólida em IA. Domine MDPs e algoritmos essenciais de RL explorando...
A primeira parte do capítulo sobre MDP, com código em C++ 20, os motivos impulsionaram Markov e o que ele descobriu que levaria ao RL.
Nos últimos anos a aprendizagem por reforço (*reinforcement learning - *RL**) tem chamado a atenção da mídia que cobre inteligência artificial em todo o mundo. Sua trajetória, no entanto, é...
Tag Processamento de Linguagem Natural
Aprofundando no **Word2vec** (CBoW, SkipGram) e suas otimizações, analisando como ele captura a semântica e suas limitações em relação aos modelos contextuais como Transformers.
Este artigo apresenta os algoritmos CBoW e SkipGram como avanço fundamental que supera as limitações das representações estáticas como Bag-of-Words e TF-IDF, pavimentando o caminho para os modelos contextuais modernos...
Este artigo apresenta os fundamentos de redes neurais artificiais, explicando a estrutura dos neurônios artificiais, funções de ativação, arquiteturas e processos de treinamento que servem como base para os modelos...
A hipótese de Sapir-Whorf sugere que a linguagem que falamos molda nossa forma de pensar e perceber o mundo. Este artigo explora as versões forte e fraca desta teoria, examinando...
Nesta aula, mergulhamos fundo na arquitetura completa dos Transformers. Desvendamos o bloco decodificador, incluindo a atenção mascarada e a atenção cruzada, e como ele interage com o codificador para gerar...
Neste artigo, partimos da modelagem de sequências textuais. E construímos gradualmente a intuição sobre modelos mais sofisticados, como a atenção, fundamentais para a arquitetura Transformer.
Neste artigo, mergulhamos na modelagem de sequências textuais. Partimos das Cadeias de Markov, N-grams, e suas limitações, construindo gradualmente a intuição para modelos mais sofisticados capazes de capturar dependências de...
Uma introdução a matemática que suporta a criação de transformers para processamento de linguagem natural com exemplos de código em C++20.
Vamos aprender as técnicas de vetorização mais básicas, como a frequência de termos e o modelo Bag of Words. Vamos discutir como essas técnicas são usadas para representar textos como...
Tag C++
FMA não é apenas uma instrução – é a razão pela qual metade do poder da sua CPU moderna estaria jogada fora se você não a estiver usando. Este artigo...
Um estudo detalhado da estrutura heap em c++ como base para um artigo do livro sobre computação competitiva
Uma introdução a matemática que suporta a criação de transformers para processamento de linguagem natural com exemplos de código em C++20.
Tag Programação Funcional
O incidente ocorrido entre os dias 18 e 19 de novembro representa uma das piores falhas na infraestrutura do Cloudflare desde 2019. O quê e porquê? Leia a análise técnica...
As monads têm uma função relevante e indispensável na programação funcional, permitindo a composição de efeitos e a manipulação de contextos de forma elegante e segura. Este texto apresenta uma...
Praticar cálculo lambda é essencial para compreender os fundamentos da computação funcional e a teoria dos tipos. Neste post, apresento uma série de exercícios práticos que abrangem conceitos como recursão,...
Praticar cálculo lambda é essencial para compreender os fundamentos da computação funcional e a teoria dos tipos. Neste post, apresento uma série de exercícios práticos que abrangem conceitos como recursão,...
Tag Arquitetura de Sistemas
Em 1916, Jan Czochralski mergulhou a pena no lugar errado e descobriu o princípio que hoje governa a fabricação de bilhões de transistores. Neste artigo, entendemos como o processo Czochralski...
A robótica é a maior, e talvez última oportunidade para o Brasil entrar no mundo da tecnologia de ponta. Nós perdemos a revolução do hardware, do software, da internet, da...
FMA não é apenas uma instrução – é a razão pela qual metade do poder da sua CPU moderna estaria jogada fora se você não a estiver usando. Este artigo...
Uma versão comentada de um das melhores análises disponíveis na internet sobre a arquitetura das GPUs Nvidia
O incidente ocorrido entre os dias 18 e 19 de novembro representa uma das piores falhas na infraestrutura do Cloudflare desde 2019. O quê e porquê? Leia a análise técnica...
texto técnico expandido
arquiteturas de distribuição de energia em **data centers** de ia: análise elétrica, térmica, econômica e formalização acadêmica da transição 54 vdc → 800 vdc
Tag Hardware e Semicondutores
Em 1916, Jan Czochralski mergulhou a pena no lugar errado e descobriu o princípio que hoje governa a fabricação de bilhões de transistores. Neste artigo, entendemos como o processo Czochralski...
A robótica é a maior, e talvez última oportunidade para o Brasil entrar no mundo da tecnologia de ponta. Nós perdemos a revolução do hardware, do software, da internet, da...
Uma versão comentada de um das melhores análises disponíveis na internet sobre a arquitetura das GPUs Nvidia
texto técnico expandido
arquiteturas de distribuição de energia em **data centers** de ia: análise elétrica, térmica, econômica e formalização acadêmica da transição 54 vdc → 800 vdc
Tag Teoria dos Jogos
Como a introdução de restrições físicas no processo de avaliação pode alterar a matriz de pagamentos do aluno e forçar o fim do tratado de paz acadêmico.
Quando a universidade entrega egressos formados pelo tratado de paz, o mercado de alta performance aplica a teoria da informação assimétrica de George Akerlof para se defender.
No jogo da educação superior, a universidade não é o principal absoluto. Ela também é um agente respondendo aos incentivos do Estado. Uma análise através do Desenho de Mecanismos.
O artigo examina como o ensino pode se transformar em um jogo de reconhecimento de padrões, no qual aprovação e aprendizagem passam a ser tratadas como equivalentes sem realmente o...
Uma pequena análise da realidade do núcleo comum das engenharias sobre a visão da teoria dos jogos, de forma ingênua.
Tag Ensino Superior
Como a introdução de restrições físicas no processo de avaliação pode alterar a matriz de pagamentos do aluno e forçar o fim do tratado de paz acadêmico.
Quando a universidade entrega egressos formados pelo tratado de paz, o mercado de alta performance aplica a teoria da informação assimétrica de George Akerlof para se defender.
No jogo da educação superior, a universidade não é o principal absoluto. Ela também é um agente respondendo aos incentivos do Estado. Uma análise através do Desenho de Mecanismos.
O artigo examina como o ensino pode se transformar em um jogo de reconhecimento de padrões, no qual aprovação e aprendizagem passam a ser tratadas como equivalentes sem realmente o...
Uma pequena análise da realidade do núcleo comum das engenharias sobre a visão da teoria dos jogos, de forma ingênua.
