Tags populares：
Virtualização segurança DNS verificação formal análise de alcance IA erros do compilador conflito de macro extensão web framework de desenvolvimento Gráficos de Bitmap Todos os tags

Códigos de Verificação de Uma Só Vez: Piores que Senhas?

2025-08-07

Muitos serviços usam um método de login falho: enviar um código de 6 dígitos por e-mail ou telefone. Isso é incrivelmente inseguro. Ataques podem facilmente criar sites de phishing para enganar usuários a inserir códigos, roubando contas. Gerenciadores de senhas não oferecem proteção. O login do Minecraft da Microsoft, usando este método, já sofreu inúmeras roubos de contas. Pare de usar este sistema de login inseguro!

Leia mais
(blog.danielh.cc)
Tecnologia

PATH do Linux: O Segredo do Shell

2025-04-29

Já se perguntou como o Linux encontra os comandos que você executa? A resposta: ele depende do shell, não do kernel! Este artigo mergulha na mecânica da variável de ambiente PATH, revelando como shells (como o dash) usam funções como `padvance` para procurar executáveis dentro do PATH, enquanto a chamada de sistema `execve` do kernel na verdade recebe o caminho completo. Linguagens de programação como Python, Go e Rust também implementam sua própria pesquisa no PATH em suas bibliotecas de subprocessos, no final das contas, contando com funções subjacentes como `execvp`. O artigo também explica por que shebangs exigem caminhos absolutos e o papel inteligente do `/usr/bin/env`.

Leia mais
(blog.danielh.cc)
Desenvolvimento

Pare de explicar *e* com juros compostos

2025-04-11

As aulas de matemática costumam introduzir a constante natural *e* usando juros compostos: uma conta com juros anuais de 100% dobra com capitalização anual, torna-se 2,25 vezes com capitalização semestral, aproximadamente 2,714 vezes com capitalização diária e exatamente *e* vezes com capitalização contínua. No entanto, isso é enganoso. O crescimento composto é exponencial, mas o exemplo usa a divisão linear dos períodos de capitalização. Os bancos devem publicar separadamente a taxa de juros, o intervalo de capitalização e o rendimento percentual anual. Existem maneiras muito mais elegantes de introduzir *e*, como sua propriedade única de ser sua própria derivada ou seu papel crucial na fórmula de Euler. Essas abordagens não exigem conhecimento prévio de *e* e são matematicamente mais rigorosas.

Leia mais
(blog.danielh.cc)
Diversos constante natural e juros compostos

De horas para 360ms: Engenharia excessiva de uma solução de quebra-cabeça

2025-02-08

O autor tentou resolver um quebra-cabeça de Sudoku com o objetivo de encontrar a solução que produz o maior MDC possível entre os nove números de nove dígitos formados pelas linhas. Tentativas iniciais usando o solucionador Z3 falharam em encontrar uma solução em horas. O autor então empregou várias estratégias de otimização: análise matemática para reduzir o espaço de busca, um algoritmo BFS e melhorias iterativas na função `is_good`, passando do HashSet para o bitset e finalmente usando SIMD para computação vetorial. Multithreading e sincronização refinada de threads reduziram o tempo de solução de horas para 360ms, obtendo uma aceleração de mais de 1600x. Embora uma resposta codificada tenha se mostrado a mais rápida, o artigo mostra como mesmo problemas aritméticos aparentemente simples oferecem ganhos significativos de desempenho por meio de otimização algorítmica meticulosa.

Leia mais
(blog.danielh.cc)
Desenvolvimento

Escolha de Localização de Servidor Minecraft Gera Debate sobre Sistemas de Votação

2024-12-21

A escolha de local para um servidor Minecraft gerou uma discussão aprofundada sobre diferentes sistemas de votação. O sistema de votação por maioria simples (Plurality voting) usado inicialmente levou à vitória da opção menos popular devido ao "efeito spoiler". Em seguida, foi tentado o sistema de votação instantânea (Instant runoff), que resolveu alguns problemas, mas violou a monotonicidade quando os candidatos mudaram. O autor apresenta ainda o método de Borda e o teorema da impossibilidade de Arrow, recomendando finalmente a votação por pontuação (Score voting) e a votação por aprovação (Approval voting) como opções superiores, pois satisfazem as três condições do teorema da impossibilidade de Arrow: unanimidade, não ditadura e independência de alternativas irrelevantes.

Leia mais
(blog.danielh.cc)
Jogos sistemas de votação Teorema da impossibilidade de Arrow