Frank de Alcantara

A Origem da Verdade

1 2 3 4 5

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.

A Origem da Verdade

1 2 3 4 5

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.

Resolvendo o Grid World Com MDP

1 2 3 4 5

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...

Em Busca da Diagonalização de Cantor

1 2 3 4 5

Para colocar ordem na casa, a tradução de dois artigos de Georg Cantor sobre a não numerabilidade dos números reais.

Decifrando Mistérios: A Jornada da Programação Lógica

1 2 3 4 5

Decifrando Mistérios: A Jornada da Programação Lógica

1 2 3 4 5

Decifrando Mistérios: A Jornada da Programação Lógica

1 2 3 4 5

Decifrando Mistérios: A Jornada da Programação Lógica

1 2 3 4 5

MDP: Casos Reais - Manutenção de Turbinas Eólicas

1 2 3 4 5

Usando o MDP para resolver problemas da vida real. Neste caso um problema de manutenção de turbinas eólicas.

Resolvendo o Grid World Com MDP

1 2 3 4 5

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...

Um Mundo Inteiro em uma Grade

1 2 3 4 5

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...

Deepseek-R1: explicado de forma simples

1 2 3 4 5

Para entender o DeepSeek-R1 e Reinforcement Learning usando como base o artigo de lançamento com um pouco mais de profundidade e didática.

DeepSeek AI: Revolução na Eficiência Pode Abalar o Mercado

1 2 3 4 5

DeepSeek AI prova: tamanho não é documento na IA! Com inovações disruptivas e um orçamento 20x menor, eles estão desafiando o status quo. Prepare-se para um mercado mais acessível e...

Os desafios da norma IEEE 754 na computação moderna

1 2 3 4 5

um estudo novo sobre uma das normas mais importantes e menos conhecidas de toda a ciência da computação.

Em Busca da Diagonalização de Cantor

1 2 3 4 5

Para colocar ordem na casa, a tradução de dois artigos de Georg Cantor sobre a não numerabilidade dos números reais.

Odisseia da Computação: a linguagem silenciosa do progresso

1 2 3 4 5

Pequena história da Computação.

Odisseia da Computação: a linguagem silenciosa do progresso

1 2 3 4 5

Pequena história da Computação.

MDP: Casos Reais - Manutenção de Turbinas Eólicas

1 2 3 4 5

Usando o MDP para resolver problemas da vida real. Neste caso um problema de manutenção de turbinas eólicas.

Um Mundo Inteiro em uma Grade

1 2 3 4 5

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...

Entendendo Markov Decision Process

1 2 3 4 5

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.

Reinforcement Learning: História

1 2 3 4 5

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, é...

Deepseek-R1: explicado de forma simples

1 2 3 4 5

Para entender o DeepSeek-R1 e Reinforcement Learning usando como base o artigo de lançamento com um pouco mais de profundidade e didática.

Como Ganhar na LotoFácil Usando Inteligência Artificial

1 2 3 4 5

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...

Os desafios da norma IEEE 754 na computação moderna

1 2 3 4 5

um estudo novo sobre uma das normas mais importantes e menos conhecidas de toda a ciência da computação.

Em Busca da Diagonalização de Cantor

1 2 3 4 5

Para colocar ordem na casa, a tradução de dois artigos de Georg Cantor sobre a não numerabilidade dos números reais.

C++ Here the Journey Begins

1 2 3 4 5

This document covers competitive programming in C++20, discussing both basic and advanced topics like control structures, algorithms, and data manipulation. It explores features such as `std::ranges::views` and parallel execution, offering...

Competitive Programming in C++ Insights - Introduction

1 2 3 4 5

Advanced optimization strategies for competitive programming in C++20 focus on using macros, lambdas, and templates to improve efficiency and minimize errors. Techniques like dynamic data manipulation and compile-time evaluation streamline...

Competitive Programming Primer

1 2 3 4 5

Sharpen your competitive programming skills with our 100 curated challenges, designed to enhance problem-solving, efficiency, and coding proficiency in C++ and Python.

A Little Introduction to Recursion

1 2 3 4 5

In this comprehensive guide on recursion, you will learn how this fundamental concept in computer science can be used to solve complex problems. Starting with simple examples of recursive functions...

Cálculo Lambda para Neófitos

1 2 3 4 5

Começamos com os fundamentos teóricos e seguimos para as aplicações práticas em linguagens de programação funcionais. Explicamos abstração, aplicação e recursão. Mostramos exemplos de currying e combinadores de ponto fixo....

Tabelas de Derivação (Análise) LL(1)

1 2 3 4 5

Definição, processo de funcionamento e outras informações necessárias ao entendimento do funcionamento de parsers LL(1)

