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

Experimento Falho: Uma Ferramenta de Revisão de Código Baseada em Git

2025-08-21
Experimento Falho: Uma Ferramenta de Revisão de Código Baseada em Git

O autor experimentou uma ferramenta chamada `git-review` para melhorar o processo de revisão de código do GitHub. A ideia central era tratar a revisão de código como um commit armazenado no repositório, usando comentários no código para revisão. No entanto, o experimento não foi bem-sucedido. Embora adicionar comentários diretamente ao código fosse altamente eficiente, modificar o código em revisão se mostrou complicado, especialmente ao lidar com conflitos e o atrito de usar `git push --force-with-lease`. O autor acabou abandonando o projeto, mas acredita que a ideia central — revisão no código — é valiosa e espera por futuras possibilidades de melhorar a revisão de código por meio de melhorias no Git.

Leia mais
(tigerbeetle.com)
Desenvolvimento

Bug Oculto do TigerBeetle: Como o Fuzzing Sofisticado Falhou

2025-06-06
Bug Oculto do TigerBeetle: Como o Fuzzing Sofisticado Falhou

A equipe do TigerBeetle descobriu um bug em seu mecanismo de consulta usando o Jepsen, surpreendentemente em um componente previamente submetido a fuzzing extensivo por quatro fuzzers separados. A investigação revelou um ponto cego na estratégia de geração de entrada do fuzzer, deixando certas combinações de consultas descobertas. Isso decorreu do fuzzer pré-registrar consultas durante a inicialização — uma simplificação que inadvertidamente restringiu a diversidade do espaço de entrada. Ao melhorar o fuzzer para gerar entradas mais aleatórias e realizar uma verificação mais precisa, o bug foi reproduzido e corrigido com sucesso. Este caso destaca como até mesmo estratégias de fuzzing sofisticadas podem ter pontos cegos, necessitando de uma combinação de abordagens de teste para garantir a qualidade abrangente do software.

Leia mais
(tigerbeetle.com)
Desenvolvimento

Reformulação do Site de Documentação do TigerBeetle: Abandonando o Docusaurus em prol de uma solução com Zig

2025-04-10
Reformulação do Site de Documentação do TigerBeetle: Abandonando o Docusaurus em prol de uma solução com Zig

A equipe do TigerBeetle reconstruiu seu site de documentação do zero, abandonando o Docusaurus (baseado em Node.js) em favor de um gerador de sites estáticos leve e rápido, com tecnologia Zig. Aproveitando o sistema de construção do Zig e o Pandoc, eles alcançaram um parsing eficiente de Markdown e geração de HTML. O novo site possui uma experiência de usuário aprimorada, um footprint significativamente menor e até mesmo um divertido jogo de Páscoa como easter egg. Essa reformulação demonstra o compromisso do TigerBeetle com a excelência técnica e uma abordagem enxuta.

Leia mais
(tigerbeetle.com)
Desenvolvimento Site de Documentação

Enum de Matrizes: Uma Nova Estrutura de Dados para Processamento Eficiente de Dados

2024-12-21
Enum de Matrizes: Uma Nova Estrutura de Dados para Processamento Eficiente de Dados

Este artigo apresenta uma estrutura de dados chamada "Enum de Matrizes" (EoA), semelhante ao popular "Struct de Matrizes" (SoA), mas com enums em seu núcleo. EoA compacta vários valores enum em uma matriz, usando uma única tag para identificar o tipo da matriz. Isso reduz o uso de memória e a sobrecarga de previsão de desvio, levando a um processamento de dados mais eficiente, particularmente benéfico para otimização SIMD. O artigo usa o sistema de banco de dados TigerBeetle como exemplo, ilustrando como EoA permite o processamento eficiente em lote, separando eficazmente o plano de controle e o plano de dados, resultando em um desempenho significativamente melhorado.

Leia mais
(tigerbeetle.com)
Desenvolvimento estrutura de dados otimização SIMD