Explorando desenvolvimento AI-first, guardrails de código e a arquitetura da descartabilidade.
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…
O TypeScript trata todos os números como idênticos. Veja como ensiná-lo a distinguir USD de EUR para que o compilador capture bugs de conversão de moeda antes que eles cheguem à produção.
Em 2022, uma grande plataforma fintech processou uma transferência em massa de 32.700.000,00. O valor estava armazenado como um simples. Um serviço downstream…
Passar milliseconds onde seconds eram esperados é um bug que passa em todos os testes. Veja como codificar unidades diretamente no sistema de tipos do TypeScript para que confusões falhem em tempo de compilação com zero custo em runtime.
Uma função pede um timeout em milliseconds. Você passa . Mais tarde, outra função pede um timeout em seconds. Você passa . Em algum lugar entre elas, você…