First & Follow

1 2 3 4 5

Como construir os conjuntos First e Follow que irão permitir a criação da tabela de análise para o algoritmo de parser.

Parsers LL(1) o mundo obscuro da análise sintática

1 2 3 4 5

Definição, processo de funcionamento e outras informações necessárias ao entendimento do funcionamento de parsers LL(1)

A Fórmula da Atração: a Matemática do Eletromagnetismo

1 2 3 4 5

a matemática que suporta o entendimento dos fenômenos que explicam nosso universo.

A Fórmula da Atração: a Matemática do Eletromagnetismo

1 2 3 4 5

a matemática que suporta o entendimento dos fenômenos que explicam nosso universo.

C++ Here the Journey Begins

1 2 3 4 5

This document covers competitive programming in C++20, discussing both basic and advanced topics like control structures, algorithms, and data manipulation. It explores features such as `std::ranges::views` and parallel execution, offering...

Competitive Programming in C++ Insights - Introduction

1 2 3 4 5

Advanced optimization strategies for competitive programming in C++20 focus on using macros, lambdas, and templates to improve efficiency and minimize errors. Techniques like dynamic data manipulation and compile-time evaluation streamline...

Competitive Programming Primer

1 2 3 4 5

Sharpen your competitive programming skills with our 100 curated challenges, designed to enhance problem-solving, efficiency, and coding proficiency in C++ and Python.

A Little Introduction to Recursion

1 2 3 4 5

In this comprehensive guide on recursion, you will learn how this fundamental concept in computer science can be used to solve complex problems. Starting with simple examples of recursive functions...

Cálculo Lambda para Neófitos

1 2 3 4 5

Começamos com os fundamentos teóricos e seguimos para as aplicações práticas em linguagens de programação funcionais. Explicamos abstração, aplicação e recursão. Mostramos exemplos de currying e combinadores de ponto fixo....

Tabelas de Derivação (Análise) LL(1)

1 2 3 4 5

Definição, processo de funcionamento e outras informações necessárias ao entendimento do funcionamento de parsers LL(1)

First & Follow

1 2 3 4 5

Como construir os conjuntos First e Follow que irão permitir a criação da tabela de análise para o algoritmo de parser.

Parsers LL(1) o mundo obscuro da análise sintática

1 2 3 4 5

Definição, processo de funcionamento e outras informações necessárias ao entendimento do funcionamento de parsers LL(1)

A Little Introduction to Recursion

1 2 3 4 5

In this comprehensive guide on recursion, you will learn how this fundamental concept in computer science can be used to solve complex problems. Starting with simple examples of recursive functions...

Cálculo Lambda para Neófitos

1 2 3 4 5

Começamos com os fundamentos teóricos e seguimos para as aplicações práticas em linguagens de programação funcionais. Explicamos abstração, aplicação e recursão. Mostramos exemplos de currying e combinadores de ponto fixo....

C++ Here the Journey Begins

1 2 3 4 5

This document covers competitive programming in C++20, discussing both basic and advanced topics like control structures, algorithms, and data manipulation. It explores features such as `std::ranges::views` and parallel execution, offering...

Competitive Programming in C++ Insights - Introduction

1 2 3 4 5

Advanced optimization strategies for competitive programming in C++20 focus on using macros, lambdas, and templates to improve efficiency and minimize errors. Techniques like dynamic data manipulation and compile-time evaluation streamline...

Competitive Programming Primer

1 2 3 4 5

Sharpen your competitive programming skills with our 100 curated challenges, designed to enhance problem-solving, efficiency, and coding proficiency in C++ and Python.

Os desafios da norma IEEE 754 na computação moderna

1 2 3 4 5

um estudo novo sobre uma das normas mais importantes e menos conhecidas de toda a ciência da computação.

MDP: Casos Reais - Manutenção de Turbinas Eólicas

1 2 3 4 5

Usando o MDP para resolver problemas da vida real. Neste caso um problema de manutenção de turbinas eólicas.

Resolvendo o Grid World Com MDP

1 2 3 4 5

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...

Um Mundo Inteiro em uma Grade

1 2 3 4 5

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...

Entendendo Markov Decision Process

1 2 3 4 5

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.

Reinforcement Learning: História

1 2 3 4 5

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, é...

Deepseek-R1: explicado de forma simples

1 2 3 4 5

Para entender o DeepSeek-R1 e Reinforcement Learning usando como base o artigo de lançamento com um pouco mais de profundidade e didática.

Como Ganhar na LotoFácil Usando Inteligência Artificial

1 2 3 4 5

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...

Como Ganhar na LotoFácil Usando Inteligência Artificial

1 2 3 4 5

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...