Category Matemática e Lógica
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.
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,...
Explore como a matemática formal constrói os números naturais e como podemos implementar essa lógica em Prolog.
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.
Category Ciência da Computação
Quando olhamos para as estatísticas de aprovação nas universidades, frequentemente nos deparamos com um fenômeno que causa estranheza matemática. Descubra como a Teoria dos Jogos explica essa dinâmica.
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...
Em 2025, IEEE-754 half-precision já é considerado obsoleto em sistemas embarcados restritos. As verdadeiras opções vencedoras são ponto fixo eterno, bfloat16, Posits e block floating-point.
map é uma classe importante para otimização de algoritmos. Este artigo estuda o uso de Maps destacando seus métodos mais modernos.
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...
Um estudo detalhado da estrutura heap em c++ como base para um artigo do livro sobre computação competitiva
Estas são as receitas da Fran, minha esposa. Uma cozinheira de mão cheia e sempre traz novidades para nossa mesa. Aqui estão algumas de suas receitas favoritas, que são práticas,...
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.
Pequena história da Computação.
Category Educação e Sociedade
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.
O QI 83 é uma estatística frequentemente citada em redes sociais para justificar uma suposta "burrice nacional". Mas de onde vem esse número? O que ele realmente significa? Como podemos...
Uma pequena análise das notícias sobre o impacto da inteligência artificial no mercado de trabalho.
Protocolo prático para engenheiros e estudantes recuperarem o foco profundo, combatendo distrações digitais com técnicas baseadas em neurociência.
Não. Você não vai ganhar na Lotofácil depois de ler este artigo. Porém, pode ser que aprenda alguma coisa sobre redes neurais. Este artigo usa uma versão simples de uma...
Category Inteligência Artificial
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, é...
Category Engenharia e Hardware
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...
Por que os cabos coaxiais usam 50 Ohms ou 75 Ohms? A resposta está em um elegante equilíbrio entre eletrodinâmica clássica, otimização matemática e os limites físicos dos materiais.
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
