Coldwast escreveu
Jul 14, 2026 em Programação, Algorithms - A notação Big O descreve como um algoritmo fica mais lento à medida que a entrada cresce. As complexidades comuns de O(1) a O(n!), porque se ignoram as constantes, exemplos reais e como raciocinar sobre o desempenho do seu próprio código.
Ler mais…Coldwast escreveu
Jul 13, 2026 em Security, Docker - Um bypass de autenticacao critico na imagem Docker oficial do Gitea (CVE-2026-20896, CVSS 9.8) esta sob exploracao ativa. O que e a falha, quem e realmente afetado e os passos exatos para verificar e corrigir um Gitea auto-hospedado.
Ler mais…Coldwast escreveu
Jul 10, 2026 em Open Source, Supply Chain - Grande parte da stack de software moderna assenta em pequenos projetos de código aberto tocados por uma ou duas pessoas não remuneradas. O que xkcd 2347, Heartbleed, Log4Shell e a porta dos fundos do xz-utils ensinam sobre o risco do mantenedor único, e o que as equipas podem realmente fazer a respeito.
Ler mais…Coldwast escreveu
Jul 9, 2026 em Programação, Architecture, Backend - Uma fila de mensagens é um buffer entre serviços: uma parte da sua app deixa uma tarefa e outra recolhe-a mais tarde. Producers vs consumers, pub/sub, garantias de entrega, e RabbitMQ vs Kafka vs Redis.
Ler mais…Coldwast escreveu
Jun 27, 2026 em Programação, DevOps, Containers - O Docker executa os contentores através de um daemon central; o Podman é sem daemon e rootless por conceção. Partilham imagens OCI e uma CLI quase idêntica. Arquitetura, segurança rootless, pods, systemd, Compose e a licença do Docker Desktop comparados.
Ler mais…Coldwast escreveu
Jun 26, 2026 em Programação, Servers, Networking - Um balanceador de carga distribui os pedidos recebidos por vários servidores para que nenhum fique sobrecarregado e a app continue online se um falhar. O que é, os algoritmos, L4 vs L7, os health checks e como difere de um proxy reverso.
Ler mais…Coldwast escreveu
Jun 26, 2026 em Programação, Web, Networking - Um WebSocket mantém uma ligação aberta para que o servidor e o navegador possam trocar mensagens a qualquer momento. O que é um WebSocket, como difere do HTTP, o handshake, ws vs wss, e quando usá-lo em vez de polling.
Ler mais…Coldwast escreveu
Jun 26, 2026 em Programação, Servers, Networking - Um proxy reverso fica à frente dos seus servidores, recebe cada pedido recebido e encaminha-o para o backend correto. O que é um proxy reverso, como difere de um proxy direto e de um balanceador de carga, para que serve (TLS, cache, encaminhamento) e as ferramentas comuns.
Ler mais…Coldwast escreveu
Jun 24, 2026 em Programação, Conceitos, Haskell - Uma função de ordem superior recebe uma função como argumento ou devolve uma como resultado. O que é uma função de ordem superior, por que map, filter e fold são os exemplos clássicos, como substituem os laços e como aparecem em Haskell.
Ler mais…Coldwast escreveu
Jun 23, 2026 em Programação, Conceitos, Compilador - Um compilador transforma o código-fonte que você escreve num programa que a máquina pode executar. O que é um compilador, como funciona etapa por etapa (análise léxica, sintática, otimização, geração de código), compilador vs interpretador, e onde o GHC se encaixa para Haskell.
Ler mais…Coldwast escreveu
Jun 22, 2026 em Programação, DevOps, Automation - O CI/CD automatiza o caminho de uma alteração de código até uma aplicação testada e implementada. O que significam integração e entrega/implementação contínuas, como funciona um pipeline, as ferramentas comuns e porque as equipas o usam.
Ler mais…Coldwast escreveu
Jun 22, 2026 em Programação, Servers, Security - SSH (Secure Shell) é o protocolo cifrado que usa para iniciar sessão e executar comandos num servidor remoto com segurança. Como funciona, palavra-passe vs chaves SSH, os comandos do dia a dia e onde o encontra.
Ler mais…Começar
GHC, Cabal, Stack e HLS numa instalação limpa com o GHCup.
Ler o guia →Build
Sandboxes, builds v2 ao estilo nix e o que mudou realmente.
Ler o guia →Desempenho
Use todos os seus núcleos em segurança com -j e os semáforos de build.
Ler o guia →