Frank de Alcantara
Consultoria, treinamento, ensino e desenvolvimento.
Tag história
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 filosofia
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 opinião
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 verdade
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 Lógica
Tag Programação Lógica
Tag Prolog
Tag algoritmos
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 (determinismo linguístico) e fraca (relativismo...
Usando o MDP para resolver problemas da vida real. Neste caso um problema de manutenção de turbinas eólicas.
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...
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 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...
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...
Para colocar ordem na casa, a tradução de dois artigos de Georg Cantor sobre a não numerabilidade dos números reais.
Pequena história da Computação.
Tag computação
Pequena história da Computação.
Tag inteligência artificial
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 (determinismo linguístico) e fraca (relativismo...
Explore como a matemática formal constrói os números naturais e como podemos implementar essa lógica em Prolog para provar que 2+2=4.
Usando o MDP para resolver problemas da vida real. Neste caso um problema de manutenção de turbinas eólicas.
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* (BoW). Vamos discutir como essas técnicas são usadas para representar textos...
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, é...
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 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...
Pequena história da Computação.
Tag Matemática
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 (determinismo linguístico) e fraca (relativismo...
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* (BoW). Vamos discutir como essas técnicas são usadas para representar textos...
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, é...
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 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...
Para colocar ordem na casa, a tradução de dois artigos de Georg Cantor sobre a não numerabilidade dos números reais.
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...
Sharpen your competitive programming skills with our 100 curated challenges, designed to enhance problem-solving, efficiency, and coding proficiency in C++ and Python.
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...
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....
Definição, processo de funcionamento e outras informações necessárias ao entendimento do funcionamento de parsers LL(1)
Como construir os conjuntos First e Follow que irão permitir a criação da tabela de análise para o algoritmo de parser.
Definição, processo de funcionamento e outras informações necessárias ao entendimento do funcionamento de parsers LL(1)
a matemática que suporta o entendimento dos fenômenos que explicam nosso universo.
Tag Física
a matemática que suporta o entendimento dos fenômenos que explicam nosso universo.
Tag Eletromagnetismo
a matemática que suporta o entendimento dos fenômenos que explicam nosso universo.
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...
Sharpen your competitive programming skills with our 100 curated challenges, designed to enhance problem-solving, efficiency, and coding proficiency in C++ and Python.
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...
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....
Definição, processo de funcionamento e outras informações necessárias ao entendimento do funcionamento de parsers LL(1)
Como construir os conjuntos First e Follow que irão permitir a criação da tabela de análise para o algoritmo de parser.
Definição, processo de funcionamento e outras informações necessárias ao entendimento do funcionamento de parsers LL(1)
Tag Compiladores
Definição, processo de funcionamento e outras informações necessárias ao entendimento do funcionamento de parsers LL(1)
Como construir os conjuntos First e Follow que irão permitir a criação da tabela de análise para o algoritmo de parser.
Definição, processo de funcionamento e outras informações necessárias ao entendimento do funcionamento de parsers LL(1)
Tag Programação Dinâmica
Sharpen your competitive programming skills with our 100 curated challenges, designed to enhance problem-solving, efficiency, and coding proficiency in C++ and Python.
Tag Dynamic Programming
Sharpen your competitive programming skills with our 100 curated challenges, designed to enhance problem-solving, efficiency, and coding proficiency in C++ and Python.
Sharpen your competitive programming skills with our 100 curated challenges, designed to enhance problem-solving, efficiency, and coding proficiency in C++ and Python.
Tag C++ Algorithms
Sharpen your competitive programming skills with our 100 curated challenges, designed to enhance problem-solving, efficiency, and coding proficiency in C++ and Python.
Sharpen your competitive programming skills with our 100 curated challenges, designed to enhance problem-solving, efficiency, and coding proficiency in C++ and Python.
Tag Coding Examples
Sharpen your competitive programming skills with our 100 curated challenges, designed to enhance problem-solving, efficiency, and coding proficiency in C++ and Python.
Tag Algorithm Optimization
Sharpen your competitive programming skills with our 100 curated challenges, designed to enhance problem-solving, efficiency, and coding proficiency in C++ and Python.
Tag Practical Programming Guide
Sharpen your competitive programming skills with our 100 curated challenges, designed to enhance problem-solving, efficiency, and coding proficiency in C++ and Python.
Tag C++20
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...
Tag Competitive programming
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...
Tag Code optimization
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...
Tag Macros
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...
Tag Lambdas
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...
Tag Templates
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...
Tag Compile-time evaluation
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...
Tag Dynamic data structures
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...
Tag Efficient algorithms
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...
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...
Tag Sorting algorithms
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...
Tag Generic programming
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...
Tag Vector manipulation
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...
Tag Runtime operations
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...
Tag Competitive coding techniques
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...
Tag Code efficiency
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...
Tag Debugging
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...
Tag Template lambdas
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...
Tag Data collections
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...
Tag Programming contests
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...
Tag C++ 20
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...
Tag Competitive Programming
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...
Tag lógica
Para colocar ordem na casa, a tradução de dois artigos de Georg Cantor sobre a não numerabilidade dos números reais.
Tag interpretadores
um estudo novo sobre uma das normas mais importantes e menos conhecidas de toda a ciência da computação.
Tag estrutura de dados
um estudo novo sobre uma das normas mais importantes e menos conhecidas de toda a ciência da computação.
Tag modelagem
um estudo novo sobre uma das normas mais importantes e menos conhecidas de toda a ciência da computação.
Tag eng. software
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...
Tag Generative Adversarial Network
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...
Tag programação
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...
Tag Python
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...
Tag linguagem natural
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...
Tag resolução de problemas
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 (determinismo linguístico) e fraca (relativismo...
Explore como a matemática formal constrói os números naturais e como podemos implementar essa lógica em Prolog para provar que 2+2=4.
Usando o MDP para resolver problemas da vida real. Neste caso um problema de manutenção de turbinas eólicas.
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 reinforcement learning
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 C++
Usando o MDP para resolver problemas da vida real. Neste caso um problema de manutenção de turbinas eólicas.
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* (BoW). Vamos discutir como essas técnicas são usadas para representar textos...
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...
Tag paradigmas de programação
Explore como a matemática formal constrói os números naturais e como podemos implementar essa lógica em Prolog para provar que 2+2=4.
Usando o MDP para resolver problemas da vida real. Neste caso um problema de manutenção de turbinas eólicas.
