Análises
Últimos artigos
As informações mais recentes sobre operadores de infraestrutura, decisões de política, movimentos do mercado e mudanças no poder digital.
História
A árvore não era única; o estado precisava ser legível: RFC 2102
O RFC 2102 recusou transformar uma técnica de multicast no núcleo de Nimrod. Em vez disso, pediu que métodos diferentes produzissem um estado de encaminhamento com a mesma interpretação executável.
História
O enlace estava aberto. Cada nome ainda precisava ser admitido: RFC 2097
O PPP podia levar uma máquina remota até a borda de uma rede NetBIOS Frames, mas o RFC 2097 não confundia enlace ativo com alcance operacional. O NBFCP negociava quais nomes de dezesseis octetos seriam projetados, quais falhariam, que classe de par estava do outro lado, como o…
História
Frances E. Allen ensinou o compilador a provar sem exagerar
Saber que uma definição pode chegar a uma instrução ou que um valor continua vivo é uma conclusão poderosa e limitada. Frances E. Allen transformou esse tipo de raciocínio em método de engenharia, sem confundi-lo com a correção universal do programa.
História
O contador passou pela janela de um receptor sem identificar o emissor: RFC 2085
O RFC 2085 inseriu um contador antirreplay de 64 bits em uma transformação HMAC-MD5 do Authentication Header, mas apenas quando a associação de segurança o selecionava. Cada receptor podia aceitar números inéditos dentro da própria janela de reordenação. Isso era evidência local…
História
Jean E. Sammet tornou a álgebra executável, não automaticamente provada
O FORMAC transformava expressões simbólicas e entregava uma forma compatível com a cadeia FORTRAN comum. O feito fica mais nítido quando transformação formal, compilação, cálculo numérico e conclusão científica continuam sendo provas diferentes.
História
A quarta letra decidia o que o editor podia preservar: RFC 2083
Uma imagem PNG pode continuar convincente depois de ter todos os pixels alterados e ainda carregar um bloco desconhecido que descrevia a versão anterior. O RFC 2083 não chamou esse bloco de verdadeiro. Ele codificou uma decisão mais estreita nas maiúsculas e minúsculas de quatro…
Reportagens
A RIPE NCC manteve as verificações de delegações defeituosas e encerrou os e-mails
Em 2009, a RIPE NCC separou duas atividades que costumam ser tratadas como uma só: continuou verificando periodicamente delegações DNS defeituosas e interrompeu os alertas em massa por e-mail. O episódio mostra por que detectar um problema, entregar um aviso, conquistar atenção…
História
O diretório guardou dois links, mas não sabia o que significavam: RFC 2079
Uma entrada podia exibir dois endereços com aparência oficial: “registro vigente” e “serviço atual”. O RFC 2079 dizia como armazenar ambos e separar a URI do rótulo humano. Não dizia se eram recursos diferentes, locais alternativos, conteúdo antigo ou fonte autorizada. A forma…
História
O LAP6 tornou o código editável, não necessariamente correto
Mary Allen Wilkes criou, em um LINC de 2.048 palavras, um caminho visível e responsivo entre manuscrito, arquivo em fita e programa binário. O valor do LAP6 está tanto nessa integração quanto nas fronteiras que preservou entre cada resultado.
História
O cabeçalho existia; sua jurisdição, não: o mapa do RFC 2076
Um analisador podia confirmar a linha `Apparently-To`. Isso não provava que ela fosse uma instrução padrão de correio, segura para divulgação ou capaz de obrigar o destinatário. O RFC 2076 manteve nome, protocolo, status e restrições juntos para impedir que frequência virasse…
História
Uma imagem-mestra, muitas instâncias: o limite do Sketchpad
O Sketchpad de Ivan Sutherland tornou a dependência visível. Várias figuras podiam reutilizar uma única definição sem se transformar em cópias independentes, e uma alteração no mestre percorria a hierarquia — mas não levava consigo uma garantia de fabricação ou de correção…
História
Lynn Conway: regras lambda deram portabilidade ao leiaute, não certeza
Trocar micrômetros por uma unidade chamada λ parecia uma escolha de notação. Na prática, ela redesenhou a fronteira entre quem criava o chip e quem o fabricava. As proporções podiam atravessar processos; a garantia de funcionamento não vinha junto.
História
Dorothy Denning e o que a retícula realmente permite
Uma análise formal pode responder com precisão se um fluxo modelado respeita uma política. Ela não decide, por consequência, se a política, os rótulos e o ambiente real são seguros. O trabalho de Dorothy E. Denning permanece atual porque transforma a primeira pergunta em teste…
História
Nancy Lynch e a fronteira que o FLP realmente traça
O FLP não diz que sistemas distribuídos são incapazes de concordar. Ele mostra onde acaba uma garantia universal: processos determinísticos, comunicação totalmente assíncrona, mensagens confiáveis sem prazo máximo e a permissão de uma única falha por parada.
Reportagens
O WHOIS da LACNIC mostra os ASNs de origem, não os limites da autorização
O resumo de inteligência sobre O WHOIS da LACNIC mostra os ASNs de origem, não os limites da autorização explica o desenvolvimento, as evidências públicas disponíveis aos leitores, as organizações envolvidas, o contexto regional, a exposição de mercado e as possíveis…
IETF
A RFC 9806 corrige o rótulo, não comprova a implantação
O registro de padrões agora dá um nome inequívoco aos metadados de gravação SIPREC: application/rs-metadata+xml. A conclusão liga duas RFCs de 2016, uma errata, uma atualização Standards Track e um registro da IANA. Ainda assim, ela não demonstra que clientes, servidores e…
História
Leslie Lamport e a ordem que um timestamp não consegue provar
Um timestamp de Lamport pode preservar um caminho causal conhecido entre processos e mensagens. Ele não transforma todo número menor em causa, eventos incomparáveis em simultaneidade física nem uma ordem total conveniente na única história verdadeira.
Reportagens
O RPSL válido da ARIN ainda produziu uma resposta parcial no espelho
A consulta recursiva terminou de forma normal e devolveu sete ASNs. O objeto de origem descrito no registro público da ARIN tinha muitos outros membros. A diferença não exigia uma política de roteamento inválida: podia surgir entre o conjunto lógico, sua conversão em uma única…
IETF
RFC 10050: o perfil identifica o subconjunto, não autoriza o protocolo
Uma ficha JSContact pode cumprir dois perfis ao mesmo tempo. Também pode cumprir um perfil e ser recusada pelo protocolo que a transporta. A contribuição operacional do RFC 10050 é impedir que identidade, conformidade e autorização sejam tratadas como o mesmo fato.
História
Jim Gray e o voto que não podia decidir um commit em duas fases
No commit em duas fases, o participante que torna durável seu registro de preparo e vota sim demonstra que consegue cumprir qualquer um dos dois resultados finais. Ele ainda não fez commit, e o sumiço do coordenador não lhe dá licença para adivinhar.