Explorando desenvolvimento AI-first, guardrails de código e a arquitetura da descartabilidade.
Autoridade ambiente significa que qualquer código no seu processo Node.js pode tocar o sistema de arquivos, a rede e o ambiente. Veja como removê-la com lockdown, compartments e passagem explícita de capabilities.
Uma única dependência transitiva comprometida pode exfiltrar seu , escrever no seu sistema de arquivos e abrir conexões de saída. Ela não precisa de uma…
A maior parte da confiança entre serviços vem da localização na rede, não de prova criptográfica. Veja como capabilities, mTLS e SPIFFE permitem que serviços se autentiquem sem autoridade ambiente, e por que isso é mais difícil do que deveria.
Seus microsserviços compartilham uma VPC, então confiam uns nos outros. Essa confiança é autoridade ambiente: a permissão para invocar um serviço é concedida…
A biblioteca padrão do Rust concede autoridade de sistema de arquivos ambiente a toda dependência. cap-std a substitui por APIs baseadas em capabilities que forçam o código a provar que tem direito de acessar um caminho antes de abri-lo.
Qualquer crate na sua árvore de dependências pode abrir , escrever no seu diretório ou enumerar todos os arquivos do seu projeto. A biblioteca padrão do Rust…
Um ataque confused deputy engana um serviço privilegiado a usar sua própria autoridade contra si mesmo. Veja como atacantes exploram a confiança implícita, e por que a capability-based security é a solução.
O seu serviço tem uma chave de API para o seu armazenamento em nuvem. Um utilizador envia um pedido. O seu serviço obedientemente escreve um ficheiro. O…
Capability-based security substitui verificações de role dispersas por unforgeable tokens de autoridade. Veja como implementá-la em TypeScript sem tornar seu código ilegível.
Todo bug de permissão parece óbvio em retrospectiva. Alguma função no fundo da call stack assume que o caller já verificou . Não verificou. Ou um novo role é…
A maioria do código roda com autoridade ambiente: cada função pode tocar em tudo. A segurança baseada em capabilities inverte esse modelo ao forçar funções a receber permissões explícitas e limitadas.
Sua função tem acesso ao banco de dados, ao gateway de pagamento e ao log de auditoria simplesmente porque vive no mesmo processo. Se um atacante encontra um…
Exceções lançadas escondem caminhos de falha do seu sistema de tipos. Veja por que retornos de erro explícitos tornam seu código mais honesto, e como adotá-los sem odiar sua vida.
A assinatura da sua função diz que retorna um . Não retorna. Ela retorna um ou explode. O sistema de tipos simplesmente não sabe sobre o segundo branch. Esta é…
Uma struct wrapper de campo único captura bugs de mistura de unidades e confusão de tipos sem adicionar um único byte de overhead.
Passe um user ID para uma função que espera um order ID, e Rust não vai reclamar. Ambos são . O compiler vê tipos idênticos, então não pode te ajudar. Você…
Switch statements do TypeScript deixam você esquecer casos silenciosamente. Veja como substituí-los por patterns com verificação de exhaustividade que quebram o build em vez do runtime.
Você refatorou um tipo Shape, adicionou uma nova variante e o TypeScript continuou verde. Seu CI passou. Seu deploy foi para o ar. Aí um usuário acertou um…
Adicionar um novo estado à sua máquina é fácil. Lembrar-se de atualizar todos os switch statements não é. Veja como fazer o TypeScript recusar a compilação quando se esquece de um caso.
As state machines começam limpas. Três valores, três branches do switch. Depois a lógica de retry adiciona um quarto estado. A falha parcial adiciona um…