Featured image of post O Navio de Teseu: Um navio com todas as peças substituídas é o 'mesmo navio'? A identidade na perspetiva da engenharia de software

O Navio de Teseu: Um navio com todas as peças substituídas é o 'mesmo navio'? A identidade na perspetiva da engenharia de software

Usando o paradoxo filosófico grego do 'Navio de Teseu' como tema, analisamos profundamente a 'identidade' (identity) associada a refatorização (refactoring), substituição de sistemas e programação orientada a objetos no desenvolvimento de software.

Featured image of post O Problema dos Generais Bizantinos: Como obter consenso numa rede com traidores?

O Problema dos Generais Bizantinos: Como obter consenso numa rede com traidores?

Explicaremos de forma fácil de entender o 'Problema dos Generais Bizantinos', um dos principais desafios em sistemas distribuídos, desde o seu conceito até à prova matemática e à sua aplicação em blockchain, utilizando exemplos concretos e diagramas.

Featured image of post Princípio da Casa dos Pombos e Colisão de Hashes: Desvendando os limites e a segurança da Criptografia

Princípio da Casa dos Pombos e Colisão de Hashes: Desvendando os limites e a segurança da Criptografia

Por que o 'Princípio da Casa dos Pombos', que pode ser entendido intuitivamente, é o conceito mais importante na segurança da criptografia moderna e das funções de hash? Explicaremos profundamente usando exemplos concretos, fórmulas e diagramas.

Featured image of post Como funciona o OAuth 2.0: Um guia ilustrado de implementação de uma integração com o Slack App

Como funciona o OAuth 2.0: Um guia ilustrado de implementação de uma integração com o Slack App

Um guia completo e ilustrado sobre o fluxo de concessão de código de autorização do OAuth 2.0 através da implementação de uma integração com o Slack App. Inclui exemplos práticos em Node.js e as melhores práticas de segurança.

Featured image of post Exemplo prático de automação completa de tarefas diárias com scripts do PowerShell

Exemplo prático de automação completa de tarefas diárias com scripts do PowerShell

Guia prático para a automação completa de tarefas diárias do Windows usando PowerShell. Explica exemplos específicos como backups, monitoramento de logs e notificações no Slack, atualização e build de vários repositórios Git.

Featured image of post Aprendendo com o desenvolvimento do LogicPad: A trajetória até o lançamento de um aplicativo Windows de desenvolvimento pessoal

Aprendendo com o desenvolvimento do LogicPad: A trajetória até o lançamento de um aplicativo Windows de desenvolvimento pessoal

Um artigo de blog técnico que relembra todo o processo de desenvolvimento do aplicativo nativo para Windows chamado LogicPad até seu lançamento na Microsoft Store. Desde a implementação detalhada usando WinUI 3 e C++ até o empacotamento MSIX.

Featured image of post Introdução ao Gerador de Sites Estáticos com Hugo (Guia de Migração do WordPress)

Introdução ao Gerador de Sites Estáticos com Hugo (Guia de Migração do WordPress)

Um guia detalhado sobre a migração de um CMS dinâmico como o WordPress para o Hugo, um gerador de sites estáticos super rápido baseado em Go. Cobrindo diferenças de arquitetura, estrutura de templates, análise de desempenho matemático até os comandos reais de migração.

Featured image of post Personalizando o Windows Terminal ao Máximo (Configuração de Tema e Prompt)

Personalizando o Windows Terminal ao Máximo (Configuração de Tema e Prompt)

Vamos aprofundar ao máximo os métodos de personalização do Windows Terminal. Explicaremos detalhadamente o mecanismo de renderização do DirectX, Oh My Posh e Starship, bem como métodos avançados de configuração de perfil.

Featured image of post Guia de Configuração Definitivo do Ambiente de Desenvolvimento para WSL2 (Windows Subsystem for Linux)

Guia de Configuração Definitivo do Ambiente de Desenvolvimento para WSL2 (Windows Subsystem for Linux)

Um guia de configuração completo do WSL2 que melhora drasticamente a experiência de desenvolvimento no Windows. Desde explicações detalhadas da arquitetura até ajuste de recursos, integração do VSCode Remote, otimização do Docker e compartilhamento do agente SSH, ele abrange todo o conhecimento necessário para o desenvolvimento profissional.